Valibot中处理数字或null类型的模式验证技巧

在数据验证库Valibot中，开发者经常需要处理各种复杂的数据类型转换场景。本文将深入探讨如何创建一个能够验证正数或null值的模式，并在此过程中实现空字符串到null的自动转换。

模式验证需求分析

在实际开发中，我们经常遇到这样的需求：需要验证一个输入值是否为有效的正数或者null。同时，为了提升用户体验，还需要将空字符串自动转换为null值。这种场景在表单处理、API参数验证等场合尤为常见。

基础实现方案

Valibot提供了强大的模式组合能力，我们可以通过pipe方法将多个验证器串联起来：

const positiveNumberOrNullSchema = v.pipe(
  v.union([v.nullable(v.string()), v.number()]),
  v.transform(value => value ? +value : null),
  v.union([v.null(), v.pipe(v.number(), v.minValue(0))]),
)

这个模式的工作流程如下：

1. 首先接受字符串(可为null)或数字类型的输入
2. 通过transform将非空值转换为数字，空值保持为null
3. 最后验证结果是否为null或正数

类型推断的注意事项

Valibot的一个强大特性是能够自动推断输入和输出类型。在上述例子中，开发者可能会困惑为什么推断出的类型是string | number | null而不是预期的number | null。

这里需要理解Valibot的类型系统分为两个层面：

• 输入类型：表示模式可以接受的原始输入类型
• 输出类型：表示经过所有转换和验证后的最终类型

在上面的例子中：

• 输入类型确实是string | number | null，因为模式最初接受这些类型
• 输出类型才是我们真正关心的number | null，这是经过所有转换后的结果

正确的类型推断方法

要获取正确的输出类型，应该使用InferOutput而不是InferInput：

type OutputType = InferOutput<typeof positiveNumberOrNullSchema>;  // number | null

这种区分输入输出类型的设计使得Valibot能够精确描述数据在整个验证流程中的变化过程，为开发者提供更准确的类型提示。

实际应用建议

在实际项目中处理类似需求时，建议：

1. 明确区分输入和输出类型需求
2. 对于复杂的转换逻辑，考虑拆分为多个简单模式组合
3. 充分利用Valibot的类型推断能力，减少手动类型声明
4. 对于数值验证，特别注意边界条件和类型转换可能带来的精度问题

通过合理运用Valibot的这些特性，开发者可以构建出既灵活又类型安全的验证逻辑，显著提升代码质量和开发体验。