typescript:泛型

在其他面向对象的语言中我们都接触到这一概念，
那么泛型主要是用来做什么的呢？
泛型来创建可重用的组件，一个组件可以支持多种类型的数据。 这样用户就可以以自己的数据类型来使用组件。

比如：

function identify<T>(arg:T):T {
    return arg;
}
let a = identify<string>("asjdkl");
let b = identify<number>(123)
let c = identify<number[]>([1,2.3])
console.log(a)//asjdkl
console.log(b)//123
console.log(c)//[1,2.3]

这个函数 你传进去什么类型，就返回给你什么类型的参数.
这里我们就把identify这个函数称作泛型，因为它可以接受任意类型的参数，并且返回我们希望返回的类型的值。
这种写法我们精确传递了值得类型，还有一种写法更加简便，也更加普遍
，利用了类型推论 – 即编译器会根据传入的参数自动地帮助我们确定T的类型：

let d = identify({test: 1})
console.log(d);//{test:1}

注意我们没必要使用尖括号（<>）来明确地传入类型；编译器可以查看myString的值，然后把T设置为它的类型。 类型推论帮助我们保持代码精简和高可读性。如果编译器不能够自动地推断出类型的话，只能像上面那样明确的传入T的类型，在一些复杂的情况下，这是可能出现的。

同时我们要牢记，我们使用了泛型函数，就要把它当作任意类型的值来看待，比如我们修改一下上面的代码：

function identify<T>(arg:T):T {
	console.log(arg.length);// Error: T doesn't have .length
    return arg;
}

我们可以给他传递任意类型的值，如果传递像数字这样的变量，自然会报错。