Javascript 扩展类型的联合被解析为基类型

发布于02月29日

我想解析依赖于基类型的不同模式的数组:

// Simple example
const typeA = z.object({ prop: z.string() });

const typeB = typeA.extend({
  extraProp: z.boolean(),
});

我try 了以下模式:

const schema = z.array(z.union([typeA, typeB]));

问题是当我解析数据时，typeB项被解析为type A，所以extraProp从输出中删除

const data = schema.parse([{ prop: 'foo', extraProp: true }]);
// => [{"prop":"foo"}]

当我将typeB作为联合的第一项时，它似乎输出了正确的类型，但当发送错误的数据时，它被解析为typeA:

const schema = z.array(z.union([typeB, typeA]));

const data = schema.parse([{ prop: 'foo', extraProp: true }]);
// => [{"prop":"foo","extraProp":true}]

...

const data = schema.parse([{ prop: 'foo', extraProp: 4 }]);
// => [{"prop":"foo"}] - should fail here

是我的模式错了，还是Zod做不到呢？

推荐答案

摘自Zod的Unions部分(增加了重点):

Zod将按照顺序测试每个"选项"的输入，并返回成功验证的the first value.

没有更多也没有更少:它在z.union([typeA, typeB])分钟内try typeA，如果它验证了，则返回解析的数据，否则，它将试试typeB，以此类推.

人们倾向于认为它计算某种形式的联合对象模式，但它没有.这就解释了为什么最后一个例子是有效的:typeB失败，然后它只解析typeA，就像没有typeB一样.

人们有理由期待这一点--例如，它不会在 Typescript :

type A = {prop: string};
type B = A & {extraProp: boolean};
type Sch = B | A;

const o: Sch = { prop: 'foo', extraProp: 2 }; 
// error TS2322: type 'number' is not assignable to type 'boolean'

在这两种情况下都能模拟预期行为的构造是一百:

const typeA = z.object({ prop: z.string() });
const typeB = typeA.extend({
   extraProp: z.boolean(),
});

const schema = z.array(typeB.merge(typeA));
const data = schema.parse([{ prop: 'foo', extraProp: 2 }]);
//{prop: 'foo', extraProp: true}

// ......
const schemaBA = z.array(typeB.merge(typeA));
schemaBA.parse([{ prop: 'foo', extraProp: 2 }]);

//Uncaught ZodError: [{
//  //......
//  "message": "Expected boolean, received number"
// }]