ts 类型申明中, 以下例子中为什么会返回never?
type ObjectIterator<T= never> = T extends never ? 1 : 2;
type ObjectValuesToArray = ObjectIterator<never>;
ObjectValuesToArray // never 类型
以上例子中, 个人认为 ObjectValuesToArray 应该是类型 1
回复
1个回答
test
2024-07-07
个人理解不知道对不对, 算是对于问题的交流吧
T extends never
时,T
意味着已经是never
类型了,对于typescript
来说,never
就相当于不存在类型,当never
时就需要用户断言了
所以综上所述, never已经表示不存在了,而如果返回的类型为1的话,那么与never就相悖了
回复
适合作为回答的
- 经过验证的有效解决办法
- 自己的经验指引,对解决问题有帮助
- 遵循 Markdown 语法排版,代码语义正确
不该作为回答的
- 询问内容细节或回复楼层
- 与题目无关的内容
- “赞”“顶”“同问”“看手册”“解决了没”等毫无意义的内容