TypeScript中数组和元祖

本文我们讨论下TypeScript中数组和元祖，讨论两者之间的区别以及应用场合。

1. 数组

在TypeScript中数组可以存储元素集合，可以同一类型或不同类型。可以通过两种方式定义数组：

type MyArray = string[];

这里定义了单一数据类型。下面定义包括多种类型数组：

type MyArray = Array<string | number>;

类似的通过下面方式定义数组，通过类型推断，效果与上面一致：

const numberArray = [1, 2, 3, 4, 5];const mixedArray = ['a', 2, 'c'];

这样定义的问题是没法确切知道每个元素的具体类型，无法进一步进行类型检查：

const item = mixedArray[2];

这里item数据类型为string | number，要确定具体类型必须通过typeof进行额外检查。
TypeScript提供了可以定义精确元素类型的方法，下面我们讨论元祖。

2. 元祖

定义元祖的语法如下：

type FixedArray = [string, number, string];

可以给每个元素指定数据类型：

const mixedArray: FixedArray = ['a', 2, 'c'];const first = mixedArray[0]; // string
const second = mixedArray[1]; // number

但有些奇怪的现象需要解释下。这是一个固定长度数组，显示设定每个元素类型，但我们能够访问固定长度之外的元素吗？我们可以，那其数据类型是什么呢？

const fourth = mixedArray[3]; // string | number

我们居然得到了string | number 数据类型。
好吧，如果我们给范围外的元素设置正确的数据类型，然后再赋值，类型可以确定吗？

mixedArray[3] = 4;
const fourth = mixedArray[3]; // string | number

不，我们可以给范围外的元素赋值，但其仍然是已知数组元素类型的混合类型。

因此使用元祖可以确定元素数据类型，但不要超出范围，可以把元祖理解为固定长度，超出范围不能保证其类型。
JavaScript没有元祖类型，最终只能使用JavaScript数组表示元祖，虽然其可以检查你访问的区域，但不能保证其他模块不改变数组的值。

3. 总结

元祖非常有用，但有点疯狂，基于JavaScript的语言怎能不疯狂。
数组一般用于保存相同类型元素集合，元祖可以存储不同类型元素集合，两者都可以作为函数参数。应用时需了解JavaScript的数组特性。