Valibot 中实现条件性表单验证的高级技巧

Valibot 是一个强大的 TypeScript 表单验证库，它提供了灵活的方式来定义复杂的验证逻辑。在实际开发中，我们经常需要根据表单中某个字段的值来动态调整其他字段的验证规则。本文将深入探讨如何在 Valibot 中实现这种条件性验证。

条件性验证的典型场景

在表单开发中，条件性验证是一种常见需求。例如，在一个产品定价表单中：

1. 当折扣类型选择"百分比"时，折扣值必须在 0-100 之间
2. 当折扣类型选择"固定金额"时，折扣值不能超过产品原价

这种根据一个字段(disc_type)的值来动态调整另一个字段(disc)验证规则的场景，正是条件性验证的典型用例。

Valibot 的条件验证实现方案

Valibot 提供了 forward 和 partialCheck 两个关键 API 来实现这种条件性验证：

import * as v from 'valibot';

const ProductSchema = v.pipe(
  v.object({
    amount: v.pipe(v.number(), v.minValue(0, '金额必须大于0')),
    disc_type: v.pipe(v.string(), v.nonEmpty('折扣类型不能为空')),
    disc: v.number(),
  }),
  v.forward(
    v.partialCheck(
      [['disc'], ['disc_type']],
      ({ disc, disc_type }) =>
        disc_type !== 'perc' || (disc >= 0 && disc <= 100),
      '百分比折扣必须在0到100之间',
    ),
    ['disc'],
  ),
  v.forward(
    v.partialCheck(
      [['disc'], ['disc_type'], ['amount']],
      ({ disc, disc_type, amount }) => disc_type !== 'fixed' || disc <= amount,
      '固定折扣不能超过产品金额',
    ),
    ['disc'],
  ),
);

代码解析

1. 基础结构：首先定义一个包含 amount(金额)、disc_type(折扣类型)和 disc(折扣值)的基本对象结构

2. 百分比折扣验证：

   • 使用 partialCheck 检查当 disc_type 为 'perc' 时，disc 值是否在 0-100 范围内
   • forward 方法将验证错误关联到 disc 字段

3. 固定金额折扣验证：

   • 使用另一个 partialCheck 检查当 disc_type 为 'fixed' 时，disc 值是否不超过 amount
   • 同样通过 forward 将错误关联到 disc 字段

设计优势

这种实现方式有几个显著优点：

1. 关注点分离：将不同折扣类型的验证逻辑分开，代码更清晰
2. 精确的错误定位：通过 forward 确保错误信息显示在正确的字段上
3. 可维护性：每种验证条件独立存在，便于单独修改或扩展
4. 类型安全：完全支持 TypeScript 类型推断，提供良好的开发体验

实际应用建议

在实际项目中应用这种模式时，建议：

1. 先定义所有字段的基本验证规则
2. 然后添加条件性验证作为增强
3. 为每种业务场景创建独立的验证逻辑块
4. 使用清晰的错误消息帮助用户理解验证失败原因
5. 考虑将复杂验证逻辑提取为可复用的验证函数

Valibot 的这种条件验证模式不仅适用于折扣场景，还可以广泛应用于各种需要动态验证规则的业务表单，如会员等级依赖的优惠规则、地区特定的表单要求等复杂验证场景。