TypeScript 元组(Tuple)
本节介绍元组这一数据类型的定义及其使用，通过元组可以存储不同类型的元素，而非像数组那样只能存储相同元素类型（any[] 除外）。
1. 解释
相同类型元素组成成为数组，不同类型元素组成了元组（Tuple）。
2. 定义元组类型
声明一个由 string 和 number 构成的元组：
const list: [string, number] = ['Sherlock', 1887] // ok const list1: [string, number] = [1887, 'Sherlock'] // error
代码解释： 元组中规定的元素类型顺序必须是完全对照的，而且不能多、不能少，list1 中定义的第一个元素为 string类型，不能赋值为 number类型的数据。
当赋值或访问一个已知索引的元素时，会得到正确的类型：
const list: [string, number] = ['Sherlock', 1887] list[0].substr(1) // ok list[1].substr(1) // Property 'substr' does not exist on type 'number'.
代码解释：
第 3 行，list[0] 是一个字符串类型，拥有 substr() 方法。
第 4 行，list[1] 是一个数字类型，没有 substr() 方法，所以报错。
要注意元组的越界问题，虽然可以越界添加元素（不建议），但是不可越界访问：
const list: [string, number] = ['Sherlock', 1887] list.push('hello world') console.log(list) // ok [ 'Sherlock', 1887, 'hello world' ] console.log(list[2]) // Tuple type '[string, number]' of length '2' has no element at index '2'
代码解释：
第 2 行，向一个声明了只有两个元素的元组继续添加元素，这种操作虽然可行，但是严重不建议！
第 5 行，该元组只有两个元素，不可越界访问第三个元素。
3. 可选元素类型
元组类型允许在元素类型后缀一个 ? 来说明元素是可选的：
const list: [number, string?, boolean?] list = [10, 'Sherlock', true] list = [10, 'Sherlock'] list = [10]
代码解释： 可选元素必须在必选元素的后面，也就是如果一个元素后缀了 ?号，其后的所有元素都要后缀 ?号。
4. 元组类型的 Rest 使用
元组可以作为参数传递给函数，函数的 Rest 形参可以定义为元组类型：
declare function rest(...args: [number, string, boolean]): void
等价于：
declare function rest(arg1: number, arg2: string, arg3: boolean): void
TIPS： 在声明文件（.d.ts）中，关键字 declare 表示声明作用。声明文件用于编写第三方类库，通过配置
tsconfig.json文件中的declaration 为 true，在编译时可自行生成。
还可以这样：
const list: [number, ...string[]] = [10, 'a', 'b', 'c'] const list1: [string, ...number[]] = ['a', 1, 2, 3]
代码解释： Rest 元素指定了元组类型是无限扩展的，可能有零个或多个具有数组元素类型的额外元素。
5. 小结
本小节介绍了元组类型的声明方式和一些技巧，在实际开发中可以灵活应用。
