当前位置：首页 > news >正文

如何理解编译器工作原理：the-super-tiny-compiler终极指南

news 2026/7/5 16:55:33

如何理解编译器工作原理：the-super-tiny-compiler终极指南

【免费下载链接】the-super-tiny-compiler:snowman: Possibly the smallest compiler ever项目地址: https://gitcode.com/gh_mirrors/th/the-super-tiny-compiler

the-super-tiny-compiler是一个超简化的编译器实现，用易于理解的JavaScript编写，仅约200行核心代码。通过学习这个迷你编译器，新手也能轻松掌握现代编译器的基本工作原理，了解从源代码到目标代码的完整转换过程。

为什么需要了解编译器？

虽然大多数开发者日常工作中不会直接编写编译器，但编译器的核心概念无处不在：

Babel等转译工具将ES6+代码转换为兼容旧浏览器的JavaScript
TypeScript编译器将TS代码转换为原生JS
Webpack等构建工具中的加载器本质上是特定领域的编译器
甚至CSS预处理器和模板引擎都采用了编译器的核心思想

编译器的三大核心阶段

1. 解析（Parsing）：将代码转换为抽象表示

解析是编译器的第一个阶段，主要分为词法分析和语法分析两个步骤：

词法分析（Tokenizer）

词法分析器（Tokenizer）将原始代码拆分为标记（tokens）数组：

输入: (add 2 (subtract 4 2)) 输出: [{ type: 'paren', value: '(' }, { type: 'name', value: 'add' }, ...]

在the-super-tiny-compiler.js中，tokenizer函数实现了这一过程，通过循环遍历字符并识别不同类型的标记（括号、数字、字符串、名称）。

语法分析（Parser）

语法分析器将标记数组转换为抽象语法树（AST）：

{ type: 'Program', body: [{ type: 'CallExpression', name: 'add', params: [{ type: 'NumberLiteral', value: '2' }, ...] }] }

the-super-tiny-compiler.js中的parser函数通过递归处理标记，构建出表示代码结构的AST。

2. 转换（Transformation）：修改抽象表示

转换阶段对AST进行处理和修改，可以在同一语言内转换，也可以转换为全新的语言。

遍历（Traversal）

转换器需要遍历AST，the-super-tiny-compiler.js中的traverser函数实现了深度优先遍历，并支持"进入"和"退出"节点时的回调：

traverser(ast, { CallExpression: { enter(node, parent) { /* 处理节点 */ }, exit(node, parent) { /* 离开节点 */ } } });

转换实现

transformer函数将LISP风格的AST转换为C风格的AST，例如将(add 2 3)转换为add(2, 3)的AST表示。

3. 代码生成（Code Generation）：将抽象表示转换为目标代码

代码生成器将转换后的AST转换为目标代码字符串。the-super-tiny-compiler.js中的codeGenerator函数通过递归处理AST节点，生成最终代码：

function codeGenerator(node) { switch (node.type) { case 'NumberLiteral': return node.value; case 'CallExpression': return `${node.callee.name}(${node.arguments.map(codeGenerator).join(', ')})`; // ...其他节点类型 } }

完整编译流程体验

要亲自体验编译过程，可按照以下步骤操作：

克隆仓库：git clone https://gitcode.com/gh_mirrors/th/the-super-tiny-compiler
查看核心实现：打开the-super-tiny-compiler.js
运行测试：执行node test.js查看编译效果

编译器完整流程如下：

function compiler(input) { let tokens = tokenizer(input); // 词法分析 let ast = parser(tokens); // 语法分析 let newAst = transformer(ast); // 转换 let output = codeGenerator(newAst); // 代码生成 return output; }