Zod 是以 TypeScript 为中心的 Schema 校验库，用同一份定义进行运行时数据校验并推导静态类型。
静态类型与运行时校验
TypeScript 的类型声明帮助开发阶段检查代码，但外部 JSON、表单和接口输入仍可能不符合预期。Zod 在这些边界解析实际数据，校验成功后提供可按定义使用的结果。
Schema 可以组合字符串、对象等结构。parse 在失败时抛出错误；safeParse 用结果对象区分成功与失败。应根据当前所用版本查阅官方文档，避免将类型推导误当成已经执行的数据检查。