TypeScript 是目前前端开发中使用广泛的一种类型检查语言，它为开发人员提供了更好的代码可读性和可维护性。在 TypeScript 中，定义泛型的方式和使用泛型的方式都比在 JavaScript 中要更加灵活和方便。
然而，在 TypeScript 中，有时候我们需要获取到泛型参数类型，以便在编写代码的过程中能更加精准地进行类型推断和类型匹配。而在这种情况下，使用 Infer 关键字可以很好地解决这一问题。
Infer 关键字是什么？
Infer 关键字是 TypeScript 在 2.8 版本中引入的一种语言特性，它的作用是帮助开发人员获取到泛型类型参数，以便在编写类型推断和类型匹配的代码时更加方便和精准。
在 TypeScript 中，Infer 关键字是通过条件类型来实现的。简单来说，条件类型是一种由类型系统在编译期间进行计算的类型，它可以根据某些条件来确定返回的类型。
下面是 Infer 关键字的简单示例：
type ReturnType<T> = T extends (...args: any[]) => infer R ? R : any;
这个示例中的 ReturnType 就是一个条件类型，它接受一个泛型类型 T，然后根据 T 是否为一个函数类型来确定返回的类型。如果 T 是一个函数类型，则返回它的返回值类型，否则返回 any。
如何使用 Infer 关键字获取泛型参数类型？
下面我们来看一个具体的例子，说明如何使用 Infer 关键字来获取泛型参数类型。
假设我们有一个函数，它接受一个元组类型作为参数，并返回这个元组中第一个值的类型。这个函数的定义如下：
function getFirstValue<Type extends any[]>(arr: Type): Type[0] {
return arr[0];
}在这个函数中，我们定义了一个泛型类型参数 Type，并将它作为参数传入函数中。然后，我们通过 Type[0] 来获取到这个元组中的第一个值，并作为函数的返回值返回。
现在假设我们有一个元组，它包含两个字符串和一个数字，我们想要获取到这个元组中第一个值的类型。我们可以这样使用 getFirstValue 函数：
const tuple = ["hello", "world", 123]; const firstValue = getFirstValue(tuple); // firstValue 的类型是 unknown
这样做的问题是，由于我们并没有指定 getFirstValue 函数中泛型参数 Type 的具体类型，因此我们在获取元组中第一个值时得到了一个 unknown 类型。
这种情况下，我们可以使用 Infer 关键字来获取泛型参数类型，以便更加精准地进行类型推断和类型匹配。具体来说，我们可以在 Type 之前加上 infer 关键字，然后在函数返回类型中使用 infer 来获取到 Type 的具体类型。代码如下所示：
function getFirstValue<Type extends any[]>(arr: Type): Type extends [infer First, ...any[]] ? First : never {
return arr[0];
}在上面的代码中，我们在泛型参数 Type 前面加上了 infer 关键字，这就意味着我们希望在这个函数中获取到泛型参数 Type 的具体类型。然后，在函数返回值中，我们使用 extends 关键字来限制 Type 的类型，确保它满足元组的特征。
具体来说，我们使用 [infer First, ...any[]] 来表示这个参数类型是一个元组类型，它的第一个元素类型是 First，后面的元素类型是任意类型。然后，我们使用 ? 来表示这个条件是可选的，最后使用 First 来返回元组的第一个元素类型。
这样，我们就可以使用 getFirstValue 函数来获取到元组中第一个值的类型了：
const tuple = ["hello", "world", 123]; const firstValue = getFirstValue(tuple); // firstValue 的类型是 string
总结
在 TypeScript 中，Infer 关键字提供了一种方便、精准的方式来获取泛型参数类型。它通过条件类型来实现，在编写类型推断和类型匹配的代码时非常有用。通过本文的介绍，相信你已经对 Infer 关键字有了更深入的了解，希望这对你在开发 TypeScript 应用程序时有所帮助。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/64747075968c7c53b01d121f