手把手为 StaticScript 贡献代码如何添加一个新的语句或表达式支持【免费下载链接】StaticScript:rocket: TypeScript compiler on top of TypeScript as frontend and LLVM as backend项目地址: https://gitcode.com/gh_mirrors/sta/StaticScriptStaticScript 是一个以 TypeScript 为前端、以 LLVM 为后端的编译器项目它把带类型的 TypeScript 代码直接编译成本地可执行文件。如果你想为这个开源编译器贡献代码最简单也最有成就感的切入点就是给 StaticScript 添加一个新的语句或表达式支持。这篇文章将用最直白的方式带你走完从读源码到提交代码的完整流程。先看懂 StaticScript 的编译流水线在动手改代码之前先花 3 分钟理解 StaticScript 做了什么。它的编译过程非常清晰前端直接用 TypeScript 编译器解析源码得到抽象语法树AST中端遍历 AST把每个节点翻译成LLVM IRLLVM 的中间表示后端交给llvm-opt做优化llvm-llc生成目标文件最后链接成可执行文件。所以支持一个新的语句或表达式本质上就是教会编译器把 AST 里的某个节点翻译成 LLVM IR。你不需要懂复杂的语法分析因为 TypeScript 编译器已经帮你完成了最困难的部分。认识代码生成的核心模块StaticScript 的代码生成逻辑集中在src/backend/llvm/目录下其中三个文件是核心index.ts总调度中心负责分发各种语句和表达式code-generation/每个语句/表达式一个独立文件比如if-statement.ts、for-statement.tsnode-generate.interface.ts所有生成器都要实现的统一接口。接口NodeGenerateInterface非常简单只要求实现一个generate方法接收 AST 节点、编译上下文和 LLVM 构建器三个参数。无论是语句还是表达式都遵循这个约定这也是项目能保持模块化的原因。第一步创建你的语句生成器类以添加一条新语句为例。你需要在code-generation/目录下新建一个文件比如my-statement.ts写一个实现接口的类。类的核心工作是拿到 AST 节点后利用builderLLVM IRBuilder生成对应的 LLVM 指令。比如生成if语句时需要创建if.true和if.end等基本块再调用条件分支指令把它们串起来。你可以直接参考现成的if-statement.ts或binary-expression.ts照着它们的骨架写比从零开始容易得多。第二步把生成器注册到分发器写好了类编译器还不知道它的存在。你需要回到index.ts在总调度函数里注册如果是表达式在buildFromExpression函数的switch里加一个case对应 TypeScript 的SyntaxKind如果是语句则在passStatement函数的switch里加分支。注册时要用ts.SyntaxKind.xxx匹配节点类型然后调用你新类的generate方法。这一行代码就是接线把 AST 节点和你的生成逻辑连起来。第三步处理不支持的类型并优雅报错如果遇到你还没支持的语法编译器不应该静默失败而应该给出清晰报错。项目用unsupported.error.ts里的UnsupportedError来处理这种情况——在生成器里抛出它CLI 会把它格式化成带颜色和源码上下文的诊断信息输出给用户。所以写生成器时对认识的语法认真翻译对不认识的语法抛出UnsupportedError并说明原因这是贡献代码时需要注意的细节。第四步用快照测试验证你的改动改完代码后一定要跑测试。StaticScript 的快照测试机制非常简单把.ts测试文件放进tests/snapshots/对应的目录再放一个同名的.stdout文件记录预期输出然后运行npm test测试运行器runner.ts会自动编译快照目录下所有.ts文件执行生成的可执行文件并把实际输出与.stdout文件对比不一致就报错。你可以在general/或math/等目录里参考现有用例比如branch.ts照葫芦画瓢补上你自己的测试。一起动手给 StaticScript 添加新语法支持总结一下为 StaticScript 添加一个新的语句或表达式支持只需要四步在code-generation/下新建生成器类实现NodeGenerateInterface在index.ts的分发函数里注册你的SyntaxKind对不支持的语法抛出UnsupportedError给出友好报错在tests/snapshots/下添加快照测试并跑npm test验证。整个过程不涉及复杂的编译原理只要你会一点 TypeScript再看看现有生成器的写法就能轻松上手。这也是参与开源项目最好的入门方式——从一个小的语法点开始逐步理解整个编译器的架构。如果还想深入可以继续探索context.ts保存类型检查器、LLVM 模块等编译上下文和scope.ts管理变量、函数、类的作用域表。希望这篇文章能帮你迈出为 StaticScript 贡献代码的第一步【免费下载链接】StaticScript:rocket: TypeScript compiler on top of TypeScript as frontend and LLVM as backend项目地址: https://gitcode.com/gh_mirrors/sta/StaticScript创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考