Typescript 从不 vs [从不]

Question

为什么这不起作用：

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

type A = IsNever<never>; // ->'never', but should be true

但这有效：

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

type A = IsNever<never>; // true

在这种情况下，方括号 [] 如何帮助定义类型？

Answer 1

永远不能从类型扩展。正确类型：

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