TypeScript联合类型使用Exclude工具无法正确排除类型问题

核心原因 #

TypeScript 采用结构化类型系统，判断两个类型是否兼容只看实际结构是否满足要求，和类型定义的名称没有关系。
Exclude<T, U>的底层是分布式条件类型，实现逻辑为：type Exclude<T, U> = T extends U ? never : T，会把联合类型 T 的每个成员单独拿出来判断是否可赋值给 U，符合条件的成员会被排除。

你定义的两个类型中：

• Bar 结构为{ data: string }，只要任意类型存在data:string属性，就可以赋值给Bar
• Foo 结构为{ data: string; otherData: number }，完全满足Bar的结构要求，所以Foo extends Bar的判断结果为true

对Exclude<FooBar, Bar>来说，联合类型的两个成员判断结果都为true，全部被排除为never，就是你遇到的现象。
反过来Exclude<FooBar, Foo>符合预期的原因也很简单：Bar缺少Foo要求的otherData属性，无法赋值给Foo，所以会被保留下来。

实现预期效果的方案 #

如果你需要实现「排除结构完全和Bar一致的类型，保留带额外属性的Foo」，有两种常用方案：

方案1：添加品牌属性做唯一标识 #

type Foo = {
  _type: 'Foo'
  data: string;
  otherData: number;
};
type Bar = {
  _type: 'Bar'
  data: string;
};
type FooBar = Foo | Bar;

type ShouldBeFoo = Exclude<FooBar, Bar>; // 正确得到 Foo 类型
type ShouldBeBar = Exclude<FooBar, Foo>; // 正确得到 Bar 类型

这种方案适合业务中区分多个结构相似的类型，类型守卫也可以直接判断_type属性，使用成本很低。

方案2：自定义严格匹配的排除类型 #

如果不想加额外属性，可以自己实现严格匹配的排除逻辑，要求两个类型属性完全一致才会被排除：

type Exact<T, U> = T extends U ? U extends T ? T : never : never;
type ExcludeExact<T, U> = T extends Exact<T, U> ? never : T;

type ShouldBeFoo = ExcludeExact<FooBar, Bar>; // 正确得到 Foo 类型

类型守卫场景的处理 #

在类型守卫使用场景中，可以直接通过属性存在性判断区分类型：

function isFoo(fooBar: FooBar): fooBar is Foo {
  return 'otherData' in fooBar;
}

这个类型守卫可以正确区分Foo和Bar，不会出现误判。

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