Typescript总结(七)——泛型

一、认识泛型
软件工程的目的是构建不仅明确和一致的API，让你的代码具有很强的重用性。封装一些API，通过传入不同的函数参数，让函数帮助我们完成不同的操作。那么类型该如何动态化呢，这就用到泛型。
举一个例子

如上述代码所示，此时我们规定了传入的参数必须是 number类型，此时只试用于number类型的数据，而不适用于string等其他类型的数据。
如果我们将类型改为any，则我们无法拿到确定的类型。
综合上面两个问题，我们提出了泛型的概念。
二、泛型参数化

如上述例子所示，此时我们可以将类型作为参数传入，其中传入参数可以存在两种形式，一种是<Type>显性的传入类型，第二种就是通过类型推导。
三、泛型接收类型参数

如上图所示，泛型中可以传入多个参数。
在开发中我们常用的一些缩写：
T:Type的缩写，表示类型
K、V：key和value的缩写，键值对
E:Element的缩写，元素
O:Object的缩写，对象

四、泛型接口

五、泛型类

如上图所示，我们可以在类中使用泛型，并且可以通过如下方式来对类进行实例化。
1、使用类型推导
2、将类型显性的传递过去
3、通过给p3规定类型，并且将类型传递过去。

如上述代码所示，我们在对数组进行定义时，可以使用number[]方法，也可以使用泛型的方法Array<number>，但是一般第二种方法不使用，因为在react jsx语法。
六、泛型的约束

也可以对泛型进行约束（注意泛型其实就是一种类型）。如上述代码所示，我们定义了一个getLength的函数，用来获取传入参数的长度，只需要存在length方法即可，此时我们定义了一个接口，让泛型继承该接口，就表示该类型的数据必须存在length属性。