ts 类型申明中, 以下例子中为什么会返回never?

Question

type ObjectIterator<T= never> = T extends never ? 1 : 2;

type ObjectValuesToArray = ObjectIterator<never>;

ObjectValuesToArray  // never 类型

以上例子中, 个人认为 ObjectValuesToArray 应该是类型 1

Answer 1

个人理解不知道对不对， 算是对于问题的交流吧

T extends never 时,T意味着已经是never类型了，对于typescript来说，never就相当于不存在类型，当never时就需要用户断言了

所以综上所述， never已经表示不存在了，而如果返回的类型为1的话，那么与never就相悖了