Nim 的元编程系统通过模板、宏和编译期求值，在编译期提供强大的代码生成与操作能力，从而实现零开销抽象、领域特定语言（DSL）以及编译期而非运行期的优化。该系统作用于 Nim 的抽象语法树（AST），允许检查与变换代码结构。模板提供卫生的类宏替换，宏支持完整的 AST 操作，编译期求值则在编译期间执行 Nim 代码以完成常量折叠与校验。
用途
本技能覆盖：用于代码替换的模板、用于 AST 变换的宏、使用 static 块的编译期求值、AST 检查与操作、代码生成模式、DSL 创建以及元编程最佳实践。
主要能力
模板：提供卫生的代码替换，具备类型安全与内联展开。资料示例包括基础模板 max、多语句模板 withFile、带 inject 的 defineProperty、接受 block 的 benchmark、带 typed 参数的 swap、用于 DSL 的 html 模板、带泛型约束的 findMax、转发模板 forward、自定义运算符模板 ~=、带 immediate 参数的 log 等。
宏与 AST 操作：宏在编译期变换 AST，支持强大的代码生成与领域特定语言。资料示例包括基础宏 debug、检查 AST 的 inspect、手动构建 AST 的 makeProc、属性生成宏 property、case 语句宏 switch、构建器模式宏 build、编译期断言宏 staticAssert、循环展开宏 unroll、模式匹配宏 match 等。
编译期求值：Nim 在编译期执行代码以生成常量、优化与校验。资料示例包括编译期常量、编译期函数求值（如 factorial）、static 块、编译期类型信息、条件编译 when、编译期字符串操作、编译期文件读取 staticRead、编译期 HTTP 请求 staticExec、编译期代码生成、静态参数约束、编译期断言、编译期正则编译、编译期校验、编译期优化（如 optimizedPower）等。
DSL 创建：Nim 的元编程支持创建具有自然语法的领域特定语言。资料示例包括 HTML DSL、SQL DSL、测试 DSL（describe/it）、配置 DSL、构建器 DSL 等。
代码生成模式：元编程支持从规格或运行期数据自动生成代码。资料示例包括从编译期列表生成枚举 generateEnum、生成 getter/setter generateAccessors、生成模式匹配 matchGen、生成状态机 stateMachine、生成序列化 deriveJson、生成校验器 validate 等。
使用方式
资料以代码示例展示用法：模板通过 template 关键字定义并内联展开；宏通过 import macros 后以 macro 关键字定义，使用 quote do、newStmtList、newProc、nnkCaseStmt 等构造与变换 AST；编译期求值通过 const、static 块、when、staticRead、staticExec 等实现；DSL 通过宏或模板组合构建。
适用场景
资料给出的适用场景包括：用模板替代重复模式以实现零开销抽象；当需要基于编译期信息变换或生成代码时使用宏；用编译期求值处理常量、校验与构建期优化；为需要专门记号的领域问题创建 DSL；为序列化、getter 或模式匹配等样板代码生成代码；为性能关键的抽象使用元编程以实现零运行时开销。
限制与注意事项
资料列出最佳实践：简单替换优先用模板以避免宏的复杂度；尽量使用 typed 宏参数而非 untyped 以获得更好的类型检查；充分测试宏，因为编译期错误比运行期错误更难调试；用示例记录宏用法，因为展开后的代码对用户不可见；用 quote do 生成 AST 以编写自然的 Nim 代码；利用编译期求值进行无运行期开销的校验与优化；保持宏职责单一；用 static 块处理编译期副作用；用 error() 提供清晰的编译期错误；用 dumpTree 或 expandMacros 检查生成的代码。
常见陷阱包括：对可用模板解决的问题过度使用宏会增加不必要的复杂度；未正确处理 AST 节点种类会导致编译失败；模板中忘记卫生可能捕获调用作用域中的意外标识符；宏过于复杂会难以理解和维护；未校验宏输入会导致宏展开时错误信息混乱；未使用 static 块混用运行期与编译期代码会出错；假设 AST 结构而不检查节点种类会在不同输入下出错；模板中未使用 result 变量会意外返回最后一条语句；DSL 过于魔法会降低可读性与可维护性；忘记从宏返回节点会导致生成空代码。
资源
资料列出：Nim Macros Tutorial、Nim Macros Module、Nim Manual - Macros、Nim by Example - Metaprogramming、Nim AST Pattern Matching。