TypeScript中泛型及泛型函数、泛型类、泛型接口，泛型约束，一文读懂

 最近在学TypeScript，然后整理了一下关于TypeScript中泛型的一些笔记。

泛型的定义（generic type 或者 generics）

泛型是TypeScript语言中的一种特性。 是程序设计语言的一种特性。泛型是一种参数化类型。  定义函数或方法是的参数是形参，调用此函数或方法时传递的参数值是实参。

泛型一般用来处理多个不同类型参数的方法。就是在方法中传入通用的数据类型，使多个方法合并成一个。

可以将类型参数化 好处：达到代码复用、提高代码通用性的目的。

将类型由原来具体的类型变成一种类型参数，然后在调用时才传入具体的类型作为参数，调用时传入的类型称为类型实参。

• 在使用过程中，泛型操作的数据类型会根据传入的类型实参来确定
• 泛型可以用在 类、接口、方法中，分别被称为 泛型类、泛型接口、泛型方法。
• 泛型类和泛型方法同时具备 通用性、类型安全和性能 ，是非泛型类和非泛型方法无法具备的
• 优势：高性能的变成方式、达到代码复用、提高代码通用性、
• 泛型使用的是类型参数(变量),它是一种特殊的变量,代表的是类型而不是值。

泛型函数的定义

function 函数名(参数1:T,...,参数n:类型):返回类型 { //函数体 }

function 函数名<T>(参数1:T,...,参数n:类型):返回类型 { 
     //函数体 
    }

泛型类的定义

class 类名{ //属性和方法签名}

class 类型<T>{ 
    //属性和方法签名
}

泛型接口的定义

Interface 接口名{ //属性和方法签名 }

Interface 接口名<T>{ 
    //属性和方法签名
 }

共同点: 必须使用<>括起参数 T , 跟在 函数名||类名||接口名 后面, 后续用T来表示此类型。

泛型变量 T (generic type variables)

泛型变量(generic type variables)一般用大写字母 T 表示，如果有多高不同的泛型变量，可以同时用T、U、K表示。  T 必须放在<>中间

一般不能单独出现，会出现在类 函数、 接口 、中 ，在函数体内，编译器不知道泛型变量T具体数据类型，只能认为其为 任意值(any) 类型

泛型约束

泛型参数T类似于any类型,可以表示任意值。但是有些情况下，函数需要处理的数据有一定的约束，比如有一个泛型函数需要访问泛型参数T的length属性，并加1。基于这种需求，必须对泛型参数T进行约束，也就是泛型约束。

泛型约束语法： T extends 接口或者类

/***
 * 
 * 泛型约束接口示例代码
 */

 Interface iGeneric{ 
    length:number;
 }

/***
 * 
 * 泛型约束类的示例代码
 * 
 */
class GenericAdd<T extends Igeneric>{
    arg:T;
    add(arg:T):boolean{
        this.arg = arg;
        arg.length++;
        return true;    
    }
    getLength(){
        return this.arg.length;
    }
}

PS：爱学习的学友，爱前端，爱前端，爱运营，爱推广，爱交朋友。