ReturnType 帮助器中的 Typescript 类型推断

Question

我不明白为什么在下面的情况下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>;

Answer 1

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"

Playground Link

所以定义确实成立并且 never是 (...args: any) => any 的子类型。但为什么 ReturnType<never> 会这样呢？解决 never ？如果推理失败，默认值通常是 unknown不是never (ref)。让我们在 ReturnType 之外尝试一下这个推论:

type T0 = never extends (...args: any) => infer R ? R : any; //unknown 

Playground Link

因此，我们得到了一个非常令人惊讶的结果，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

Playground Link