设计泛型的关键动机是在成员之间提供有意义的类型约束，这些成员可以是类的实例成员、类的方法、函数的参数、函数的返回值。
- 动机和示例
下面是在JavaScript/TypeScript中，对一个先进先出的数据结构——队列的简单实现
class Queue {
private data = [];
push = item => this.data.push(item);
pop = () => this.data.shift();
}
在上述代码中存在一个问题，它允许你向队列中添加任何类型的数据，当然，被弹出队列的数据也可以是任意类型。在下面的示例中，看起来人们可以向队列中添加string类型的数据，但是实际上，该用法假定只有number类型会被添加到队列里。
class Queue {
private data = [];
push = item => this.data.push(item);
pop = () => this.data.shift();
}
const queue = new Queue ();
queue.push(0);
queue.push('1'); //因为不符合假定条件将会导致报错
一个解决办法（事实上，这也是不支持泛型的唯一解决办法）是为这些约束创建的特殊类，如快速创建数字类型的队列。
class QueueNumber {
private data = [];
push = (item : number) => this.data.push(item);
pop = () : number => this.data.shift();
}
const queue = new QueueNumber ();
queue.push(0);
queue.push('1'); //错误：不能放入一个string类型的数据，只能是number类型的
//如果该错误得到修复，其他将不会出现问题
当然，这很快就会变得让人痛苦。例如你想创建一个字符串类型的队列，你将不得不再次大幅度的修改代码。如果你想要一种方式去实现，无论什么类型的数据被放进队列中，被弹出的类型斗鱼放入的类型一样，你可以使用泛型，这将让事情变得很简单。
示例如下
//创建一个泛型类
class Queue<T> {
private data :T[] = [];
push = (item : T) => this.data.push(item);
pop = () : T | undefined => this.data.shift();
}
//简单用例
const queue = new Queue<number>();
queue.push(0);
queue.push('1');//错误，不能放入一个string类型的数据，只能是number类型的。
另外一个我们见过的例子是 reverse 函数，在下面的代码中，在reverse 函数里提供了对函数参数表和函数返回值的约束。
function reverse<T>(items : T[]) : T[] {
const toreturn = [];
for (let i = items.length - 1; i >= 0; i--){
toreturn.push(items[i]);
}
return toreturn;
}
const sample = [1, 2, 3];
let reversed = reverse(sample);
reversed[0] = '1'; //错误
reversed = ['1', '2'] //错误
reversed[0] = 1; //正确
reversed = [1, 2] //正确
在本节中，你已经了解了在类和函数上使用泛型的例子。值得补充一点的事，你可以为创建的成员函数添加泛型。
class Utility {
reverse<T>(items: T[]) : T[] {
const toreturn = [];
for (let i = items.length; i >= 0; i--) {
toreturn.push(items[i]);
}
return toreturn;
}
}
建议：你可以随意调用泛型的参数，当你使用简单泛型时，泛型常用 T、U、V表示。如果在你的参数里，拥有不止一个泛型，你应该使用一个更语义化的名称，如TKey和TValue。依照惯例，以T作为泛型的前缀，在其他语言，如C++，这也被称为模板。
- 看完再补充~~~
