引言
泛型是一种在编程语言中常见的概念，它可以让我们在编写代码时更加灵活，同时又能保持代码的类型安全。在 TypeScript 中，泛型是一个非常重要的概念，本文将介绍 TypeScript 中泛型的使用和实现，并提供示例代码。
泛型的使用
在 TypeScript 中，泛型可以应用于函数、类、接口等各种类型定义。下面我们将对这些应用进行详细介绍。
1. 函数中使用泛型
在 TypeScript 中，我们可以为函数传入一个任意类型的参数，这个参数可以是 string、number 或者其他类型。但如果我们希望在函数中使用这个参数的类型呢？这时候就可以使用泛型了。
-------- ---------------- --- - -
------ ----
-上面的代码中，我们定义了一个泛型函数 identity，它接受一个类型为 T 的参数 arg，函数返回的类型也是 T。这里可以使用任意字母名字作为泛型类型的占位符，比如 T。
上面的代码定义了一个 identity 函数，它只是简单地返回传入的参数。如果我们希望函数返回的是传入参数的类型，那么就需要使用泛型了。
--- ------ - ----------------------------- -------------------- -- ----------
在这个示例中，我们传入了泛型类型为 string 的参数，函数返回的也是 string 类型的值。
2. 类中使用泛型
在 TypeScript 中，我们也可以定义一个泛型类，它可以应用于多种类型。
----- ---------------- -
---------- --
---- --- -- -- -- -- --
-
--- --------------- - --- ------------------------
------------------------- - --
------------------- - ----------- -- - ------ - - -- --在这个示例中，我们定义了一个名为 GenericNumber 的泛型类，它有两个属性：zeroValue 和 add。zeroValue 的类型为 T，而 add 方法接受两个类型为 T 的参数，返回类型也是 T。
在实例化这个泛型类的时候，我们可以指定它的类型为 number，然后就可以访问这个类的属性和方法了。
3. 接口中使用泛型
在 TypeScript 中，我们也可以定义一个泛型接口，它可以应用于多种类型。
--------- ------------ -
------ --
-
--- ---------------- ----------------- - - ------ --- --
--- ---------------- ----------------- - - ------ ------ ------ --在这个示例中，我们定义了一个名为 Container 的泛型接口，它只有一个属性 value，类型为 T。
当我们使用这个泛型接口的时候，就可以指定它的类型为 number 或 string，然后就可以访问这个接口的属性了。
泛型的实现
在 TypeScript 中，泛型是通过类型参数实现的。通过定义泛型类型的参数，我们可以实现代码复用和类型安全。
1. 类型参数
在 TypeScript 中，我们可以为类型添加类型参数。类型参数就是用来定义一些不确定的类型。这些类型可以在代码中使用，但是不需要提前定义它们的具体类型。
下面是一个简单的示例代码：
-------- ---------------- --- - -
------ ----
-在这个示例中，我们定义了一个类型参数 T。这个类型参数可以在函数中被使用，但是不需要在函数定义时就指定它的具体类型。
2. 泛型约束
在 TypeScript 中，我们可以使用泛型约束来限制类型参数的类型范围。泛型约束可以让我们在编写代码时更加精确地控制泛型类型。
下面是一个使用了泛型约束的示例代码：
--------- ---------- -
------- -------
-
-------- ----------------- ------- ---------------- --- - -
------------------------
------ ----
-在这个示例中，我们定义了一个泛型约束 Lengthwise，它包含一个 length 属性，类型为 number。函数 loggingIdentity 接受一个类型为 T 的泛型参数，然后对这个参数进行一些操作。在函数定义中，我们使用了 extends 关键字将 T 限制为了 Lengthwise 类型的子集，这样函数就可以使用 arg 的 length 属性了。
3. 类型推断
在 TypeScript 中，编译器会根据传入的参数自动推断泛型类型。这样我们就不需要手动指定泛型类型了。
下面是一个使用了类型推断的示例代码：
-------- ---------------- --- - -
------ ----
-
--- ------ - --------------------- -- ------- ------ - ------ --在这个示例中，我们调用了 identity 函数，并将字符串 "myString" 传入函数中。这时候编译器会自动推断出 T 的类型为 string。
结论
泛型是 TypeScript 中非常重要的一个概念，它可以帮助我们实现代码复用和类型安全。在函数、类、接口等各种类型定义中，都可以使用泛型。使用泛型时，我们可以定义类型参数、使用泛型约束以及利用编译器的类型推断功能。使用这些技巧，可以让我们编写更加灵活、类型安全的代码。
来源：JavaScript中文网 ，转载请注明来源 本文地址：https://www.javascriptcn.com/post/671d86549babaf620fb6be36