TypeScript中never类型extends解析困惑：为何结果不一致？

先看你给出的代码：

type IsASubsetOfUnknown<T> = T extends unknown ? true : false;

type T1 = IsASubsetOfUnknown<never>; // never
type T2 = never extends unknown ? true : false; // true

核心原因在于TypeScript条件类型的分布式特性：

• 当条件类型的左侧是裸类型参数（未被[]、{}等包裹的泛型参数T）时，如果传入的T是联合类型，TypeScript会把联合拆成单个成员逐一判断，再将结果合并为新的联合类型。
• never是特殊的“空联合类型”，它没有任何成员。所以把never传入IsASubsetOfUnknown时，分布式条件类型没有可遍历的成员，最终结果就变成了never。

而直接写never extends unknown ? true : false时，左侧不是裸泛型参数，不会触发分布式特性。此时TypeScript直接判断类型关系：never是所有类型的子类型，自然也是unknown的子类型，所以结果是true。

如果想让泛型版本也返回true，给泛型参数加个包裹避免触发分布式即可：

type IsASubsetOfUnknown<T> = [T] extends [unknown] ? true : false;
type T1 = IsASubsetOfUnknown<never>; // true

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