1. Rust 数据类型概述
Rust 作为一门系统级编程语言，其类型系统设计极具特色且严谨。与 C/C++ 这类传统系统语言不同，Rust 的类型系统在编译期就能捕获绝大多数内存安全问题，同时又不损失运行效率。这种"零成本抽象"的设计哲学，使得 Rust 在性能敏感领域（如游戏引擎、操作系统、区块链等）越来越受欢迎。
Rust 的数据类型可以分为两大类：标量类型（scalar）和复合类型（compound）。标量类型代表单个值，包括整数、浮点数、布尔值和字符；复合类型则可以将多个值组合成一个类型，主要有元组和数组。此外，Rust 还提供了强大的自定义类型机制，如结构体（struct）和枚举（enum），这些基础构建块共同构成了 Rust 类型系统的核心。
提示：Rust 是静态类型语言，这意味着所有变量的类型都必须在编译时已知。不过得益于类型推断，我们并不总是需要显式写出类型注解。
2. 标量类型详解
2.1 整数类型
Rust 的整数类型非常丰富，按长度分为 8-bit、16-bit、32-bit、64-bit 和 128-bit，按符号分为有符号（i开头）和无符号（u开头）。例如 i32 表示 32 位有符号整数，u64 表示 64 位无符号整数。此外还有与平台相关的 isize 和 usize，其大小取决于目标机器的指针大小。
rust复制let decimal = 98_222; // 十进制
let hex = 0xff; // 十六进制
let octal = 0o77; // 八进制
let binary = 0b1111_0000; // 二进制
let byte = b'A'; // 字节（仅限u8）
整数溢出是系统编程中常见的错误来源。Rust 在 debug 模式下会检查整数溢出并 panic，而在 release 模式下则采用二进制补码回绕（即溢出后会从该类型的最小值重新开始）。如果明确需要回绕行为，可以使用标准库提供的 wrapping_* 方法。
2.2 浮点类型
Rust 有两个原生浮点类型：f32 和 f64，分别对应 IEEE-754 标准的单精度和双精度浮点数。默认情况下，浮点数字面量的类型是 f64，因为在现代 CPU 上 f64 和 f32 的速度几乎相同，但精度更高。
rust复制let x = 2.0; // f64
let y: f32 = 3.0; // f32
浮点数运算有一些特殊行为需要注意：
- 除零操作会产生 INFINITY 或 NAN 而不是 panic
- 比较操作应当使用专门的 is_nan() 方法而非 ==
- 浮点数不适合用于精确计算（如金融场景），这种情况下应当使用定点数或十进制库
2.3 布尔类型
Rust 的布尔类型 bool 只有两个值：true 和 false。与其他语言不同，Rust 不会隐式将其他类型转换为布尔值，if 条件必须是明确的布尔表达式。
rust复制let t = true;
let f: bool = false; // 显式类型注解
if x > 5 { // 正确：比较运算返回bool
// ...
}
2.4 字符类型
Rust 的 char 类型表示一个 Unicode 标量值，占用 4 字节，可以表示比 ASCII 更丰富的字符集。字符字面量用单引号包裹，而字符串用双引号。
rust复制let c = 'z';
let z = 'ℤ';
let heart = '❤';
3. 复合类型
3.1 元组类型
元组是将多个不同类型的值组合成一个复合类型的通用方式。元组长度固定，一旦声明其长度和类型就不能改变。
rust复制let tup: (i32, f64, u8) = (500, 6.4, 1);
let (x, y, z) = tup; // 解构
println!("y的值是：{}", y); // 通过.索引访问
空元组 () 被称为"单元类型"，其值也被称为"单元值"。表达式如果不返回任何其他值，就隐式返回单元值。
3.2 数组类型
与元组不同，数组的每个元素必须是相同类型。Rust 的数组是固定长度的，一旦声明就不能改变大小。如果需要可变长度的集合，应该使用向量（Vec）类型。
rust复制let a = [1, 2, 3, 4, 5];
let months = ["一月", "二月", "三月", "四月", "五月", "六月", "七月", "八月", "九月", "十月", "十一月", "十二月"];
let b: [i32; 5] = [1, 2, 3, 4, 5]; // 显式类型注解
let c = [3; 5]; // 等同于 [3, 3, 3, 3, 3]
访问数组元素使用索引：
rust复制let first = a[0];
let second = a[1];
Rust 会在运行时检查数组越界访问。如果尝试访问无效索引，程序会 panic 而不是允许内存不安全操作。这种设计体现了 Rust 的安全哲学。
4. 自定义类型
4.1 结构体
结构体是创建自定义数据类型的主要方式。Rust 有三种结构体：具名结构体、元组结构体和单元结构体。
rust复制// 具名结构体
struct User {
username: String,
email: String,
sign_in_count: u64,
active: bool,
}
// 元组结构体
struct Color(i32, i32, i32);
struct Point(i32, i32, i32);
// 单元结构体
struct AlwaysEqual;
let user1 = User {
email: String::from("someone@example.com"),
username: String::from("someusername123"),
active: true,
sign_in_count: 1,
};
结构体更新语法允许我们基于另一个实例创建新实例：
rust复制let user2 = User {
email: String::from("another@example.com"),
username: String::from("anotherusername567"),
..user1
};
4.2 枚举
Rust 的枚举功能强大，不仅可以像传统枚举一样表示一组命名常量，还能像联合体(union)一样在每个变体中存储不同数据类型。
rust复制enum IpAddr {
V4(u8, u8, u8, u8),
V6(String),
}
let home = IpAddr::V4(127, 0, 0, 1);
let loopback = IpAddr::V6(String::from("::1"));
Rust 标准库中的 Option 枚举是类型系统的又一精妙设计，它强制处理空值情况，消除了空指针异常：
rust复制enum Option<T> {
Some(T),
None,
}
5. 类型转换与推断
5.1 类型转换
Rust 不允许隐式类型转换（类型强制），所有类型转换必须显式进行。基本类型之间的转换可以使用 as 关键字：
rust复制let x: i32 = 5;
let y: u64 = x as u64;
对于更复杂的转换，通常需要实现 From 和 Into trait。标准库为许多常见情况提供了这些 trait 的实现。
5.2 类型推断
Rust 的类型推断非常强大，编译器通常能根据上下文推断出变量类型。只有在编译器无法推断时，才需要显式注解：
rust复制let guess: u32 = "42".parse().expect("不是数字！"); // 需要类型注解
let x = 5; // 编译器推断为i32
函数返回类型通常需要显式声明，除非是简单的单元类型()。闭包的类型通常可以推断，因此很少需要注解。
6. 高级类型特性
6.1 类型别名
Rust 允许使用 type 关键字创建类型别名，主要用于简化复杂类型：
rust复制type Kilometers = i32;
type Thunk = Box<dyn Fn() + Send + 'static>;
6.2 Never 类型
Rust 有一个特殊类型 !，称为"Never 类型"，用于表示永远不会返回的函数。例如 panic! 宏和无限循环的返回类型就是 !。
rust复制fn bar() -> ! {
panic!();
}
6.3 动态大小类型
大多数 Rust 类型是静态已知大小的，但有些类型（如 str）的大小要到运行时才知道。这些类型被称为动态大小类型（DST），它们只能通过某种指针使用，如 &str 或 Box
7. 类型安全实践
Rust 的类型系统设计鼓励编写健壮的代码。以下是一些最佳实践：
- 优先使用更精确的类型，例如用枚举而非布尔值表示状态
- 利用 newtype 模式（用元组结构体包装基本类型）增加类型安全性
- 为自定义类型实现适当的 trait（如 Debug, Display）
- 合理使用泛型避免代码重复
- 利用编译器警告改进类型使用
注意：Rust 编译器对类型检查非常严格，这有时会让新手感到困扰。但正是这种严格性保证了运行时安全性，建议认真对待每个编译错误，它们通常指出了代码中的潜在问题。
我在实际项目中发现，充分利用 Rust 的类型系统可以显著减少运行时错误。例如，用不同的类型表示不同单位的数值（如米和英尺），可以避免单位混淆导致的错误。Rust 的类型系统不仅是防止错误的工具，更是表达程序意图的有力方式。