TS 4.7 版本新特性，让 Infer 更简单

本文阿宝哥将介绍 TypeScript 4.7 版本引入的一个与 infer 有关的新特性，该特性能够让 infer 类型推断变得更加简洁。在介绍 infer 有关的新特性之前，我们先来看个例子：

type FirstIfString<T> = T extends [infer S, ...unknown[]]
  ? S extends string
    ? S
    : never
  : never;

在以上代码中，FirstIfString 工具类型使用了 TypeScript 的条件类型、条件链和 infer 类型推断。在第一个条件类型中，我们判断类型参数 T 的实际类型是否为非空的元组类型，同时使用 infer 声明了类型变量 S，用于存储模式匹配过程中，所捕获元组类型第一个元素的类型。

而在第二个条件类型中，我们会继续判断类型变量 S 是否为字符串类型的子类型，若条件满足的话，则会返回类型变量 S 所对应的类型，否则所有条件类型的 false 分支都会返回 never 类型。

介绍完 FirstIfString 工具类型的作用之后，我们来验证一下它的功能：

// string
type A = FirstIfString<[string, number, number]>;

// "hello"
type B = FirstIfString<["hello", number, number]>;

// "hello" | "world"
type C = FirstIfString<["hello" | "world", boolean]>;

// never
type D = FirstIfString<[boolean, number, string]>;

由以上结果可知，FirstIfString 工具类型是可以正常使用的。那么现在问题来了，该工具类型内部使用了两个条件类型，我们能否使用一个条件类型来实现同样的功能呢？答案是可以的！TypeScript 4.7 版本允许我们为 infer type 添加可选的 extends 子句，用于指定类型变量的显式约束。