TypeScript中如何禁止MyType类型的a与b/c字段组合？

你当前的类型定义只是允许存在指定的结构，但TypeScript的结构类型系统会认为同时包含a和b的对象依然匹配{ a: number }分支（因为该对象包含了a: number的所有必要属性），所以不会触发错误。要实现禁止a与b/c共存的需求，核心是给每个分支显式排除不允许出现的字段，通过never类型约束非法字段的存在。

直接实现方案 #

给每个类型分支添加?: never约束，明确指定不允许的字段要么不存在，要么类型为never（无法赋值）：

type MyType =
  | { a: number; b?: never; c?: never } // 仅允许a，禁止b/c
  | { b: number; a?: never; c?: never } // 仅允许b，禁止a
  | { c: number; a?: never; b?: never } // 仅允许c，禁止a
  | { b: number; c: number; a?: never }; // 允许b+c，禁止a

优化复用方案 #

如果需要复用排除逻辑，可以定义工具类型减少重复代码：

// 工具类型：给类型T添加排除指定字段K的约束
type ExcludeFields<T, K extends keyof any> = T & Partial<Record<K, never>>;

type MyType =
  | ExcludeFields<{ a: number }, 'b' | 'c'>
  | ExcludeFields<{ b: number }, 'a'>
  | ExcludeFields<{ c: number }, 'a'>
  | ExcludeFields<{ b: number; c: number }, 'a'>;

效果验证 #

• 合法实例（无类型错误）：

  const valid1: MyType = { a: 1 };
  const valid2: MyType = { b: 2 };
  const valid3: MyType = { c: 3 };
  const valid4: MyType = { b: 2, c: 3 };
  

• 非法实例（触发类型错误）：

  const invalid1: MyType = { a: 1, b: 2 }; // ❌ 类型冲突：b不能同时为number和never
  const invalid2: MyType = { a: 1, c: 3 }; // ❌ 类型冲突：c不能同时为number和never
  const invalid3: MyType = { a: 1, b: 2, c: 3 }; // ❌ 类型冲突：b/c不能同时为number和never
  

原理说明 #

通过给每个分支添加?: never约束，强制要求对象不能包含当前分支不允许的字段。当创建包含非法组合（如a+b）的对象时，该对象无法匹配任何一个合法分支（因为字段类型会出现number与never的冲突），从而触发TypeScript的类型检查错误，实现预期的约束效果。

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