TypeScript - 泛型、类型推断详解(结合官网、会持续补充)

文章目录

  • 泛型
      • 泛型类型
      • 用接口来声明函数
      • 泛型类
      • 泛型约束
  • 类型推断
      • 最佳通用类型

泛型

泛型类型

泛型函数类型和非泛型函数类型并没有什么不同,只是前面加上了类型参数,类似于函数声明。
另外我们可以使用不同的泛型函数参数名,还可以使用带有签名的对象的字面量来声明函数

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 。计算通用类型算法时会考虑所有的候选类型,给出一个兼容所有候选类型的类型。

你可能感兴趣的:(typescript,typescript,javascript,前端)