Valibot 中 transform 与 forward 验证的冲突问题解析

Valibot 作为一个类型安全的表单验证库，在处理复杂数据校验时可能会遇到一些特殊情况。本文将深入分析一个典型场景：当 schema 中同时使用 transform 和 forward 验证时出现的预期行为差异。

问题现象

开发者在使用 Valibot 构建注册表单验证时，发现了一个有趣的现象：

1. 当 displayName 字段使用 transform 进行空字符串转 null 处理时，如果该字段验证失败（如超出长度限制），则 forward 中定义的密码一致性检查不会执行
2. 当移除 transform 直接使用普通字符串验证时，密码一致性检查能够正常执行

技术原理

这种现象实际上是 Valibot 的预期行为，其核心原因在于类型安全保证机制：

1. transform 的特殊性：transform 操作会将数据标记为"非类型化"(untyped)状态，当字段验证失败时，Valibot 无法确保后续处理时的数据类型安全
2. forward 的依赖：forward 验证（特别是 custom 验证）需要保证输入数据的类型安全，因此当依赖的字段处于非类型化状态时，这些验证会被跳过
3. 验证顺序：Valibot 会优先执行字段级验证，只有在所有字段验证通过后才会执行对象级的 forward 验证

解决方案与未来改进

根据项目维护者的说明，这个问题将在未来的版本中通过引入 partialCheck 功能得到解决：

1. partialCheck 机制：允许开发者指定需要验证的字段子集，只要这些字段保持类型化状态，验证就会执行
2. 临时解决方案：目前如果需要同时实现空字符串转换和密码一致性检查，可以考虑将密码检查逻辑移出 schema，在业务层手动实现

最佳实践建议

1. 对于需要转换的字段，尽量确保其基础验证规则足够宽松，避免因验证失败导致后续检查被跳过
2. 关键的业务规则验证（如密码一致性）建议考虑放在 transform 之前或单独处理
3. 关注 Valibot 的版本更新，及时采用更完善的验证机制

这个案例很好地展示了类型安全验证库在设计上的权衡考虑，也提醒我们在设计复杂表单验证时需要理解底层验证机制的执行逻辑。