杨艺韬

第10章 Pin、Waker 与 Future：异步运行时的三大支柱 :::tip 本章要点 自引用问题：async 状态机跨越 await 点后，某些状态包含指向自身其他字段的指针，移动会制造悬垂指

第9章 async/await：状态机的编译器变换 :::tip 本章要点 async fn 经历三个编译阶段：HIR 脱糖（.await → loop + yield）、MIR 生成（yield →

第8章 Trait Object 与虚表：运行时多态的内存布局 Rust 是一门以零成本抽象著称的语言，泛型和 trait 的组合让大部分多态在编译期通过单态化（monomorphization）解决

第7章 Trait 静态分发：零成本抽象的编译器实现 :::tip 本章要点 静态分发的本质：编译器在编译期将 trait 方法调用解析为确定的函数地址，运行时零间接跳转 Trait 选择算法：Sel

第6章 单态化：泛型的编译期展开 :::tip 本章要点 单态化（Monomorphization）是 Rust 编译器将泛型代码为每个具体类型生成独立副本的核心机制 rustc 中的单态化围绕 In

第5章 内存布局：编译器如何排列数据 每一个 Rust 值在运行时都是一段连续的字节。编译器必须决定每个字段放在哪个偏移量、整体占多少空间、按多少字节对齐。本章将走进 rustc_abi 的源码，揭示

第4章 生命周期：编译器如何推断引用的有效范围 生命周期（Lifetime）是 Rust 类型系统中最独特的概念。在编译器内部，它是 MIR 控制流图中一组程序点的集合——编译器用来证明引用有效性的数

第3章 借用检查器：编译器如何证明内存安全 :::tip 本章要点 Rust 的两条借用规则如何在编译期消除数据竞争、悬垂指针和 use-after-free 借用检查运行在 MIR（中层中间表示）之

第2章 所有权系统：编译期内存管理的核心机制 :::tip 本章要点 所有权模型的核心：每个值有且仅有一个所有者，所有权可以转移（move），所有者离开作用域时值被销毁 Move 在 MIR 中表现为