如何构建Zod最终Schema，使instanceB校验失败而A、C通过？

你的核心需求：

• 仅包含propA、propB的实例（instanceA）校验通过
• 包含propA、propB+propC、propD、propE的完整实例（instanceC）校验通过
• 包含propA、propB但缺少部分SchemaB字段的实例（instanceB）校验失败

原z.union([SchemaA, SchemaB])失效的原因是：Zod联合校验会匹配第一个符合的Schema，instanceB因满足SchemaA结构被直接判定有效，不会继续校验SchemaB。

两种可行实现方案 #

方案1：给SchemaA添加「禁止额外字段」约束

让SchemaA严格限定只能拥有propA和propB，这样带SchemaB字段（哪怕不全）的实例会被SchemaA拒绝，转而校验SchemaB，此时因字段不全，SchemaB会判定失败。

代码示例：

import { z } from "zod";

// 基础SchemaA，添加strict()禁止额外字段
const SchemaA = z.object({
  propA: z.string(),
  propB: z.number(),
}).strict();

// SchemaB继承SchemaA并新增字段
const SchemaB = SchemaA.extend({
  propC: z.boolean(),
  propD: z.array(z.string()),
  propE: z.date(),
});

// 最终联合Schema
const FinalSchema = z.union([SchemaA, SchemaB]);

方案2：用「互斥约束」明确区分两种类型

如果允许SchemaA存在额外字段，但只要出现SchemaB的任意字段，就必须完整包含所有SchemaB字段，可通过z.intersection结合z.union实现：

代码示例：

import { z } from "zod";

const SchemaA = z.object({
  propA: z.string(),
  propB: z.number(),
});

const SchemaB = SchemaA.extend({
  propC: z.boolean(),
  propD: z.array(z.string()),
  propE: z.date(),
});

// 定义约束：若存在propC/propD/propE中任意一个，必须满足完整SchemaB结构
const SchemaBRequired = z.intersection(
  SchemaA,
  z.object({
    propC: z.boolean(),
    propD: z.array(z.string()),
    propE: z.date(),
  })
);

// 最终Schema：要么是纯SchemaA，要么是完整SchemaB
const FinalSchema = z.union([SchemaA, SchemaBRequired]);

验证效果 #

• instanceA（仅含propA、propB）：匹配SchemaA，校验通过
• instanceC（所有字段齐全）：匹配SchemaB/SchemaBRequired，校验通过
• instanceB（含propA、propB但缺propE）：被SchemaA拒绝（方案1）或不匹配SchemaBRequired（方案2），最终校验失败

内容的提问来源于stack exchange，提问作者anon555666