TypeScript中extends条件类型为何仅通过泛型声明才生效？

你遇到的差异是 TypeScript 分布式条件类型的触发规则导致的：

• 只有当 extends 关键字左侧是未被包装的裸泛型参数时，才会对传入的联合类型执行分布式遍历逻辑：将联合类型拆分为单个成员逐一执行条件判断，最后将所有结果合并为新的联合类型。
• 如果 extends 左侧是具体的类型（非裸泛型参数），TS 会将类型作为一个整体判断条件，不会拆分联合成员。

两个示例的具体逻辑解析 #

你的示例代码如下：

type ValueSet = string | 'lol' | 0 | {a: 1} | number[] | 643;
type CustomExclude<T, U> = T extends U ? T : never;

为什么Result1生效 #

type Result1 = CustomExclude<ValueSet, number>;
这里 CustomExclude 的泛型参数 T 是裸类型参数，传入 ValueSet 联合类型时会触发分布式遍历，逐个判断每个成员是否满足 extends number：

• string → 不满足 → 返回never
• 'lol' → 不满足 → 返回never
• 0 → 满足 → 返回0
• {a:1} → 不满足 → 返回never
• number[] → 不满足 → 返回never
• 643 → 满足 → 返回643
  最终合并结果为 never | 0 | never | 643 | never | never，简化后就是 0 | 643。

为什么Result2不生效 #

type Result2 = ValueSet extends number ? ValueSet : never;
这里 extends 左侧是具体的联合类型 ValueSet，不是裸泛型参数，TS 不会拆分联合，直接判断整个 ValueSet 类型是否可以赋值给 number：显然 ValueSet 包含字符串、对象等非number类型，整体不满足条件，因此直接返回never。

补充：非泛型写法触发分布式的方案 #

如果你不想封装泛型也想实现同样的过滤逻辑，可以通过类型推断将联合类型赋值给裸泛型参数，写法如下：

type Result2 = ValueSet extends infer T ? T extends number ? T : never : never;
// 此时Result2的类型同样为 0 | 643

TS 内置的 Exclude、Extract 工具类型正是利用了分布式条件类型的特性，才能实现对联合类型的筛选能力。

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