Valibot项目中Union类型验证的优化与修复

Valibot是一个功能强大的TypeScript验证库，最近在Union类型的验证逻辑中发现了一个需要优化的行为。本文将深入分析这个问题及其解决方案。

问题背景

在Valibot的Union类型验证中，当使用嵌套验证时会出现一个特殊场景：即使类型检查通过但值验证失败，系统仍会错误地返回"Invalid type"错误。这会导致两个主要问题：

1. 错误信息不准确：系统报告类型错误，而实际上是值验证失败
2. 管道执行中断：自定义验证逻辑无法正常执行

问题复现

考虑以下验证场景：

const schema = union([
  number([maxValue(5, 'Max 5')]), 
  literal('')
]);

safeParse(schema, 10);

当输入值为10时，虽然数字类型检查通过，但会触发maxValue验证失败。此时系统会错误地返回类型错误，而不是预期的值验证错误。

技术分析

问题的核心在于Union验证器的_parse方法实现。当前逻辑在遇到第一个验证器返回结果时，没有区分类型检查通过(typed=true)和失败(typed=false)的情况。

当类型检查通过但值验证失败时，系统应该：

1. 立即终止后续验证器的执行
2. 返回具体的值验证错误
3. 继续执行管道中的自定义验证逻辑

解决方案

Valibot团队在v0.26.0版本中修复了这个问题，主要修改点包括：

1. 在Union验证器中增加了对result.typed的检查
2. 确保类型检查通过时立即终止后续验证
3. 保证管道验证逻辑的正常执行

修改后的验证流程更加符合开发者预期：

• 优先返回通过类型检查的验证器的错误
• 只有所有验证器都类型检查失败时才返回类型错误
• 确保自定义验证逻辑能够执行

实际影响

这一修复对开发者带来的主要好处包括：

1. 更准确的错误信息：能够区分类型错误和值验证错误
2. 更高效的验证流程：避免不必要的验证器执行
3. 更可靠的管道验证：确保自定义验证逻辑能够执行

对于复杂Union类型的验证场景，这一改进显著提升了验证的准确性和可靠性。开发者现在可以更精确地捕获和处理各种验证错误情况。