Valibot 中数字字面量验证的陷阱与解决方案

问题背景

在使用 Valibot 进行表单验证时，开发者可能会遇到一个令人困惑的情况：当使用 v.variant 进行条件验证时，数字字面量（如 9000）可能无法正确触发预期的验证逻辑。具体表现为，即使某些必填字段为空，验证仍然会通过。

问题分析

这个问题的根源在于 Valibot 的 object 类型默认行为。默认情况下，object 会忽略那些未在模式中明确声明的属性，而不是将它们标记为无效。这种行为虽然提高了验证性能，但在某些特定场景下可能导致意外的验证结果。

当使用 v.variant 进行条件验证时，如果多个变体模式都能匹配输入数据，Valibot 会选择第一个匹配的模式。如果该模式中没有包含某些属性的验证规则，这些属性就会被忽略，即使它们在另一个变体模式中是必需的。

解决方案

方案一：使用严格模式

可以通过在 object 模式中添加 v.never() 作为 rest 参数来启用严格模式。这会强制 Valibot 拒绝所有未在模式中明确声明的属性。

const StrictSchema = v.object({
  // 明确声明的属性
  idGrauAcademico: v.number(),
}, v.never()); // 启用严格模式

方案二：使用排除验证

另一种解决方案是使用 v.notValue() 验证器来明确排除特定的值：

const NotOtherAcademicDegreeSchema = v.object({
  idGrauAcademico: v.number([v.notValue(9000)]),
});

这种方法明确表示该模式不接受值为 9000 的情况，从而确保只有符合特定条件的变体才会被匹配。

最佳实践建议

1. 明确验证意图：在设计验证模式时，应该明确表达你的验证意图，避免依赖默认行为。

2. 考虑使用严格模式：在大多数业务场景下，特别是处理用户输入时，启用严格模式可以避免许多潜在问题。

3. 注意验证顺序：当使用变体验证时，将更具体的模式放在前面，更通用的模式放在后面。

4. 测试边界情况：特别测试那些可能匹配多个变体的输入值，确保它们能触发预期的验证逻辑。

未来展望

Valibot 团队已经意识到这个问题，并计划在未来的版本中改进相关 API 和行为。开发者可以关注项目的进展，及时了解这些改进。

通过理解这些验证行为的细节和采用适当的解决方案，开发者可以构建更健壮、更可靠的表单验证逻辑，确保应用程序的数据完整性和安全性。