Zod项目中如何精确匹配布尔值true/false

在TypeScript的类型校验库Zod中，开发者经常需要处理各种类型校验场景。一个常见的需求是精确匹配布尔值true或false，而不是简单地接受任何布尔值。

问题背景

在表单验证或API响应处理中，我们有时会遇到这样的需求：某个字段可以是字符串类型，或者只能是特定的布尔值true（而不能是false）。这种精确的类型匹配在TypeScript类型系统中很常见，但在运行时校验中需要特殊处理。

解决方案

Zod提供了z.literal()方法来解决这类精确匹配的需求。z.literal()允许你指定一个具体的字面量值作为校验标准，只有完全匹配该值的输入才会通过验证。

对于需要匹配true的情况：

z.union([
  z.string(),
  z.literal(true)
])

这个组合类型表示：输入可以是一个字符串，或者必须是布尔值true（false将不被接受）。

深入理解

z.literal()方法实际上创建了一个只能匹配特定字面量值的schema。它不仅可以用于布尔值，还可以用于其他原始类型：

• 数字字面量：z.literal(42)
• 字符串字面量：z.literal("hello")
• 布尔字面量：z.literal(true)或z.literal(false)

这种方法在构建精确的类型系统时非常有用，特别是当你的业务逻辑依赖于特定的字面量值时。

实际应用场景

1. API响应处理：当某个字段在成功时为true，在其他情况下返回错误信息字符串时
2. 配置验证：某些配置项只允许设置为特定的几个值之一
3. 状态管理：在Redux action类型或状态机转换中精确匹配特定值

最佳实践

当使用z.literal()组合复杂类型时，建议：

1. 将最可能出现的类型放在union的前面，可以提高校验性能
2. 对于可读性，可以为常用字面量组合创建可复用的schema
3. 配合TypeScript的类型推断，可以获得更好的开发体验

通过合理使用Zod的这些特性，可以构建出既精确又灵活的类型校验系统，满足各种复杂的业务需求。