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