精读《Typescript infer 关键字》

[ascoders]

本周精读的文章是 conditional-infer。infer 这个关键字工作中比较少用到，但需要进行类型编程时却是必不可少的，本周我们一起学习一下吧。

---

精读《Typescript infer 关键字》

[feikerwu]

这里有个问题想讨论下，A 和 B 逆变为 A & B类型，根据集合论，也就是 A B交集，这种不是类型收敛吗，看到文章里把逆变看作类型发散，有点疑惑

[ascoders]

& 在 TS 里是并，| 是或的含义，不能套用集合含义。

另外类型收敛是指，TS 在类型推导时大部分情况是类型收敛的（收敛最类型安全），这也符合协变的规则（| 表示或，非 A 即 B 就是收敛）。

[07akioni]

这里有个问题想讨论下，A 和 B 逆变为 A & B类型，根据集合论，也就是 A B交集，这种不是类型收敛吗，看到文章里把逆变看作类型发散，有点疑惑

这里确实容易引发歧义，因为没说清楚收敛的 source 和 target。

通俗说，协变就是满足约束多、或者说派生程度高的（人a）能赋值给约束少、或者说派生程度少的（动物b）值。

const a: 人 = ...
const b: 动物 = a

你也可以说 b 可以接受一个更收敛的值，也可以说 a 被赋给了更发散的变量。

[fuxiang123]

文中的例子
type GetLabelTypeFromObject<T> = T extends ? { label: infer R } ? R : never
第一个问号是不是多余的？

[07akioni]

文中的例子
type GetLabelTypeFromObject<T> = T extends ? { label: infer R } ? R : never
第一个问号是不是多余的？

没毛病

补充：我说的没毛病是说确实是多余的 @zhangyu1818

[soeasyjx]

type Bar<T> = T extends { a: (x: infer U) => void; b: (x: infer U) => void }? U : never

type T21 = Bar<{ a: (x: string) => void; b: (x: number) => void }>;

请问你确定这个 T21 为 string & number 么?????????

[zhangyu1818]

楼上说的代码我放ts playground的结果是never，确实让人有一些疑惑
还有type GetLabelTypeFromObject<T> = T extends ? { label: infer R } ? R : never这个也会报错，第一个问号难道不是多余的吗？看见大佬们的发言让我对自己产生了疑惑，都不敢肯定自己了

[feikerwu]

楼上说的代码我放ts playground的结果是never，确实让人有一些疑惑
还有type GetLabelTypeFromObject<T> = T extends ? { label: infer R } ? R : never这个也会报错，第一个问号难道不是多余的吗？看见大佬们的发言让我对自己产生了疑惑，都不敢肯定自己了

number & string 的结果就是never，你可以用其它的例子来验证

[zhangyu1818]

@feikerwu 想了下结果确实是number & string，但没有类型同时是number和string又变成了never

[ascoders]

文中的例子
type GetLabelTypeFromObject<T> = T extends ? { label: infer R } ? R : never
第一个问号是不是多余的？

是多余的，已经修复啦，谢谢！

[soeasyjx]

我觉得应该是 一个值即为 string 又为 number 的不存在吧，string 交叉 number 这有个么，我没见过。。。。 | | 江鑫 | | ***@***.*** | 签名由网易邮箱大师定制 在2021年08月26日 ***@***.***> 写道： @feikerwu 想了下结果确实是number & string，但没有类型同时是number和string又变成了never — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or unsubscribe.

[soeasyjx]

基础类型不会存在交叉的，一个值怎么可能即为 string 又为 number 呢，所以这里才是 never 永远不可能存在的值类型 | | 江鑫 | | ***@***.*** | 签名由网易邮箱大师定制 在2021年08月26日 ***@***.***> 写道： @feikerwu 想了下结果确实是number & string，但没有类型同时是number和string又变成了never — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or unsubscribe.