Valibot中对象联合类型字段丢失问题的分析与解决

问题现象

在使用Valibot进行表单验证时，开发者可能会遇到一个特殊现象：当使用union()组合多个对象类型时，如果这些对象类型存在重叠字段，那么非重叠字段可能会在验证过程中被意外丢弃。

例如，定义两个对象类型A和B：

const A = object({ x: string() });
const B = object({ x: string(), y: number() });
const C = union([A, B]);

当验证{ x: "foo", y: 1 }时，输出结果会变成{ x: "foo" }，y字段被丢弃了。

原因分析

这种现象实际上是Valibot的预期行为，而非bug。关键在于Valibot的object类型默认会忽略并移除未知字段。在上述例子中，当验证器检查输入是否符合A类型时，由于A类型没有定义y字段，y字段会被视为未知字段而被自动移除。

解决方案

Valibot提供了never()方法来解决这个问题。通过将对象类型设置为严格模式，可以禁止未知字段的存在：

const A = object({ x: string() }, never());
const B = object({ x: string(), y: number() });
const C = union([A, B]);

这样设置后，验证器会严格检查字段，不会自动移除未知字段。

类型推断问题

当两个对象类型都设置为严格模式时，可能会遇到类型推断问题：

const A = object({ x: string() }, never());
const B = object({ x: string(), y: number() }, never());
const C = union([A, B]);

这种情况下，类型推断可能会丢失y字段信息。这是由于TypeScript的类型系统限制导致的。Valibot开发者提供了一个解决方案：使用as const断言：

const C = union([A, B] as const);

这样可以确保TypeScript正确推断出联合类型的所有可能字段。

最佳实践

1. 对于需要精确控制字段的对象类型，建议使用never()来启用严格模式
2. 当联合多个对象类型时，如果遇到类型推断问题，可以使用as const断言
3. 在设计表单结构时，尽量避免不同对象类型间存在大量重叠但又不完全相同的字段结构

Valibot的这种设计实际上提供了灵活性，开发者可以根据需要选择宽松或严格的验证策略。理解这一机制有助于更好地设计表单验证逻辑。