类型系统知识体系概览
为什么 Rust 的类型系统很重要？
Rust 拥有静态、强类型系统，结合所有权和 Trait 系统，在编译期消除大量运行时错误。Rust 的类型系统受 Haskell 等函数式语言影响，同时保持零成本抽象。
核心知识点
泛型与单态化
Rust 的泛型在编译时通过单态化（Monomorphization） 展开为具体类型的代码，没有运行时开销。这与 Java 的类型擦除、Go 的字典传递方案不同。
→ 详见 泛型
Trait 高级特性
Trait 不仅是接口，还包括关联类型、默认实现、Supertraits 等高级特性，是 Rust 多态的核心。
→ 详见 高级 Trait、Trait Object 与动态分发
类型转换
Rust 通过 From/Into/AsRef/Deref 等 Trait 提供类型安全的转换机制，而非隐式转换。
→ 详见 类型转换
类型级编程
利用 PhantomData、类型状态模式、Newtype 等技巧，将业务约束编码到类型系统中，让编译器帮你检查不变量。
→ 详见 PhantomData、Newtype 模式
型变
理解 Rust 中生命周期参数的协变、逆变和不变，是深入理解泛型和生命周期交互的关键。
→ 详见 型变
学习路径
| 阶段 | 内容 | 目标 |
|---|---|---|
| 入门 | 泛型函数、Trait 约束 | 能写泛型代码 |
| 进阶 | 关联类型、Trait Object、From/Into | 理解多态机制 |
| 高级 | PhantomData、型变、类型状态 | 类型级编程 |