TypeScript如何限制对象为AB或AB&CD类型，避免部分交集？

问题原因 #

你遇到的问题本质是TypeScript结构类型系统的特性导致的：

• 当你定义ABorABCD = AB | (AB & CD)时，AB & CD是包含AB所有属性+CD所有属性的类型，但联合类型的匹配逻辑是只要满足其中一个分支即可。
• 像{a:1,b:2,c:3}这类对象，完全符合AB类型的结构要求（拥有a、b属性），所以TypeScript会直接将其判定为AB类型，不会触发错误，哪怕它多了额外的c属性。

解决方案 #

要严格限制只能是纯AB类型或者完整的AB&CD类型，可以通过添加属性互斥约束来实现：

方案1：拆分仅AB类型 #

interface AB {
  a: number;
  b: number;
}

interface CD {
  c: number;
  d: number;
}

// 定义"仅AB"类型：必须包含AB的所有属性，且不能有CD的任何属性
type OnlyAB = AB & Partial<Record<keyof CD, never>>;
// 目标类型：要么是仅AB，要么是完整的AB&CD
type ABorABCD = OnlyAB | (AB & CD);

// ✅ 符合要求
const ab: ABorABCD = {
  a: 1,
  b: 2,
}

// ✅ 符合要求
const abcd: ABorABCD = {
  a: 1,
  b: 2,
  c: 3,
  d: 4,
}

// ❌ 报错：类型不匹配
const abc: ABorABCD = {
  a: 1,
  b: 2,
  c: 3,
}

// ❌ 报错：类型不匹配
const abd: ABorABCD = {
  a: 1,
  b: 2,
  d: 4,
}

方案2：简洁的交叉联合写法 #

如果觉得拆分类型太繁琐，也可以用更紧凑的方式实现相同逻辑：

type ABorABCD = AB & (CD | Partial<Record<keyof CD, never>>);

原理说明 #

• Partial<Record<keyof CD, never>>的作用是：约束对象如果存在CD的属性（c或d），那么这些属性的值必须是never类型——而never没有有效值，等同于禁止存在这些属性。
• 通过这种方式，我们把原来的宽松联合类型，变成了**仅AB（无CD属性）和AB+CD（完整属性）**的严格二选一。

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