TypeScript 泛型中的 K、T 和 V 是什么？

TypeScript中的泛型堪称是一项极为强大的工具，利用它，我们能够编写出更为灵活且具备高度可重用性的代码。泛型的独特之处在于，它允许我们在定义函数、类或者接口的时候，运用类型参数来代表那些尚未明确的类型。在泛型的应用场景中，常见的类型参数命名约定有T、K以及V。

当你第一次看到 TypeScript 泛型中的​ T ​时，是不是觉得很奇怪？

图中的​ T ​称为泛型类型参数，它是我们希望传递给恒等函数的类型占位符。

就像传递参数一样，我们获取用户指定的实际类型，并将其链接到参数类型和返回值类型。

那这里的​T​究竟意味着什么呢？图中的泛型类型参数​T​代表的是Type，其实呀，​T​完全可以换成任何一个有效的名称。除了这个常见的泛型变量​T​之外，像​K​、​V​、​E​等等，也是很常见的泛型变量哦。

• K(Key)：表示对象中key的类型
• V(Value)：表示对象中值的类型
• E(Element)：表示元素类型

当然，您不必只定义一个类型参数，您可以引入任意数量的类型参数。这里我们引入了一个新的类型参数U，它扩展了我们定义的恒等函数。

在调用恒等​函数时，我们可以显式指定泛型参数的实际类型。当然，你也可以不指定泛型参数的类型，让TypeScript自动帮我们完成类型推断。

看完上面的动画，你是否已经了解泛型类型参数了呢？