Rust 模式与工程实践指南
演讲者介绍
- 微软 SCHIE（硅和云硬件基础设施工程）团队首席固件架构师
- 行业资深专家，专长于安全、系统编程（固件、操作系统、管理程序）、CPU 和平台架构，以及 C++ 系统
- 2017 年开始使用 Rust 编程（@AWS EC2），从此爱上了这门语言
这是一本关于 Rust 模式中高级模式的实用指南，这些模式出现在真实的代码库中。这不是语言教程 —— 它假设你会编写基本的 Rust 代码并想要提升水平。每一章隔离一个概念，解释何时以及为何使用它，并提供可编译的示例和内联练习。
本书适合谁
- 已完成 The Rust Programming Language 但在“如何实际设计“上遇到困难的开发者
- 将生产系统翻译成 Rust 的 C++/C# 工程师
- 任何在 generics、trait bounds 或 lifetime 错误上遇到瓶颈，想要系统化工具包的人
前置要求
开始前，你应该熟悉：
- 所有权、借用和生命周期（基础水平）
- 枚举、模式匹配和
Option/Result - 结构体、方法和基础 traits（
Display、Debug、Clone） - Cargo 基础：
cargo build、cargo test、cargo run
如何使用本书
难度图例
每章都标有难度级别：
| 符号 | 级别 | 含义 |
|---|---|---|
| 🟢 | 基础 | 每个 Rust 开发者都需要掌握的核心概念 |
| 🟡 | 中级 | 生产代码库中使用的模式 |
| 🔴 | 高级 | 深入的语言机制 —— 根据需要重温 |
节奏指南
| 章节 | 主题 | 建议时间 | 检查点 |
|---|---|---|---|
| 第一部分：类型级模式 | |||
| 1. Generics 🟢 | 单态化、const generics、const fn | 1-2 小时 | 能解释何时 dyn Trait 优于 generics |
| 2. Traits 🟡 | 关联类型、GATs、blanket impls、vtables | 3-4 小时 | 能设计带关联类型的 trait |
| 3. Newtype 和 Type-State 🟡 | 零成本安全、编译时 FSMs | 2-3 小时 | 能构建 type-state builder 模式 |
| 4. PhantomData 🔴 | 生命周期标记、variance、drop check | 2-3 小时 | 能解释为何 PhantomData<fn(T)> 不同于 PhantomData<T> |
| 第二部分：并发与运行时 | |||
| 5. Channels 🟢 | mpsc、crossbeam、select!、actors | 1-2 小时 | 能实现基于 channel 的工作池 |
| 6. Concurrency 🟡 | 线程、rayon、Mutex、RwLock、atomics | 2-3 小时 | 能为场景选择正确的同步原语 |
| 7. Closures 🟢 | Fn/FnMut/FnOnce、组合器 | 1-2 小时 | 能编写接受闭包的高阶函数 |
| 8. 函数式 vs 命令式 🟡 | 组合器、迭代器适配器、函数式模式 | 2-3 小时 | 能解释何时函数式风格优于命令式 |
| 9. 智能指针 🟡 | Box、Rc、Arc、RefCell、Cow、Pin | 2-3 小时 | 能解释何时使用每种智能指针 |
| 第三部分：系统与生产 | |||
| 10. 错误处理 🟢 | thiserror、anyhow、? 操作符 | 1-2 小时 | 能设计错误类型层次结构 |
| 11. 序列化 🟡 | serde、零拷贝、二进制数据 | 2-3 小时 | 能编写自定义 serde 反序列化器 |
| 12. Unsafe 🔴 | 超能力、FFI、UB 陷阱、分配器 | 2-3 小时 | 能将 unsafe 代码包装在可靠的 safe API 中 |
| 13. Macros 🟡 | macro_rules!、proc macros、syn/quote | 2-3 小时 | 能编写带 tt 咀嚼的声明式宏 |
| 14. Testing 🟢 | 单元/集成/doc 测试、proptest、criterion | 1-2 小时 | 能设置基于属性的测试 |
| 15. API 设计 🟡 | 模块布局、 ergonomic APIs、feature flags | 2-3 小时 | 能应用“parse, don’t validate“模式 |
| 16. Async 🔴 | Futures、Tokio、常见陷阱 | 1-2 小时 | 能识别 async 反模式 |
| 附录 | |||
| 参考卡 | 快速查阅 trait bounds、lifetimes、模式 | 按需使用 | — |
| 综合项目 | 类型安全任务调度器 | 4-6 小时 | 提交一个可工作的实现 |
总估计时间：通过练习深入学习需要 30-45 小时。
完成练习
每章都以实践练习结束。为了最大化学习效果：
- 先自己尝试 —— 在查看答案前至少花 15 分钟
- 手写代码 —— 不要复制粘贴；手写建立肌肉记忆
- 修改解决方案 —— 添加功能、改变约束、故意破坏一些东西
- 检查交叉引用 —— 大多数练习结合了来自多章的模式
附录中的综合项目将全书的模式整合到一个单一的、生产质量的系统中。
目录
第一部分：类型级模式
1. Generics — 全貌 🟢
单态化、代码膨胀权衡、generics vs enums vs trait objects、const generics、const fn。
2. Traits 深入 🟡 关联类型、GATs、blanket impls、marker traits、vtables、HRTBs、扩展 traits、枚举分发。
3. Newtype 和 Type-State 模式 🟡 零成本类型安全、编译时状态机、builder 模式、配置 traits。
4. PhantomData — 不携带数据的类型 🔴 生命周期标记、度量单位模式、drop check、variance。
第二部分：并发与运行时
5. Channels 和消息传递 🟢
std::sync::mpsc、crossbeam、select!、背压、actor 模式。
6. 并发 vs 并行 vs 线程 🟡 OS 线程、scoped threads、rayon、Mutex/RwLock/Atomics、Condvar、OnceLock、无锁模式。
7. 闭包和高阶函数 🟢
Fn/FnMut/FnOnce、闭包作为参数/返回值、组合器、高阶 APIs。
8. 函数式 vs 命令式：何时优雅获胜（何时不会） 🟡 组合器、迭代器适配器、函数式模式。
9. 智能指针和内部可变性 🟡 Box、Rc、Arc、Weak、Cell/RefCell、Cow、Pin、ManuallyDrop。
第三部分：系统与生产
10. 错误处理模式 🟢
thiserror vs anyhow、#[from]、.context()、? 操作符、panics。
11. 序列化、零拷贝和二进制数据 🟡
serde 基础、枚举表示、零拷贝反序列化、repr(C)、bytes::Bytes。
12. Unsafe Rust — 受控的危险 🔴 五种超能力、可靠的抽象、FFI、UB 陷阱、arena/slab 分配器。
13. Macros — 编写代码的代码 🟡
macro_rules!、何时（不）使用 macros、proc macros、derive macros、syn/quote。
14. 测试和基准测试模式 🟢 单元/集成/doc 测试、proptest、criterion、mock 策略。
15. Crate 架构和 API 设计 🟡 模块布局、API 设计检查清单、ergonomic 参数、feature flags、workspaces。
16. Async/Await 要点 🔴 Futures、Tokio 快速入门、常见陷阱。（深入 async 覆盖，请参阅我们的 Async Rust 培训。）
附录
总结和参考卡 模式决策指南、trait bounds 速查表、生命周期省略规则、进一步阅读。
综合项目：类型安全任务调度器 将 generics、traits、typestate、channels、错误处理和测试集成到一个完整的系统中。