SUMMARY.md

概览

关于本指南

---

• 第一部分：rustc 的构建、调试与贡献
  • 关于编译器团队
  • 如何构建并运行编译器
    • 构建并安装发行版工件
    • 构建编译器文档
  • 编译器测试框架
    • 运行测试
    • 添加新测试
    • 使用 compiletest + 命令来控制测试执行
  • 攻略：一次典型的贡献
  • 实现新特性
  • 稳定化特性
  • 调试编译器
  • 剖析编译器性能
    • 使用 linux perf 工具剖析
  • 编码约定
  • crates.io 依赖
  • 消除错误和其它诊断报告
    • JSON 诊断报告格式
• 第二部分：rustc 的工作原理
  • 编译器源码概览
  • rustc 驱动与接口
    • rustdoc
  • 查询：需求驱动的编译
    • 查询求值模型详解
    • 增量编译
    • 增量编译详解
    • 调试与测试
  • 解析器
  • #[test] 实现
  • 宏展开
  • 名字求解
  • HIR（上层 IR）
    • 将 AST 降低为 HIR
    • 调试
  • ty 模块：类型的表示
  • 种类
  • 类型推导
  • Trait 解算（旧式风格）
    • 高阶 trait 绑定
    • 缓存的细节
    • 特化
  • Trait 解算（新式风格）
    • 降低到逻辑层面
      • 目标与已知
      • 相等性与惯量类型
      • 隐式界定
      • 生存期约束
      • rustc 中的 lowering 模块
      • 降低规则
      • 良构性检查
    • 典范查询
      • 典范化
    • SLG 解算器
    • Chalk 概览
    • 文献
  • 类型检查
    • 方法的查找
    • 型变
    • 存在类型
  • MIR（中层 IR）
    • MIR 的构造
    • MIR 访问器与遍历
    • MIR 趟：获取函数的 MIRn
    • MIR 优化
    • 调试
  • 借用检查器
    • 跟踪转移和初始化
      • 转移路径
    • MIR 类型检查器
    • 生存域推导
    • 两阶段借用
  • 常量求值
    • miri const 求值器
  • 形参环境
  • 代码生成
    • 更新 LLVM
    • 调试 LLVM
  • 性能剖析指导的优化

---

附录 A：傻瓜分析 附录 B：背景材料 附录 C：术语表 附录 D：代码索引