Valibot v1.0.0-beta.13 版本发布：精确可选类型与对象验证改进

Valibot 是一个用于 JavaScript 和 TypeScript 的类型安全数据验证库，它提供了强大的模式定义和验证功能。最新发布的 v1.0.0-beta.13 版本带来了两项重要改进：精确可选类型支持和对象验证行为的优化。

精确可选类型支持

新版本引入了 exactOptional 和 exactOptionalAsync 两种新类型，用于更精确地处理可选字段。在 TypeScript 中，可选属性有两种表示方式：undefined 和 ? 修饰符。传统上，Valibot 的 optional 类型会同时接受缺失值和显式的 undefined 值。

新的 exactOptional 类型提供了更严格的控制：

• 它只接受字段完全缺失的情况
• 不接受显式设置为 undefined 的值
• 保持了类型安全，确保运行时行为与类型系统一致

这对于需要区分"未设置"和"显式设置为未定义"的场景特别有用，比如配置对象或API响应处理。

对象验证行为改进

新版本对多种对象类型验证器的行为进行了调整，包括：

• looseObject/looseObjectAsync
• object/objectAsync
• objectWithRest/objectWithRestAsync
• strictObject/strictObjectAsync

主要变化是改进了对缺失对象属性的处理逻辑。现在这些验证器能更准确地反映 TypeScript 的类型系统行为，特别是在处理可选属性时。

可选类型在对象模式中的类型签名变更

optional 和 optionalAsync 类型在对象模式中使用时的类型签名发生了变化。这一变更使得类型推断更加精确，能更好地与 TypeScript 的类型系统协同工作。

实际应用示例

假设我们有一个用户配置对象，其中某些设置是可选的：

import { object, string, exactOptional } from 'valibot';

const UserConfig = object({
  username: string(),
  // 传统可选类型
  theme: optional(string()),
  // 新的精确可选类型
  fontSize: exactOptional(number())
});

在这个例子中：

• theme 可以缺失或显式设置为 undefined
• fontSize 只能完全缺失，不能显式设置为 undefined

升级建议

对于现有项目升级到此版本：

1. 检查所有使用 optional 的地方，确认是否需要改为 exactOptional
2. 测试对象验证逻辑，特别是处理缺失属性的场景
3. 注意类型推断的变化可能影响现有代码

这次更新使 Valibot 的类型系统更加精确和一致，为开发者提供了更强大的工具来构建类型安全的应用程序。