TypeScript 泛型

泛型

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

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

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

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

createArray<string>(3,'1');   // [1, 1, 1]

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

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

泛型约束

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

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

泛型接口

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

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

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

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

泛型类

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

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

相关阅读更多精彩内容

友情链接更多精彩内容