ts泛型（深入学习TS边学边打）

设计泛型的关键动机是在成员之间提供有意义的类型约束，这些成员可以是类的实例成员、类的方法、函数的参数、函数的返回值。

1. 动机和示例
   下面是在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++，这也被称为模板。

2. 看完再补充~~~