泛型-Generics
先来看第一个泛型的例子:identity函数,这个函数会返回任何传入它的值。你可以把这个函数当成是echo命令
不用泛型,函数可能是下面这样:
function identity(arg: number): number {
return arg;
}
或者用any类型来定义函数:
function identity(arg: any): any {
return arg;
}
使用any类型会导致这个函数可以接收任何类型的arg参数,然后传入的类型与返回的类型应该是相同的,如果我们传入一个数字,我们只知道任何类型的值都有可能被返回
所以我们需要一种方法使返回值的类型与传入参数的类型是相同的,这里我们使用了类型变量:
function identity<T>(arg: T): T {
return arg;
}
T帮助我们捕获用户传入的类型,之后我们可以使用这个类型,并使用T当做返回值类型,那么我们就知道参数类型和返回值类型是相同的了。
使用泛型变量
如果我们想获取T类型的length,那么上面的写法会出错,因为输入的可能是一个数字类型没有length。那么就需要以下写法,像定义数组一样去定义:
function loggingIdentity<T>(arg: T[]): T[] {
console.log(arg.length);
return arg;
}
也可以这样去实现:
function loggingIdentity<T>(arg: Array<T>): Array<T> {
console.log(arg.length);
return arg;
}
约束泛型
先来看下面一个例子:
泛型T不一定包含属性length,我们可以给他传入任意类型,当然有些不包括length属性,所以就会报错
function echoWithArr<T>(arg: T): T {
console.log(arg.length)
return arg
}
这个时候我们就可以使用下面这种写法,利用前面讲过的 interface ,约束里面必须包含length属性,这样传入就没有任何问题,只能传入包含length属性的类型
interface IWithLength {
length: number;
}
function echoWithLength<T extends IWithLength>(arg: T): T {
console.log(arg.length)
return arg
}
echoWithLength('str')
const result3 = echoWithLength({
length: 10})
const result4 = echoWithLength([1, 2, 3])