docs(tuple): modify text

docs/tuple.md

@@ -4,7 +4,7 @@
 
 元组（tuple）是 TypeScript 特有的数据类型，JavaScript 没有单独区分这种类型。它表示成员类型可以自由设置的数组，即数组的各个成员的类型可以不同。
 
-元组必须明确声明每个成员的类型。
+由于成员的类型可以不一样，所以元组必须明确声明每个成员的类型。
 
 ```typescript
 const s:[string, string, boolean]
@@ -13,24 +13,26 @@ const s:[string, string, boolean]
 
 上面示例中，元组`s`的前两个成员的类型是`string`，最后一个成员的类型是`boolean`。
 
-元组类型的写法，与上一章的数组有一个重大差异。数组的成员类型写在方括号外面（`number[]`），元组的成员类型是写在方括号里面（`[number]`）。
-
-TypeScript 的区分方法是，成员类型写在方括号里面的就是元组，写在外面的就是数组。
+元组类型的写法，与上一章的数组有一个重大差异。数组的成员类型写在方括号外面（`number[]`），元组的成员类型是写在方括号里面（`[number]`）。TypeScript 的区分方法就是，成员类型写在方括号里面的就是元组，写在外面的就是数组。
 
 ```typescript
-let a:[number] = [1];
+// 数组
+let a:number[] = [1];
+
+// 元组
+let t:[number] = [1];
 ```
 
-上面示例中，变量`a`是一个元组，只有一个成员，类型是`number`。
+上面示例中，变量`a`和`t`的值都是`[1]`，但是它们的类型是不一样的。`a`是一个数组，成员类型`number`写在方括号外面；`t`是一个元组，成员类型`number`写在方括号里面。
 
 使用元组时，必须明确给出类型声明（上例的`[number]`），不能省略，否则 TypeScript 会把一个值自动推断为数组。
 
 ```typescript
-// a 的类型为 (number | boolean)[]
+// a 的类型被推断为 (number | boolean)[]
 let a = [1, true];
 ```
 
-上面示例中，变量`a`的值其实是一个元组，但是 TypeScript 会将其推断为一个联合类型的数组，即`a`的类型为`(number | boolean)[]`。
+上面示例中，变量`a`的值其实是一个元组，但是 TypeScript 会将其推断为一个联合类型的数组，即`a`的类型为`(number | boolean)[]`。所以，元组必须显式给出类型声明。
 
 元组成员的类型可以添加问号后缀（`?`），表示该成员是可选的。
 
@@ -77,7 +79,7 @@ const b:NamedNums = ['B', 1, 2, 3];
 
 上面示例中，元组类型`NamedNums`的第一个成员是字符串，后面的成员使用扩展运算符来展开一个数组，从而实现了不定数量的成员。
 
-扩展运算符用在元组的任意位置都可以，但是它后面只能是数组或元组。
+扩展运算符（`...`）用在元组的任意位置都可以，它的后面只能是一个数组或元组。
 
 ```typescript
 type t1 = [string, number, ...boolean[]];
@@ -85,7 +87,7 @@ type t2 = [string, ...boolean[], number];
 type t3 = [...boolean[], string, number];
 ```
 
-上面示例中，扩展运算符分别在元组的尾部、中部和头部。
+上面示例中，扩展运算符分别在元组的尾部、中部和头部，`...`的后面是一个数组`boolean[]`。
 
 如果不确定元组成员的类型和数量，可以写成下面这样。
 
@@ -95,6 +97,20 @@ type Tuple = [...any[]];
 
 上面示例中，元组`Tuple`可以放置任意数量和类型的成员。但是这样写，也就失去了使用元组和 TypeScript 的意义。
 
+元组的成员可以添加成员名，这个成员名是说明性的，可以任意取名，没有实际作用。
+
+```typescript
+type Color = [
+  red: number,
+  green: number,
+  blue: number
+];
+
+const c:Color = [255, 255, 255];
+```
+
+上面示例中，类型`Color`是一个元组，它有三个成员。每个成员都有一个名字，写在具体类型的前面，使用冒号分隔。这几个名字可以随便取，没有实际作用，只是用来说明每个成员的含义。
+
 元组可以通过方括号，读取成员类型。
 
 ```typescript