TypeScript中的泛型

一.概览

定义一个函数或类时，有些情况下无法确定其中要使用的具体类型（返回值、参数、属性的类型不能确定）；
此时泛型便能够发挥作用
举个例子：

function test(arg: any): any{
    return arg;
}

上例中，test函数有一个参数类型不确定，但是能确定的时其返回值的类型和参数的类型是相同的；
由于类型不确定所以参数和返回值均使用了any，但是很明显这样做是不合适的：
首先使用any会关闭TS的类型检查，其次这样设置也不能体现出参数和返回值是相同的类型；

二.泛型函数

function test<T>(arg: T): T{
    return arg;
}

使用方法：

1. 直接使用： test(10);
2. 指定类型：test(10)
3. 可以指定多个泛型：

function test<T, K>(a: T, b: K): K{
  return b;
}

test<number, string>(10, "hello");

泛型类

类中同样可以使用泛型：

class MyClass<T>{
  prop: T;

  constructor(prop: T){
      this.prop = prop;
  }
}

三. 泛型继承

除此之外，也可以对泛型的范围进行约束

interface MyInter{
  length: number;
}

function test<T extends MyInter>(arg: T): number{
  return arg.length;
}

使用T extends MyInter表示泛型T必须是MyInter的子类，不一定非要使用接口类和抽象类同样适用；