andre/the-swift-programming-language-in-chinese
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

修复排版遗漏

Browse Source
This commit is contained in:
949478479
2015-12-05 17:25:34 +08:00
parent 4035ee04bf
commit be90215c09
1 changed files with 14 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
source/chapter3/03_Types.md
View File

@ -52,7 +52,7 @@ func someFunction(a: Int) { /* ... */ }
类型注解可以在类型之前包含一个类型特性的可选列表。
> 类型注解语法
<a name="type-annotation"></a>
<a name="type-annotation"></a>
> *类型注解* → **:** [*特性列表*](06_Attributes.html#attributes)<sub>可选</sub> [*类型*](#type)
<a name="type_identifier"></a>
@ -76,7 +76,7 @@ var someValue: ExampleModule.MyType
```
> 类型标识符语法
<a name="type-identifier"></a>
<a name="type-identifier"></a>
> *类型标识符* → [*类型名称*](#type-name) [*泛型参数子句*](08_Generic_Parameters_and_Arguments.html#generic_argument_clause)<sub>可选</sub> | [*类型名称*](#type-name) [*泛型参数子句*](08_Generic_Parameters_and_Arguments.html#generic_argument_clause)<sub>可选</sub> **.** [*类型标识符*](#type-identifier)
<a name="type-name"></a>
> *类型名称* → [*标识符*](02_Lexical_Structure.html#identifier)
@ -91,7 +91,7 @@ var someValue: ExampleModule.MyType
`Void` 是空元组类型 `()` 的别名。如果括号内只有一个元素，那么该类型就是括号内元素的类型。比如，`(Int)` 的类型是 `Int` 而不是 `(Int)`。所以，只有当元组类型包含的元素个数在两个及以上时才可以命名元组元素。
> 元组类型语法
<a name="tuple-type"></a>
<a name="tuple-type"></a>
> *元组类型* → **(** [*元组类型主体*](#tuple-type-body)<sub>可选</sub> **)**
<a name="tuple-type-body"></a>
> *元组类型主体* → [*元组类型元素列表*](#tuple-type-element-list) **...**<sub>可选</sub>
@ -107,7 +107,7 @@ var someValue: ExampleModule.MyType
函数类型表示一个函数、方法或闭包的类型，它由参数类型和返回值类型组成，中间用箭头（`->`）隔开：
`参数类型` -> `返回值类型`
> `参数类型` -> `返回值类型`
由于参数类型和返回值类型可以是元组类型，所以函数类型支持多参数与多返回值的函数与方法。
@ -122,7 +122,7 @@ var someValue: ExampleModule.MyType
函数类型若要抛出错误就必须使用 `throws` 关键字来标记，若要重抛错误则必须使用 `rethrows` 关键字来标记。`throws` 关键字是函数类型的一部分，非抛出函数是抛出函数函数的一个子类型。因此，在使用抛出函数的地方也可以使用不抛出函数。对于柯里化函数，`throws` 关键字只应用于最里层的函数。抛出和重抛函数的相关描述见章节 [抛出函数与方法](05_Declarations.html#throwing_functions_and_methods) 和 [重抛函数与方法](05_Declarations.html#rethrowing_functions_and_methods)。
> 函数类型语法
<a name="function-type"></a>
<a name="function-type"></a>
> *函数类型* → [*类型*](#type) **throws**<sub>可选</sub> **->** [*类型*](#type)
> *函数类型* → [*类型*](#type) **rethrows**<sub>可选</sub> **->** [*类型*](#type)
@ -131,7 +131,7 @@ var someValue: ExampleModule.MyType
Swift 语言为标准库中定义的 `Array<Element>` 类型提供了如下语法糖：
[`类型`]
> [`类型`]
换句话说，下面两个声明是等价的：
@ -153,7 +153,7 @@ var array3D: [[[Int]]] = [[[1, 2], [3, 4]], [[5, 6], [7, 8]]]
关于 Swift 标准库中 `Array` 类型的详细讨论，请参阅 [数组](../chapter2/04_Collection_Types.html#arrays)。
> 数组类型语法
<a name="array-type"></a>
<a name="array-type"></a>
> *数组类型* → **[** [*类型*](#type) **]**
<a name="dictionary_type"></a>
@ -161,7 +161,7 @@ var array3D: [[[Int]]] = [[[1, 2], [3, 4]], [[5, 6], [7, 8]]]
Swift 语言为标准库中定义的 `Dictionary<Key, Value>` 类型提供了如下语法糖：
[`键类型` : `值类型`]
> [`键类型` : `值类型`]
换句话说，下面两个声明是等价的：
@ -179,7 +179,7 @@ let someDictionary: Dictionary<String, Int> = ["Alex": 31, "Paul": 39]
关于 Swift 标准库中 `Dictionary` 类型的详细讨论，请参阅 [字典](../chapter2/04_Collection_Types.html#dictionaries)。
> 字典类型语法
<a name="dictionary-type"></a>
<a name="dictionary-type"></a>
> *字典类型* → **[** [*类型*](#type) **:** [*类型*](#type) **]**
<a name="optional_type"></a>
@ -210,7 +210,7 @@ optionalInteger! // 42
更多细节以及更多如何使用可选类型的例子，请参阅 [可选类型](../chapter2/01_The_Basics.html#optionals)。
> 可选类型语法
<a name="optional-type"></a>
<a name="optional-type"></a>
> *可选类型* → [*类型*](#type) **?**
<a name="implicitly_unwrapped_optional_type"></a>
@ -236,7 +236,7 @@ var implicitlyUnwrappedString: ImplicitlyUnwrappedOptional<String>
关于隐式解析可选类型的更多细节，请参阅 [隐式解析可选类型](../chapter2/01_The_Basics.html#implicityly_unwrapped_optionals)。
> 隐式解析可选类型语法
<a name="implicitly-unwrapped-optional-type"></a>
<a name="implicitly-unwrapped-optional-type"></a>
> *隐式解析可选类型* → [*类型*](#type) **!**
<a name="protocol_composition_type"></a>
@ -246,14 +246,14 @@ var implicitlyUnwrappedString: ImplicitlyUnwrappedOptional<String>
协议合成类型的形式如下：
protocol<`Protocol 1`, `Procotol 2`>
> protocol<`Protocol 1`, `Procotol 2`>
协议合成类型允许你指定一个值，其类型符合多个协议的要求且不需要定义一个新的命名型协议来继承它想要符合的各个协议。比如，协议合成类型 `protocol<Protocol A, Protocol B, Protocol C>` 等效于一个从 `Protocol A`，`Protocol B`， `Protocol C` 继承而来的新协议 `Protocol D`，很显然这样做有效率的多，甚至不需引入一个新名字。
协议合成列表中的每项必须是协议名或协议合成类型的类型别名。如果列表为空，它就会指定一个空协议合成列表，每个类型都符合它。
> 协议合成类型语法
<a name="protocol-composition-type"></a>
<a name="protocol-composition-type"></a>
> *协议合成类型* → **protocol** **<** [*协议标识符列表*](#protocol-identifier-list)<sub>可选</sub> **>**
<a name="protocol-identifier-list"></a>
> *协议标识符列表* → [*协议标识符*](#protocol-identifier) | [*协议标识符*](#protocol-identifier) **,** [*协议标识符列表*](#protocol-identifier-list)
@ -315,7 +315,7 @@ let anotherInstance = metatype.init(string: "some string")
```
> 元类型语法
<a name="metatype-type"></a>
<a name="metatype-type"></a>
> *元类型* → [*类型*](#type) **.** **Type** | [*类型*](#type) **.** **Protocol**
<a name="type_inheritance_clause"></a>