Valibot 中动作类型编译时 ErrorMessage 泛型参数丢失问题解析

Valibot 是一个优秀的 JavaScript 数据验证库，开发者在使用过程中发现了一个关于类型系统的小问题。本文将深入分析这个问题及其解决方案。

问题现象

在 Valibot 的某些验证动作（如 minLength）中，当使用函数回调格式的 ErrorMessage 时，TypeScript 类型检查系统会丢失对 requirement 参数的泛型类型推断。具体表现为 ErrorMessage 回调函数的参数无法正确获取到 TRequirement 的泛型类型信息。

技术背景

Valibot 采用了 TypeScript 的泛型系统来提供强大的类型安全。minLength 验证器原本设计为接收两个泛型参数：

• TInput：限制输入类型为字符串或数组
• TRequirement：限制最小长度要求的数字类型

ErrorMessage 类型设计为可以接收一个包含 issue 信息的对象参数，其中 issue 应该包含 requirement 字段，并且该字段的类型应与 TRequirement 保持一致。

问题分析

在编译后的类型定义中，minLength 的类型签名变为：

declare function minLength<TInput extends string | any[], TRequirement extends number>(
  requirement: TRequirement,
  message?: ErrorMessage
): MinLengthValidation<TInput, TRequirement>;

这里的关键问题是 ErrorMessage 类型丢失了其泛型参数，导致在回调函数中无法正确推断 requirement 的类型。这使得开发者在使用自定义错误消息时，无法获得完整的类型提示和类型安全检查。

解决方案

Valibot 团队在最新的 RC 版本中修复了这个问题。修复后的版本确保了：

1. ErrorMessage 类型能够正确保留其泛型参数
2. 回调函数中的 issue 对象能够正确反映 requirement 字段的类型
3. 整个类型系统保持一致性

开发者建议

对于使用 Valibot 的开发者，建议：

1. 升级到最新版本以获得完整的类型支持
2. 在自定义错误消息时，可以利用完整的类型提示来编写更安全的代码
3. 注意验证器参数与错误消息之间类型的一致性

这个问题的修复体现了 Valibot 团队对类型系统的持续改进，使得开发者能够获得更好的开发体验和更可靠的类型安全保证。