Merge pull request #957 from SunsetWan/sunsetwan-translation

Complete the translation of issue  942 and 941

source/chapter2/01_The_Basics.md

@@ -481,7 +481,7 @@ print("The status message is \(http200Status.description)")
 
 > 注意
 > 
-> 元组在临时组织值的时候很有用，但是并不适合创建复杂的数据结构。如果你的数据结构并不是临时使用，请使用类或者结构体而不是元组。请参考 [类和结构体](./09_Classes_and_Structures.md)。
+> 当遇到一些相关值的简单分组时，元组是很有用的。元组不适合用来创建复杂的数据结构。如果你的数据结构比较复杂，不要使用元组，用类或结构体去建模。欲获得更多信息，请参考 [结构体和类](./09_Classes_and_Structures.md)。
 
 ## 可选类型 {#optionals}
 

source/chapter2/06_Functions.md

@@ -202,7 +202,8 @@ if let bounds = minMax(array: [8, -6, 2, 109, 3, 71]) {
 // 打印“min is -6 and max is 109”
 ```
 
-### 隐式返回的函数
+
+### 隐式返回的函数 {#functions-with-an-implicit-return}
 如果一个函数的整个函数体是一个单行表达式，这个函数可以隐式地返回这个表达式。举个例子，以下的函数有着同样的作用：
 
 ```
@@ -219,9 +220,11 @@ print(anotherGreeting(for: "Dave"))
 // 打印 "Hello, Dave!"
 ```
 
-greeting(for:) 函数的整个定义是它返回的一条打招呼的信息，这就意味着这个函数可以使用这个更短的隐式返回形式。anothergreeting(for:) 函数使用了 return 关键词返回同样的信息，这看上去像一个更长的函数。任何一个可以被写成一行 return 语句的函数都可以忽略 return。
 
-正如你将会在 [简略的 Getter 声明](https://docs.swift.org/swift-book/LanguageGuide/Properties.html#ID608) 里看到的， 一个属性的 getter 也可以使用隐式返回的形式。
+`greeting(for:)` 函数的完整定义是打招呼内容的返回，这就意味着它能使用隐式返回这样更简短的形式。`anothergreeting(for:)` 函数返回同样的内容，却因为 `return` 关键字显得函数更长。任何一个可以被写成一行 `return` 语句的函数都可以忽略 `return`。
+
+正如你将会在 [简略的 Getter 声明](./10_Properties.md) 里看到的， 一个属性的 getter 也可以使用隐式返回的形式。
+
 
 ## 函数参数标签和参数名称 {#Function-Argument-Labels-and-Parameter-Names}
 

source/chapter2/12_Subscripts.md

@@ -72,7 +72,7 @@ numberOfLegs["bird"] = 2
 
 ## 下标选项 {#subscript-options}
 
-下标可以接受任意数量的入参，并且这些入参可以是任意类型。下标的返回值也可以是任意类型。下标可以使用变量参数和可变参数，但不能使用输入输出参数，也不能给参数设置默认值。
+下标可以接受任意数量的入参，并且这些入参可以是任意类型。下标的返回值也可以是任意类型。下标可以使用可变参数，并且可以提供默认参数数值，但是不能使用输入输出参数。
 
 一个类或结构体可以根据自身需要提供多个下标实现，使用下标时将通过入参的数量和类型进行区分，自动匹配合适的下标，这就是*下标的重载*。
 
@@ -140,3 +140,17 @@ func indexIsValid(row: Int, column: Int) -> Bool {
 let someValue = matrix[2, 2]
 // 断言将会触发，因为 [2, 2] 已经超过了 matrix 的范围
 ```
+
+## 类型下标{#type-subscripts}
+正如上节所述，实例下标是在特定类型的一个实例上调用的下标。你也可以定义一种在这个类型本身上调用的下标。这种下标的类型被称作类型下标。你可以通过在 `subscript` 关键字之前写下 `static` 关键字的方式来表示一个类型下标。类可以使用 `class` 关键字来允许子类重写父类中对那个下标的实现。下面的例子展示了如何定义和调用一个类型下标：
+```
+enum Planet: Int {
+    case mercury = 1, venus, earth, mars, jupiter, saturn, uranus, neptune
+    static subscript(n: Int) -> Planet {
+        return Planet(rawValue: n)!
+    }
+}
+let mars = Planet[4]
+print(mars)
+```
+

source/chapter2/14_Initialization.md

@@ -240,7 +240,9 @@ struct Size {
 let twoByTwo = Size(width: 2.0, height: 2.0)
 ```
 
-当你调用一个逐一成员构造器（memberwise initializer）时，你可以忽略任何一个有默认值的属性。在以上提到的例子中，这个 Size 结构体的 height 和 width 属性各有一个默认值。你可以忽略两者或两者之一，并且这个结构体的构造器会使用任何你忽略的属性的默认值来完成构造。举个例子：
+
+当你调用一个逐一成员构造器（memberwise initializer）时，可以省略任何一个有默认值的属性。在上面这个例子中，`Size` 结构体的 `height` 和 `width` 属性各有一个默认值。你可以省略两者或两者之一，对于被省略的属性，构造器会使用默认值。举个例子：
+
 ```
 let zeroByTwo = Size(height: 2.0)
 print(zeroByTwo.width, zeroByTwo.height)