TypeScript IsNever类型两种实现方案差异及元组类型比较原理

问题背景 #

我们需要实现泛型IsNever<T>，要求当输入类型T为never时返回true，否则返回false，预期行为如下：

type A = IsNever<never> // 期望为 true
type B = IsNever<undefined> // 期望为 false
type C = IsNever<null> // 期望为 false
type D = IsNever<[]> // 期望为 false
type E = IsNever<number> // 期望为 false

错误实现的问题 #

错误实现代码：

type IsNever<T> = T extends never ? true : false;

当传入never作为T时，这个泛型的结果并不是true，而是never。这是因为TypeScript对条件类型中never的特殊处理：如果条件类型的左侧是never，整个条件类型会直接返回never，不会进入分支判断。never代表空的类型集合，没有任何类型能满足T extends never的判断逻辑，因此整个表达式直接变为never，无法达到预期的返回true的效果。

正确实现的原理 #

正确实现代码：

type IsNever<T> = [T] extends [never] ? true : false;

这里将T和never分别包裹进单元素元组[T]和[never]后，条件判断就能正常执行了。当T是never时，[T]会被解析为[never]，此时[never] extends [never]的判断成立，返回true；当T是其他类型时，[T]与[never]是不同的元组类型，条件不成立，返回false。

元组在类型比较中的特殊作用 #

直接使用T extends never时，never的空集合特性导致条件类型失效；而用元组包裹后，本质是把T转换为了一个包含单个元素的明确类型集合——哪怕T是never，[T]也是一个元素类型为never的元组，不再是空集合。

TypeScript比较元组类型时，会遵循两个规则：

• 两个元组的长度必须完全一致
• 对应位置的元素类型必须互相兼容

因此[T] extends [never]等价于判断T是否兼容never，但绕开了never作为条件类型左侧时的特殊处理逻辑，让整个类型判断能够正常执行。

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