泛型
泛型类型
泛型函数类型和非泛型函数类型并没有什么不同,只是前面加上了类型参数,类似于函数声明。
另外我们可以使用不同的泛型函数参数名,还可以使用带有签名的对象的字面量来声明函数
function identity<T>(arg:T):T{
return arg
}
let myIdentuty:<T>(arg:T)=>T = identity
let myIdentuty1:<U>(arg:U)=>U = identity // 使用不同的泛型参数名
let myIdentuty2:{
// 我们还可以使用带有签名的对象自变量来定义泛型函数
<T>(arg:T):T
} = identity
用接口来声明函数
用接口来声明函数,很像上面所说的带有签名的对象字面量声明的泛型函数
interface GenericIdentityFn{
<T>(arg:T):T;
}
let myIdentuty3:GenericIdentityFn = identity
我们可以把泛型参数类型作为接口的参数传进来
interface GenericIdentityFn<T>{
<T>(arg:T):T;
}
let myIdentuty3:GenericIdentityFn<number>= 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; };
泛型约束
可以用接口来约束泛型
interface Lengthwise{
length:number
}
//对任意类型T,添加了至少要有length属性的约束
function identity<T extends Lengthwise>(arg:T):T{
return arg
}
类型推断
没有指明变量的地方,类型推断会提供帮助类型。
let x = 3
已经推断x为number类型,如果进行其他类型赋值操作,就会报错
x = ' 123' //不能将类型“string”分配给类型“number”。
最佳通用类型
let x = [1,null]
推断x的类型,我们有两种选择 number | null 。计算通用类型算法时会考虑所有的候选类型,给出一个兼容所有候选类型的类型。