主要观点：Zig 的 comptime 特性虽能做很多事（如生成泛型、条件编译、子类型、序列化、ORM 等），但实际上有很多限制。
关键信息：

• 无主机泄漏：comptime 代码在编译时不一定在本地机器执行，可交叉编译，Zig 不允许 comptime 代码访问主机架构，如一个 Zig 程序在不同架构下编译输出不同。
• 无 #eval：Zig 没有动态源代码生成的工具，而是通过部分求值/特化来覆盖动态代码生成的大部分用例，如通过标记第一个参数为 comptime 来部分求值函数。
• 无 DSLs：Zig 没有自定义语法的扩展点，不能将 Zig 语法传递给 comptime 函数，但可以将自定义语法作为 comptime 字符串传递，如“printf”。
• 无 RTTI：Zig 打印代码类似动态语言，但要求所有类型元编程都特化掉，需自己实现运行时类型信息，如通过 union 枚举来表示不同类型的 RTTI。
• 无新 API：可以用 Zig comptime 创建新类型，但不能为生成的类型添加方法，类型的 API 需手动编写，可使用 comptime 反射。
• 无 IO：Zig comptime 不允许任何输入输出，编译时不能与数据库通信，但可以通过构建系统在构建时与数据库交互。
  重要细节：
• Rust 的声明式宏和 const-fn 不观察主机架构，而过程宏观察；Zig 的部分求值/特化与 Rust 的宏不同。
• Zig 的 for 循环有不同的变体，如普通运行时 for 循环、编译时 for 循环和内联 for 循环，它们的限制不同。
• 在 Zig 中实现打印功能时，通过特化递归的 print 函数来处理不同类型的数据结构，在处理复杂类型时需要注意循环体的限制。
• 在实现自己的运行时类型信息时，需要通过 comptime 计算类型信息，并在二进制中具体化作为运行时值使用。
• Zig 的 build.zig 是通用的构建系统，可用于在构建时运行任意 Zig 程序生成代码。

总的来说，Zig 的 comptime 特性有其独特之处和限制，需要根据具体需求来使用。