ARTICLE · INTELLIGENCE

战地情报 · 详情页

来自尧图项目组的一线实战观察与深度解析

acwj编译器之旅全景指南:从零手写一个能编译自己的C语言子集编译器

acwj编译器之旅全景指南:从零手写一个能编译自己的C语言子集编译器 acwj编译器之旅全景指南从零手写一个能编译自己的C语言子集编译器【免费下载链接】acwjA Compiler Writing Journey项目地址: https://gitcode.com/gh_mirrors/ac/acwjacwjA Compiler Writing Journey一场编译器写作之旅是一个手把手从零开始、逐步构建C语言子集编译器的开源项目最终目标是实现自编译编译器self-compiling compiler——即用这个编译器编译它自己的源码。整个仓库由 64 个渐进式阶段00 到 64组成每个阶段都是一个独立的、可编译的编译器版本配合详尽的英文教程是学习编译器原理最佳的上手材料。一、acwj 是什么为什么值得学很多初学者对编译器充满神秘感GCC、Clang 动辄数百万行代码从何下手acwj 给出的答案是——用几千行 C 代码写出一个真正能在真实硬件上运行、并能编译自己源码的 C 编译器。项目作者在 00_Introduction/Readme.md 中列出了五条核心目标自编译编译器能编译自己的源码才算真编译器️真实硬件目标平台是 Intel x86-64 与 ARM而非虚构机器实用优先少讲理论多做实现KISS 原则保持简单拿不准就用蛮力小步前进64 个阶段每一步都小而易消化。二、快速上手5分钟编译你的第一个编译器整个项目对新手极其友好每个阶段目录都自带Makefile无需任何依赖工具git clone https://gitcode.com/gh_mirrors/ac/acwj cd acwj/04_Assembly make # 生成可执行的 C 编译器 ./cwj -o prog input01 # 用它编译测试程序 ./prog前 4 个阶段01_Scanner 到 04_Assembly就能得到一个能输出真实 x86-64 汇编的迷你编译器每阶段都有input01~input05等测试输入和 Readme.md 教程讲清楚做了什么、为什么、对应哪块编译器理论从 13_Functions_pt2 起出现tests/目录随阶段推进累积回归测试最终达到 200 个测试用例。三、旅程全景编译器四大核心模块如何生长一个 C 编译器的标准流水线是词法扫描 → 语法分析 → 语义分析 → 代码生成。acwj 用 64 个阶段让这条流水线逐步长出来阶段 101~04搭起编译器骨架阶段内容关键源码01 Scanner词法扫描识别 tokenscan.c02 Parser递归下降解析表达式expr.c03 Precedence运算符优先级expr2.c04 Assembly生成真实汇编gen.c从第 4 阶段开始它就是一个真的编译器了。阶段 205~13语言特性快速扩张变量、比较、if、while、for、函数、类型系统——05_Statements 到 13_Functions_pt2 每加一个特性都严格走完语法分析 语义检查 代码生成三步是理解编译器各组件如何协作的最好样本。阶段 314~54逼近完整 C 子集这是内容最密集的部分ARM 后端14_ARM_Platform、指针15_Pointers_pt1、数组、字符串、struct/union/enum31_Struct_Declarations、预处理、switch、变量初始化、强制类型转换、sizeof、三元运算符……以switch语句为例作者用**跳转表jump table**实现高效分发生成的汇编逻辑如图所示阶段 455~64自编译与多后端55_Lazy_Evaluation实现/||的惰性求值——自编译的最后一块拼图60_TripleTest通过三重测试——cwjGCC 构建编译源码得到cwj0cwj0再编译得到cwj1三者行为一致才算成功。期间还完整演示了如何定位一个寄存器偏移 bugcg.c 中newlocaloffset()函数63_QBE换用 QBE 中间语言后端生成代码体积减半64_6809_Target把编译器塞进 1980 年代 8 位 CPU64KB 内存上自编译。四、值得精读的源码地图项目每个阶段目录结构几乎一致建议按这条主线阅读NN_Stage/ ├── Readme.md # 本阶段教程最该先读 ├── scan.c # 词法分析器 ├── expr.c # 表达式解析AST 构建 ├── decl.c # 声明解析与类型检查 ├── stmt.c # 语句解析 ├── sym.c # 符号表 ├── gen.c # 与平台无关的代码生成框架 ├── cg.c # x86-64 后端 └── tests/ # 回归测试程序声明解析涉及类型、指针、数组、函数参数等交织结构作者用这张调用图梳理了decl.c中各解析函数的协作关系非常适合配合源码阅读 学习建议先读每个阶段的Readme.md它们本身就是循序渐进的教材再对照源码验证想看完整阶段索引见 Readme.md。五、多后端设计一套前端多种 CPUacwj 将代码生成分层为gen.c平台无关cg.c/cg_arm.c平台相关后期又加入 QBE 后端与 6809 后端。以 6809 后端为例作者先梳理目标 CPU 的寄存器资源这种前端一次编写、后端按需扩展的设计正是现代编译器LLVM 等分层思想的直观体现——只不过 acwj 用几千行代码把它讲透了。六、总结acwj 能带给你什么你会得到对应阶段一个能跑在 x86-64 上的自编译 C 编译器04 ~ 60对扫描/解析/语义/代码生成的完整心智模型01 ~ 13多后端、多平台的架构经验14 / 63 / 64200 个回归测试的工程实践27_Testing_Errors 起如果你想知道编译器到底是什么、如何从无到有写出来acwj 用 64 个小台阶给出了最完整、最可跟进的答案。建议从 01_Scanner 开始一步一步走完全程——终点是一个真正能编译自己的编译器。【免费下载链接】acwjA Compiler Writing Journey项目地址: https://gitcode.com/gh_mirrors/ac/acwj创作声明:本文部分内容由AI辅助生成(AIGC),仅供参考
RELATED READING

延伸阅读

更多一线实战笔记与深度复盘,助您持续精进