TypeScript中Exclude泛型替换定义后行为差异的原因及解决方法

先看你给出的代码示例：

// Exclude的官方定义
type Exclude<T, U> = T extends U ? never : T

// 自定义联合类型
type MyType1 = 1 | 2 | 3 | 4
type MyType2 = 3 | 4 | 5 | 6

// 两种写法的不同结果
type Result1 = Exclude<MyType1, MyType2>                   // 1 | 2
type Result2 = MyType1 extends MyType2 ? never : MyType1   // 1 | 2 | 3 | 4

差异核心：分布式条件类型机制 #

这两种写法的本质区别在于泛型参数触发的分布式条件类型特性：

• 当extends的左侧是一个泛型参数，且传入的是联合类型时，TypeScript会自动将联合类型拆分为单个成员，分别代入条件类型计算，最后把所有结果合并成新的联合类型。
  对应Result1的计算过程：

  • 1 extends MyType2？否 → 保留1
  • 2 extends MyType2？否 → 保留2
  • 3 extends MyType2？是 → 返回never
  • 4 extends MyType2？是 → 返回never
    最终合并结果为1 | 2。

• 而Result2的写法中，extends左侧是直接写死的联合类型MyType1，并非泛型参数，此时不会触发分布式特性。TypeScript会把整个联合类型作为一个整体判断是否extends MyType2——显然1 | 2 | 3 | 4并不完全包含在3 | 4 | 5 | 6中，所以条件不成立，直接返回MyType1。

让展开写法与Exclude效果一致的方法 #

要手动触发分布式特性，只需要把联合类型包装成泛型参数即可，有两种常用方式：

方式1：自定义和Exclude逻辑一致的泛型 #

直接复用Exclude的实现逻辑，本质就是利用泛型参数触发分布式：

type MyExclude<T, U> = T extends U ? never : T;
type Result3 = MyExclude<MyType1, MyType2>; // 结果为 1 | 2

方式2：用infer临时泛型参数触发 #

如果不想单独定义泛型，也可以通过infer在表达式内生成临时泛型参数：

type Result4 = MyType1 extends infer T ? (T extends MyType2 ? never : T) : never;
// Result4的结果为 1 | 2

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