TypeScript infer 关键字，让类型体操更灵活

今天我们介绍一个 TypeScript 非常强大的关键字 infer。

最近在练习 type-challenges。虽然在先前的博文中有介绍过 infer 关键字的使用，但是直到我在 type-challenges 中使用的时候，才体会到这个关键字的强大之处。这个的感觉有多强大，打个比喻：

好比你在做体操比赛的时候，人已经飞到半空了，但是不知道接下来该做什么动作？该用头着地还是用脚着地？这个时候你要是知道 infer 关键字怎么用，那么它会给你答案！就是这么神奇！

接下来说正事。

首先 infer 关键字必须结合 TypeScript 中的条件类型进行操作，然后结合条件分支进行类型推导。

一个简单示例：

type ArrayElement<T extends any[]> = T extends (infer Element)[] ? Element : never

ArrayElement 类型可以接受一个数组类型，然后获取数组的元素类型。比如：

type NumList = number[]
type StrList = string[]

type NumEle = ArrayElement<NumList> // number
type StrEle = ArrayElement<StrList> // string

就像上面这么操作就可以获取到数组的元素类型。

通过上面的示例，让我们梳理下，infer 关键字做了什么？

• infer 这个单词本意是 推断、推论 的意思。
• 当在条件类型中使用 infer 关键字的时候，显示的声明了一个新的类型变量 Element
• 而 ts 结合条件操作将推断出泛型的元素类型赋值给了 Element

整个过程就是这么简单。

infer 关键字不同情况下的使用

对字符串进行解构推断。

在 js 中 string 也是可迭代，解构的。利用这一特性，我们可以使用 infer 关键字获取到 string 类型的不同位置的字符串类型。

比如我们需要一个可以获取字符串类型的首个字符的类型工具类型 GetFirstStr。

type Name = 'Da Rui'

type Result = GetFirstStr<Name> // 期望获取 D

期望 Result = 'D'。则使用 infer 结合条件类型操作可以实现为：

type GetFirstStr<T extends string> = T extends `${
     infer R}${
     infer O}` ? R : never

type Result = GetFirstStr<Name> // D

利用此特性，我们可以轻松实现一个可以将字符串类型转为首字母大写的工具类型 Capitalize<T> ：

type Darui = Capitalize<'da Rui'> // 期望得到的结果 Da Rui

我们只需将面的 GetFirstStr</