Rust 专题 MOC
Rust 是 20-programming 深度轴的三种核心语言之一，定位在系统编程、性能关键、安全敏感。所有权类型系统 + 零成本抽象。
按 meta 框架展开 Rust 的核心特性与设计取舍。
计划覆盖
| # | 主题 | 说明 |
|---|---|---|
| 01 | 所有权与借用 | ownership、borrowing、lifetime——Rust 的核心心智模型 |
| 02 | 类型系统 | ADT（enum）、trait、泛型 + trait bound、类型推导 |
| 03 | 错误处理 | Result/Option、? 运算符、thiserror/anyhow |
| 04 | 并发模型 | Send/Sync、Tokio、rayon、channel、Mutex/Arc |
| 05 | Cargo 与工程化 | workspace、feature flags、cargo test/bench、crates.io |
| 06 | unsafe Rust | 何时使用、FFI 边界、安全抽象 |
| 07 | 宏系统 | declarative macros、procedural macros、derive |
| 08 | 设计哲学与社区 | 零成本抽象、Fearless Concurrency、编译器的安全网 |
与其他语言的关系
Rust 的所有权/借用/生命周期是全新的心智模型，与 Python 的鸭子类型和 TypeScript 的结构化类型有本质断层。因此：
- 不从 Python 视角”直译”：Python 的变量绑定、GC、鸭子类型在 Rust 中没有对应物
- 不从 TS 视角”对比学习”：TS 的类型系统在运行时完全消失，Rust 的类型系统直接决定内存布局
- 请走独立学习路径：从所有权模型开始，逐渐理解 trait、生命周期、并发安全
参考：Python 专题 MOC · TypeScript 专题 MOC — 了解其他语言的设计选择后，更能体会 Rust 的”为什么不同”
跨区链接
- 编程语言与软件构造 MOC — 上级索引
- 类型系统对比
- 并发模型对比