Zig 编译器源码分析

面向编译初学者的系统级编译器架构全景书

本书以 Zig 0.17.0 源码为基础，介绍现代系统级编译器的设计与实现。

全书从基础概念讲起，结合对传统面向对象编译器（如 GCC、Clang、Rustc）常见瓶颈的分析，逐步展开 Zig 的核心设计：数据导向设计（Data-Oriented Design）、无指针 AST、双层 IR（ZIR 与 AIR）、Comptime 编译期求值与语义分析的统一、细粒度增量依赖追踪以及内置增量链接器。

• 🌐 在线阅读：https://jiacai2050.github.io/x/zig-compiler/
• 📖 离线阅读：支持 PDF 与 EPUB 格式下载

本书内容与知识地图

graph TD
    %% Global styles and definitions
    classDef core stroke:#0066cc,stroke-width:2px;
    classDef middle stroke:#ff9900,stroke-width:2px;
    classDef edge stroke:#ccc,stroke-width:2px;
    classDef mem stroke:#009900,stroke-width:2px;

    subgraph SG_FrontEnd["第 1-3 部分: 前端解析与双层 IR"]
        direction TB
        Node_LexParse["1. 词法语法解析 (Tokenizer / Ast.zig)"]
        Node_ZirGen["2. 线性化降级 (AstGen.zig)"]
        Node_Zir["3. 无类型指令 (Zir.zig)"]
        Node_LexParse -- "平铺降级" --> Node_ZirGen
        Node_ZirGen -- "产出单文件 IR" --> Node_Zir
    end

    subgraph SG_MiddleEnd["第 4-5 部分: 编译器心脏与并发调度"]
        direction TB
        Node_Sema["4. 语义分析与 Comptime 统一解释 (Sema.zig)"]
        Node_InternPool["5. 常量与类型驻留池 (InternPool.zig)"]
        Node_Air["6. 全类型运行时 IR(Air.zig)"]
        Node_Zir -- "按需分析" --> Node_Sema
        Node_Sema -- "去重与依赖建图" --> Node_InternPool
        Node_Sema -- "产出函数级 IR" --> Node_Air
    end

    subgraph SG_BackEnd["第 6-7 部分: 多后端与自研增量链接"]
        direction TB
        Node_Codegen["7. 多后端统一分发 (codegen.zig)"]
        Node_Backends["8. 自研原生 (x86_64/AArch64) / C / LLVM"]
        Node_Linker["9. 自研增量链接器 (Elf2 / MachO / Coff)"]
        Node_Air -- "指令选择" --> Node_Codegen
        Node_Codegen -- "降级为机器码" --> Node_Backends
        Node_Backends -- "二进制原位补丁" --> Node_Linker
    end

    style SG_FrontEnd stroke:#0066cc,stroke-width:2px;
    style SG_MiddleEnd stroke:#ff9900,stroke-width:2px;
    style SG_BackEnd stroke:#009900,stroke-width:2px;

    class Node_LexParse,Node_ZirGen,Node_Zir middle;
    class Node_Sema,Node_Air core;
    class Node_InternPool mem;
    class Node_Codegen,Node_Backends,Node_Linker edge;

本书特点与阅读建议

1. 面向初学者：
   • 不预设深入的编译理论基础。对 SSA、CFG、指令选择、ABI 和重定位等概念，均给出直观的背景与工程原理解释。
2. 结合实际源码：
   • 各章节均对应 Zig 0.17.0 仓库的具体文件，提供 Codeberg Zig 0.17.0 官方源码库 的链接和关键代码片段。
3. 对照主流实现：
   • 对比 GCC、Clang 和 Rustc 在头文件展开、泛型单态化、中间表示与链接流程上的处理方式，说明 Zig 做出不同架构权衡的原因。

源码目录快速索引

在阅读本书时，可以参考工作空间或 Codeberg 在线仓库中的对应源码：