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

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

type FirstIfString= 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 子句，用于指定类型变量的显式约束。源码库