TypeScript学习日志-第三十二天（infer关键字）

infer关键字

一、作用与使用

infer 的作用就是推导泛型参数，infer 声明只能出现在 extends 子语句中，使用如下：

可以看出 已经推导出类型是 User了

二、协变

infer 的 协变会返回联合类型，如图：

三、逆变

infer 的逆变一般出现函数的参数上，逆变返回的是交叉类型，如图：

它返回never是因为