泛型
要创建一个可重用的组件,其中的数据类型就必须要兼容很多的类型,那么如何兼容呢,TypeScript提供了一个很好的方法:泛型
Hello World
要兼容多种数据格式,可能会有人想到any,即
function identify(arg: any): any{ return arg; }
使用any存在一个问题,有可能传入的值和返回的值不是同一种值,例如,传入数字,但是不确定返回的是什么值
要解决这个问题,我们需要引入类型变量-一种特殊的变量,只用于表示类型不表示值
function identity<T>(arg: T): T { return arg; }
给identify添加了类型变量T,用来捕获传入值的类型,然后将返回值的类型也设置为T,就实现了传入值和返回值为同一类型值的需求
我们把identify这个函数叫做泛型,因为它适用于所有类型,并且不会有any类型存在的问题
使用泛型的方法有两种:
1、传入所有的参数,包括类型参数
let output = identify<string>('qwe');
2、利用类型推论--即编译器会根据传入的参数自动地帮助我们确定T的类型
let output = identify('qwe');
泛型变量
在泛型中,我们要合理正确的使用泛型变量T,要牢记T表示任何类型
错误使用:
function identify<T>(arg: T): T { console.log(arg.length);// Error: T doesn't have .length return arg; }
在泛型中我们使用了length这个属性,但是T代表任何类型,所以有可能是number,而number是没有length属性的,所以会报错
如果想要使用length这个属性,我们可以创建数组
function identify<T>(arg: T[]): T[] { console.log(arg.length);// Error: T doesn't have .length return arg; }
泛型类型
泛型函数的类型与非泛型函数的类型没什么不同,只是有一个类型参数在最前面,像函数声明一样:
function identify<T>(arg: T): T { return arg; } let myIdentify: <U>(arg: U) => U = identify;
从上面的代码中可以看出也可以使用不同的泛型参数名,只要在数量上和使用方式上能对应上就可以
当然也可以把泛型参数当做一个接口的参数,这样就可以知道这个接口具体用的是那种类型
interface GenericIdnetify<T>{ (arg: T): T; } function identity<T>(arg: T): T{ return arg; } let myGenericidentify: GenericIdnetify<string> = identity;
泛型类
泛型类看上去与泛型接口差不多。 泛型类使用( <>
)括起泛型类型,跟在类名后面。
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; };
泛型约束
在前面的泛型变量中遇到了一个问题,就是在泛型中调用参数的length时,如果参数没有Length属性会报错,而使用泛型约束,就是只有满足一定的条件才可以使用这个泛型
为此,我们定义一个接口来描述约束条件。 创建一个包含 .length
属性的接口,使用这个接口和extends
关键字还实现约束:
interface lengthwise{ length: number; } function identity<T extends lengthwise>(arg: T): T{ console.log(arg.length); return arg; } identity(123); //error identity('qwe'); //true
当传入123时,没有length属性,就报错,而传入字符串qwe时则完全正确
参考资料: