一、认识泛型
软件工程的目的是构建不仅明确和一致的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属性
。