TypeScript中泛型及泛型函数、泛型类、泛型接口，泛型约束，一文读懂
一起养成写作习惯！这是我参与「掘金日新计划 · 4 月更文挑战」的第1天
泛型的定义（generic type 或者 generics）
泛型是TypeScript语言中的一种特性。 是程序设计语言的一种特性。泛型是一种参数化类型。
定义函数或方法是的参数是形参，调用此函数或方法时传递的参数值是实参。
泛型一般用来处理多个不同类型参数的方法。就是在方法中传入通用的数据类型，使多个方法合并成一个。
可以将类型参数化 好处：达到代码复用、提高代码通用性的目的。
将类型由原来具体的类型变成一种类型参数，然后在调用时才传入具体的类型作为参数，调用时传入的类型称为类型实参。
- 在使用过程中，泛型操作的数据类型会根据传入的类型实参来确定
- 泛型可以用在 类、接口、方法中，分别被称为 泛型类、泛型接口、泛型方法。
- 泛型类和泛型方法同时具备 通用性、类型安全和性能 ，是非泛型类和非泛型方法无法具备的
- 优势：高性能的变成方式、达到代码复用、提高代码通用性、
- 泛型使用的是类型参数(变量),它是一种特殊的变量,代表的是类型而不是值。
泛型函数的定义
function 函数名(参数1:T,...,参数n:类型):返回类型 { //函数体 }
泛型类的定义
class 类名{ //属性和方法签名}
泛型接口的定义
Interface 接口名{ //属性和方法签名 }
共同点: 必须使用<>括起参数 T , 跟在 函数名||类名||接口名 后面, 后续用T来表示此类型。
泛型变量 T (generic type variables)
泛型变量(generic type variables)一般用大写字母 T 表示，如果有多高不同的泛型变量，可以同时用T、U、K表示。
T 必须放在<>中间
一般不能单独出现，会出现在类 函数、 接口 、中 ，在函数体内，编译器不知道泛型变量T具体数据类型，只能认为其为 任意值(any) 类型
泛型约束
泛型参数T类似于any类型,可以表示任意值。但是有些情况下，函数需要处理的数据有一定的约束，比如有一个泛型函数需要访问泛型参数T的length属性，并加1。基于这种需求，必须对泛型参数T进行约束，也就是泛型约束。
泛型约束语法： T extends 接口或者类
PS： 爱学习的学友哥，爱前端，爱运营，爱推广，爱交朋友。
class 类名<T>{ //属性和方法签名}
Interface 接口名<T>{ //属性和方法签名 }
function 函数名<T>(参数1:T,...,参数n:类型):返回类型 { //函数体 }
