Rust深入类型解析

目录

• 深入类型
  • 类型转换
  • newtype和类型别名
  • Sized和不定长类型DST
  • 枚举和整数

深入类型

类型转换

从一种类型到另一种类型

显式类型转换

• 使用 as 关键字进行基本类型的显式转换。
• 使用 From 和 Into 特征进行更复杂的转换。

fn main() {
    let a: i32 = 5;
    let b: f64 = a as f64; // 显式类型转换
    println!("b = {}", b); // 输出: b = 5.0

    let c: i64 = 10;
    let d: u32 = c as u32; // 显式类型转换
    println!("d = {}", d); // 输出: d = 10

    let e: i32 = 20;
    let f: f64 = From::from(e); // 使用 From 特征
    println!("f = {}", f); // 输出: f = 20.0

    let g: i32 = 30;
    let h: f64 = g.into(); // 使用 Into 特征
    println!("h = {}", h); // 输出: h = 30.0
}

newtype 模式

定义新类型

• newtype 是一种定义新的类型包裹现有类型的方式。
• 通常用于增加类型安全性和封装。

struct NewInt(u32);

impl NewInt {
    fn new(value: u32) -> Self {
        NewInt(value)
    }

    fn get_value(&self) -> u32 {
        self.0
    }
}

fn main() {
    let ni = NewInt::new(42);
    println!("Value: {}", ni.get_value()); // 输出: Value: 42
}

类型别名

定义类型别名

• 类型别名可以为现有类型定义新的名称。
• 类型别名不创建新的类型，只是提供新的名称。

type AliasInt = i32;

fn main() {
    let a: AliasInt = 42;
    println!("a = {}", a); // 输出: a = 42
}

Sized 和不定长类型（DST）

Sized 特征

• Sized 特征表示类型具有确定的大小。
• 默认情况下，所有基本类型都是 Sized 的。

不定长类型（DST）

• 不定长类型（DST）是指没有固定大小的类型。
• DST 通常用于动态分配的数据结构。

trait MyTrait {}

impl MyTrait for i32 {}
impl MyTrait for String {}

fn process_data<T: MyTrait + ?Sized>(data: &T) {
    println!("Data: {:?}", data);
}

fn main() {
    let int_data = 42;
    let str_data = String::from("hello");

    process_data(&int_data);
    process_data(&str_data);
}

枚举和整数

枚举

• 枚举是一种包含多个变体的数据类型。
• 枚举可以携带不同类型的数据。

enum MyEnum {
    IntVariant(i32),
    StrVariant(String),
}

fn main() {
    let int_val = MyEnum::IntVariant(42);
    let str_val = MyEnum::StrVariant(String::from("hello"));

    match int_val {
        MyEnum::IntVariant(x) => println!("Integer: {}", x),
        MyEnum::StrVariant(s) => println!("String: {}", s),
    }

    match str_val {
        MyEnum::IntVariant(x) => println!("Integer: {}", x),
        MyEnum::StrVariant(s) => println!("String: {}", s),
    }
}

**...