Typescript中泛型的介绍及用法

泛型

   泛型 是指宽泛的类型，通常用于类和函数，表示在使用的时候再指明类型，泛型就是解决类接口方法的复用性、以及对不特定数据类型的支持。泛型不仅可以让我们的代码变得更加健壮，还能让我们的代码在变得健壮的同时保持灵活性和可重用性。用法是通过用 <T> 来表示，放在参数的前面，T帮助我们捕获用户传入的类型。

function abc(value: number): number {
    return value; }  //输入和输出都是number类型
function abc1(value: any): any {
    return value; }  //输入和输出都是any类型,这样就丢失了一些信息：传入的类型与返回的类型应该是相同的
//给abc2添加了类型变量T,之后就可以使用这个类型,然后再次使用T当做返回值类型
function abc2<T>(value: T): T {
    return value; }  //这就是泛型，可以适用于多个类型，同时输入的参数类型和返回值的类型是相同的

泛型变量

  使用泛型创建像以上类似的泛型函数时，编译器要求我们在函数体内必须正确的使用这个通用的类型。 换句话说，我们必须把这些参数当做是任意或所有类型。例如以下示例：

function ab<T>(arg: T): T {
   
    console.log(arg.length);  //报错，因为T是任意或所有类型，而不是所有类型（如number和boolean）都有length属性
    return arg;
}
//因此，我们可以进行些许更改：
function ab1<T>(arg: T[]): T[] {
     //泛型函数接收一个元素类型为T的数组
    console.log(arg.length);  //数组有属性length
    return arg;
}

这可以让我们把泛型变量T当做类型的一部分使用，而不是整个类型，增加了灵活性。

泛型类型

  泛型函数的类型与非泛型函数的类型没什么不同，只是有一个类型参数在最前面，像函数声明一样：

function identity<T>(arg: T): T {
   
    return arg;
}
let myIdentity: <T>(