TypeScript学习之泛型（4）

泛型就相当于数据的模板，我们往模板里输入什么类型他就会根据输入生成具体的、相对应的、确定的数据类型。

创建一个函数，这个函数的参数接受数字类型的数组，函数的返回值是参数数组的最后一位。如果我们不光想让这个函数接收数字类型的参数还接收字符串类型的参数，此时我们的数组会报错；

虽然我们可以把函数的泛型number改为any，但是我们的 l1 和 l2 的类型也会变成any，这就和我们所希望的想使用强类型定义就不符合了。此时，我们可以使用泛型。 

在函数的参数前面加上<T>, 表示动态类型泛型，把 T 传入函数定义用 T 动态的代替Array中的类型 any 。（arr的声明既可以写成  Array<T> 也可以写成 T[ ] )。此时 l1 的类型变成了number， l2 的类型变成了 string。因此，通过使用泛型我们可以保持代码中类型的一致性。

当我们在使用泛型的时候，也可以明确指出泛型的类型，例如：

const l2 = lastInArray<string>(["a","b","c"]) 这样可以保证代码更高的安全性，虽然这样看起来有点多此一举，但是如果我们在泛型中使用联合类型，例如：

const l3 = lastInArray<string | number>(["a","b","c"])，当我们的参数只有 string 类型的时候，如果仅仅使用typescript自动匹配的类型是不够的，自动匹配 l3 的类型只是 string，显式指明的话，l3 将是 string 和 number 的联合类型。

我们再来创建一个函数，这个函数可以创建一个二维数组，接受 x 和 y 两个数据，输出二维的tuple数据 x 和 y。在元组中，每一个数据都可能是不同的类型，当我们在调用这个函数的时候，如果需要给两个元素都安排不同的泛型类型时，可以这样处理：

在调用makeTuple的时候也可以给函数显示定义泛型类型 

所以我们需要处理多个泛型类型的时候，用逗号把泛型类型分隔开。泛型也与参数类似，我们也可以给他定义默认类型：

 在我们调用函数的时候就可以省略定义第二个泛型。