条件类型和推断

条件类型允许您基于继承关系表达重要的类型决策。语法类似于 JavaScript 的三元运算符：

T extends U ? X : Y

如果类型 T 可分配给 U，则结果类型将为 X，否则将为 Y。

基本条件类型

条件类型在编译时评估条件：

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

当与泛型结合使用以创建灵活且动态的实用程序类型时，此模式非常强大。

使用 infer 进行类型提取

在条件类型的 extends 子句中，我们可以使用 infer 关键字来声明要由编译器推断的类型变量。

例如，如果我们想提取函数的返回类型：

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type ExampleFunction = () => string;
type Return = GetReturnType<ExampleFunction>; // string

在此示例中， infer R 告诉 TypeScript 自动确定函数的返回类型，并使其在条件的正分支中用作 R 。

自己尝试一下

练习 1：IsString 类型

练习 2：使用 infer 从数组中提取类型