Things Zig Comptime Won't Do
a year ago
- #programming
- #Zig
- #comptime
- Zig的comptime特性设计上具有限制性，不允许宿主泄漏，确保comptime代码在不同编译目标下行为一致。
- Zig不支持动态源代码生成（无#eval功能），而是通过部分求值/特化来实现类似效果。
- 与其他语言不同，Zig不支持在comptime函数中使用领域特定语言(DSL)或自定义语法，严格基于Zig值进行操作。
- Zig要求所有类型元编程必须被特化消除，不提供运行时类型信息(RTTI)，确保类型作为值仅存在于编译期。
- Zig的comptime不能扩展生成类型的API；无法为生成类型添加方法，保持其API为手写且可预测。
- Zig的comptime禁止任何输入/输出操作，使得编译期求值具有密封性、可重现性、安全性和可缓存性，但允许使用外部工具进行代码生成。