我不明白为什么在下面的情况下Temp
类型是never
。我明白为什么它与 (...args: any) => infer R
兼容,但如何从中推断出类型 never
?
// type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;
type Temp = ReturnType<never>;
最佳答案
TL;DR Distributive conditional type和never
是空联合
长版:
让我们首先了解原因 ReturnType<never>
是never
起初有点令人惊讶:
来自PR介绍never
类型:
never is a subtype of and assignable to every type.
所以这意味着如果我们问这个问题never extend AnyOtherType
?答案应该永远是肯定的。那么让我们问编译器这个问题:
type R = never extends (...args: any) => any ? "Y" : "N"; // Evaluates to "Y"
所以定义确实成立并且 never
是 (...args: any) => any
的子类型。但为什么 ReturnType<never>
会这样呢?解决 never
?如果推理失败,默认值通常是 unknown
不是never
(ref)。让我们在 ReturnType
之外尝试一下这个推论:
type T0 = never extends (...args: any) => infer R ? R : any; //unknown
因此,我们得到了一个非常令人惊讶的结果,T0
确实是unknown
,而ReturnType<never>
是 never
甚至认为我们所做的只是内联 ReturnType
的定义在T0
.
原因是distributive conditional types 。对裸类型参数有条件的类型是分布式的。这意味着如果 T
是一个并集,每个并集组成部分将通过条件类型独立运行,并将所有独立结果合并得到最终结果。例如:
type T1 = ReturnType<(()=> number) | (() => string)> // number | string
编译器如何评估上述类型:
ReturnType<(()=> number) | (() => string)>
-> ReturnType<()=> number> | ReturnType<() => string>
-> ((()=> number) extends (...args: any) => infer R) | ((()=> string) extends (...args: any) => infer R)
-> number | string
好的,那么这与 never
有何关系? 。嗯never
实际上是空联合( refernce ),一个没有成分的联合。这意味着运行 never
时通过分布式条件类型,条件类型实际上永远不会被评估,因为当尝试分配时,没有任何东西可以分配。
我们可以在ReturnType
上创建一个非分布式版本不离开T
裸露,并将其放入元组中,例如:
type ReturnTypeNonDistributive<T extends (...args: any) => any> = [T] extends [(...args: any) => infer R] ? R : any;
type Temp2 = ReturnTypeNonDistributive<never>; //unknown
关于ReturnType 帮助器中的 Typescript 类型推断,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/62732677/