typescript 直接调用ts Extract类型和是使用相同算法得出的类型为何不同？

作者站长头像
站长
· 阅读数 16

ts Extract的原始实现如下：

type MyExtract<T, U> = T extends U ? T : never;

使用该类型，得出的类型为string

type T1 = Extract<string | number, string>; // string

直接用它的算法，得出的类型却是never，这是为什么？

type T2 = string | number extends string ? string | number : never; // never
回复
1个回答
avatar
test
2024-07-10

还是有区别的。

type T1 = Extract<string | number, string>;

// 等价于

string extends string ? string : never;
|
number extends string ? number : never;

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