目录
本章我们继续上节的内容继续，展示我们对extends infer的其他用法
1、函数
（1）提取参数类型
我们可以通过 extends 和infer去提取参数的类型
首先，我们定义了一个名为 fn 的类型别名，它代表了一个函数类型，
这个函数接受四个参数：name（类型为 string）、b（类型为 number）、c（类型为 boolean）和 d（类型为 object），并且不返回任何值（返回类型为 {}，即 void）。
接下来，我们定义了一个名为 ExtractParameters 的泛型类型别名，它使用了条件类型和类型推导来提取函数的参数类型：
这里的关键是 infer Args。在条件类型中，infer 关键字允许我们为类型变量创建一个新的名字，并从上下文中推断其类型。
如果
fn是一个函数类型，并且它的参数被解构为...args，那么Args将会被推断为这些参数的类型。如果
fn不是一个函数类型，那么Args将永远不会被推断，因此该类型将简化为never。
（2）提取返回值类型
同样我们也能提取返回值的类型
fn extends (...args: any[]) => infer ReturnType ? ReturnType : never是一个条件类型。条件类型允许我们根据某个条件来选择不同的类型。fn extends (...args: any[]) => infer ReturnType：这里检查fn是否可以赋值给一个函数类型，该函数接受任意参数（由...args: any[]表示）并返回一个类型（由infer ReturnType表示）。infer关键字是 Ts 的一个特性，允许我们在条件类型中推断类型。如果上述条件为真（即
fn确实是一个函数类型），则GetFunctionReturnType<fn>的结果类型就是ReturnType。如果上述条件为假（即
fn不是一个函数类型），则GetFunctionReturnType<fn>的结果是never。never类型在 Ts 中表示一个永远不存在的值的类型。
2、构造器
构造器和函数差不多，唯一的区别就是构造器可以new一个新的实例
比如：构造器可以用interface声明
（1）提取构造器返回值
在这段代码中，我们定义了一个泛型类型参数 T，它约束为一个类构造函数，即可以接受任意参数并返回一个新创建的类实例的类型。
并通过条件提取，检查 T 是否满足前面定义的条件（即是否为一个类构造函数），
如果 T 是一个类构造函数，那么 infer ReturnType 会推断出这个构造函数返回的类型，并赋值给 ReturnType。随后，整个条件类型的结果就是 ReturnType。
如果 T 不是一个类构造函数，那么整个条件类型的结果就是 any。
（2）提取构造器参数类型
T extends new (...args: infer Arguments) => any ? Arguments : never是一个条件类型。它检查T是否满足new (...args: infer Arguments) => any的形式。- 如果满足，那么它会提取出
Arguments（使用infer关键字），并返回这个类型。 - 如果不满足，它会返回
never类型。
3、索引类型
我们可以通过条件提取 去获取到某一条索引的值类型
其实跟上面的都是一个逻辑，相信大家看到这里已经能够熟练使用 extends 配合infer做条件提取了。