要创建一个可重用的组件，其中的数据类型就必须要兼容很多的类型，那么如何兼容呢，TypeScript提供了一个很好的方法：泛型
我们提供的服务有：成都网站制作、成都做网站、外贸营销网站建设、微信公众号开发、网站优化、网站认证、瑶海ssl等。为近1000家企事业单位解决了网站和推广的问题。提供周到的售前咨询和贴心的售后服务，是有科学管理、有技术的瑶海网站制作公司
要兼容多种数据格式，可能会有人想到any,即
function identify(arg: any): any{ return arg;
}
使用any存在一个问题，有可能传入的值和返回的值不是同一种值，例如，传入数字，但是不确定返回的是什么值
要解决这个问题，我们需要引入类型变量-一种特殊的变量，只用于表示类型不表示值
function identity(arg: T): T { return arg; }
给identify添加了类型变量T，用来捕获传入值的类型，然后将返回值的类型也设置为T,就实现了传入值和返回值为同一类型值的需求
我们把identify这个函数叫做泛型，因为它适用于所有类型，并且不会有any类型存在的问题
使用泛型的方法有两种：
1、传入所有的参数，包括类型参数
let output = identify('qwe');
2、利用类型推论--即编译器会根据传入的参数自动地帮助我们确定T的类型
let output = identify('qwe');
在泛型中，我们要合理正确的使用泛型变量T，要牢记T表示任何类型
错误使用：
function identify(arg: T): T { console.log(arg.length);// Error: T doesn't have .length return arg; }
在泛型中我们使用了length这个属性，但是T代表任何类型，所以有可能是number，而number是没有length属性的，所以会报错
如果想要使用length这个属性，我们可以创建数组
function identify(arg: T[]): T[] { console.log(arg.length);// Error: T doesn't have .length return arg; }
泛型函数的类型与非泛型函数的类型没什么不同，只是有一个类型参数在最前面，像函数声明一样：
function identify(arg: T): T { return arg; } let myIdentify: (arg: U) => U = identify;
从上面的代码中可以看出也可以使用不同的泛型参数名，只要在数量上和使用方式上能对应上就可以
当然也可以把泛型参数当做一个接口的参数，这样就可以知道这个接口具体用的是那种类型
interface GenericIdnetify{ (arg: T): T; }function identity (arg: T): T{ return arg; } let myGenericidentify: GenericIdnetify = identity;
泛型类看上去与泛型接口差不多。 泛型类使用（ <>）括起泛型类型，跟在类名后面。
class GenericNumber{ zeroValue: T; add: (x: T, y: T) => T; } let myGenericNumber = new GenericNumber (); myGenericNumber.zeroValue = 0; myGenericNumber.add = function(x, y) { return x + y; };
在前面的泛型变量中遇到了一个问题，就是在泛型中调用参数的length时，如果参数没有Length属性会报错，而使用泛型约束，就是只有满足一定的条件才可以使用这个泛型
为此，我们定义一个接口来描述约束条件。 创建一个包含 .length属性的接口，使用这个接口和extends关键字还实现约束：
interface lengthwise{
length: number;
}function identity(arg: T): T{
console.log(arg.length); return arg;
}
identity(123); //erroridentity('qwe'); //true
当传入123时，没有length属性，就报错，而传入字符串qwe时则完全正确