Valibot库中对象交叉类型转JSON Schema的问题解析

问题背景

Valibot是一个轻量级的TypeScript验证库，提供了将Schema转换为JSON Schema的功能。在实际使用中，开发者发现当使用intersect操作符组合多个对象类型时，生成的JSON Schema存在无法满足的约束条件。

问题现象

当开发者尝试将两个对象类型的交叉类型转换为JSON Schema时：

const schema = intersect([
  object({ foo: string() }),
  object({ bar: number() }),
]);

生成的JSON Schema会为每个对象添加additionalProperties: false约束：

{
  "allOf": [
    {
      "type": "object",
      "properties": { "foo": { "type": "string" } },
      "additionalProperties": false
    },
    {
      "type": "object",
      "properties": { "bar": { "type": "number" } },
      "additionalProperties": false
    }
  ]
}

这导致任何同时包含foo和bar属性的对象都无法通过验证，因为每个子Schema都禁止额外的属性。

技术分析

Valibot与JSON Schema的差异

Valibot的intersect操作符在运行时验证时，实际上是要求对象同时满足所有子Schema的条件。然而在JSON Schema中，allOf与additionalProperties: false的组合会产生严格的约束，这与Valibot的预期行为不符。

严格对象与宽松对象

Valibot提供了三种对象类型定义方式：

1. object() - 基本对象类型，允许额外属性
2. strictObject() - 严格对象类型，禁止额外属性
3. looseObject() - 宽松对象类型，明确允许额外属性

在JSON Schema转换中，这三种类型应该有不同表现：

• strictObject应转换为additionalProperties: false
• looseObject应转换为additionalProperties: true
• 普通object不应添加additionalProperties约束

解决方案

临时解决方案

开发者可以使用对象合并替代交叉类型：

const MergedSchema = object({
  ...ObjectSchema1.entries,
  ...ObjectSchema2.entries,
});

长期解决方案

Valibot团队计划在v2版本的toJsonSchema中：

1. 升级到支持unevaluatedProperties的JSON Schema新版本
2. 为不同类型对象提供准确的JSON Schema转换
3. 保持与TypeScript类型的严格对应关系

最佳实践建议

1. 避免在JSON Schema转换场景中使用intersect组合多个strictObject
2. 优先使用对象合并语法替代交叉类型
3. 明确区分使用object、strictObject和looseObject的场景
4. 等待v2版本对JSON Schema支持的改进

总结

Valibot在对象交叉类型的JSON Schema转换上存在与预期行为不符的问题，这源于JSON Schema规范的限制。开发者需要注意使用场景，选择合适的对象类型定义方式，并关注未来版本对此问题的改进。