泛型是 TypeScript 中一种极其强大的类型工具，可以帮助我们编写更加健壮的程序，提高代码的可读性和可维护性。本文将介绍 TypeScript 中泛型的用法和注意事项，并给出一些示例代码。
什么是泛型？
泛型就是在定义一个函数、接口或类的时候，不预先指定具体的类型，而是在使用的时候再指定具体的类型。泛型可以用于增强类型的灵活性和可复用性。
示例代码：
function identity<T>(arg: T): T {
return arg;
}
let str = identity<string>("hello");
let num = identity<number>(1);在上面的例子中，identity 函数的参数是一个泛型类型 T，返回值也是一个泛型类型 T。在使用这个函数的时候，我们在尖括号中传入具体的类型，比如 string 或 number。可见，泛型可以帮助我们编写更加通用的代码。
泛型约束
在有些情况下，我们可能需要限制泛型的类型，比如只允许传入某种类型的变量。这时，我们可以使用泛型约束。
示例代码：
-- -------------------- ---- ------- --------- ---------- - ------- ------- - -------- ----------------- ------- ---------------- --- - - ------------------------ ------ ---- - --- --- - ------------------------- --- --- - ------------------- -- ---- --- --- - ----------------- ------- - --- --- --- - ------------------- -- ------ -------- ---- --- ---- - -------- --------
在上面的例子中，我们定义了一个名为 Lengthwise 的接口，它要求有一个名为 length 的数值类型属性。然后，我们定义了一个名为 loggingIdentity 的函数，它的泛型参数 T 必须符合 Lengthwise 接口的约束。这样，在使用 loggingIdentity 函数时，我们可以传入字符串、数组或实现了 Lengthwise 接口的对象，但不能传入一个没有 length 属性的数字。
泛型类型别名
TypeScript 还支持泛型类型别名，它可以让我们给一种类型起一个新的名字，并加上泛型参数。泛型类型别名可以与接口、函数等其他类型声明方式配合使用。
示例代码：
type NameArray<T> = Array<T>; let arr1: NameArray<string> = ["Tom", "Jack", "Lucy"]; let arr2: NameArray<number> = [1, 2, 3];
在上面的例子中，我们定义了一个名为 NameArray 的泛型类型别名，它表示一个由泛型类型组成的数组。然后，我们分别使用 NameArray 类型别名声明了两个变量，分别是一个字符串数组和一个数字数组。
泛型类
TypeScript 还支持泛型类，它与泛型函数和泛型接口的使用方式基本相同。
示例代码：
-- -------------------- ---- -------
----- ------------- -
------- ----- - - ---- - -----
------ --------- -- -
-- ---
-
-
--- ---- - --- ---------------------
------------
------------在上面的例子中，我们定义了一个名为 LinkedList 的泛型类，它的泛型参数 T 可以被用做内部变量的类型。然后，我们创建了一个类型为 LinkedList<number> 的变量 list。在使用时，我们只需要把泛型参数传入尖括号中即可。
结论
在 TypeScript 中，泛型是极其强大的类型工具，它可以让我们编写更加健壮的程序，提高代码的可读性和可维护性。但同时，我们也需要注意泛型的使用方式以及泛型的约束。通过本文，相信读者已经学会了 TypeScript 中泛型的用法和注意事项，可以在项目中灵活应用泛型编写出更加优秀的代码。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/66ff92c71b0bf82c71cc3698