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

作者站长头像
站长
· 阅读数 5
type ObjectIterator<T= never> = T extends never ? 1 : 2;

type ObjectValuesToArray = ObjectIterator<never>;

ObjectValuesToArray  // never 类型

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

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

回复
1个回答
avatar
test
2024-07-07

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

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

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

回复
likes
适合作为回答的
  • 经过验证的有效解决办法
  • 自己的经验指引,对解决问题有帮助
  • 遵循 Markdown 语法排版,代码语义正确
不该作为回答的
  • 询问内容细节或回复楼层
  • 与题目无关的内容
  • “赞”“顶”“同问”“看手册”“解决了没”等毫无意义的内容