在 Zig 中实现类型安全的 HTML 模板

Zig 借助 comptime 元编程把 HTML 模板变成编译期检查的代码，模板结构与变量插入都在编译期校验，避开运行时拼串导致的转义错误和 XSS 风险。模板中的变量插入会自动转义，类型不匹配则直接报编译期错误。该方案适合关注 Zig 工程实践或想借鉴其编译期思路的读者。