如何要求数组中每个对象严格匹配某一预定义TypeScript类型？

你需要让传入React组件的对象数组中，每个元素严格匹配联合类型里的某一个具体类型，不能同时包含多个类型的专属字段（比如同时有bark和meow）。默认的IDog | ICat联合类型允许这种“混合”对象，因为TypeScript的结构类型系统会认为它兼容两个类型的子集，可用以下方法解决：

方法一：添加可辨识标签（最推荐的标准方案） #

给每个子类型加一个唯一的标签字段，让TypeScript能明确区分每个类型的边界：

interface IAnimal {
  eat: () => void;
  name: string;
}

interface IDog extends IAnimal {
  type: 'dog'; // 唯一辨识标签
  bark: () => void;
}

interface ICat extends IAnimal {
  type: 'cat'; // 唯一辨识标签
  meow: () => void;
}

type ValidAnimals = IDog | ICat;

使用时必须指定type，TypeScript会严格检查字段合法性：

<MyComponent pets={[
  {
    type: 'dog',
    name: "Sparky",
    eat: () => {},
    bark: () => {}
  },
  {
    type: 'cat',
    name: "Whiskers",
    eat: () => {},
    meow: () => {}
  },
  {
    type: 'cat',
    name: "Kitty",
    eat: () => {},
    bark: () => {}, // ❌ 报错：ICat类型不允许有bark字段
    meow: () => {}
  },
]} />

方法二：用工具类型排除多余字段（无需新增标签） #

如果不想加辨识标签，可以自定义工具类型，强制对象只能包含对应类型的字段：

interface IAnimal {
  eat: () => void;
  name: string;
}

interface IDog extends IAnimal {
  bark: () => void;
}

interface ICat extends IAnimal {
  meow: () => void;
}

// 工具类型：确保对象严格匹配联合类型中的某一个，不能有其他类型的专属字段
type StrictUnionHelper<T, U extends T = T> = 
  T extends any 
    ? T & Partial<Record<Exclude<keyof U, keyof T>, never>> 
    : never;

type ValidAnimalsStrict = StrictUnionHelper<IDog | ICat>;

把组件的pets属性类型设为ValidAnimalsStrict[]，混合字段的对象会直接报错：

<MyComponent pets={[
  // 正常的狗、猫对象没问题
  {
    name: "Kitty",
    eat: () => {},
    bark: () => {}, // ❌ 报错：该对象无法匹配IDog或ICat的严格类型
    meow: () => {}
  },
]} />

补充说明 #

默认联合类型允许混合字段的原因：TypeScript是结构类型系统，只要对象包含某个类型的所有必填字段，就会被视为兼容该类型。同时有bark和meow的对象会被认为同时兼容IDog和ICat，所以不会报错。上面两种方法都是通过额外约束，打破这种跨类型的兼容性。

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