TypeScript 泛型

泛型

泛型（Generics）是指在定义函数、接口或类的时候，不预先指定具体的类型，而在使用的时候再指定类型的一种特性。

例子：实现一个函数 createArray 创建一个指定长度的数组，并初始化

例子中，我们使用数组泛型来指定返回值的数类型。 但它有个缺陷，它并没有明确定义返回值的类型，数组中的每一个元素的类型是any, 但是我们期望返回数组中的元素与value 的类型一致。所以，我们修改代码为：

 调用的时候，可以明确指定T类型，也可以不指定，而根据类型推论推断出来：

createArray(3,'1');   // [1, 1, 1]

createArray(3,'1');   // [1, 1, 1]

定义泛型的时候，可以同时定义多个类型参数。在使用泛型的时候，由于不知道具体的类型，所以不能随意操作它的属性和方法，不然编译会报错。

泛型约束

在函数内部使用函数变量的时候，可以对泛型进行约束，只允许传入具有某些特定属性或方法的变量。例：

例中，使用了extends 约束了泛型T必须符合接口LengthWise 的形状，必须包含length 属性。如果函数入参arg 不包含length 属性，就会编译报错。

泛型接口

使用接口的方式定义函数传参需要的形状：

使用泛型接口定义函数传参需要的形状：

还可以把泛型参数提前到接口名上：

在使用泛型接口的时候，需要定义泛型的类型。

泛型类

使用泛型对类的结构进行定义：