引言
TypeScript 是一种开源的编程语言，它是 JavaScript 的一个超集，它添加了静态类型和其他一些语言特性。TypeScript 的设计目标是增强 JavaScript 的可读性和可维护性。在 TypeScript 中，泛型是一种非常强大的特性。本文将介绍 TypeScript 中泛型的使用方法和技巧。
泛型的概念
泛型是指在定义函数、接口或类时，不预先指定具体的类型，而在使用时再指定具体类型的一种特性。泛型可以增强代码的复用性和灵活性，使代码更加抽象和通用。
泛型的使用
泛型函数
在 TypeScript 中，我们可以使用泛型来定义函数。下面是一个简单的泛型函数的例子：
function identity<T>(arg: T): T {
return arg;
}在上面的代码中，<T> 表示这是一个泛型函数，并且 T 是一个类型变量。我们可以在函数调用时指定具体的类型：
let output = identity<string>("Hello World");也可以让 TypeScript 自动推断出具体类型：
let output = identity("Hello World");泛型接口
泛型接口是指在定义接口时使用泛型。下面是一个简单的泛型接口的例子：
interface GenericIdentityFn<T> {
(arg: T): T;
}在上面的代码中，<T> 表示这是一个泛型接口，并且 T 是一个类型变量。我们可以使用这个泛型接口来定义一个函数：
function identity<T>(arg: T): T {
return arg;
}
let myIdentity: GenericIdentityFn<number> = identity;在上面的代码中，我们使用 GenericIdentityFn<number> 来定义 myIdentity 变量，这表示 myIdentity 变量是一个函数，它的参数和返回值都是 number 类型。
泛型类
泛型类是指在定义类时使用泛型。下面是一个简单的泛型类的例子：
class GenericNumber<T> {
zeroValue: T;
add: (x: T, y: T) => T;
}
let myGenericNumber = new GenericNumber<number>();
myGenericNumber.zeroValue = 0;
myGenericNumber.add = function(x, y) { return x + y; };在上面的代码中，<T> 表示这是一个泛型类，并且 T 是一个类型变量。我们可以在创建对象时指定具体的类型：
let myGenericNumber = new GenericNumber<number>();
泛型的技巧
使用泛型约束
在 TypeScript 中，我们可以使用泛型约束来限制泛型的类型。下面是一个简单的例子：
interface Lengthwise {
length: number;
}
function loggingIdentity<T extends Lengthwise>(arg: T): T {
console.log(arg.length);
return arg;
}在上面的代码中，我们使用 extends 关键字来限制泛型 T 必须满足 Lengthwise 接口的要求。这样，我们就可以在函数中使用 arg.length 属性了。
使用泛型类约束
在 TypeScript 中，我们也可以使用泛型类来约束泛型。下面是一个简单的例子：
-- -------------------- ---- ------- ----- --------- - -------- -------- - ----- --------- - -------- ------- - ----- ------ - -------- ------- - ----- --- ------- ------ - ------- ---------- - ----- ---- ------- ------ - ------- ---------- - -------- ---------------- ------- ---------- --- -- -- --- - - ------ --- ---- - --- --- - ----------------------------------- --- ---- - ------------------------------------
在上面的代码中，我们使用泛型类 new () => A 来限制泛型 A 必须是 Animal 的子类。这样，我们就可以在函数中创建子类的实例了。
结论
泛型是 TypeScript 中非常强大的特性，它可以增强代码的复用性和灵活性，使代码更加抽象和通用。在使用泛型时，我们可以使用泛型函数、泛型接口和泛型类来实现。同时，也可以使用泛型约束和泛型类约束来限制泛型的类型。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/675fa1d2fc30a73a2ae56899