From b76f8cf11131107614e2356f025a6094fe3565af Mon Sep 17 00:00:00 2001 From: PMST Date: Wed, 26 Jun 2019 22:37:39 +0800 Subject: [PATCH] Translate Chapter3 06_Declarations and 07_Attributes (#951) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * 完成 Chapter3 Declarations Swift5.1 Update * Update 07_Attributes.md --- source/chapter3/06_Declarations.md | 3639 ++++++++++++++-------------- source/chapter3/07_Attributes.md | 820 ++++--- 2 files changed, 2247 insertions(+), 2212 deletions(-) diff --git a/source/chapter3/06_Declarations.md b/source/chapter3/06_Declarations.md index 0d2c690d..6a66a03b 100755 --- a/source/chapter3/06_Declarations.md +++ b/source/chapter3/06_Declarations.md @@ -1,1813 +1,1826 @@ -# 声明（Declarations） {#declarations} - -*声明（declaration）* 用以向程序里引入新的名字或者结构。举例来说，可以使用声明来引入函数和方法，变量和常量，或者定义新的具有命名的枚举、结构体、类和协议类型。还可以使用声明来扩展一个既有的具有命名的类型的行为，或者在程序里引入在其它地方声明的符号。 - -在 Swift 中，大多数声明在某种意义上讲也是定义，因为它们在声明时往往伴随着实现或初始化。由于协议并不提供实现，大多数协议成员仅仅只是声明而已。为了方便起见，也是因为这些区别在 Swift 中并不是很重要，“声明”这个术语同时包含了声明和定义两种含义。 - -> 声明语法 -> -> -#### declaration {#declaration} -> -> *声明* → [*导入声明*](#import-declaration) -> -> *声明* → [*常量声明*](#constant-declaration) -> -> *声明* → [*变量声明*](#variable-declaration) -> -> *声明* → [*类型别名声明*](#typealias-declaration) -> -> *声明* → [*函数声明*](#function-declaration) -> -> *声明* → [*枚举声明*](#enum-declaration) -> -> *声明* → [*结构体声明*](#struct-declaration) -> -> *声明* → [*类声明*](#class-declaration) -> -> *声明* → [*协议声明*](#protocol-declaration) -> -> *声明* → [*构造器声明*](#initializer-declaration) -> -> *声明* → [*析构器声明*](#deinitializer-declaration) -> -> *声明* → [*扩展声明*](#extension-declaration) -> -> *声明* → [*下标声明*](#subscript-declaration) -> -> *声明* → [*运算符声明*](#operator-declaration) -> -> -#### declarations {#declarations} -> -> *多条声明* → [*声明*](#declaration) [*多条声明*](#declarations)可选 -> - -## 顶级代码 {#top-level-code} -Swift 的源文件中的顶级代码（top-level code）由零个或多个语句、声明和表达式组成。默认情况下，在一个源文件的顶层声明的变量，常量和其他具有命名的声明可以被同模块中的每一个源文件中的代码访问。可以使用一个访问级别修饰符来标记声明来覆盖这种默认行为，请参阅 [访问控制级别](#access_control_levels)。 - -> 顶级声明语法 -> -> *顶级声明* → [*多条语句*](./05_Statements.md#statements)可选 -> - -## 代码块 {#code-blocks} -*代码块（code block）* 可以将一些声明和控制结构体组织在一起。它有如下的形式： - -```swift -{ - 语句 -} -``` - -代码块中的“语句”包括声明、表达式和各种其他类型的语句，它们按照在源码中的出现顺序被依次执行。 - -> 代码块语法 -> -> -#### code-block {#code-block} -> -> *代码块* → **{** [*多条语句*](./05_Statements.md#statements)可选 **}** -> - -## 导入声明 {#import-declaration} -*导入声明（import declaration）* 让你可以使用在其他文件中声明的内容。导入语句的基本形式是导入整个模块，它由 `import` 关键字和紧随其后的模块名组成： - -```swift -import 模块 -``` - -可以对导入操作提供更细致的控制，如指定一个特殊的子模块或者指定一个模块或子模块中的某个声明。提供了这些限制后，在当前作用域中，只有被导入的符号是可用的，而不是整个模块中的所有声明。 - -```swift -import 导入类型 模块.符号名 -import 模块.子模块 -``` - - -#### grammer_of_an_import_declaration {#grammer-of-an-import-declaration} -> 导入声明语法 -> -> -#### import-declaration {#import-declaration} -> -> *导入声明* → [*特性列表*](./07_Attributes.md#attributes)可选 **import** [*导入类型*](#import-kind)可选 [*导入路径*](#import-path) -> -> -#### import-kind {#import-kind} -> -> *导入类型* → **typealias** | **struct** | **class** | **enum** | **protocol** | **let** | **var** | **func** -> -> -#### import-path {#import-path} -> -> *导入路径* → [*导入路径标识符*](#import-path-identifier) | [*导入路径标识符*](#import-path-identifier) **.** [*导入路径*](#import-path) -> -> -#### import-path-identifier {#import-path-identifier} -> -> *导入路径标识符* → [*标识符*](./02_Lexical_Structure.md#identifier) | [*运算符*](./02_Lexical_Structure.md#operator) -> - -## 常量声明 {#constant-declaration} -*常量声明（constant declaration）* 可以在程序中引入一个具有命名的常量。常量以关键字 `let` 来声明，遵循如下格式： - -```swift -let 常量名称: 类型 = 表达式 -``` - -常量声明在“常量名称”和用于初始化的“表达式”的值之间定义了一种不可变的绑定关系；当常量的值被设定之后，它就无法被更改。这意味着，如果常量以类对象来初始化，对象本身的内容是可以改变的，但是常量和该对象之间的绑定关系是不能改变的。 - -当一个常量被声明为全局常量时，它必须拥有一个初始值。在函数或者方法中声明一个常量时，它并不需要拥有一个初始值，只需要保证在第一次对其进行读操作之前为其设置一个值。在类或者结构体中声明一个常量时，它将作为*常量属性（constant property）*。常量声明不能是计算型属性，因此也没有存取方法。 - -如果常量名称是元组形式，元组中每一项的名称都会和初始化表达式中对应的值进行绑定。 - -```swift -let (firstNumber, secondNumber) = (10, 42) -``` - -在上例中，`firstNumber` 是一个值为 `10` 的常量，`secnodeName` 是一个值为 `42` 的常量。所有常量都可以独立地使用： - -```swift -print("The first number is \(firstNumber).") -// 打印“The first number is 10.” -print("The second number is \(secondNumber).") -// 打印“The second number is 42.” -``` - -当常量名称的类型（`:` 类型）可以被推断出时，类型注解在常量声明中是可选的，正如 [类型推断](./03_Types.md#type_inference) 中所描述的。 - -声明一个常量类型属性要使用 `static` 声明修饰符。类型属性在 [类型属性](../chapter2/10_Properties.md#type_properties)中有介绍。 - -如果还想获得更多关于常量的信息或者想在使用中获得帮助，请参阅 [常量和变量](../chapter2/01_The_Basics.md#constants_and_variables) 和 [存储属性](../chapter2/10_Properties.md#stored_properties)。 - - -#### grammer_of_a_constant_declaration {#grammer-of-a-constant-declaration} -> 常量声明语法 -> -> -#### constant-declaration {#constant-declaration} -> -> *常量声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **let** [*模式构造器列表*](pattern-initializer-list) -> -> -#### pattern-initializer-list {#pattern-initializer-list} -> -> *模式构造器列表* → [*模式构造器*](#pattern-initializer) | [*模式构造器*](#pattern-initializer) **,** [*模式构造器列表*](#pattern-initializer-list) -> -> -#### pattern-initializer {#pattern-initializer} -> -> *模式构造器* → [*模式*](./08_Patterns.md#pattern) [*构造器*](#initializer)可选 -> -> -#### initializer {#initializer} -> -> *构造器* → **=** [*表达式*](./04_Expressions.md#expression) -> - -## 变量声明 {#variable-declaration} -*变量声明（variable declaration）* 可以在程序中引入一个具有命名的变量，它以关键字 `var` 来声明。 - -变量声明有几种不同的形式，可以声明不同种类的命名值和可变值，如存储型和计算型变量和属性，属性观察器，以及静态变量属性。所使用的声明形式取决于变量声明的适用范围和打算声明的变量类型。 - -> 注意 -> -> 也可以在协议声明中声明属性，详情请参阅 [协议属性声明](#protocol_property_declaration)。 -> - -可以在子类中重写继承来的变量属性，使用 `override` 声明修饰符标记属性的声明即可，详情请参阅 [重写](../chapter2/13_Inheritance.md#overriding)。 - -### 存储型变量和存储型变量属性 {#stored-variables-and-stored-variable-properties} -使用如下形式声明一个存储型变量或存储型变量属性： - -```swift -var 变量名称: 类型 = 表达式 -``` - -可以在全局范围，函数内部，或者在类和结构体的声明中使用这种形式来声明一个变量。当变量以这种形式在全局范围或者函数内部被声明时，它代表一个存储型变量。当它在类或者结构体中被声明时，它代表一个*存储型变量属性（stored variable property）*。 - -用于初始化的表达式不可以在协议的声明中出现，在其他情况下，该表达式是可选的。如果没有初始化表达式，那么变量声明必须包含类型注解（`:` *type*）。 - -如同常量声明，如果变量名称是元组形式，元组中每一项的名称都会和初始化表达式中对应的值进行绑定。 - -正如名字所示，存储型变量和存储型变量属性的值会存储在内存中。 - -### 计算型变量和计算型属性 {#computed-variables-and-computed-properties} -使用如下形式声明一个计算型变量或计算型属性： - -```swift -var 变量名称: 类型 { - get { - 语句 - } - set(setter 名称) { - 语句 - } -} -``` - -可以在全局范围、函数内部，以及类、结构体、枚举、扩展的声明中使用这种形式的声明。当变量以这种形式在全局范围或者函数内部被声明时，它表示一个计算型变量。当它在类、结构体、枚举、扩展声明的上下文中被声明时，它表示一个*计算型属性（computed property）*。 - -getter 用来读取变量值，setter 用来写入变量值。setter 子句是可选的，getter 子句是必须的。不过也可以将这些子句都省略，直接返回请求的值，正如在 [只读计算型属性](../chapter2/10_Properties.md#computed_properties) 中描述的那样。但是如果提供了一个 setter 子句，就必须也提供一个 getter 子句。 - -setter 的圆括号以及 setter 名称是可选的。如果提供了 setter 名称，它就会作为 setter 的参数名称使用。如果不提供 setter 名称，setter 的参数的默认名称为 `newValue`，正如在 [便捷 setter 声明](../chapter2/10_Properties.md#shorthand_setter_declaration) 中描述的那样。 - -与存储型变量和存储型属性不同，计算型变量和计算型属性的值不存储在内存中。 - -要获得更多关于计算型属性的信息和例子，请参阅 [计算型属性](../chapter2/10_Properties.md#computed_properties)。 - -### 存储型变量和属性的观察器 {#stored-variable-observers-and-property-observers} -可以在声明存储型变量或属性时提供 `willSet` 和 `didSet` 观察器。一个包含观察器的存储型变量或属性以如下形式声明： - -```swift -var 变量名称: 类型 = 表达式 { - willSet(setter 名称) { - 语句 - } - didSet(setter 名称) { - 语句 - } -} -``` - -可以在全局范围、函数内部，或者类、结构体的声明中使用这种形式的声明。当变量以这种形式在全局范围或者函数内部被声明时，观察器表示一个存储型变量观察器。当它在类和结构体的声明中被声明时，观察器表示一个属性观察器。 - -可以为任何存储型属性添加观察器。也可以通过重写父类属性的方式为任何继承的属性（无论是存储型还是计算型的）添加观察器 -，正如 [重写属性观察器](../chapter2/13_Inheritance.md#overriding_property_observers) 中所描述的。 - -用于初始化的表达式在类或者结构的声明中是可选的，但是在其他声明中则是必须的。如果可以从初始化表达式中推断出类型信息，那么可以不提供类型注解。 - -当变量或属性的值被改变时，`willSet` 和 `didSet` 观察器提供了一种观察方法。观察器会在变量的值被改变时调用，但不会在初始化时被调用。 - -`willSet` 观察器只在变量或属性的值被改变之前调用。新的值作为一个常量传入 `willSet` 观察器，因此不可以在 `willSet` 中改变它。`didSet` 观察器在变量或属性的值被改变后立即调用。和 `willSet` 观察器相反，为了方便获取旧值，旧值会传入 `didSet` 观察器。这意味着，如果在变量或属性的 `didiset` 观察器中设置值，设置的新值会取代刚刚在 `willSet` 观察器中传入的那个值。 - -在 `willSet` 和 `didSet` 中，圆括号以及其中的 setter 名称是可选的。如果提供了一个 setter 名称，它就会作为 `willSet` 和 `didSet` 的参数被使用。如果不提供 setter 名称，`willSet` 观察器的默认参数名为 `newValue`，`didSet` 观察器的默认参数名为 `oldValue`。 - -提供了 `willSet` 时，`didSet` 是可选的。同样的，提供了 `didSet` 时，`willSet` 则是可选的。 - -要获得更多信息以及查看如何使用属性观察器的例子，请参阅 [属性观察器](../chapter2/10_Properties.md#property_observers)。 - -### 类型变量属性 {#type-variable-properties} -要声明一个类型变量属性，用 `static` 声明修饰符标记该声明。类可以改用 `class` 声明修饰符标记类的类型计算型属性从而允许子类重写超类的实现。类型属性在 [类型属性](../chapter2/10_Properties.md#type_properties) 章节有详细讨论。 - -> 注意 -> -> 在一个类声明中，使用关键字 `static` 与同时使用 `class` 和 `final` 去标记一个声明的效果相同。 -> - - -#### grammer_of_a_variable_declaration {#grammer-of-a-variable-declaration} -> 变量声明语法 -> - -#### variable-declaration {#variable-declaration} -> *变量声明* → [*变量声明头*](#variable-declaration-head) [*模式构造器列表*](#pattern-initializer-list) -> -> *变量声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*类型注解*](03_Types.md#type-annotation) [*代码块*](#code-block) -> -> *变量声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*类型注解*](03_Types.md#type-annotation) [*getter-setter 代码块*](#getter-setter-block) -> -> *变量声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*类型注解*](03_Types.md#type-annotation) [*getter-setter 关键字代码块*](#getter-setter-keyword-block) -> -> *变量声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*构造器*](#initializer) [*willSet-didSet 代码块*](#willSet-didSet-block) -> -> *变量声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*类型注解*](03_Types.md#type-annotation) [*构造器*](#initializer)可选 [*willSet-didSet 代码块*](#willSet-didSet-block) -> - - -#### variable-declaration-head {#variable-declaration-head} -> *变量声明头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **var** -> -> -#### variable-name {#variable-name} -> -> *变量名称* → [*标识符*](./02_Lexical_Structure.md#identifier) -> - - -#### getter-setter-block {#getter-setter-block} -> *getter-setter 代码块* → [*代码块*](#code-block) -> -> *getter-setter 代码块* → **{** [*getter 子句*](#getter-clause) [*setter 子句*](#setter-clause)可选 **}** -> -> *getter-setter 代码块* → **{** [*setter 子句*](#setter-clause) [*getter 子句*](#getter-clause) **}** -> -> -#### getter-clause {#getter-clause} -> -> *getter 子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **get** [*代码块*](#code-block) -> -> -#### setter-clause {#setter-clause} -> -> *setter 子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **set** [*setter 名称*](#setter-name)可选 [*代码块*](#code-block) -> -> -#### setter-name {#setter-name} -> -> *setter 名称* → **(** [*标识符*](./02_Lexical_Structure.md#identifier) **)** -> - - -#### getter-setter-keyword-block {#getter-setter-keyword-block} -> *getter-setter 关键字代码块* → **{** [*getter 关键字子句*](#getter-keyword-clause) [*setter 关键字子句*](#setter-keyword-clause)可选 **}** -> -> *getter-setter 关键字代码块* → **{** [*setter 关键字子句*](#setter-keyword-clause) [*getter 关键字子句*](#getter-keyword-clause) **}** -> -> -#### getter-keyword-clause {#getter-keyword-clause} -> -> *getter 关键字子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **get** -> -> -#### setter-keyword-clause {#setter-keyword-clause} -> -> *setter 关键字子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **set** -> - - -#### willSet-didSet-block {#willSet-didSet-block} -> *willSet-didSet 代码块* → **{** [*willSet 子句*](#willSet-clause) [*didSet 子句*](#didSet-clause)可选 **}** -> -> *willSet-didSet 代码块* → **{** [*didSet 子句*](#didSet-clause) [*willSet 子句*](#willSet-clause)可选 **}** -> -> -#### willSet-clause {#willSet-clause} -> -> *willSet 子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **willSet** [*setter 名称*](#setter-name)可选 [*代码块*](#code-block) -> -> -#### didSet-clause {#didSet-clause} -> -> *didSet 子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **didSet** [*setter 名称*](#setter-name)可选 [*代码块*](#code-block) -> - -## 类型别名声明 {#type-alias-declaration} -*类型别名（type alias）* 声明可以在程序中为一个既有类型声明一个别名。类型别名声明语句使用关键字 `typealias` 声明，遵循如下的形式： - -```swift -typealias 类型别名 = 现存类型 -``` - -当声明一个类型的别名后，可以在程序的任何地方使用“别名”来代替现有类型。现有类型可以是具有命名的类型或者混合类型。类型别名不产生新的类型，它只是使用别名来引用现有类型。 - -类型别名声明可以通过泛型参数来给一个现有泛型类型提供名称。类型别名为现有类型的一部分或者全部泛型参数提供具体类型。例如: - -```swift -typealias StringDictionary = Dictionary -> - -// 下列两个字典拥有同样的类型 -var dictionary1: StringDictionary = [:] -> -var dictionary2: Dictionary = [:] -> -``` - -当一个类型别名带着泛型参数一起被声明时，这些参数的约束必须与现有参数的约束完全匹配。例如: - -```swift -typealias DictionaryOfInts = Dictionary -> -``` - -因为类型别名可以和现有类型相互交换使用，类型别名不可以引入额外的类型约束。 - -如果在声明处省略所有泛型参数，一个类型别名可以传递已有类型的所有泛型参数。例如，此处声明的 `Diccionario` 类型别名拥有和 `Dictionary` 同样的约束和泛型参数。 - -```swift -typealias Diccionario = Dictionary -``` - -在协议声明中，类型别名可以为那些经常使用的类型提供一个更短更方便的名称，例如: - -```swift -protocol Sequence { - associatedtype Iterator: IteratorProtocol - typealias Element = Iterator.Element -} - -func sum(_ sequence: T) -> Int where T.Element == Int { -> - // ... -} -``` - -假如没有类型别名，sum 函数将必须引用关联类型通过 T.Iterator.Element 的形式来替代 T.Element。 - -另请参阅 [协议关联类型声明](#protocol_associated_type_declaration)。 - - -#### grammer_of_a_type_alias_declaration {#grammer-of-a-type-alias-declaration} -> 类型别名声明语法 -> -> -> -#### typealias-declaration {#typealias-declaration} -> -> *类型别名声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier)可选 **typealias** [*类型别名名称*](#typealias-name) [*类型别子句*](#typealias-clause) [*类型别名赋值*](#typealias-assignment) -> -> -#### typealias-name {#typealias-name} -> -> *类型别名名称* → [*标识符*](./02_Lexical_Structure.md#identifier) -> -> -#### typealias-assignment {#typealias-assignment} -> -> *类型别名赋值* → **=** [*类型*](./03_Types.md#type) -> - -## 函数声明 {#function-declaration} -使用*函数声明（function declaration）* 在程序中引入新的函数或者方法。在类、结构体、枚举，或者协议中声明的函数会作为方法。函数声明使用关键字 `func`，遵循如下的形式： - -```swift -func 函数名称(参数列表) -> 返回类型 { -> - 语句 -} -``` - -如果函数返回 `Void` 类型，返回类型可以省略，如下所示： - -```swift -func 函数名称(参数列表) { - 语句 -} -``` - -每个参数的类型都要标明，因为它们不能被推断出来。如果您在某个参数类型前面加上了 `inout`，那么这个参数就可以在这个函数作用域当中被修改。更多关于 `inout` 参数的讨论，请参阅 [输入输出参数](#in-out_parameters)。 - -函数可以使用元组类型作为返回类型来返回多个值。 - -函数定义可以出现在另一个函数声明内。这种函数被称作*嵌套函数（nested function）*。 - -大多数时候，嵌套函数都是可逃逸的函数。仅当一个嵌套函数捕获了某个确保了永不逃逸的值——例如一个输入输出参数——或者传入一个非逃逸函数参数的时候，这个嵌套函数才是非逃逸的。 - -更多关于嵌套函数的讨论，请参阅 [嵌套函数](../chapter2/06_Functions.md#Nested_Functions)。 - -### 参数名 {#parameter-names} -函数的参数列表由一个或多个函数参数组成，参数间以逗号分隔。函数调用时的参数顺序必须和函数声明时的参数顺序一致。最简单的参数列表有着如下的形式： - -`参数名称`: `参数类型` - -每个参数有一个参数名称，这个名称与实参标签一样都可以在函数体内被使用。默认情况下，参数名也会被作为实参标签来使用。例如： - -```swift -func f(x: Int, y: Int) -> Int { return x + y } -> -f(x: 1, y: 2) // 参数 x 和 y 都有标签 -``` - -可以按照如下两种形式之一，重写参数名称的默认行为： - -`实参标签` `参数名称`: `参数类型` -_ `参数名称`: `参数类型` - -在参数名称前的名称会作为这个参数的显式实参标签，它可以和参数名称不同。在函数或方法调用时，相对应的参数必须使用这个实参标签。 - -参数名称前的下划线（`_`）可以去除参数的实参标签。在函数或方法调用时，相对应的参数必须去除标签。 - -```swift -func repeatGreeting(_ greeting: String, count n: Int) { /* Greet n times */ } -repeatGreeting("Hello, world!", count: 2) // count 有标签, greeting 没有 -``` - -### 输入输出参数 {#in-out-parameters} -输入输出参数被传递时遵循如下规则： - -1. 函数调用时，参数的值被拷贝。 -2. 函数体内部，拷贝后的值被修改。 -3. 函数返回后，拷贝后的值被赋值给原参数。 - -这种行为被称为*拷入拷出（copy-in copy-out）* 或*值结果调用（call by value result）*。例如，当一个计算型属性或者一个具有属性观察器的属性被用作函数的输入输出参数时，其 getter 会在函数调用时被调用，而其 setter 会在函数返回时被调用。 - -作为一种优化手段，当参数值存储在内存中的物理地址时，在函数体内部和外部均会使用同一内存位置。这种优化行为被称为*引用调用（call by reference）*，它满足了拷入拷出模式的所有要求，且消除了复制带来的开销。在代码中，要规范使用拷入拷出模式，不要依赖于引用调用。 - -不要使用传递给输入输出参数的值，即使原始值在当前作用域中依然可用。当函数返回时，你对原始值所做的更改会被拷贝的值所覆盖。不要依赖于引用调用的优化机制来试图避免这种覆盖。 - -不能将同一个值传递给多个输入输出参数，因为这种情况下的拷贝与覆盖行为的顺序是不确定的，因此原始值的最终值也将无法确定。 - -更多关于内存安全和内存独占权的讨论，请参阅 [内存安全](../chapter2/24_MemorySafety.md)。 - -如果一个闭包或者嵌套函数捕获了一个输入输出参数，那么这个闭包或者嵌套函数必须是非逃逸的。如果你需要捕获一个输入输出参数，但并不对其进行修改或者在其他代码中观察其值变化，那么你可以使用捕获列表来显式地表明这是个不可变捕获。 - -```swift -func someFunction(a: inout Int) -> () -> Int { -> - return { [a] in return a + 1 } -} -``` - -如果你需要捕获并修改一个输入输出参数，使用一个显式局部拷贝来进行修改操作，在一些例如多线程的场景中，这样做可以确保函数返回之前所有的修改都已完成。 - -如果嵌套函数在外层函数返回后才调用，嵌套函数对输入输出参数造成的任何改变将不会影响到原始值。例如： - -```swift -func multithreadedFunction(queue: DispatchQueue, x: inout Int) { - // 创建一个局部拷贝并在适当时候手动拷贝回去 - var localX = x - defer { x = localX } - - // 并行地操作 localX，然后在函数返回前一直等待 - queue.async { someMutatingOperation(&localX) } - queue.sync {} -} -``` - -关于输入输出参数的详细讨论，请参阅 [输入输出参数](../chapter2/06_Functions.md#in_out_parameters)。 - -### 特殊参数 {#special-kinds-of-parameters} -参数可以被忽略，数量可以不固定，还可以为其提供默认值，使用形式如下： - -```swift -_ : 参数类型 -参数名称: 参数类型... -参数名称: 参数类型 = 默认参数值 -``` - -以下划线（`_`）命名的参数会被显式忽略，无法在函数内使用。 - -一个参数的基本类型名称如果紧跟着三个点（`...`），会被视为可变参数。一个函数至多可以拥有一个可变参数，且必须是最后一个参数。可变参数会作为包含该参数类型元素的数组处理。举例来讲，可变参数 `Int...` 会作为 `[Int]` 来处理。关于使用可变参数的例子，请参阅 [可变参数](../chapter2/06_Functions.md#variadic_parameters)。 - -如果在参数类型后面有一个以等号（`=`）连接的表达式，该参数会拥有默认值，即给定表达式的值。当函数被调用时，给定的表达式会被求值。如果参数在函数调用时被省略了，就会使用其默认值。 - -```swift -func f(x: Int = 42) -> Int { return x } -> -f() // 有效，使用默认值 -f(7) // 有效，提供了值 -f(x: 7) // 无效，该参数没有外部名称 -``` - -### 特殊方法 {#special-kinds-of-methods} -枚举或结构体的方法如果会修改 `self`，则必须以 `mutating` 声明修饰符标记。 - -子类重写超类中的方法必须以 `override` 声明修饰符标记。重写方法时不使用 `override` 修饰符，或者被 `override` 修饰符修饰的方法并未对超类方法构成重写，都会导致编译错误。 - -枚举或者结构体中的类型方法，要以 `static` 声明修饰符标记，而对于类中的类型方法，除了使用 `static`，还可使用 `class` 声明修饰符标记。类中使用 `class` 声明修饰的方法可以被子类实现重写；类中使用 `static` 声明修饰的方法不可被重写。 - -### 抛出错误的函数和方法 {#throwing-functions-and-methods} -可以抛出错误的函数或方法必须使用 `throws` 关键字标记。这类函数和方法被称为抛出函数和抛出方法。它们有着下面的形式: - -```swift -func 函数名称(参数列表) throws -> 返回类型 { -> - 语句 -} -``` - -抛出函数或抛出方法的调用必须包裹在 `try` 或者 `try!` 表达式中（也就是说，在作用域内使用 `try` 或者 `try!` 运算符）。 - -`throws` 关键字是函数的类型的一部分，非抛出函数是抛出函数的子类型。所以，可以在使用抛出函数的地方使用非抛出函数。 - -不能仅基于函数能否抛出错误来进行函数重写。也就是说，可以基于函数的函数类型的参数能否抛出错误来进行函数重写。 - -抛出方法不能重写非抛出方法，而且抛出方法不能满足协议对于非抛出方法的要求。也就是说，非抛出方法可以重写抛出方法，而且非抛出方法可以满足协议对于抛出方法的要求。 - -### 重抛错误的函数和方法 {#rethrowing-functions-and-methods} -函数或方法可以使用 `rethrows` 关键字来声明，从而表明仅当该函数或方法的一个函数类型的参数抛出错误时，该函数或方法才抛出错误。这类函数和方法被称为重抛函数和重抛方法。重新抛出错误的函数或方法必须至少有一个参数的类型为抛出函数。 - -```swift -func someFunction(callback: () throws -> Void) rethrows { -> - try callback() -} -``` - -重抛函数或者方法不能够从自身直接抛出任何错误，这意味着它不能够包含 `throw` 语句。它只能够传递作为参数的抛出函数所抛出的错误。例如，在 `do-catch` 代码块中调用抛出函数，并在 `catch` 子句中抛出其它错误都是不允许的。 - -```swift -func alwaysThrows() throws { - throw SomeError.error -} -func someFunction(callback: () throws -> Void) rethrows { -> - do { - try callback() - try alwaysThrows() // 非法, alwaysThrows() 不是一个抛出函数类型的参数 - } catch { - throw AnotherError.error - } -} -``` - -抛出方法不能重写重抛方法，而且抛出方法不能满足协议对于重抛方法的要求。也就是说，重抛方法可以重写抛出方法，而且重抛方法可以满足协议对于抛出方法的要求。 - -### 永不返回的函数 {#functions-that-never-return} -Swift 定义了 `Never` 类型，它表示函数或者方法不会返回给它的调用者。`Never` 返回类型的函数或方法可以称为不归，不归函数、方法要么引发不可恢复的错误，要么永远不停地运作，这会使调用后本应执行得代码就不再执行了。但即使是不归函数、方法，抛错函数和重抛出函数也可以将程序控制转移到合适的 `catch` 代码块。 - -不归函数、方法可以在 guard 语句的 else 字句中调用，具体讨论在[*Guard 语句*](./05_Statements.md#guard_statements)。 - -你可以重写一个不归方法，但是新的方法必须保持原有的返回类型和没有返回的行为。 - - -#### grammer_of_a_function_declaration {#grammer-of-a-function-declaration} -> 函数声明语法 -> - -#### function-declaration {#function-declaration} -> *函数声明* → [*函数头*](#function-head) [*函数名*](#function-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*函数签名*](#function-signature) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause) [*函数体*](#function-body)可选 -> - - -#### function-head {#function-head} -> *函数头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **func** -> -> -#### function-name {#function-name} -> -> *函数名* → [*标识符*](./02_Lexical_Structure.md#identifier) | [*运算符*](./02_Lexical_Structure.md#operator) -> -> -> -#### function-signature {#function-signature} -> -> -> *函数签名* → [*参数子句列表*](#parameter-clauses) **throws**可选 [*函数结果*](#function-result)可选 -> -> *函数签名* → [*参数子句列表*](#parameter-clauses) **rethrows** [*函数结果*](#function-result)可选 -> -> -#### function-result {#function-result} -> -> *函数结果* → **->** [*特性列表*](./07_Attributes.md#attributes)可选 [*类型*](./03_Types.md#type) -> -> -#### function-body {#function-body} -> -> *函数体* → [*代码块*](#code-block) -> - -> -#### parameter-clause {#parameter-clause} -> -> *参数子句* → **(** **)** | **(** [*参数列表*](#parameter-list) **)** -> -> -#### parameter-list {#parameter-list} -> -> *参数列表* → [*参数*](#parameter) | [*参数*](#parameter) **,** [*参数列表*](#parameter-list) -> -> -#### parameter {#parameter} -> -> *参数* → [*外部参数名*](#external-parameter-name)可选 [*内部参数名*](#local-parameter-name) [*类型注解*](03_Types.md#type-annotation) [*默认参数子句*](#default-argument-clause)可选 -> -> *参数* → [*外部参数名*](#external-parameter-name)可选 [*内部参数名*](#local-parameter-name) [*类型注解*](03_Types.md#type-annotation) -> -> *参数* → [*外部参数名*](#external-parameter-name)可选 [*内部参数名*](#local-parameter-name) [*类型注解*](03_Types.md#type-annotation) **...** -> -> -#### external-parameter-name {#external-parameter-name} -> -> *外部参数名* → [*标识符*](./02_Lexical_Structure.md#identifier) | **_** -> -> -#### local-parameter-name {#local-parameter-name} -> -> *内部参数名* → [*标识符*](./02_Lexical_Structure.md#identifier) | **_** -> -> -#### default-argument-clause {#default-argument-clause} -> -> *默认参数子句* → **=** [*表达式*](./04_Expressions.md#expression) -> - -## 枚举声明 {#enumeration-declaration} -在程序中使用*枚举声明（enumeration declaration）* 来引入一个枚举类型。 - -枚举声明有两种基本形式，使用关键字 `enum` 来声明。枚举声明体包含零个或多个值，称为枚举用例，还可包含任意数量的声明，包括计算型属性、实例方法、类型方法、构造器、类型别名，甚至其他枚举、结构体和类。枚举声明不能包含析构器或者协议声明。 - -枚举类型可以采纳任意数量的协议，但是枚举不能从类、结构体和其他枚举继承。 - -不同于类或者结构体，枚举类型并不隐式提供默认构造器，所有构造器必须显式声明。一个构造器可以委托给枚举中的其他构造器，但是构造过程仅当构造器将一个枚举用例赋值给 `self` 后才算完成。 - -和结构体类似但是和类不同，枚举是值类型。枚举实例在被赋值到变量或常量时，或者传递给函数作为参数时会被复制。更多关于值类型的信息，请参阅 [结构体和枚举是值类型](../chapter2/09_Structures_And_Classes.md#structures_and_enumerations_are_value_types)。 - -可以扩展枚举类型，正如在 [扩展声明](#extension_declaration) 中讨论的一样。 - -### 任意类型的枚举用例 {#enumerations-with-cases-of-any-type} -如下的形式声明了一个包含任意类型枚举用例的枚举变量： - -```swift -enum 枚举名称: 采纳的协议 { - case 枚举用例1 - case 枚举用例2(关联值类型) -} -``` - -这种形式的枚举声明在其他语言中有时被叫做可识别联合。 - -在这种形式中，每个用例块由关键字 `case` 开始，后面紧接一个或多个以逗号分隔的枚举用例。每个用例名必须是独一无二的。每个用例也可以指定它所存储的指定类型的值，这些类型在关联值类型的元组中被指定，紧跟用例名之后。 - -具有关联值的枚举用例可以像函数一样使用，通过指定的关联值创建枚举实例。和真正的函数一样，你可以获取枚举用例的引用，然后在后续代码中调用它。 - -```swift -enum Number { - case integer(Int) - case real(Double) -} - -// f 的类型为 (Int) -> Number -> -let f = Number.integer - -// 利用 f 把一个整数数组转成 Number 数组 -let evenInts: [Number] = [0, 2, 4, 6].map(f) -``` - -要获得更多关于具有关联值的枚举用例的信息和例子，请参阅 [关联值](../chapter2/08_Enumerations.md#associated_values)。 - -#### 递归枚举 {#enumerations-with-indirection} -枚举类型可以具有递归结构，就是说，枚举用例的关联值类型可以是枚举类型自身。然而，枚举类型的实例具有值语义，这意味着它们在内存中有固定布局。为了支持递归，编译器必须插入一个间接层。 - -要让某个枚举用例支持递归，使用 `indirect` 声明修饰符标记该用例。 - -```swift -enum Tree { -> - case empty - indirect case node(value: T, left: Tree, right:Tree) -} -``` - -要让一个枚举类型的所有用例都支持递归，使用 `indirect` 修饰符标记整个枚举类型，当枚举有多个用例且每个用例都需要使用 `indirect` 修饰符标记的时候这将非常便利。 - -被 `indirect` 修饰符标记的枚举用例必须有一个关联值。使用 `indirect` 修饰符标记的枚举类型可以既包含有关联值的用例，同时还可包含没有关联值的用例。但是，它不能再单独使用 `indirect` 修饰符来标记某个用例。 - -### 拥有原始值的枚举用例 {#enumerations-with-cases-of-a-raw-value-type} -以下形式声明了一种枚举类型，其中各个枚举用例的类型均为同一种基本类型： - -```swift -enum 枚举名称: 原始值类型, 采纳的协议 { - case 枚举用例1 = 原始值1 - case 枚举用例2 = 原始值2 -} -``` - -在这种形式中，每一个用例块由 `case` 关键字开始，后面紧跟一个或多个以逗号分隔的枚举用例。和第一种形式的枚举用例不同，这种形式的枚举用例包含一个基础值，叫做原始值，各个枚举用例的原始值的类型必须相同。这些原始值的类型通过原始值类型指定，必须表示一个整数、浮点数、字符串或者字符。原始值类型必须符合 `Equatable` 协议和下列字面量转换协议中的一种：整型字面量需符合 `IntergerLiteralConvertible` 协议，浮点型字面量需符合 `FloatingPointLiteralConvertible` 协议，包含任意数量字符的字符串型字面量需符合 `StringLiteralConvertible` 协议，仅包含一个单一字符的字符串型字面量需符合 `ExtendedGraphemeClusterLiteralConvertible` 协议。每一个用例的名字和原始值必须唯一。 - -如果原始值类型被指定为 `Int`，则不必为用例显式地指定原始值，它们会隐式地被赋值 `0`、`1`、`2` 等。每个未被赋值的 `Int` 类型的用例会被隐式地赋值，其值为上一个用例的原始值加 `1`。 - -```Swift -enum ExampleEnum: Int { - case a, b, c = 5, d -} -``` - -在上面的例子中，`ExampleEnum.A` 的原始值是 `0`，`ExampleEnum.B` 的原始值是 `1`。因为 `ExampleEnum.C` 的原始值被显式地设定为 `5`，因此 `ExampleEnum.D` 的原始值会自动增长为 `6`。 - -如果原始值类型被指定为 `String` 类型，你不用明确地为用例指定原始值，每个没有指定原始值的用例会隐式地将用例名字作为原始值。 - -```swift -enum GamePlayMode: String { - case cooperative, individual, competitive -} -``` - -在上面这个例子中，`GamePlayMode.cooperative` 的原始值是 `"cooperative"`，`GamePlayMode.individual` 的原始值是 `"individual"`，`GamePlayMode.competitive` 的原始值是 `"competitive"`。 - -枚举用例具有原始值的枚举类型隐式地符合定义在 Swift 标准库中的 `RawRepresentable` 协议。所以，它们拥有一个 `rawValue` 属性和一个可失败构造器 `init?(rawValue: RawValue)`。可以使用 `rawValue` 属性去获取枚举用例的原始值，例如 `ExampleEnum.b.rawValue`。还可以根据原始值来创建一个相对应的枚举用例，只需调用枚举的可失败构造器，例如 `ExampleEnum(rawValue: 5)`，这个可失败构造器返回一个可选类型的用例。要获得更多关于具有原始值的枚举用例的信息和例子，请参阅 [原始值](../chapter2/08_Enumerations.md#raw_values)。 - -### 访问枚举用例 {#accessing-enumeration-cases} -使用点语法（`.`）来引用枚举类型的枚举用例，例如 `EnumerationType.enumerationCase`。当枚举类型可以由上下文推断而出时，可以省略它（但是 `.` 仍然需要），正如 [枚举语法](../chapter2/08_Enumerations.md#enumeration_syntax) 和 [显式成员表达式](./04_Expressions.md#explicit_member_expression) 所述。 - -可以使用 `switch` 语句来检验枚举用例的值，正如 [使用 switch 语句匹配枚举值](../chapter2/08_Enumerations.md#matching_enumeration_values_with_a_switch_statement) 所述。枚举类型是模式匹配的，依靠 `switch` 语句 `case` 块中的枚举用例模式，正如 [枚举用例模式](./08_Patterns.md#enumeration_case_pattern) 所述。 - - -#### grammer_of_an_enumeration_declaration {#grammer-of-an-enumeration-declaration} -> 枚举声明语法 -> -> -> -#### enum-declaration {#enum-declaration} -> -> *枚举声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier)可选 [*联合风格枚举*](#union-style-enum) -> -> *枚举声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier) 可选 [*原始值风格枚举*](#raw-value-style-enum) -> -> -> *联合风格枚举* → **indirect**可选 **enum** [*枚举名称*](#enum-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [类型继承子句](./03_Types.md#type-inheritance-clause)可选 **{** [*多个联合风格枚举成员*](#union-style-enum-members)可选 **}** -> -> -#### union-style-enum-members {#union-style-enum-members} -> -> *多个联合风格枚举成员* → [*联合风格枚举成员*](#union-style-enum-member) [*多个联合风格枚举成员*](#union-style-enum-members)可选 -> -> -#### union-style-enum-member {#union-style-enum-member} -> -> *联合风格枚举成员* → [*声明*](#declaration) | [*联合风格枚举用例子句*](#union-style-enum-case-clause) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) -> -> -#### union-style-enum-case-clause {#union-style-enum-case-clause} -> -> *联合风格枚举用例子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **indirect**可选 **case** [*联合风格枚举用例列表*](#union-style-enum-case-list) -> -> -#### union-style-enum-case-list {#union-style-enum-case-list} -> -> *联合风格枚举用例列表* → [*联合风格枚举用例*](#union-style-enum-case) | [*联合风格枚举用例*](#union-style-enum-case) **,** [*联合风格枚举用例列表*](#union-style-enum-case-list) -> -> -#### union-style-enum-case {#union-style-enum-case} -> -> *联合风格枚举用例* → [*枚举用例名称*](#enum-case-name) [*元组类型*](03_Types.md#tuple-type)可选 -> -> -#### enum-name {#enum-name} -> -> *枚举名称* → [*标识符*](./02_Lexical_Structure.md#identifier) -> -> -#### enum-case-name {#enum-case-name} -> -> *枚举用例名称* → [*标识符*](./02_Lexical_Structure.md#identifier) -> -> -> #### raw-value-style-enum {#raw-value-style-enum} -> -> -> *原始值风格枚举* → **enum** [*枚举名称*](#enum-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*类型继承子句*](./03_Types.md#type-inheritance-clause) [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause) **{** [*多个原始值风格枚举成员*](#raw-value-style-enum-members) **}** -> -> -#### raw-value-style-enum-members {#raw-value-style-enum-members} -> -> *多个原始值风格枚举成员* → [*原始值风格枚举成员*](#raw-value-style-enum-member) [*多个原始值风格枚举成员*](#raw-value-style-enum-members)可选 -> -> -#### raw-value-style-enum-member {#raw-value-style-enum-member} -> -> *原始值风格枚举成员* → [*声明*](#declaration) | [*原始值风格枚举用例子句*](#raw-value-style-enum-case-clause) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) -> -> -#### raw-value-style-enum-case-clause {#raw-value-style-enum-case-clause} -> -> *原始值风格枚举用例子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **case** [*原始值风格枚举用例列表*](#raw-value-style-enum-case-list) -> -> -#### raw-value-style-enum-case-list {#raw-value-style-enum-case-list} -> -> *原始值风格枚举用例列表* → [*原始值风格枚举用例*](#raw-value-style-enum-case) | [*原始值风格枚举用例*](#raw-value-style-enum-case) **,** [*原始值风格枚举用例列表*](#raw-value-style-enum-case-list) -> -> -#### raw-value-style-enum-case {#raw-value-style-enum-case} -> -> *原始值风格枚举用例* → [*枚举用例名称*](#enum-case-name) [*原始值赋值*](#raw-value-assignment)可选 -> -> -#### raw-value-assignment {#raw-value-assignment} -> -> *原始值赋值* → **=** [*原始值字面量*](#raw-value-literal) -> -> -#### raw-value-literal {#raw-value-literal} -> -> *原始值字面量* → [数字型字面量](./02_Lexical_Structure.md#numeric-literal) | [字符串型字面量](./02_Lexical_Structure.md#static-string-literal) | [布尔型字面量](./02_Lexical_Structure.md#boolean-literal) -> - -## 结构体声明 {#structure-declaration} -使用*结构体声明（structure declaration）* 可以在程序中引入一个结构体类型。结构体声明使用 `struct` 关键字，遵循如下的形式： - -```swift -struct 结构体名称: 采纳的协议 { - 多条声明 -} -``` - -结构体内可包含零个或多个声明。这些声明可以包括存储型和计算型属性、类型属性、实例方法、类型方法、构造器、下标、类型别名，甚至其他结构体、类、和枚举声明。结构体声明不能包含析构器或者协议声明。关于结构体的详细讨论和示例，请参阅 [类和结构体](../chapter2/09_Structures_And_Classes.md)。 - -结构体可以采纳任意数量的协议，但是不能继承自类、枚举或者其他结构体。 - -有三种方法可以创建一个已声明的结构体实例： - -* 调用结构体内声明的构造器，正如 [构造器](../chapter2/14_Initialization.md#initializers) 所述。 - -* 如果没有声明构造器，调用结构体的成员逐一构造器，正如 [结构体类型的成员逐一构造器](../chapter2/14_Initialization.md#memberwise_initializers_for_structure_types) 所述。 - -* 如果没有声明构造器，而且结构体的所有属性都有初始值，调用结构体的默认构造器，正如 [默认构造器](../chapter2/14_Initialization.md#default_initializers) 所述。 - -结构体的构造过程请参阅 [构造过程](../chapter2/14_Initialization.md)。 - -结构体实例的属性可以用点语法（`.`）来访问，正如 [访问属性](../chapter2/09_Structures_And_Classes.md#accessing_properties) 所述。 - -结构体是值类型。结构体的实例在被赋予变量或常量，或传递给函数作为参数时会被复制。关于值类型的更多信息，请参阅 -[结构体和枚举是值类型](../chapter2/09_Structures_And_Classes.md#structures_and_enumerations_are_value_types)。 - -可以使用扩展声明来扩展结构体类型的行为，请参阅 [扩展声明](#extension_declaration)。 - - -#### grammer_of_a_structure_declaration {#grammer-of-a-structure-declaration} -> 结构体声明语法 -> -> -> -#### struct-declaration {#struct-declaration} -> -> *结构体声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier) 可选 **struct** [*结构体名称*](#struct-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*类型继承子句*](./03_Types.md#type-inheritance-clause)可选 [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*结构体主体*](#struct-body) -> -> -#### struct-name {#struct-name} -> -> *结构体名称* → [*标识符*](./02_Lexical_Structure.md#identifier) -> -> -#### struct-body {#struct-body} -> -> *结构体主体* → **{** [*多条声明*](#declarations)可选 **}** -> -> -#### struct-name {#struct-name} -> -> -> *结构体多个成员* → [*结构体成员*](#struct-member) [*结构体多个成员*](#struct-members)可选 -> -> -#### struct-member {#struct-member} -> -> *结构体成员* → [*声明*](#declaration) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) -> - -## 类声明 {#class-declaration} -可以在程序中使用*类声明（class declaration）* 来引入一个类。类声明使用关键字 `class`，遵循如下的形式： - -```swift -class 类名: 超类, 采纳的协议 { - 多条声明 -} -``` - -类内可以包含零个或多个声明。这些声明可以包括存储型和计算型属性、实例方法、类型方法、构造器、唯一的析构器、下标、类型别名，甚至其他结构体、类和枚举声明。类声明不能包含协议声明。关于类的详细讨论和示例，请参阅 [类和结构体](../chapter2/09_Structures_And_Classes.md)。 - -一个类只能继承自一个超类，但是可以采纳任意数量的协议。超类紧跟在类名和冒号后面，其后跟着采纳的协议。泛型类可以继承自其它泛型类和非泛型类，但是非泛型类只能继承自其它非泛型类。当在冒号后面写泛型超类的名称时，必须写上泛型类的全名，包括它的泛型形参子句。 - -正如 [构造器声明](#initializer_declaration) 所讨论的，类可以有指定构造器和便利构造器。类的指定构造器必须初始化类中声明的所有属性，并且必须在调用超类构造器之前。 - -类可以重写属性、方法、下标以及构造器。重写的属性、方法、下标和指定构造器必须以 `override` 声明修饰符标记。 - -为了要求子类去实现超类的构造器，使用 `required` 声明修饰符标记超类的构造器。子类实现超类构造器时也必须使用 `required` 声明修饰符。 - -虽然超类属性和方法声明可以被当前类继承，但是超类声明的指定构造器却不能。即便如此，如果当前类重写了超类的所有指定构造器，它就会继承超类的所有便利构造器。Swift 的类并不继承自一个通用基础类。 - -有两种方法来创建已声明的类的实例： - -* 调用类中声明的构造器，请参阅 [构造器](../chapter2/14_Initialization.md#initializers)。 - -* 如果没有声明构造器，而且类的所有属性都被赋予了初始值，调用类的默认构造器，请参阅 [默认构造器](../chapter2/14_Initialization.md#default_initializers)。 - -类实例属性可以用点语法（`.`）来访问，请参阅 [访问属性](../chapter2/09_Structures_And_Classes.md#accessing_properties)。 - -类是引用类型。当被赋予常量或变量，或者传递给函数作为参数时，类的实例会被引用，而不是被复制。关于引用类型的更多信息，请参阅 [结构体和枚举是值类型](../chapter2/09_Structures_And_Classes.md#structures_and_enumerations_are_value_types)。 - -可以使用扩展声明来扩展类的行为，请参阅 [扩展声明](#extension_declaration)。 - - -#### grammer_of_a_class_declaration {#grammer-of-a-class-declaration} -> 类声明语法 -> -> -> -#### class-declaration {#class-declaration} -> -> *类声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [访问级别修饰符](#access-level-modifier)可选 **final**可选 **class** [*类名*](#class-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*类型继承子句*](./03_Types.md#type-inheritance-clause)可选 [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*类主体*](#class-body) -> -> *类声明* → [*特性列表*](./07_Attributes.md#attributes)可选 **final** [访问级别修饰符](#access-level-modifier)可选 **class** [*类名*](#class-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*类型继承子句*](./03_Types.md#type-inheritance-clause)可选 [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*类主体*](#class-body) -> -> -#### class-name {#class-name} -> -> *类名* → [*标识符*](./02_Lexical_Structure.md#identifier) -> -> -#### class-body {#class-body} -> -> *类主体* → **{** [*多条声明*](#declarations)可选 **}** -> -> -> *类多个成员* → [*类成员*](#class-member) [*类多个成员*](#class-members)可选 -> -> -#### class-member {#class-member} -> -> *类成员* → [*声明*](#declaration) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) -> - -## 协议声明 {#protocol-declaration} -*协议声明（protocol declaration）* 可以为程序引入一个命名的协议类型。协议声明只能在全局区域使用 `protocol` 关键字来进行声明，并遵循如下形式： - -```swift -protocol 协议名称: 继承的协议 { - 协议成员声明 -} -``` - -协议的主体包含零个或多个协议成员声明，这些成员描述了任何采纳该协议的类型必须满足的一致性要求。一个协议可以声明采纳者必须实现的某些属性、方法、构造器以及下标。协议也可以声明各种各样的类型别名，叫做关联类型，它可以指定协议的不同声明之间的关系。协议声明不能包括类、结构体、枚举或者其它协议的声明。协议成员声明会在后面进行讨论。 - -协议类型可以继承自任意数量的其它协议。当一个协议类型继承自其它协议的时候，来自其它协议的所有要求会聚合在一起，而且采纳当前协议的类型必须符合所有的这些要求。关于如何使用协议继承的例子，请参阅 [协议继承](../chapter2/21_Protocols.md#protocol_inheritance)。 - -> 注意 -> -> 也可以使用协议合成类型来聚合多个协议的一致性要求，请参阅 [协议合成类型](./03_Types.md#protocol_composition_type) 和 [协议合成](../chapter2/21_Protocols.md#protocol_composition)。 -> - -可以通过类型的扩展声明来采纳协议，从而为之前声明的类型添加协议一致性。在扩展中，必须实现所有采纳协议的要求。如果该类型已经实现了所有的要求，可以让这个扩展声明的主体留空。 - -默认地，符合某个协议的类型必须实现所有在协议中声明的属性、方法和下标。即便如此，可以用 `optional` 声明修饰符标注协议成员声明，以指定它们的实现是可选的。`optional` 修饰符仅仅可以用于使用 `objc` 特性标记过的协议。因此，仅仅类类型可以采用并符合包含可选成员要求的协议。更多关于如何使用 `optional` 声明修饰符的信息，以及如何访问可选协议成员的指导——例如不能确定采纳协议的类型是否实现了它们时——请参阅 [可选协议要求](../chapter2/21_Protocols.md#optional_protocol_requirements) - -为了限制协议只能被类类型采纳，需要使用 `AnyObject` 关键字来标记协议，将 `AnyObject` 关键在写在冒号后面的继承的协议列表的首位。例如，下面的协议只能被类类型采纳： - -```swift -protocol SomeProtocol: AnyObject { - /* 这里是协议成员 */ -} -``` - -任何继承自标记有 `AnyObject` 关键字的协议的协议也仅能被类类型采纳。 - -> 注意 -> -> 如果协议已经用 `objc` 特性标记了，`AnyObject` 要求就隐式地应用于该协议，无需显式使用 `AnyObject` 关键字。 -> - -协议类型是命名的类型，因此它们可以像其他命名类型一样使用，正如 [协议作为类型](../chapter2/21_Protocols.md#protocols_as_types) 所讨论的。然而，不能构造一个协议的实例，因为协议实际上不提供它们指定的要求的实现。 - -可以使用协议来声明作为代理的类或者结构体应该实现的方法，正如 [委托（代理）模式](../chapter2/21_Protocols.md#delegation) 中所述。 - - -#### grammer_of_a_protocol_declaration {#grammer-of-a-protocol-declaration} -> 协议声明语法 -> -> -> -#### protocol-declaration {#protocol-declaration} -> -> *协议声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier)可选 **protocol** [*协议名称*](#protocol-name) [*类型继承子句*](03_Types.md#type-inheritance-clause)可选 [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*协议主体*](#protocol-body) -> -> -#### protocol-name {#protocol-name} -> -> *协议名称* → [*标识符*](./02_Lexical_Structure.md#identifier) -> -> -#### protocol-body {#protocol-body} -> -> *协议主体* → **{** [*协议成员声明列表*](#protocol-member-declarations)可选 **}** -> -> -> *协议多个成员* → [*协议成员*](#protocol-member) [*协议多个成员*](#protocol-members)可选 -> -> -#### protocol-member {#protocol-member} -> -> *协议成员* → [*协议成员声明*](#protocol-member-declaration) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) -> -> -> -#### protocol-member-declaration {#protocol-member-declaration} -> -> *协议成员声明* → [*协议属性声明*](#protocol-property-declaration) -> -> *协议成员声明* → [*协议方法声明*](#protocol-method-declaration) -> -> *协议成员声明* → [*协议构造器声明*](#protocol-initializer-declaration) -> -> *协议成员声明* → [*协议下标声明*](#protocol-subscript-declaration) -> -> *协议成员声明* → [*协议关联类型声明*](#protocol-associated-type-declaration) -> -> -#### protocol-member-declarations {#protocol-member-declarations} -> -> *协议成员声明列表* → [*协议成员声明*](#protocol-member-declaration) [*协议成员声明列表*](#protocol-member-declarations)可选 -> - -### 协议属性声明 {#protocol-property-declaration} -协议可以通过在协议声明主体中引入一个协议属性声明，来声明符合的类型必须实现的属性。协议属性声明有一种特殊的变量声明形式： - -```swift -var 属性名: 类型 { get set } -``` - -同其它协议成员声明一样，这些属性声明仅仅针对符合该协议的类型声明了 getter 和 setter 要求，你不能在协议中直接实现 getter 和 setter。 - -符合类型可以通过多种方式满足 getter 和 setter 要求。如果属性声明包含 `get` 和 `set` 关键字，符合类型就可以用存储型变量属性或可读可写的计算型属性来满足此要求，但是属性不能以常量属性或只读计算型属性实现。如果属性声明仅仅包含 `get` 关键字的话，它可以作为任意类型的属性被实现。关于如何实现协议中的属性要求的例子，请参阅 [属性要求](../chapter2/21_Protocols.md#property_requirements) - -另请参阅 [变量声明](#variable_declaration)。 - - -#### grammer_of_an_import_declaration {#grammer-of-an-import-declaration} -> 协议属性声明语法 -> -> -#### protocol-property-declaration {#protocol-property-declaration} -> -> *协议属性声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*类型注解*](03_Types.md#type-annotation) [*getter-setter 关键字代码块*](#getter-setter-keyword-block) -> - -### 协议方法声明 {#protocol-method-declaration} -协议可以通过在协议声明主体中引入一个协议方法声明，来声明符合的类型必须实现的方法。协议方法声明和函数方法声明有着相同的形式，但有两项例外：它们不包括函数体，也不能包含默认参数。关于如何实现协议中的方法要求的例子，请参阅 [方法要求](../chapter2/21_Protocols.md#method_requirements)。 - -使用 `static` 声明修饰符可以在协议声明中声明一个类型方法。类在实现这些方法时使用 `class` 声明修饰符。结构体实现这些方法时必须使用 `static` 声明修饰符。通过扩展实现时亦是如此（类的扩展中使用 `class` 声明修饰符，结构体的扩展中使用 `static` 声明修饰符）。 - -另请参阅 [函数声明](#function_declaration)。 - - -#### grammer_of_a_protocol_declaration {#grammer-of-a-protocol-declaration} -> 协议方法声明语法 -> -> -#### protocol-method-declaration {#protocol-method-declaration} -> -> *协议方法声明* → [*函数头*](#function-head) [*函数名*](#function-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*函数签名*](#function-signature) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 -> - -### 协议构造器声明 {#protocol-initializer-declaration} -协议可以通过在协议声明主体中引入一个协议构造器声明，来声明符合的类型必须实现的构造器。协议构造器声明 -除了不包含实现主体外，和构造器声明有着相同的形式。 - -符合类型可以通过实现一个非可失败构造器或者 `init!` 可失败构造器来满足一个非可失败协议构造器的要求，可以通过实现任意类型的构造器来满足一个可失败协议构造器的要求。 - -类在实现一个构造器去满足一个协议的构造器要求时，如果这个类还没有用 `final` 声明修饰符标记，这个构造器必须用 `required` 声明修饰符标记。 - -另请参阅 [构造器声明](#initializer_declaration)。 - - -#### grammer_of_a_protocol_initializer_declaration {#grammer-of-a-protocol-initializer-declaration} -> 协议构造器声明语法 -> -> -#### protocol-initializer-declaration {#protocol-initializer-declaration} -> -> *协议构造器声明* → [*构造器头*](#initializer-head) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*参数子句*](#parameter-clause) **throws**可选 [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 -> -> *协议构造器声明* → [*构造器头*](#initializer-head) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*参数子句*](#parameter-clause) **rethrows** [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 -> - -### 协议下标声明 {#protocol-subscript-declaration} -协议可以通过在协议声明主体中引入一个协议下标声明，来声明符合的类型必须实现的下标。协议下标声明有一个特殊的下标声明形式： - -```swift -subscript (参数列表) -> 返回类型 { get set } -> -``` - -下标声明只为符合类型声明了 getter 和 setter 要求。如果下标声明包含 `get` 和 `set` 关键字，符合类型也必须实现 getter 和 setter 子句。如果下标声明只包含 `get` 关键字，符合类型必须实现 getter 子句，可以选择是否实现 setter 子句。 - -另请参阅 [下标声明](#subscript_declaration)。 - - -#### grammer_of_a_protocol_subscript_declaration {#grammer-of-a-protocol-subscript-declaration} -> 协议下标声明语法 -> -> -#### protocol-subscript-declaration {#protocol-subscript-declaration} -> -> *协议下标声明* → [*下标头*](#subscript-head) [*下标结果*](#subscript-result) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*getter-setter 关键字代码块*](#getter-setter-keyword-block) -> - -### 协议关联类型声明 {#protocol-associated-type-declaration} -使用关键字 `associatedtype` 来声明协议关联类型。关联类型为作为协议声明的一部分，为某种类型提供了一个别名。关联类型和泛型参数子句中的类型参数很相似，但是它们和 `Self` 一样，用于协议中。`Self` 指代采纳协议的类型。要获得更多信息和例子，请参阅 [关联类型](../chapter2/22_Generics.md#associated_types)。 - -在协议声明中使用泛型 `where` 子句来为继承的协议关联类型添加约束，且不需要重新声明关联类型。例如下面代码中的 `SubProtocol` 声明。 - -```swift -protocol SomeProtocol { - associatedtype SomeType -} - -protocol SubProtocolA: SomeProtocol { - // 此类语法会引发警告。 - associatedtype SomeType: Equatable -} - -// 建议使用此语法。 -protocol SubProtocolB: SomeProtocol where SomeType: Equatable { } -``` - - - -另请参阅 [类型别名声明](#type_alias_declaration)。 - - -#### grammer_of_a_protocol_associated_type_declaration {#grammer-of-a-protocol-associated-type-declaration} -> 协议关联类型声明语法 -> -> -#### protocol-associated-type-declaration {#protocol-associated-type-declaration} -> -> *协议关联类型声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier)可选 **associatedtype** [*类型别名头*](#typealias-head) [*类型继承子句*](03_Types.md#type-inheritance-clause)可选 [*类型别名赋值*](#typealias-assignment)可选 [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 -> - -## 构造器声明 {#initializer-declaration} -构造器声明会为程序中的类、结构体或枚举引入构造器。构造器使用关键字 `init` 来声明，有两种基本形式。 - -结构体、枚举、类可以有任意数量的构造器，但是类的构造器具有不同的规则和行为。不同于结构体和枚举，类有两种构造器，即指定构造器和便利构造器，请参阅 [构造过程](../chapter2/14_Initialization.md)。 - -采用如下形式声明结构体和枚举的构造器，以及类的指定构造器： - -```swift -init(参数列表) { - 构造语句 -} -``` - -类的指定构造器直接将类的所有属性初始化。它不能调用类中的其他构造器，如果类有超类，则必须调用超类的一个指定构造器。如果该类从它的超类继承了属性，必须在调用超类的指定构造器后才能修改这些属性。 - -指定构造器只能在类声明中声明，不能在扩展声明中声明。 - -结构体和枚举的构造器可以调用其他已声明的构造器，从而委托其他构造器来进行部分或者全部构造过程。 - -要为类声明一个便利构造器，用 `convenience` 声明修饰符来标记构造器声明： - -```swift -convenience init(参数列表) { - 构造语句 -} -``` - -便利构造器可以将构造过程委托给另一个便利构造器或一个指定构造器。但是，类的构造过程必须以一个将类中所有属性完全初始化的指定构造器的调用作为结束。便利构造器不能调用超类的构造器。 - -可以使用 `required` 声明修饰符，将便利构造器和指定构造器标记为每个子类都必须实现的构造器。这种构造器的子类实现也必须使用 `required` 声明修饰符标记。 - -默认情况下，超类中的构造器不会被子类继承。但是，如果子类的所有存储型属性都有默认值，而且子类自身没有定义任何构造器，它将继承超类的构造器。如果子类重写了超类的所有指定构造器，子类将继承超类的所有便利构造器。 - -和方法、属性和下标一样，需要使用 `override` 声明修饰符标记重写的指定构造器。 - -> 注意 -> -> 如果使用 `required` 声明修饰符标记一个构造器，在子类中重写这种构造器时，无需使用 `override` 修饰符。 -> - -就像函数和方法，构造器也可以抛出或者重抛错误，你可以在构造器参数列表的圆括号之后使用 `throws` 或 `rethrows` 关键字来表明相应的抛出行为。 - -关于在不同类型中声明构造器的例子，请参阅 [构造过程](../chapter2/14_Initialization.md)。 - -### 可失败构造器 {#failable-initializers} -可失败构造器可以生成所属类型的可选实例或者隐式解包可选实例，因此，这种构造器通过返回 `nil` 来指明构造过程失败。 - -声明生成可选实例的可失败构造器时，在构造器声明的 `init` 关键字后加追加一个问号（`init?`）。声明生成隐式解包可选实例的可失败构造器时，在构造器声明后追加一个叹号（`init!`）。使用 `init?` 可失败构造器生成结构体的一个可选实例的例子如下。 - -```swift -struct SomeStruct { - let string: String - //生成一个 SomeStruct 的可选实例 - init?(input: String) { - if input.isEmpty { - // 丢弃 self，并返回 nil - return nil - } - string = input - } -} -``` - -调用 `init?` 可失败构造器和调用非可失败构造器的方式相同，不过你需要处理可选类型的返回值。 - -```swift -if let actualInstance = SomeStruct(input: "Hello") { - // 利用 SomeStruct 实例做些事情 -} else { - // SomeStruct 实例的构造过程失败，构造器返回了 nil -} -``` - -可失败构造器可以在构造器实现中的任意位置返回 `nil`。 - -可失败构造器可以委托任意种类的构造器。非可失败可以委托其它非可失败构造器或者 `init!` 可失败构造器。非可失败构造器可以委托超类的 `init?` 可失败指定构造器，但是需要使用强制解包，例如 `super.init()!`。 - -构造过程失败通过构造器委托来传递。具体来说，如果可失败构造器委托的可失败构造器构造过程失败并返回 `nil`，那么该可失败构造器也会构造失败并隐式地返回 `nil`。如果非可失败构造器委托的 `init!` 可失败构造器构造失败并返回了 `nil`，那么会发生运行时错误（如同使用 `!` 操作符去强制解包一个值为 `nil` 的可选值）。 - -子类可以用任意种类的指定构造器重写超类的可失败指定构造器，但是只能用非可失败指定构造器重写超类的非可失败指定构造器。 - -更多关于可失败构造器的信息和例子，请参阅 [可失败构造器](../chapter2/14_Initialization.md#failable_initializers)。 - - -#### grammer_of_an_initializer_declaration {#grammer-of-an-initializer-declaration} -> 构造器声明语法 -> -> -#### initializer-declaration {#initializer-declaration} -> -> *构造器声明* → [*构造器头*](#initializer-head) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*参数子句*](#parameter-clause) **throws**可选 [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*构造器主体*](#initializer-body) -> -> *构造器声明* → [*构造器头*](#initializer-head) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*参数子句*](#parameter-clause) **rethrows**可选 [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*构造器主体*](#initializer-body) -> -> -#### initializer-head {#initializer-head} -> -> *构造器头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **init** -> -> *构造器头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **init** **?** -> -> *构造器头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **init** **!** -> -> -#### initializer-body {#initializer-body} -> -> *构造器主体* → [*代码块*](#code-block) -> - -## 析构器声明 {#deinitializer-declaration} -*析构器声明（deinitializer declaration）* 可以为类声明一个析构器。析构器没有参数，遵循如下格式： - -```swift -deinit { - 语句 -} -``` - -当没有任何强引用引用着类的对象，对象即将被释放时，析构器会被自动调用。析构器只能在类主体的声明中声明，不能在类的扩展声明中声明，并且每个类最多只能有一个析构器。 - -子类会继承超类的析构器，并会在子类对象将要被释放时隐式调用。继承链上的所有析构器全部调用完毕后子类对象才会被释放。 - -析构器不能直接调用。 - -关于如何在类声明中使用析构器的例子，请参阅 [析构过程](../chapter2/15_Deinitialization.md)。 - - -#### grammer_of_a_deinitializer_declaration {#grammer-of-a-deinitializer-declaration} -> 析构器声明语法 -> -> -#### deinitializer-declaration {#deinitializer-declaration} -> -> *析构器声明* → [*特性列表*](./07_Attributes.md#attributes)可选 **deinit** [*代码块*](#code-block) -> - -## 扩展声明 {#extension-declaration} -*扩展声明（extension declaration）* 可以扩展一个现存的类型的行为。扩展声明使用关键字 `extension`，遵循如下格式： - -```swift -extension 类型名称 where 要求 { - 声明语句 -} -``` - -扩展声明体可包含零个或多个声明语句。这些声明语句可以包括计算型属性、计算型类型属性、实例方法、类型方法、构造器、下标声明，甚至是类、结构体和枚举声明。扩展声明不能包含析构器、协议声明、存储型属性、属性观察器或其他扩展声明。关于扩展声明的详细讨论，以及各种扩展声明的例子，请参阅 [扩展](../chapter2/20_Extensions.md)。 - -如果类型为类，结构体，或枚举类型，则扩展声明会扩展相应的类型。如果类型为协议类型，则扩展声明会扩展所有遵守这个协议的类型。在扩展的协议体中声明语句不能使用 `final` 标识符。 - -扩展声明可以为现存的类、结构体、枚举添加协议一致性，但是不能为类添加超类，因此在扩展声明的类型名称的冒号后面仅能指定一个协议列表。 - -扩展声明可以包含构造器声明。这意味着，如果被扩展的类型在其他模块中定义，构造器声明必须委托另一个在那个模块中声明的构造器，以确保该类型能被正确地初始化。 - -现存类型的属性、方法、构造器不能在扩展中被重写。 - -通过指定采纳的协议，扩展声明可以为一个现有的类、结构体或者枚举类型添加协议遵循： - -```swift -extension 类型名称: 采纳的协议 where 约束条件 { - 多条声明 -} -``` - -协议声明不能为现有的类添加类的继承关系，因此你只能在 “类型名称” 的冒号后面添加一系列协议。 - -### 条件遵循 {#conditional-conformance} -你可以扩展一个泛型类型并使其有条件地遵循某协议，此后此类型的实例只有在特定的限制条件满足时才遵循此协议。在扩展声明中加入限制条件来为协议添加条件遵循。 - -## 已重写的限制条件会在某些泛型上下文中失效 {#overridden-requirements-aren't-Used-in-some-generic-contexts} -对于一些通过条件遵循获得了特定行为的类型，在某些泛型上下文中，并不能够确保能够使用协议限制中的特定实现。为了说明这个行为，下面的例子中定义了两个协议以及一个有条件地遵循两个协议的泛型类型。 - -```swift -protocol Loggable { - func log() -} -extension Loggable { - func log() { - print(self) - } -} - -protocol TitledLoggable: Loggable { - static var logTitle: String { get } -} -extension TitledLoggable { - func log() { - print("\(Self.logTitle): \(self)") - } -} - -struct Pair: CustomStringConvertible { - let first: T - let second: T - var description: String { - return "(\(first), \(second))" - } -} - -extension Pair: Loggable where T: Loggable { } -extension Pair: TitledLoggable where T: TitledLoggable { - static var logTitle: String { - return "Pair of '\(T.logTitle)'" - } -} - -extension String: TitledLoggable { - static var logTitle: String { - return "String" - } -} -``` - -当其泛型类型遵循 `Loggable` 协议以及 `TitleLoggale` 协议时，结构体 `Pair` 遵循 `Loggable` 协议以及 `TitleLoggale` 协议。下面的例子中，`oneAndTwo` 是 `Pair` 的一个实例。因为 `String` 遵循 `TitleLoggable` ，因此 `oneAndTwo` 也遵循此协议。当 `log()` 方法被 `oneAndTwo` 直接调用时，此方法使用的是包含标题的特定版本。 - -```swift -let oneAndTwo = Pair(first: "one", second: "two") -oneAndTwo.log() -// Prints "Pair of 'String': (one, two)" -``` - -虽然如此，当 `oneAndTwo` 在泛型上下文中使用，或者它是 `Loggable` 类型的实例时，包含标题的特定版本 `log()` 方法不会被使用。Swift 只会根据这样的规则来选择 `log()` 的实现版本—— `Pair` 遵循 `Loggable` 所需要的最少的限制条件。因此 `Loggable` 所提供的默认实现版本会被使用。 - -```swift -func doSomething(with x: T) { - x.log() -} -doSomething(with: oneAndTwo) -// Prints "(one, two)" -``` - -当传入 `doSomething(_:)` 的实例调用 `log()` 时，打印结果省略了自定义标题。 - -### 协议遵循决不能冗余 {#protocol-conformance-must-not-be-redundant} -一个具体的类型只能够遵循某特定协议一次。Swift 会把冗余的协议遵循标记为错误。你会在两种场景中遇到这种错误。第一种场景是，使用不同的限制条件来多次显式地遵循同一协议。第二种场景是，多次隐式地继承同一协议。以上两种场景会在下面章节中讨论。 - -## 解决显式冗余 {#resolving-explicit-redundancy} -对同一具体类型的多个扩展不能遵循同一协议，即便这些扩展有不同的显式限制条件。这个限制的具体示例在下面的例子中。两个扩展声明都试图添加对 `Serializable` 的条件遵循，一个为 `Int` 类型元素的数组，另一个为 `String` 类型元素的数组。 - -```swift -protocol Serializable { - func serialize() -> Any -> -} - -extension Array: Serializable where Element == Int { - func serialize() -> Any { -> - // implementation - } -} -extension Array: Serializable where Element == String { - func serialize() -> Any { -> - // implementation - } -} -// 报错: redundant conformance of 'Array' to protocol 'Serializable' -``` - -如果你需要基于多个具体类型来添加条件遵循，那么创建一个新的协议，然后让每个类型都遵循此协议，最后在声明条件遵循时使用此协议作为条件限制。 - -```swift -protocol SerializableInArray { } -extension Int: SerializableInArray { } -extension String: SerializableInArray { } - -extension Array: Serializable where Element: SerializableInArray { - func serialize() -> Any { -> - // 具体实现 - } -} -``` - -## 解决隐式冗余 {#resolving-implicit-redundancy} -当一个具体类型有条件地遵循某协议，此类型会隐式地使用相同的条件遵循任一父协议。 - -如果你需要让一个类型有条件地遵循两个继承自同一父协议的协议，请显式地声明对父协议的遵循。这可以避免使用不同的限制条件隐式遵循同一父协议两次。 - -下面的例子中显式地声明了 `Array` 对 `Loggable` 的条件遵循，避免了在声明对 `TitledLoggable` 和 `TitledLoggable` 声明条件遵循时发生冲突。 - -```swift -protocol MarkedLoggable: Loggable { - func markAndLog() -} - -extension MarkedLoggable { - func markAndLog() { - print("----------") - log() - } -} - -extension Array: Loggable where Element: Loggable { } -extension Array: TitledLoggable where Element: TitledLoggable { - static var logTitle: String { - return "Array of '\(Element.logTitle)'" - } -} -extension Array: MarkedLoggable where Element: MarkedLoggable { } - -``` - -如果不显式声明对 `Loggable` 的条件遵循，`Array` 其他的扩展会隐式地创建此声明，并引发错误： - -```swift -extension Array: Loggable where Element: TitledLoggable { } -extension Array: Loggable where Element: MarkedLoggable { } -// 报错: redundant conformance of 'Array' to protocol 'Loggable' -``` - - -#### grammer_of_an_extension_declaration {#grammer-of-an-extension-declaration} -> 扩展声明语法 -> -> -> -#### extension-declaration {#extension-declaration} -> -> *扩展声明* → [特性](./07_Attributes.md#type_attributes)可选 [访问级别修饰符](#access-level-modifier)可选 **extension** [*类型标识符*](03_Types.md#type-identifier) [*类型-继承-子句*](./03_Types.md#type-inheritance-clause)可选 [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*扩展主体*](#extension-body) -> -> -#### extension-body {#extension-body} -> -> *扩展主体* → **{** [*多条声明*](#declarations)可选 **}** -> -> *多条声明* → [单条声明](#subscript_declaration) [多条声明](#declarations) 可选 -> -> *单条声明* → [声明语句](#declarations) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) -> - -## 下标声明 {#subscript-declaration} -*下标声明（subscript declaration）* 用于为特定类型的对象添加下标支持，通常也用于为访问集合、列表和序列中的元素提供语法便利。下标声明使用关键字 `subscript`，形式如下： - -```swift -subscript (参数列表) -> 返回类型 { -> - get { - 语句 - } - set(setter 名称) { - 语句 - } -} -``` - -下标声明只能出现在类、结构体、枚举、扩展和协议的声明中。 - -参数列表指定一个或多个用于在相关类型的下标表达式中访问元素的索引（例如，表达式 `object[i]` 中的 `i`）。索引可以是任意类型，但是必须包含类型注解。返回类型指定了被访问的元素的类型。 - -和计算型属性一样，下标声明支持对元素的读写操作。getter 用于读取值，setter 用于写入值。setter 子句是可选的，当仅需要一个 getter 子句时，可以将二者都忽略，直接返回请求的值即可。但是，如果提供了 setter 子句，就必须提供 getter 子句。 - -圆括号以及其中的 setter 名称是可选的。如果提供了 setter 名称，它会作为 setter 的参数名称。如果不提供 setter 名称，那么 setter 的参数名称默认是 `value`。setter 名称的类型必须与返回类型相同。 - -可以重写下标，只要参数列表或返回类型不同即可。还可以重写继承自超类的下标，此时必须使用 `override` 声明修饰符声明被重写的下标。 - -在默认情况下，下标中的参数不会含有 - -同样可以在协议声明中声明下标，正如 [协议下标声明](#protocol_subscript_declaration) 中所述。 - -更多关于下标的信息和例子，请参阅 [下标](../chapter2/12_Subscripts.md)。 - - -#### grammer_of_a_subscript_declaration {#grammer-of-a-subscript-declaration} -> 下标声明语法 -> -> -> -#### subscript-declaration {#subscript-declaration} -> -> *下标声明* → [*下标头*](#subscript-head) [*下标结果*](#subscript-result) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*代码块*](#code-block) -> -> *下标声明* → [*下标头*](#subscript-head) [*下标结果*](#subscript-result) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*getter-setter 代码块*](#getter-setter-block) -> -> *下标声明* → [*下标头*](#subscript-head) [*下标结果*](#subscript-result) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*getter-setter 关键字代码块*](#getter-setter-keyword-block) -> -> -#### subscript-head {#subscript-head} -> -> *下标头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **subscript** [*泛型参数子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*参数子句*](#parameter-clause) -> -> -#### subscript-result {#subscript-result} -> -> *下标结果* → **->** [*特性列表*](./07_Attributes.md#attributes)可选 [*类型*](./03_Types.md#type) -> - -## 运算符声明 {#operator-declaration} -*运算符声明（operator declaration）* 会向程序中引入中缀、前缀或后缀运算符，使用关键字 `operator` 来声明。 - -可以声明三种不同的缀性：中缀、前缀和后缀。运算符的缀性指定了运算符与其运算对象的相对位置。 - -运算符声明有三种基本形式，每种缀性各一种。运算符的缀性通过在 `operator` 关键字之前添加声明修饰符 `infix`，`prefix` 或 `postfix` 来指定。每种形式中，运算符的名字只能包含 [运算符](./02_Lexical_Structure.md#operators) 中定义的运算符字符。 - -下面的形式声明了一个新的中缀运算符： - -```swift -infix operator 运算符名称: 优先级组 -``` - -中缀运算符是二元运算符，置于两个运算对象之间，例如加法运算符（`+`）位于表达式 `1 + 2` 的中间。 - -中缀运算符可以选择指定优先级组。如果没有为运算符设置优先级组，Swift 会设置默认优先级组 `DefaultPrecedence`,它的优先级比三目优先级 `TernaryPrecedence` 要高，更多内容参考[*优先级组声明*](#precedence_group_declaration_modifiers) - -下面的形式声明了一个新的前缀运算符： - -```swift -prefix operator 运算符名称 {} -``` - -出现在运算对象前边的前缀运算符是一元运算符，例如表达式 `!a` 中的前缀非运算符（`!`）。 - -前缀运算符的声明中不指定优先级，而且前缀运算符是非结合的。 - -下面的形式声明了一个新的后缀运算符： - -```swift -postfix operator 运算符名称 {} -``` - -紧跟在运算对象后边的后缀运算符是一元运算符，例如表达式 `a!` 中的后缀强制解包运算符（`!`）。 - -和前缀运算符一样，后缀运算符的声明中不指定优先级，而且后缀运算符是非结合的。 - -声明了一个新的运算符以后，需要实现一个跟这个运算符同名的函数来实现这个运算符。如果是实现一个前缀或者后缀运算符，也必须使用相符的 `prefix` 或者 `postfix` 声明修饰符标记函数声明。如果是实现中缀运算符，则不需要使用 `infix` 声明修饰符标记函数声明。关于如何实现一个新的运算符的例子，请参阅 [自定义运算符](../chapter2/26_Advanced_Operators.md#custom_operators)。 - - -#### grammer_of_an_operator_declaration {#grammer-of-an-operator-declaration} -> 运算符声明语法 -> - -#### operator-declaration {#operator-declaration} -> *运算符声明* → [*前缀运算符声明*](#prefix-operator-declaration) | [*后缀运算符声明*](#postfix-operator-declaration) | [*中缀运算符声明*](#infix-operator-declaration) -> - -#### prefix-operator-declaration {#prefix-operator-declaration} -> *前缀运算符声明* → **prefix** **运算符** [*运算符*](./02_Lexical_Structure.md#operator) **{** **}** -> -> -#### postfix-operator-declaration {#postfix-operator-declaration} -> -> *后缀运算符声明* → **postfix** **运算符** [*运算符*](./02_Lexical_Structure.html#operator) **{** **}** -> -> -#### infix-operator-declaration {#infix-operator-declaration} -> -> *中缀运算符声明* → **infix** **运算符** [*运算符*](./02_Lexical_Structure.md#operator) **{** [*中缀运算符属性*](#infix-operator-attributes)可选 **}** -> - -#### infix-operator-group {#infix-operator-group} -> *中缀运算符组* → [*优先级组名称*](#precedence-group-name) -> - -## 优先级组声明 {#precedence-group-declaration-modifiers} -*优先级组声明（A precedence group declaration）* 会向程序的中缀运算符引入一个全新的优先级组。当没有用圆括号分组时，运算符优先级反应了运算符与它的操作数的关系的紧密程度。 -优先级组的声明如下所示: - -```swift -precedencegroup 优先级组名称{ - higherThan: 较低优先级组的名称 - lowerThan: 较高优先级组的名称 - associativity: 结合性 - assignment: 赋值性 -} -``` - -较低优先级组和较高优先级组的名称说明了新建的优先级组是依赖于现存的优先级组的。`lowerThan` 优先级组的属性只可以引用当前模块外的优先级组。当两个运算符为同一个操作数竞争时，比如表达式 `2 + 3 * 5`,优先级更高的运算符将优先参与运算。 - -> 注意 -> -> 使用较低和较高优先级组相互联系的优先级组必须保持单一层次关系，但它们不必是线性关系。这意味着优先级组也许会有未定义的相关优先级。这些优先级组的运算符在没有用圆括号分组的情况下是不能紧邻着使用的。 -> - -Swift 定义了大量的优先级组来与标准库的运算符配合使用，例如相加（`+`）和相减（`-`）属于 `AdditionPrecedence` 组，相乘（`*`）和相除（`/`）属于 `MultiplicationPrecedence` 组，详细关于 Swift 标准库中一系列运算符和优先级组内容，参阅[Swift 标准库操作符参考](https://developer.apple.com/documentation/swift/operator_declarations)。 - -运算符的结合性表示在没有圆括号分组的情况下，同样优先级的一系列运算符是如何被分组的。你可以指定运算符的结合性通过上下文关键字 `left`、`right` 或者 `none`,如果没有指定结合性，默认是 `none` 关键字。左关联性的运算符是从左至右分组的，例如，相减操作符（-）是左关联性的，所以表达式 `4 - 5 - 6` 被分组为 `(4 - 5) - 6`,得出结果-7。右关联性的运算符是从右往左分组的，指定为 `none` 结合性的运算符就没有结合性。同样优先级没有结合性的运算符不能相邻出现，例如 `<` 运算符是 `none` 结合性，那表示 `1 < 2 < 3` 就不是一个有效表达式。 - -优先级组的赋值性表示在包含可选链操作时的运算符优先级。当设为 true 时，与优先级组对应的运算符在可选链操作中使用和标准库中赋值运算符同样的分组规则，当设为 false 或者不设置，该优先级组的运算符与不赋值的运算符遵循同样的可选链规则。 - - -#### grammer_of_a_precedence_group_declaration {#grammer-of-a-precedence-group-declaration} -> 优先级组声明语法 -> - -#### precedence-group-declaration {#precedence-group-declaration} -> *优先级组声明* → **precedence**[*优先级组名称*](#precedence-group-name){[*多优先级组属性*](#precedence-group-attributes)可选 } -> - -#### precedence-group-attributes {#precedence-group-attributes} -> *优先级组属性* → [*优先级组属性*](#precedence-group-attribute)[*多优先级组属性*](#precedence-group-attributes)可选 **{** **}** -> - -#### precedence-group-attribute {#precedence-group-attribute} -> *优先级组属性* → [*优先级组关系*](#precedence-group-relation) -> -> *优先级组属性* → [*优先级组赋值性*](#precedence-group-assignment) -> -> *优先级组属性* → [*优先级组相关性*](#precedence-group-associativity) -> -> -#### precedence-group-relation {#precedence-group-relation} -> -> *优先级组关系* → **higherThan:**[*多优先级组名称*](#precedence-group-names) -> -> *优先级组关系* → **lowerThan:**[*多优先级组名称*](#precedence-group-names) -> -> -#### precedence-group-assignment {#precedence-group-assignment} -> -> *优先级组赋值* → **assignment:**[*布尔字面值*](./02_Lexical_Structure.md#boolean-literal) -> - -#### precedence-group-associativity {#precedence-group-associativity} -> *优先级组结合性* → **associativity:left** -> -> *优先级组结合性* → **associativity:right** -> -> *优先级组结合性* → **associativity:none** -> - -#### precedence-group-names {#precedence-group-names} -> *多优先级组名称* → [*优先级组名称*](#precedence-group-name) | [*优先级组名称*](#precedence-group-name) | [*优先级组名称*](#precedence-group-name) -> - -#### precedence-group-name {#precedence-group-name} -> *优先级组名称* →[*标识符*](./02_Lexical_Structure.md#identifier) -> - -## 声明修饰符 {#Declaration-Modifiers} -声明修饰符都是关键字或上下文相关的关键字，可以修改一个声明的行为或者含义。可以在声明的特性（如果存在）和引入该声明的关键字之间，利用声明修饰符的关键字或上下文相关的关键字指定一个声明修饰符。 - -`dynamic` - -该修饰符用于修饰任何兼容 Objective-C 的类的成员。访问被 `dynamic` 修饰符标记的类成员将总是由 Objective-C 运行时系统进行动态派发，而不会由编译器进行内联或消虚拟化。 - -因为被标记 `dynamic` 修饰符的类成员会由 Objective-C 运行时系统进行动态派发，所以它们会被隐式标记 `objc` 特性。 - -`final` - -该修饰符用于修饰类或类中的属性、方法以及下标。如果用它修饰一个类，那么这个类不能被继承。如果用它修饰类中的属性、方法或下标，那么它们不能在子类中被重写。 - -`lazy` - -该修饰符用于修饰类或结构体中的存储型变量属性，表示该属性的初始值最多只被计算和存储一次，且发生在它被第一次访问时。关于如何使用 `lazy` 修饰符的例子，请参阅 [惰性存储型属性](../chapter2/10_Properties.md#lazy_stored_properties)。 - -`optional` - -该修饰符用于修饰协议中的属性、方法以及下标成员，表示符合类型可以不实现这些成员要求。 - -只能将 `optional` 修饰符用于被 `objc` 特性标记的协议。这样一来，就只有类类型可以采纳并符合拥有可选成员要求的协议。关于如何使用 `optional` 修饰符，以及如何访问可选协议成员（比如，不确定符合类型是否已经实现了这些可选成员）的信息，请参阅 [可选协议要求](../chapter2/21_Protocols.md#optional_protocol_requirements)。 - -`required` - -该修饰符用于修饰类的指定构造器或便利构造器，表示该类所有的子类都必须实现该构造器。在子类实现该构造器时，必须同样使用 `required` 修饰符修饰该构造器。 - -`unowned` - -该修饰符用于修饰存储型变量、常量或者存储型变量属性，表示该变量或属性持有其存储对象的无主引用。如果在此存储对象释放后尝试访问该对象，会引发运行时错误。如同弱引用一样，该引用类型的变量或属性必须是类类型。与弱引用不同的是，这种类型的变量或属性是非可选的。关于 `unowned` 更多的信息和例子，请参阅 [无主引用](../chapter2/23_Automatic_Reference_Counting.md#unowned_references) - -`unowned(safe)` - -`unowned` 的显式写法 - -`unowned(unsafe)` - -该修饰符用于修饰存储型变量、常量或者存储型变量属性，表示该变量或属性持有其存储对象的无主引用。如果在此存储对象释放后尝试访问该对象，会直接访问该对象释放前存储的内存地址，因此这是非内存安全的操作。如同弱引用一样，该引用类型的变量或属性必须是类类型。与弱引用不同的是，这种类型的变量或属性是非可选的。关于 `unowned` 更多的信息和例子，请参阅 [无主引用]( - -`weak` - -该修饰符用于修饰变量或存储型变量属性，表示该变量或属性持有其存储的对象的弱引用。这种变量或属性的类型必须是可选的类类型。使用 `weak` 修饰符可避免强引用循环。关于 `weak` 修饰符的更多信息和例子，请参阅 [弱引用](../chapter2/23_Automatic_Reference_Counting.md#resolving_strong_reference_cycles_between_class_instances)。 - -### 访问控制级别 {#access-control-levels} -Swift 提供了三个级别的访问控制：`public`、`internal` 和 `private`。可以使用以下任意一种访问级别修饰符来指定声明的访问级别。访问控制在 [访问控制](../chapter2/25_Access_Control.md) 中有详细讨论。 - -`public` - -该修饰符表示声明可被同模块的代码访问，只要其他模块导入了声明所在的模块，也可以进行访问。 - -`internal` - -该修饰符表示声明只能被同模块的代码访问。默认情况下，绝大多数声明会被隐式标记 `internal` 访问级别修饰符。 - -`private` - -该修饰符表示声明只能被所在源文件的代码访问。 - -以上访问级别修饰符都可以选择带上一个参数，该参数由一对圆括号和其中的 `set` 关键字组成（例如，`private(set)`）。使用这种形式的访问级别修饰符来限制某个属性或下标的 setter 的访问级别低于其本身的访问级别，正如 [Getter 和 Setter](../chapter2/25_Access_Control.md#getters_and_setters) 中所讨论的。 - - -#### grammer_of_a_declaration_modifier {#grammer-of-a-declaration-modifier} -> 声明修饰符的语法 -> - -#### declaration-modifier {#declaration-modifier} -> *声明修饰符* → **class** | **convenience**| **dynamic** | **final** | **infix** | **lazy** | **mutating** | **nonmutating** | **optional** | **override** | **postfix** | **prefix** | **required** | **static** | **unowned** | **unowned ( safe )** | **unowned ( unsafe )** | **weak** -> -> 声明修饰符 → [*访问级别修饰符*](#access-level-modifier) -> -> -#### declaration-modifiers {#declaration-modifiers} -> -> *声明修饰符列表* → [*声明修饰符*](#declaration-modifier) [*声明修饰符列表*](#declaration-modifiers)可选 -> - -#### access-level-modifier {#access-level-modifier} -> 访问级别修饰符 → **internal** | **internal ( set )** -> -> 访问级别修饰符 → **private** | **private ( set )** -> -> 访问级别修饰符 → **public** | **public ( set )** -> +# 声明（Declarations） {#declarations} + +*声明（declaration）* 用以向程序里引入新的名字或者结构。举例来说，可以使用声明来引入函数和方法，变量和常量，或者定义新的具有命名的枚举、结构体、类和协议类型。还可以使用声明来扩展一个既有的具有命名的类型的行为，或者在程序里引入在其它地方声明的符号。 + +在 Swift 中，大多数声明在某种意义上讲也是定义，因为它们在声明时往往伴随着实现或初始化。由于协议并不提供实现，大多数协议成员仅仅只是声明而已。为了方便起见，也是因为这些区别在 Swift 中并不是很重要，“声明”这个术语同时包含了声明和定义两种含义。 + +> 声明语法 +> +> +#### declaration {#declaration} +> +> *声明* → [*导入声明*](#import-declaration) +> +> *声明* → [*常量声明*](#constant-declaration) +> +> *声明* → [*变量声明*](#variable-declaration) +> +> *声明* → [*类型别名声明*](#typealias-declaration) +> +> *声明* → [*函数声明*](#function-declaration) +> +> *声明* → [*枚举声明*](#enum-declaration) +> +> *声明* → [*结构体声明*](#struct-declaration) +> +> *声明* → [*类声明*](#class-declaration) +> +> *声明* → [*协议声明*](#protocol-declaration) +> +> *声明* → [*构造器声明*](#initializer-declaration) +> +> *声明* → [*析构器声明*](#deinitializer-declaration) +> +> *声明* → [*扩展声明*](#extension-declaration) +> +> *声明* → [*下标声明*](#subscript-declaration) +> +> *声明* → [*运算符声明*](#operator-declaration) +> +> +#### declarations {#declarations} +> +> *多条声明* → [*声明*](#declaration) [*多条声明*](#declarations)可选 +> + +## 顶级代码 {#top-level-code} +Swift 的源文件中的顶级代码（top-level code）由零个或多个语句、声明和表达式组成。默认情况下，在一个源文件的顶层声明的变量，常量和其他具有命名的声明可以被同模块中的每一个源文件中的代码访问。可以使用一个访问级别修饰符来标记声明来覆盖这种默认行为，请参阅 [访问控制级别](#access_control_levels)。 + +> 顶级声明语法 +> +> *顶级声明* → [*多条语句*](./05_Statements.md#statements)可选 +> + +## 代码块 {#code-blocks} +*代码块（code block）* 可以将一些声明和控制结构体组织在一起。它有如下的形式： + +```swift +{ + 语句 +} +``` + +代码块中的“语句”包括声明、表达式和各种其他类型的语句，它们按照在源码中的出现顺序被依次执行。 + +> 代码块语法 +> +> +#### code-block {#code-block} +> +> *代码块* → **{** [*多条语句*](./05_Statements.md#statements)可选 **}** +> + +## 导入声明 {#import-declaration} +*导入声明（import declaration）* 让你可以使用在其他文件中声明的内容。导入语句的基本形式是导入整个模块，它由 `import` 关键字和紧随其后的模块名组成： + +```swift +import 模块 +``` + +可以对导入操作提供更细致的控制，如指定一个特殊的子模块或者指定一个模块或子模块中的某个声明。提供了这些限制后，在当前作用域中，只有被导入的符号是可用的，而不是整个模块中的所有声明。 + +```swift +import 导入类型 模块.符号名 +import 模块.子模块 +``` + + +#### grammer_of_an_import_declaration {#grammer-of-an-import-declaration} +> 导入声明语法 +> +> +#### import-declaration {#import-declaration} +> +> *导入声明* → [*特性列表*](./07_Attributes.md#attributes)可选 **import** [*导入类型*](#import-kind)可选 [*导入路径*](#import-path) +> +> +#### import-kind {#import-kind} +> +> *导入类型* → **typealias** | **struct** | **class** | **enum** | **protocol** | **let** | **var** | **func** +> +> +#### import-path {#import-path} +> +> *导入路径* → [*导入路径标识符*](#import-path-identifier) | [*导入路径标识符*](#import-path-identifier) **.** [*导入路径*](#import-path) +> +> +#### import-path-identifier {#import-path-identifier} +> +> *导入路径标识符* → [*标识符*](./02_Lexical_Structure.md#identifier) | [*运算符*](./02_Lexical_Structure.md#operator) +> + +## 常量声明 {#constant-declaration} +*常量声明（constant declaration）* 可以在程序中引入一个具有命名的常量。常量以关键字 `let` 来声明，遵循如下格式： + +```swift +let 常量名称: 类型 = 表达式 +``` + +常量声明在“常量名称”和用于初始化的“表达式”的值之间定义了一种不可变的绑定关系；当常量的值被设定之后，它就无法被更改。这意味着，如果常量以类对象来初始化，对象本身的内容是可以改变的，但是常量和该对象之间的绑定关系是不能改变的。 + +当一个常量被声明为全局常量时，它必须拥有一个初始值。在函数或者方法中声明一个常量时，它并不需要拥有一个初始值，只需要保证在第一次对其进行读操作之前为其设置一个值。在类或者结构体中声明一个常量时，它将作为*常量属性（constant property）*。常量声明不能是计算型属性，因此也没有存取方法。 + +如果常量名称是元组形式，元组中每一项的名称都会和初始化表达式中对应的值进行绑定。 + +```swift +let (firstNumber, secondNumber) = (10, 42) +``` + +在上例中，`firstNumber` 是一个值为 `10` 的常量，`secnodeName` 是一个值为 `42` 的常量。所有常量都可以独立地使用： + +```swift +print("The first number is \(firstNumber).") +// 打印“The first number is 10.” +print("The second number is \(secondNumber).") +// 打印“The second number is 42.” +``` + +当常量名称的类型（`:` 类型）可以被推断出时，类型注解在常量声明中是可选的，正如 [类型推断](./03_Types.md#type_inference) 中所描述的。 + +声明一个常量类型属性要使用 `static` 声明修饰符。类的常量类型属性总是隐式地被标记为 `final` ；你无法用 `class` 或 `final` 声明修饰符实现允许或禁止被子类重写的目的。类型属性在 [类型属性](../chapter2/10_Properties.md#type_properties) 中有介绍。 + +如果还想获得更多关于常量的信息或者想在使用中获得帮助，请参阅 [常量和变量](../chapter2/01_The_Basics.md#constants_and_variables) 和 [存储属性](../chapter2/10_Properties.md#stored_properties)。 + + +#### grammer_of_a_constant_declaration {#grammer-of-a-constant-declaration} +> 常量声明语法 +> +> +#### constant-declaration {#constant-declaration} +> +> *常量声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **let** [*模式构造器列表*](pattern-initializer-list) +> +> +#### pattern-initializer-list {#pattern-initializer-list} +> +> *模式构造器列表* → [*模式构造器*](#pattern-initializer) | [*模式构造器*](#pattern-initializer) **,** [*模式构造器列表*](#pattern-initializer-list) +> +> +#### pattern-initializer {#pattern-initializer} +> +> *模式构造器* → [*模式*](./08_Patterns.md#pattern) [*构造器*](#initializer)可选 +> +> +#### initializer {#initializer} +> +> *构造器* → **=** [*表达式*](./04_Expressions.md#expression) +> + +## 变量声明 {#variable-declaration} +*变量声明（variable declaration）* 可以在程序中引入一个具有命名的变量，它以关键字 `var` 来声明。 + +变量声明有几种不同的形式，可以声明不同种类的命名值和可变值，如存储型和计算型变量和属性，属性观察器，以及静态变量属性。所使用的声明形式取决于变量声明的适用范围和打算声明的变量类型。 + +> 注意 +> +> 也可以在协议声明中声明属性，详情请参阅 [协议属性声明](#protocol_property_declaration)。 +> + +可以在子类中重写继承来的变量属性，使用 `override` 声明修饰符标记属性的声明即可，详情请参阅 [重写](../chapter2/13_Inheritance.md#overriding)。 + +### 存储型变量和存储型变量属性 {#stored-variables-and-stored-variable-properties} +使用如下形式声明一个存储型变量或存储型变量属性： + +```swift +var 变量名称: 类型 = 表达式 +``` + +可以在全局范围，函数内部，或者在类和结构体的声明中使用这种形式来声明一个变量。当变量以这种形式在全局范围或者函数内部被声明时，它代表一个存储型变量。当它在类或者结构体中被声明时，它代表一个*存储型变量属性（stored variable property）*。 + +用于初始化的表达式不可以在协议的声明中出现，在其他情况下，该表达式是可选的。如果没有初始化表达式，那么变量声明必须包含类型注解（`:` *type*）。 + +如同常量声明，如果变量名称是元组形式，元组中每一项的名称都会和初始化表达式中对应的值进行绑定。 + +正如名字所示，存储型变量和存储型变量属性的值会存储在内存中。 + +### 计算型变量和计算型属性 {#computed-variables-and-computed-properties} +使用如下形式声明一个计算型变量或计算型属性： + +```swift +var 变量名称: 类型 { + get { + 语句 + } + set(setter 名称) { + 语句 + } +} +``` + +可以在全局范围、函数内部，以及类、结构体、枚举、扩展的声明中使用这种形式的声明。当变量以这种形式在全局范围或者函数内部被声明时，它表示一个计算型变量。当它在类、结构体、枚举、扩展声明的上下文中被声明时，它表示一个*计算型属性（computed property）*。 + +getter 用来读取变量值，setter 用来写入变量值。setter 子句是可选的，getter 子句是必须的。不过也可以将这些子句都省略，直接返回请求的值，正如在 [只读计算型属性](../chapter2/10_Properties.md#computed_properties) 中描述的那样。但是如果提供了一个 setter 子句，就必须也提供一个 getter 子句。 + +setter 的圆括号以及 setter 名称是可选的。如果提供了 setter 名称，它就会作为 setter 的参数名称使用。如果不提供 setter 名称，setter 的参数的默认名称为 `newValue`，正如在 [便捷 setter 声明](../chapter2/10_Properties.md#shorthand_setter_declaration) 中描述的那样。 + +与存储型变量和存储型属性不同，计算型变量和计算型属性的值不存储在内存中。 + +要获得更多关于计算型属性的信息和例子，请参阅 [计算型属性](../chapter2/10_Properties.md#computed_properties)。 + +### 存储型变量和属性的观察器 {#stored-variable-observers-and-property-observers} +可以在声明存储型变量或属性时提供 `willSet` 和 `didSet` 观察器。一个包含观察器的存储型变量或属性以如下形式声明： + +```swift +var 变量名称: 类型 = 表达式 { + willSet(setter 名称) { + 语句 + } + didSet(setter 名称) { + 语句 + } +} +``` + +可以在全局范围、函数内部，或者类、结构体的声明中使用这种形式的声明。当变量以这种形式在全局范围或者函数内部被声明时，观察器表示一个存储型变量观察器。当它在类和结构体的声明中被声明时，观察器表示一个属性观察器。 + +可以为任何存储型属性添加观察器。也可以通过重写父类属性的方式为任何继承的属性（无论是存储型还是计算型的）添加观察器 +，正如 [重写属性观察器](../chapter2/13_Inheritance.md#overriding_property_observers) 中所描述的。 + +用于初始化的表达式在类或者结构的声明中是可选的，但是在其他声明中则是必须的。如果可以从初始化表达式中推断出类型信息，那么可以不提供类型注解。 + +当变量或属性的值被改变时，`willSet` 和 `didSet` 观察器提供了一种观察方法。观察器会在变量的值被改变时调用，但不会在初始化时被调用。 + +`willSet` 观察器只在变量或属性的值被改变之前调用。新的值作为一个常量传入 `willSet` 观察器，因此不可以在 `willSet` 中改变它。`didSet` 观察器在变量或属性的值被改变后立即调用。和 `willSet` 观察器相反，为了方便获取旧值，旧值会传入 `didSet` 观察器。这意味着，如果在变量或属性的 `didiset` 观察器中设置值，设置的新值会取代刚刚在 `willSet` 观察器中传入的那个值。 + +在 `willSet` 和 `didSet` 中，圆括号以及其中的 setter 名称是可选的。如果提供了一个 setter 名称，它就会作为 `willSet` 和 `didSet` 的参数被使用。如果不提供 setter 名称，`willSet` 观察器的默认参数名为 `newValue`，`didSet` 观察器的默认参数名为 `oldValue`。 + +提供了 `willSet` 时，`didSet` 是可选的。同样的，提供了 `didSet` 时，`willSet` 则是可选的。 + +要获得更多信息以及查看如何使用属性观察器的例子，请参阅 [属性观察器](../chapter2/10_Properties.md#property_observers)。 + +### 类型变量属性 {#type-variable-properties} +要声明一个类型变量属性，用 `static` 声明修饰符标记该声明。类可以改用 `class` 声明修饰符标记类的类型计算型属性从而允许子类重写超类的实现。类型属性在 [类型属性](../chapter2/10_Properties.md#type_properties) 章节有详细讨论。 + + +#### grammer_of_a_variable_declaration {#grammer-of-a-variable-declaration} +> 变量声明语法 +> + +#### variable-declaration {#variable-declaration} +> *变量声明* → [*变量声明头*](#variable-declaration-head) [*模式构造器列表*](#pattern-initializer-list) +> +> *变量声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*类型注解*](03_Types.md#type-annotation) [*代码块*](#code-block) +> +> *变量声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*类型注解*](03_Types.md#type-annotation) [*getter-setter 代码块*](#getter-setter-block) +> +> *变量声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*类型注解*](03_Types.md#type-annotation) [*getter-setter 关键字代码块*](#getter-setter-keyword-block) +> +> *变量声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*构造器*](#initializer) [*willSet-didSet 代码块*](#willSet-didSet-block) +> +> *变量声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*类型注解*](03_Types.md#type-annotation) [*构造器*](#initializer)可选 [*willSet-didSet 代码块*](#willSet-didSet-block) +> + + +#### variable-declaration-head {#variable-declaration-head} +> *变量声明头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **var** +> +> +#### variable-name {#variable-name} +> +> *变量名称* → [*标识符*](./02_Lexical_Structure.md#identifier) +> + + +#### getter-setter-block {#getter-setter-block} +> *getter-setter 代码块* → [*代码块*](#code-block) +> +> *getter-setter 代码块* → **{** [*getter 子句*](#getter-clause) [*setter 子句*](#setter-clause)可选 **}** +> +> *getter-setter 代码块* → **{** [*setter 子句*](#setter-clause) [*getter 子句*](#getter-clause) **}** +> +> +#### getter-clause {#getter-clause} +> +> *getter 子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **get** [*代码块*](#code-block) +> +> +#### setter-clause {#setter-clause} +> +> *setter 子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **set** [*setter 名称*](#setter-name)可选 [*代码块*](#code-block) +> +> +#### setter-name {#setter-name} +> +> *setter 名称* → **(** [*标识符*](./02_Lexical_Structure.md#identifier) **)** +> + + +#### getter-setter-keyword-block {#getter-setter-keyword-block} +> *getter-setter 关键字代码块* → **{** [*getter 关键字子句*](#getter-keyword-clause) [*setter 关键字子句*](#setter-keyword-clause)可选 **}** +> +> *getter-setter 关键字代码块* → **{** [*setter 关键字子句*](#setter-keyword-clause) [*getter 关键字子句*](#getter-keyword-clause) **}** +> +> +#### getter-keyword-clause {#getter-keyword-clause} +> +> *getter 关键字子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **get** +> +> +#### setter-keyword-clause {#setter-keyword-clause} +> +> *setter 关键字子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **set** +> + + +#### willSet-didSet-block {#willSet-didSet-block} +> *willSet-didSet 代码块* → **{** [*willSet 子句*](#willSet-clause) [*didSet 子句*](#didSet-clause)可选 **}** +> +> *willSet-didSet 代码块* → **{** [*didSet 子句*](#didSet-clause) [*willSet 子句*](#willSet-clause)可选 **}** +> +> +#### willSet-clause {#willSet-clause} +> +> *willSet 子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **willSet** [*setter 名称*](#setter-name)可选 [*代码块*](#code-block) +> +> +#### didSet-clause {#didSet-clause} +> +> *didSet 子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **didSet** [*setter 名称*](#setter-name)可选 [*代码块*](#code-block) +> + +## 类型别名声明 {#type-alias-declaration} +*类型别名（type alias）* 声明可以在程序中为一个既有类型声明一个别名。类型别名声明语句使用关键字 `typealias` 声明，遵循如下的形式： + +```swift +typealias 类型别名 = 现存类型 +``` + +当声明一个类型的别名后，可以在程序的任何地方使用“别名”来代替现有类型。现有类型可以是具有命名的类型或者混合类型。类型别名不产生新的类型，它只是使用别名来引用现有类型。 + +类型别名声明可以通过泛型参数来给一个现有泛型类型提供名称。类型别名为现有类型的一部分或者全部泛型参数提供具体类型。例如: + +```swift +typealias StringDictionary = Dictionary +> + +// 下列两个字典拥有同样的类型 +var dictionary1: StringDictionary = [:] +> +var dictionary2: Dictionary = [:] +> +``` + +当一个类型别名带着泛型参数一起被声明时，这些参数的约束必须与现有参数的约束完全匹配。例如: + +```swift +typealias DictionaryOfInts = Dictionary +> +``` + +因为类型别名可以和现有类型相互交换使用，类型别名不可以引入额外的类型约束。 + +如果在声明处省略所有泛型参数，一个类型别名可以传递已有类型的所有泛型参数。例如，此处声明的 `Diccionario` 类型别名拥有和 `Dictionary` 同样的约束和泛型参数。 + +```swift +typealias Diccionario = Dictionary +``` + +在协议声明中，类型别名可以为那些经常使用的类型提供一个更短更方便的名称，例如: + +```swift +protocol Sequence { + associatedtype Iterator: IteratorProtocol + typealias Element = Iterator.Element +} + +func sum(_ sequence: T) -> Int where T.Element == Int { +> + // ... +} +``` + +假如没有类型别名，sum 函数将必须引用关联类型通过 T.Iterator.Element 的形式来替代 T.Element。 + +另请参阅 [协议关联类型声明](#protocol_associated_type_declaration)。 + + +#### grammer_of_a_type_alias_declaration {#grammer-of-a-type-alias-declaration} +> 类型别名声明语法 +> +> +> +#### typealias-declaration {#typealias-declaration} +> +> *类型别名声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier)可选 **typealias** [*类型别名名称*](#typealias-name) [*类型别子句*](#typealias-clause) [*类型别名赋值*](#typealias-assignment) +> +> +#### typealias-name {#typealias-name} +> +> *类型别名名称* → [*标识符*](./02_Lexical_Structure.md#identifier) +> +> +#### typealias-assignment {#typealias-assignment} +> +> *类型别名赋值* → **=** [*类型*](./03_Types.md#type) +> + +## 函数声明 {#function-declaration} +使用*函数声明（function declaration）* 在程序中引入新的函数或者方法。在类、结构体、枚举，或者协议中声明的函数会作为方法。函数声明使用关键字 `func`，遵循如下的形式： + +```swift +func 函数名称(参数列表) -> 返回类型 { + 语句 +} +``` + +如果函数返回 `Void` 类型，返回类型可以省略，如下所示： + +```swift +func 函数名称(参数列表) { + 语句 +} +``` + +每个参数的类型都要标明，因为它们不能被推断出来。如果您在某个参数类型前面加上了 `inout`，那么这个参数就可以在这个函数作用域当中被修改。更多关于 `inout` 参数的讨论，请参阅 [输入输出参数](#in-out_parameters)。 + +函数声明中语句只包含一个表达式，可以理解为返回该表达式的值。 + +函数可以使用元组类型作为返回类型来返回多个值。 + +函数定义可以出现在另一个函数声明内。这种函数被称作*嵌套函数（nested function）*。 + +大多数时候，嵌套函数都是可逃逸的函数。仅当一个嵌套函数捕获了某个确保了永不逃逸的值——例如一个输入输出参数——或者传入一个非逃逸函数参数的时候，这个嵌套函数才是非逃逸的。 + +更多关于嵌套函数的讨论，请参阅 [嵌套函数](../chapter2/06_Functions.md#Nested_Functions)。 + +### 参数名 {#parameter-names} +函数的参数列表由一个或多个函数参数组成，参数间以逗号分隔。函数调用时的参数顺序必须和函数声明时的参数顺序一致。最简单的参数列表有着如下的形式： + +`参数名称`: `参数类型` + +每个参数有一个参数名称，这个名称与实参标签一样都可以在函数体内被使用。默认情况下，参数名也会被作为实参标签来使用。例如： + +```swift +func f(x: Int, y: Int) -> Int { return x + y } +> +f(x: 1, y: 2) // 参数 x 和 y 都有标签 +``` + +可以按照如下两种形式之一，重写参数名称的默认行为： + +`实参标签` `参数名称`: `参数类型` +_ `参数名称`: `参数类型` + +在参数名称前的名称会作为这个参数的显式实参标签，它可以和参数名称不同。在函数或方法调用时，相对应的参数必须使用这个实参标签。 + +参数名称前的下划线（`_`）可以去除参数的实参标签。在函数或方法调用时，相对应的参数必须去除标签。 + +```swift +func repeatGreeting(_ greeting: String, count n: Int) { /* Greet n times */ } +repeatGreeting("Hello, world!", count: 2) // count 有标签, greeting 没有 +``` + +### 输入输出参数 {#in-out-parameters} +输入输出参数被传递时遵循如下规则： + +1. 函数调用时，参数的值被拷贝。 +2. 函数体内部，拷贝后的值被修改。 +3. 函数返回后，拷贝后的值被赋值给原参数。 + +这种行为被称为*拷入拷出（copy-in copy-out）* 或*值结果调用（call by value result）*。例如，当一个计算型属性或者一个具有属性观察器的属性被用作函数的输入输出参数时，其 getter 会在函数调用时被调用，而其 setter 会在函数返回时被调用。 + +作为一种优化手段，当参数值存储在内存中的物理地址时，在函数体内部和外部均会使用同一内存位置。这种优化行为被称为*引用调用（call by reference）*，它满足了拷入拷出模式的所有要求，且消除了复制带来的开销。在代码中，要规范使用拷入拷出模式，不要依赖于引用调用。 + +不要使用传递给输入输出参数的值，即使原始值在当前作用域中依然可用。当函数返回时，你对原始值所做的更改会被拷贝的值所覆盖。不要依赖于引用调用的优化机制来试图避免这种覆盖。 + +不能将同一个值传递给多个输入输出参数，因为这种情况下的拷贝与覆盖行为的顺序是不确定的，因此原始值的最终值也将无法确定。 + +更多关于内存安全和内存独占权的讨论，请参阅 [内存安全](../chapter2/24_MemorySafety.md)。 + +如果一个闭包或者嵌套函数捕获了一个输入输出参数，那么这个闭包或者嵌套函数必须是非逃逸的。如果你需要捕获一个输入输出参数，但并不对其进行修改或者在其他代码中观察其值变化，那么你可以使用捕获列表来显式地表明这是个不可变捕获。 + +```swift +func someFunction(a: inout Int) -> () -> Int { +> + return { [a] in return a + 1 } +} +``` + +如果你需要捕获并修改一个输入输出参数，使用一个显式局部拷贝来进行修改操作，在一些例如多线程的场景中，这样做可以确保函数返回之前所有的修改都已完成。 + +如果嵌套函数在外层函数返回后才调用，嵌套函数对输入输出参数造成的任何改变将不会影响到原始值。例如： + +```swift +func multithreadedFunction(queue: DispatchQueue, x: inout Int) { + // 创建一个局部拷贝并在适当时候手动拷贝回去 + var localX = x + defer { x = localX } + + // 并行地操作 localX，然后在函数返回前一直等待 + queue.async { someMutatingOperation(&localX) } + queue.sync {} +} +``` + +关于输入输出参数的详细讨论，请参阅 [输入输出参数](../chapter2/06_Functions.md#in_out_parameters)。 + +### 特殊参数 {#special-kinds-of-parameters} +参数可以被忽略，数量可以不固定，还可以为其提供默认值，使用形式如下： + +```swift +_ : 参数类型 +参数名称: 参数类型... +参数名称: 参数类型 = 默认参数值 +``` + +以下划线（`_`）命名的参数会被显式忽略，无法在函数内使用。 + +一个参数的基本类型名称如果紧跟着三个点（`...`），会被视为可变参数。一个函数至多可以拥有一个可变参数，且必须是最后一个参数。可变参数会作为包含该参数类型元素的数组处理。举例来讲，可变参数 `Int...` 会作为 `[Int]` 来处理。关于使用可变参数的例子，请参阅 [可变参数](../chapter2/06_Functions.md#variadic_parameters)。 + +如果在参数类型后面有一个以等号（`=`）连接的表达式，该参数会拥有默认值，即给定表达式的值。当函数被调用时，给定的表达式会被求值。如果参数在函数调用时被省略了，就会使用其默认值。 + +```swift +func f(x: Int = 42) -> Int { return x } +> +f() // 有效，使用默认值 +f(7) // 有效，提供了值 +f(x: 7) // 无效，该参数没有外部名称 +``` + +### 特殊方法 {#special-kinds-of-methods} +枚举或结构体的方法如果会修改 `self`，则必须以 `mutating` 声明修饰符标记。 + +子类重写超类中的方法必须以 `override` 声明修饰符标记。重写方法时不使用 `override` 修饰符，或者被 `override` 修饰符修饰的方法并未对超类方法构成重写，都会导致编译错误。 + +枚举或者结构体中的类型方法，要以 `static` 声明修饰符标记，而对于类中的类型方法，除了使用 `static`，还可使用 `class` 声明修饰符标记。类中使用 `class` 声明修饰的方法可以被子类实现重写；类中使用 `class final` 或 `static` 声明修饰的方法不可被重写。 + +### 抛出错误的函数和方法 {#throwing-functions-and-methods} +可以抛出错误的函数或方法必须使用 `throws` 关键字标记。这类函数和方法被称为抛出函数和抛出方法。它们有着下面的形式: + +```swift +func 函数名称(参数列表) throws -> 返回类型 { +> + 语句 +} +``` + +抛出函数或抛出方法的调用必须包裹在 `try` 或者 `try!` 表达式中（也就是说，在作用域内使用 `try` 或者 `try!` 运算符）。 + +`throws` 关键字是函数的类型的一部分，非抛出函数是抛出函数的子类型。所以，可以在使用抛出函数的地方使用非抛出函数。 + +不能仅基于函数能否抛出错误来进行函数重写。也就是说，可以基于函数的函数类型的参数能否抛出错误来进行函数重写。 + +抛出方法不能重写非抛出方法，而且抛出方法不能满足协议对于非抛出方法的要求。也就是说，非抛出方法可以重写抛出方法，而且非抛出方法可以满足协议对于抛出方法的要求。 + +### 重抛错误的函数和方法 {#rethrowing-functions-and-methods} +函数或方法可以使用 `rethrows` 关键字来声明，从而表明仅当该函数或方法的一个函数类型的参数抛出错误时，该函数或方法才抛出错误。这类函数和方法被称为重抛函数和重抛方法。重新抛出错误的函数或方法必须至少有一个参数的类型为抛出函数。 + +```swift +func someFunction(callback: () throws -> Void) rethrows { +> + try callback() +} +``` + +重抛函数或者方法不能够从自身直接抛出任何错误，这意味着它不能够包含 `throw` 语句。它只能够传递作为参数的抛出函数所抛出的错误。例如，在 `do-catch` 代码块中调用抛出函数，并在 `catch` 子句中抛出其它错误都是不允许的。 + +```swift +func alwaysThrows() throws { + throw SomeError.error +} +func someFunction(callback: () throws -> Void) rethrows { +> + do { + try callback() + try alwaysThrows() // 非法, alwaysThrows() 不是一个抛出函数类型的参数 + } catch { + throw AnotherError.error + } +} +``` + +抛出方法不能重写重抛方法，而且抛出方法不能满足协议对于重抛方法的要求。也就是说，重抛方法可以重写抛出方法，而且重抛方法可以满足协议对于抛出方法的要求。 + +### 永不返回的函数 {#functions-that-never-return} +Swift 定义了 `Never` 类型，它表示函数或者方法不会返回给它的调用者。`Never` 返回类型的函数或方法可以称为不归，不归函数、方法要么引发不可恢复的错误，要么永远不停地运作，这会使调用后本应执行得代码就不再执行了。但即使是不归函数、方法，抛错函数和重抛出函数也可以将程序控制转移到合适的 `catch` 代码块。 + +不归函数、方法可以在 guard 语句的 else 字句中调用，具体讨论在[*Guard 语句*](./05_Statements.md#guard_statements)。 + +你可以重写一个不归方法，但是新的方法必须保持原有的返回类型和没有返回的行为。 + + +#### grammer_of_a_function_declaration {#grammer-of-a-function-declaration} +> 函数声明语法 +> + +#### function-declaration {#function-declaration} +> *函数声明* → [*函数头*](#function-head) [*函数名*](#function-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*函数签名*](#function-signature) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause) [*函数体*](#function-body)可选 +> + + +#### function-head {#function-head} +> *函数头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **func** +> +> +#### function-name {#function-name} +> +> *函数名* → [*标识符*](./02_Lexical_Structure.md#identifier) | [*运算符*](./02_Lexical_Structure.md#operator) +> +> +> +#### function-signature {#function-signature} +> +> +> *函数签名* → [*参数子句列表*](#parameter-clauses) **throws**可选 [*函数结果*](#function-result)可选 +> +> *函数签名* → [*参数子句列表*](#parameter-clauses) **rethrows** [*函数结果*](#function-result)可选 +> +> +#### function-result {#function-result} +> +> *函数结果* → **->** [*特性列表*](./07_Attributes.md#attributes)可选 [*类型*](./03_Types.md#type) +> +> +#### function-body {#function-body} +> +> *函数体* → [*代码块*](#code-block) +> + +> +#### parameter-clause {#parameter-clause} +> +> *参数子句* → **(** **)** | **(** [*参数列表*](#parameter-list) **)** +> +> +#### parameter-list {#parameter-list} +> +> *参数列表* → [*参数*](#parameter) | [*参数*](#parameter) **,** [*参数列表*](#parameter-list) +> +> +#### parameter {#parameter} +> +> *参数* → [*外部参数名*](#external-parameter-name)可选 [*内部参数名*](#local-parameter-name) [*类型注解*](03_Types.md#type-annotation) [*默认参数子句*](#default-argument-clause)可选 +> +> *参数* → [*外部参数名*](#external-parameter-name)可选 [*内部参数名*](#local-parameter-name) [*类型注解*](03_Types.md#type-annotation) +> +> *参数* → [*外部参数名*](#external-parameter-name)可选 [*内部参数名*](#local-parameter-name) [*类型注解*](03_Types.md#type-annotation) **...** +> +> +#### external-parameter-name {#external-parameter-name} +> +> *外部参数名* → [*标识符*](./02_Lexical_Structure.md#identifier) | **_** +> +> +#### local-parameter-name {#local-parameter-name} +> +> *内部参数名* → [*标识符*](./02_Lexical_Structure.md#identifier) | **_** +> +> +#### default-argument-clause {#default-argument-clause} +> +> *默认参数子句* → **=** [*表达式*](./04_Expressions.md#expression) +> + +## 枚举声明 {#enumeration-declaration} +在程序中使用*枚举声明（enumeration declaration）* 来引入一个枚举类型。 + +枚举声明有两种基本形式，使用关键字 `enum` 来声明。枚举声明体包含零个或多个值，称为枚举用例，还可包含任意数量的声明，包括计算型属性、实例方法、类型方法、构造器、类型别名，甚至其他枚举、结构体和类。枚举声明不能包含析构器或者协议声明。 + +枚举类型可以采纳任意数量的协议，但是枚举不能从类、结构体和其他枚举继承。 + +不同于类或者结构体，枚举类型并不隐式提供默认构造器，所有构造器必须显式声明。一个构造器可以委托给枚举中的其他构造器，但是构造过程仅当构造器将一个枚举用例赋值给 `self` 后才算完成。 + +和结构体类似但是和类不同，枚举是值类型。枚举实例在被赋值到变量或常量时，或者传递给函数作为参数时会被复制。更多关于值类型的信息，请参阅 [结构体和枚举是值类型](../chapter2/09_Structures_And_Classes.md#structures_and_enumerations_are_value_types)。 + +可以扩展枚举类型，正如在 [扩展声明](#extension_declaration) 中讨论的一样。 + +### 任意类型的枚举用例 {#enumerations-with-cases-of-any-type} +如下的形式声明了一个包含任意类型枚举用例的枚举变量： + +```swift +enum 枚举名称: 采纳的协议 { + case 枚举用例1 + case 枚举用例2(关联值类型) +} +``` + +这种形式的枚举声明在其他语言中有时被叫做可识别联合。 + +在这种形式中，每个用例块由关键字 `case` 开始，后面紧接一个或多个以逗号分隔的枚举用例。每个用例名必须是独一无二的。每个用例也可以指定它所存储的指定类型的值，这些类型在关联值类型的元组中被指定，紧跟用例名之后。 + +具有关联值的枚举用例可以像函数一样使用，通过指定的关联值创建枚举实例。和真正的函数一样，你可以获取枚举用例的引用，然后在后续代码中调用它。 + +```swift +enum Number { + case integer(Int) + case real(Double) +} + +// f 的类型为 (Int) -> Number +> +let f = Number.integer + +// 利用 f 把一个整数数组转成 Number 数组 +let evenInts: [Number] = [0, 2, 4, 6].map(f) +``` + +要获得更多关于具有关联值的枚举用例的信息和例子，请参阅 [关联值](../chapter2/08_Enumerations.md#associated_values)。 + +#### 递归枚举 {#enumerations-with-indirection} +枚举类型可以具有递归结构，就是说，枚举用例的关联值类型可以是枚举类型自身。然而，枚举类型的实例具有值语义，这意味着它们在内存中有固定布局。为了支持递归，编译器必须插入一个间接层。 + +要让某个枚举用例支持递归，使用 `indirect` 声明修饰符标记该用例。 + +```swift +enum Tree { +> + case empty + indirect case node(value: T, left: Tree, right:Tree) +} +``` + +要让一个枚举类型的所有用例都支持递归，使用 `indirect` 修饰符标记整个枚举类型，当枚举有多个用例且每个用例都需要使用 `indirect` 修饰符标记的时候这将非常便利。 + +被 `indirect` 修饰符标记的枚举用例必须有一个关联值。使用 `indirect` 修饰符标记的枚举类型可以既包含有关联值的用例，同时还可包含没有关联值的用例。但是，它不能再单独使用 `indirect` 修饰符来标记某个用例。 + +### 拥有原始值的枚举用例 {#enumerations-with-cases-of-a-raw-value-type} +以下形式声明了一种枚举类型，其中各个枚举用例的类型均为同一种基本类型： + +```swift +enum 枚举名称: 原始值类型, 采纳的协议 { + case 枚举用例1 = 原始值1 + case 枚举用例2 = 原始值2 +} +``` + +在这种形式中，每一个用例块由 `case` 关键字开始，后面紧跟一个或多个以逗号分隔的枚举用例。和第一种形式的枚举用例不同，这种形式的枚举用例包含一个基础值，叫做原始值，各个枚举用例的原始值的类型必须相同。这些原始值的类型通过原始值类型指定，必须表示一个整数、浮点数、字符串或者字符。原始值类型必须符合 `Equatable` 协议和下列字面量转换协议中的一种：整型字面量需符合 `IntergerLiteralConvertible` 协议，浮点型字面量需符合 `FloatingPointLiteralConvertible` 协议，包含任意数量字符的字符串型字面量需符合 `StringLiteralConvertible` 协议，仅包含一个单一字符的字符串型字面量需符合 `ExtendedGraphemeClusterLiteralConvertible` 协议。每一个用例的名字和原始值必须唯一。 + +如果原始值类型被指定为 `Int`，则不必为用例显式地指定原始值，它们会隐式地被赋值 `0`、`1`、`2` 等。每个未被赋值的 `Int` 类型的用例会被隐式地赋值，其值为上一个用例的原始值加 `1`。 + +```Swift +enum ExampleEnum: Int { + case a, b, c = 5, d +} +``` + +在上面的例子中，`ExampleEnum.A` 的原始值是 `0`，`ExampleEnum.B` 的原始值是 `1`。因为 `ExampleEnum.C` 的原始值被显式地设定为 `5`，因此 `ExampleEnum.D` 的原始值会自动增长为 `6`。 + +如果原始值类型被指定为 `String` 类型，你不用明确地为用例指定原始值，每个没有指定原始值的用例会隐式地将用例名字作为原始值。 + +```swift +enum GamePlayMode: String { + case cooperative, individual, competitive +} +``` + +在上面这个例子中，`GamePlayMode.cooperative` 的原始值是 `"cooperative"`，`GamePlayMode.individual` 的原始值是 `"individual"`，`GamePlayMode.competitive` 的原始值是 `"competitive"`。 + +枚举用例具有原始值的枚举类型隐式地符合定义在 Swift 标准库中的 `RawRepresentable` 协议。所以，它们拥有一个 `rawValue` 属性和一个可失败构造器 `init?(rawValue: RawValue)`。可以使用 `rawValue` 属性去获取枚举用例的原始值，例如 `ExampleEnum.b.rawValue`。还可以根据原始值来创建一个相对应的枚举用例，只需调用枚举的可失败构造器，例如 `ExampleEnum(rawValue: 5)`，这个可失败构造器返回一个可选类型的用例。要获得更多关于具有原始值的枚举用例的信息和例子，请参阅 [原始值](../chapter2/08_Enumerations.md#raw_values)。 + +### 访问枚举用例 {#accessing-enumeration-cases} +使用点语法（`.`）来引用枚举类型的枚举用例，例如 `EnumerationType.enumerationCase`。当枚举类型可以由上下文推断而出时，可以省略它（但是 `.` 仍然需要），正如 [枚举语法](../chapter2/08_Enumerations.md#enumeration_syntax) 和 [显式成员表达式](./04_Expressions.md#explicit_member_expression) 所述。 + +可以使用 `switch` 语句来检验枚举用例的值，正如 [使用 switch 语句匹配枚举值](../chapter2/08_Enumerations.md#matching_enumeration_values_with_a_switch_statement) 所述。枚举类型是模式匹配的，依靠 `switch` 语句 `case` 块中的枚举用例模式，正如 [枚举用例模式](./08_Patterns.md#enumeration_case_pattern) 所述。 + + +#### grammer_of_an_enumeration_declaration {#grammer-of-an-enumeration-declaration} +> 枚举声明语法 +> +> +> +#### enum-declaration {#enum-declaration} +> +> *枚举声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier)可选 [*联合风格枚举*](#union-style-enum) +> +> *枚举声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier) 可选 [*原始值风格枚举*](#raw-value-style-enum) +> +> +> *联合风格枚举* → **indirect**可选 **enum** [*枚举名称*](#enum-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [类型继承子句](./03_Types.md#type-inheritance-clause)可选 **{** [*多个联合风格枚举成员*](#union-style-enum-members)可选 **}** +> +> +#### union-style-enum-members {#union-style-enum-members} +> +> *多个联合风格枚举成员* → [*联合风格枚举成员*](#union-style-enum-member) [*多个联合风格枚举成员*](#union-style-enum-members)可选 +> +> +#### union-style-enum-member {#union-style-enum-member} +> +> *联合风格枚举成员* → [*声明*](#declaration) | [*联合风格枚举用例子句*](#union-style-enum-case-clause) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) +> +> +#### union-style-enum-case-clause {#union-style-enum-case-clause} +> +> *联合风格枚举用例子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **indirect**可选 **case** [*联合风格枚举用例列表*](#union-style-enum-case-list) +> +> +#### union-style-enum-case-list {#union-style-enum-case-list} +> +> *联合风格枚举用例列表* → [*联合风格枚举用例*](#union-style-enum-case) | [*联合风格枚举用例*](#union-style-enum-case) **,** [*联合风格枚举用例列表*](#union-style-enum-case-list) +> +> +#### union-style-enum-case {#union-style-enum-case} +> +> *联合风格枚举用例* → [*枚举用例名称*](#enum-case-name) [*元组类型*](03_Types.md#tuple-type)可选 +> +> +#### enum-name {#enum-name} +> +> *枚举名称* → [*标识符*](./02_Lexical_Structure.md#identifier) +> +> +#### enum-case-name {#enum-case-name} +> +> *枚举用例名称* → [*标识符*](./02_Lexical_Structure.md#identifier) +> +> +> #### raw-value-style-enum {#raw-value-style-enum} +> +> +> *原始值风格枚举* → **enum** [*枚举名称*](#enum-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*类型继承子句*](./03_Types.md#type-inheritance-clause) [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause) **{** [*多个原始值风格枚举成员*](#raw-value-style-enum-members) **}** +> +> +#### raw-value-style-enum-members {#raw-value-style-enum-members} +> +> *多个原始值风格枚举成员* → [*原始值风格枚举成员*](#raw-value-style-enum-member) [*多个原始值风格枚举成员*](#raw-value-style-enum-members)可选 +> +> +#### raw-value-style-enum-member {#raw-value-style-enum-member} +> +> *原始值风格枚举成员* → [*声明*](#declaration) | [*原始值风格枚举用例子句*](#raw-value-style-enum-case-clause) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) +> +> +#### raw-value-style-enum-case-clause {#raw-value-style-enum-case-clause} +> +> *原始值风格枚举用例子句* → [*特性列表*](./07_Attributes.md#attributes)可选 **case** [*原始值风格枚举用例列表*](#raw-value-style-enum-case-list) +> +> +#### raw-value-style-enum-case-list {#raw-value-style-enum-case-list} +> +> *原始值风格枚举用例列表* → [*原始值风格枚举用例*](#raw-value-style-enum-case) | [*原始值风格枚举用例*](#raw-value-style-enum-case) **,** [*原始值风格枚举用例列表*](#raw-value-style-enum-case-list) +> +> +#### raw-value-style-enum-case {#raw-value-style-enum-case} +> +> *原始值风格枚举用例* → [*枚举用例名称*](#enum-case-name) [*原始值赋值*](#raw-value-assignment)可选 +> +> +#### raw-value-assignment {#raw-value-assignment} +> +> *原始值赋值* → **=** [*原始值字面量*](#raw-value-literal) +> +> +#### raw-value-literal {#raw-value-literal} +> +> *原始值字面量* → [数字型字面量](./02_Lexical_Structure.md#numeric-literal) | [字符串型字面量](./02_Lexical_Structure.md#static-string-literal) | [布尔型字面量](./02_Lexical_Structure.md#boolean-literal) +> + +## 结构体声明 {#structure-declaration} +使用*结构体声明（structure declaration）* 可以在程序中引入一个结构体类型。结构体声明使用 `struct` 关键字，遵循如下的形式： + +```swift +struct 结构体名称: 采纳的协议 { + 多条声明 +} +``` + +结构体内可包含零个或多个声明。这些声明可以包括存储型和计算型属性、类型属性、实例方法、类型方法、构造器、下标、类型别名，甚至其他结构体、类、和枚举声明。结构体声明不能包含析构器或者协议声明。关于结构体的详细讨论和示例，请参阅 [类和结构体](../chapter2/09_Structures_And_Classes.md)。 + +结构体可以采纳任意数量的协议，但是不能继承自类、枚举或者其他结构体。 + +有三种方法可以创建一个已声明的结构体实例： + +* 调用结构体内声明的构造器，正如 [构造器](../chapter2/14_Initialization.md#initializers) 所述。 + +* 如果没有声明构造器，调用结构体的成员逐一构造器，正如 [结构体类型的成员逐一构造器](../chapter2/14_Initialization.md#memberwise_initializers_for_structure_types) 所述。 + +* 如果没有声明构造器，而且结构体的所有属性都有初始值，调用结构体的默认构造器，正如 [默认构造器](../chapter2/14_Initialization.md#default_initializers) 所述。 + +结构体的构造过程请参阅 [构造过程](../chapter2/14_Initialization.md)。 + +结构体实例的属性可以用点语法（`.`）来访问，正如 [访问属性](../chapter2/09_Structures_And_Classes.md#accessing_properties) 所述。 + +结构体是值类型。结构体的实例在被赋予变量或常量，或传递给函数作为参数时会被复制。关于值类型的更多信息，请参阅 +[结构体和枚举是值类型](../chapter2/09_Structures_And_Classes.md#structures_and_enumerations_are_value_types)。 + +可以使用扩展声明来扩展结构体类型的行为，请参阅 [扩展声明](#extension_declaration)。 + + +#### grammer_of_a_structure_declaration {#grammer-of-a-structure-declaration} +> 结构体声明语法 +> +> +> +#### struct-declaration {#struct-declaration} +> +> *结构体声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier) 可选 **struct** [*结构体名称*](#struct-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*类型继承子句*](./03_Types.md#type-inheritance-clause)可选 [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*结构体主体*](#struct-body) +> +> +#### struct-name {#struct-name} +> +> *结构体名称* → [*标识符*](./02_Lexical_Structure.md#identifier) +> +> +#### struct-body {#struct-body} +> +> *结构体主体* → **{** [*多条声明*](#declarations)可选 **}** +> +> +#### struct-name {#struct-name} +> +> +> *结构体多个成员* → [*结构体成员*](#struct-member) [*结构体多个成员*](#struct-members)可选 +> +> +#### struct-member {#struct-member} +> +> *结构体成员* → [*声明*](#declaration) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) +> + +## 类声明 {#class-declaration} +可以在程序中使用*类声明（class declaration）* 来引入一个类。类声明使用关键字 `class`，遵循如下的形式： + +```swift +class 类名: 超类, 采纳的协议 { + 多条声明 +} +``` + +类内可以包含零个或多个声明。这些声明可以包括存储型和计算型属性、实例方法、类型方法、构造器、唯一的析构器、下标、类型别名，甚至其他结构体、类和枚举声明。类声明不能包含协议声明。关于类的详细讨论和示例，请参阅 [类和结构体](../chapter2/09_Structures_And_Classes.md)。 + +一个类只能继承自一个超类，但是可以采纳任意数量的协议。超类紧跟在类名和冒号后面，其后跟着采纳的协议。泛型类可以继承自其它泛型类和非泛型类，但是非泛型类只能继承自其它非泛型类。当在冒号后面写泛型超类的名称时，必须写上泛型类的全名，包括它的泛型形参子句。 + +正如 [构造器声明](#initializer_declaration) 所讨论的，类可以有指定构造器和便利构造器。类的指定构造器必须初始化类中声明的所有属性，并且必须在调用超类构造器之前。 + +类可以重写属性、方法、下标以及构造器。重写的属性、方法、下标和指定构造器必须以 `override` 声明修饰符标记。 + +为了要求子类去实现超类的构造器，使用 `required` 声明修饰符标记超类的构造器。子类实现超类构造器时也必须使用 `required` 声明修饰符。 + +虽然超类属性和方法声明可以被当前类继承，但是超类声明的指定构造器却不能。即便如此，如果当前类重写了超类的所有指定构造器，它就会继承超类的所有便利构造器。Swift 的类并不继承自一个通用基础类。 + +有两种方法来创建已声明的类的实例： + +* 调用类中声明的构造器，请参阅 [构造器](../chapter2/14_Initialization.md#initializers)。 + +* 如果没有声明构造器，而且类的所有属性都被赋予了初始值，调用类的默认构造器，请参阅 [默认构造器](../chapter2/14_Initialization.md#default_initializers)。 + +类实例属性可以用点语法（`.`）来访问，请参阅 [访问属性](../chapter2/09_Structures_And_Classes.md#accessing_properties)。 + +类是引用类型。当被赋予常量或变量，或者传递给函数作为参数时，类的实例会被引用，而不是被复制。关于引用类型的更多信息，请参阅 [结构体和枚举是值类型](../chapter2/09_Structures_And_Classes.md#structures_and_enumerations_are_value_types)。 + +可以使用扩展声明来扩展类的行为，请参阅 [扩展声明](#extension_declaration)。 + + +#### grammer_of_a_class_declaration {#grammer-of-a-class-declaration} +> 类声明语法 +> +> +> +#### class-declaration {#class-declaration} +> +> *类声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [访问级别修饰符](#access-level-modifier)可选 **final**可选 **class** [*类名*](#class-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*类型继承子句*](./03_Types.md#type-inheritance-clause)可选 [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*类主体*](#class-body) +> +> *类声明* → [*特性列表*](./07_Attributes.md#attributes)可选 **final** [访问级别修饰符](#access-level-modifier)可选 **class** [*类名*](#class-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*类型继承子句*](./03_Types.md#type-inheritance-clause)可选 [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*类主体*](#class-body) +> +> +#### class-name {#class-name} +> +> *类名* → [*标识符*](./02_Lexical_Structure.md#identifier) +> +> +#### class-body {#class-body} +> +> *类主体* → **{** [*多条声明*](#declarations)可选 **}** +> +> +> *类多个成员* → [*类成员*](#class-member) [*类多个成员*](#class-members)可选 +> +> +#### class-member {#class-member} +> +> *类成员* → [*声明*](#declaration) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) +> + +## 协议声明 {#protocol-declaration} +*协议声明（protocol declaration）* 可以为程序引入一个命名的协议类型。协议声明只能在全局区域使用 `protocol` 关键字来进行声明，并遵循如下形式： + +```swift +protocol 协议名称: 继承的协议 { + 协议成员声明 +} +``` + +协议的主体包含零个或多个协议成员声明，这些成员描述了任何采纳该协议的类型必须满足的一致性要求。一个协议可以声明采纳者必须实现的某些属性、方法、构造器以及下标。协议也可以声明各种各样的类型别名，叫做关联类型，它可以指定协议的不同声明之间的关系。协议声明不能包括类、结构体、枚举或者其它协议的声明。协议成员声明会在后面进行讨论。 + +协议类型可以继承自任意数量的其它协议。当一个协议类型继承自其它协议的时候，来自其它协议的所有要求会聚合在一起，而且采纳当前协议的类型必须符合所有的这些要求。关于如何使用协议继承的例子，请参阅 [协议继承](../chapter2/21_Protocols.md#protocol_inheritance)。 + +> 注意 +> +> 也可以使用协议合成类型来聚合多个协议的一致性要求，请参阅 [协议合成类型](./03_Types.md#protocol_composition_type) 和 [协议合成](../chapter2/21_Protocols.md#protocol_composition)。 +> + +可以通过类型的扩展声明来采纳协议，从而为之前声明的类型添加协议一致性。在扩展中，必须实现所有采纳协议的要求。如果该类型已经实现了所有的要求，可以让这个扩展声明的主体留空。 + +默认地，符合某个协议的类型必须实现所有在协议中声明的属性、方法和下标。即便如此，可以用 `optional` 声明修饰符标注协议成员声明，以指定它们的实现是可选的。`optional` 修饰符仅仅可以用于使用 `objc` 特性标记过的协议。因此，仅仅类类型可以采用并符合包含可选成员要求的协议。更多关于如何使用 `optional` 声明修饰符的信息，以及如何访问可选协议成员的指导——例如不能确定采纳协议的类型是否实现了它们时——请参阅 [可选协议要求](../chapter2/21_Protocols.md#optional_protocol_requirements) + +为了限制协议只能被类类型采纳，需要使用 `AnyObject` 关键字来标记协议，将 `AnyObject` 关键在写在冒号后面的继承的协议列表的首位。例如，下面的协议只能被类类型采纳： + +```swift +protocol SomeProtocol: AnyObject { + /* 这里是协议成员 */ +} +``` + +任何继承自标记有 `AnyObject` 关键字的协议的协议也仅能被类类型采纳。 + +> 注意 +> +> 如果协议已经用 `objc` 特性标记了，`AnyObject` 要求就隐式地应用于该协议，无需显式使用 `AnyObject` 关键字。 +> + +协议类型是命名的类型，因此它们可以像其他命名类型一样使用，正如 [协议作为类型](../chapter2/21_Protocols.md#protocols_as_types) 所讨论的。然而，不能构造一个协议的实例，因为协议实际上不提供它们指定的要求的实现。 + +可以使用协议来声明作为代理的类或者结构体应该实现的方法，正如 [委托（代理）模式](../chapter2/21_Protocols.md#delegation) 中所述。 + + +#### grammer_of_a_protocol_declaration {#grammer-of-a-protocol-declaration} +> 协议声明语法 +> +> +> +#### protocol-declaration {#protocol-declaration} +> +> *协议声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier)可选 **protocol** [*协议名称*](#protocol-name) [*类型继承子句*](03_Types.md#type-inheritance-clause)可选 [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*协议主体*](#protocol-body) +> +> +#### protocol-name {#protocol-name} +> +> *协议名称* → [*标识符*](./02_Lexical_Structure.md#identifier) +> +> +#### protocol-body {#protocol-body} +> +> *协议主体* → **{** [*协议成员声明列表*](#protocol-member-declarations)可选 **}** +> +> +> *协议多个成员* → [*协议成员*](#protocol-member) [*协议多个成员*](#protocol-members)可选 +> +> +#### protocol-member {#protocol-member} +> +> *协议成员* → [*协议成员声明*](#protocol-member-declaration) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) +> +> +> +#### protocol-member-declaration {#protocol-member-declaration} +> +> *协议成员声明* → [*协议属性声明*](#protocol-property-declaration) +> +> *协议成员声明* → [*协议方法声明*](#protocol-method-declaration) +> +> *协议成员声明* → [*协议构造器声明*](#protocol-initializer-declaration) +> +> *协议成员声明* → [*协议下标声明*](#protocol-subscript-declaration) +> +> *协议成员声明* → [*协议关联类型声明*](#protocol-associated-type-declaration) +> +> +#### protocol-member-declarations {#protocol-member-declarations} +> +> *协议成员声明列表* → [*协议成员声明*](#protocol-member-declaration) [*协议成员声明列表*](#protocol-member-declarations)可选 +> + +### 协议属性声明 {#protocol-property-declaration} +协议可以通过在协议声明主体中引入一个协议属性声明，来声明符合的类型必须实现的属性。协议属性声明有一种特殊的变量声明形式： + +```swift +var 属性名: 类型 { get set } +``` + +同其它协议成员声明一样，这些属性声明仅仅针对符合该协议的类型声明了 getter 和 setter 要求，你不能在协议中直接实现 getter 和 setter。 + +符合类型可以通过多种方式满足 getter 和 setter 要求。如果属性声明包含 `get` 和 `set` 关键字，符合类型就可以用存储型变量属性或可读可写的计算型属性来满足此要求，但是属性不能以常量属性或只读计算型属性实现。如果属性声明仅仅包含 `get` 关键字的话，它可以作为任意类型的属性被实现。关于如何实现协议中的属性要求的例子，请参阅 [属性要求](../chapter2/21_Protocols.md#property_requirements) 。 + +协议声明中声明一个类型属性，属性声明语句必须用 `static` 声明修饰符。当结构体和枚举遵循该协议时，使用 `static` 关键字修饰，而类遵循该协议时，使用 `static` 或 `class` 关键字皆可。当结构体，枚举或类添加扩展遵循协议时，和之前扩展用到的关键字保持一致。扩展为类属性提供默认实现时，必须使用 `static` 关键字修饰。 + +另请参阅 [变量声明](#variable_declaration)。 + + +#### grammer_of_an_import_declaration {#grammer-of-an-import-declaration} +> 协议属性声明语法 +> +> +#### protocol-property-declaration {#protocol-property-declaration} +> +> *协议属性声明* → [*变量声明头*](#variable-declaration-head) [*变量名称*](#variable-name) [*类型注解*](03_Types.md#type-annotation) [*getter-setter 关键字代码块*](#getter-setter-keyword-block) +> + +### 协议方法声明 {#protocol-method-declaration} +协议可以通过在协议声明主体中引入一个协议方法声明，来声明符合的类型必须实现的方法。协议方法声明和函数方法声明有着相同的形式，但有两项例外：它们不包括函数体，也不能包含默认参数。关于如何实现协议中的方法要求的例子，请参阅 [方法要求](../chapter2/21_Protocols.md#method_requirements)。 + +协议声明中声明一个类型方法，方法声明语句必须用 `static` 声明修饰符。结构体和枚举遵循协议时，必须使用 `static` 关键字修饰，而类遵循协议时，使用 `static` 或 `class` 关键字皆可。当结构体，枚举或类添加扩展遵循协议时，和之前扩展用到的关键字保持一致。扩展为类方法提供默认实现时，必须使用 `static` 关键字修饰。 + +另请参阅 [函数声明](#function_declaration)。 + + +#### grammer_of_a_protocol_declaration {#grammer-of-a-protocol-declaration} +> 协议方法声明语法 +> +> +#### protocol-method-declaration {#protocol-method-declaration} +> +> *协议方法声明* → [*函数头*](#function-head) [*函数名*](#function-name) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*函数签名*](#function-signature) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 +> + +### 协议构造器声明 {#protocol-initializer-declaration} +协议可以通过在协议声明主体中引入一个协议构造器声明，来声明符合的类型必须实现的构造器。协议构造器声明 +除了不包含实现主体外，和构造器声明有着相同的形式。 + +符合类型可以通过实现一个非可失败构造器或者 `init!` 可失败构造器来满足一个非可失败协议构造器的要求，可以通过实现任意类型的构造器来满足一个可失败协议构造器的要求。 + +类在实现一个构造器去满足一个协议的构造器要求时，如果这个类还没有用 `final` 声明修饰符标记，这个构造器必须用 `required` 声明修饰符标记。 + +另请参阅 [构造器声明](#initializer_declaration)。 + + +#### grammer_of_a_protocol_initializer_declaration {#grammer-of-a-protocol-initializer-declaration} +> 协议构造器声明语法 +> +> +#### protocol-initializer-declaration {#protocol-initializer-declaration} +> +> *协议构造器声明* → [*构造器头*](#initializer-head) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*参数子句*](#parameter-clause) **throws**可选 [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 +> +> *协议构造器声明* → [*构造器头*](#initializer-head) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*参数子句*](#parameter-clause) **rethrows** [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 +> + +### 协议下标声明 {#protocol-subscript-declaration} +协议可以通过在协议声明主体中引入一个协议下标声明，来声明符合的类型必须实现的下标。协议下标声明有一个特殊的下标声明形式： + +```swift +subscript (参数列表) -> 返回类型 { get set } +> +``` + +下标声明只为符合类型声明了 getter 和 setter 要求。如果下标声明包含 `get` 和 `set` 关键字，符合类型也必须实现 getter 和 setter 子句。如果下标声明只包含 `get` 关键字，符合类型必须实现 getter 子句，可以选择是否实现 setter 子句。 + +协议声明中声明一个静态下标，下标声明语句必须用 `static` 声明修饰符。当结构体和枚举遵循该协议时，下标声明使用 `static` 关键字修饰，而类遵循该协议时，使用 `static` 或 `class` 关键字皆可。当结构体，枚举或类添加扩展遵循协议时，和之前扩展用到的关键字保持一致。扩展为下标声明提供默认实现时，必须使用 `static` 关键字修饰。 + +另请参阅 [下标声明](#subscript_declaration)。 + + +#### grammer_of_a_protocol_subscript_declaration {#grammer-of-a-protocol-subscript-declaration} +> 协议下标声明语法 +> +> +#### protocol-subscript-declaration {#protocol-subscript-declaration} +> +> *协议下标声明* → [*下标头*](#subscript-head) [*下标结果*](#subscript-result) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*getter-setter 关键字代码块*](#getter-setter-keyword-block) +> + +### 协议关联类型声明 {#protocol-associated-type-declaration} +使用关键字 `associatedtype` 来声明协议关联类型。关联类型为作为协议声明的一部分，为某种类型提供了一个别名。关联类型和泛型参数子句中的类型参数很相似，但是它们和 `Self` 一样，用于协议中。`Self` 指代采纳协议的类型。要获得更多信息和例子，请参阅 [关联类型](../chapter2/22_Generics.md#associated_types)。 + +在协议声明中使用泛型 `where` 子句来为继承的协议关联类型添加约束，且不需要重新声明关联类型。例如下面代码中的 `SubProtocol` 声明。 + +```swift +protocol SomeProtocol { + associatedtype SomeType +} + +protocol SubProtocolA: SomeProtocol { + // 此类语法会引发警告。 + associatedtype SomeType: Equatable +} + +// 建议使用此语法。 +protocol SubProtocolB: SomeProtocol where SomeType: Equatable { } +``` + + + +另请参阅 [类型别名声明](#type_alias_declaration)。 + + +#### grammer_of_a_protocol_associated_type_declaration {#grammer-of-a-protocol-associated-type-declaration} +> 协议关联类型声明语法 +> +> +#### protocol-associated-type-declaration {#protocol-associated-type-declaration} +> +> *协议关联类型声明* → [*特性列表*](./07_Attributes.md#attributes)可选 [*访问级别修饰符*](#access-level-modifier)可选 **associatedtype** [*类型别名头*](#typealias-head) [*类型继承子句*](03_Types.md#type-inheritance-clause)可选 [*类型别名赋值*](#typealias-assignment)可选 [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 +> + +## 构造器声明 {#initializer-declaration} +构造器声明会为程序中的类、结构体或枚举引入构造器。构造器使用关键字 `init` 来声明，有两种基本形式。 + +结构体、枚举、类可以有任意数量的构造器，但是类的构造器具有不同的规则和行为。不同于结构体和枚举，类有两种构造器，即指定构造器和便利构造器，请参阅 [构造过程](../chapter2/14_Initialization.md)。 + +采用如下形式声明结构体和枚举的构造器，以及类的指定构造器： + +```swift +init(参数列表) { + 构造语句 +} +``` + +类的指定构造器直接将类的所有属性初始化。它不能调用类中的其他构造器，如果类有超类，则必须调用超类的一个指定构造器。如果该类从它的超类继承了属性，必须在调用超类的指定构造器后才能修改这些属性。 + +指定构造器只能在类声明中声明，不能在扩展声明中声明。 + +结构体和枚举的构造器可以调用其他已声明的构造器，从而委托其他构造器来进行部分或者全部构造过程。 + +要为类声明一个便利构造器，用 `convenience` 声明修饰符来标记构造器声明： + +```swift +convenience init(参数列表) { + 构造语句 +} +``` + +便利构造器可以将构造过程委托给另一个便利构造器或一个指定构造器。但是，类的构造过程必须以一个将类中所有属性完全初始化的指定构造器的调用作为结束。便利构造器不能调用超类的构造器。 + +可以使用 `required` 声明修饰符，将便利构造器和指定构造器标记为每个子类都必须实现的构造器。这种构造器的子类实现也必须使用 `required` 声明修饰符标记。 + +默认情况下，超类中的构造器不会被子类继承。但是，如果子类的所有存储型属性都有默认值，而且子类自身没有定义任何构造器，它将继承超类的构造器。如果子类重写了超类的所有指定构造器，子类将继承超类的所有便利构造器。 + +和方法、属性和下标一样，需要使用 `override` 声明修饰符标记重写的指定构造器。 + +> 注意 +> +> 如果使用 `required` 声明修饰符标记一个构造器，在子类中重写这种构造器时，无需使用 `override` 修饰符。 +> + +就像函数和方法，构造器也可以抛出或者重抛错误，你可以在构造器参数列表的圆括号之后使用 `throws` 或 `rethrows` 关键字来表明相应的抛出行为。 + +关于在不同类型中声明构造器的例子，请参阅 [构造过程](../chapter2/14_Initialization.md)。 + +### 可失败构造器 {#failable-initializers} +可失败构造器可以生成所属类型的可选实例或者隐式解包可选实例，因此，这种构造器通过返回 `nil` 来指明构造过程失败。 + +声明生成可选实例的可失败构造器时，在构造器声明的 `init` 关键字后加追加一个问号（`init?`）。声明生成隐式解包可选实例的可失败构造器时，在构造器声明后追加一个叹号（`init!`）。使用 `init?` 可失败构造器生成结构体的一个可选实例的例子如下。 + +```swift +struct SomeStruct { + let string: String + //生成一个 SomeStruct 的可选实例 + init?(input: String) { + if input.isEmpty { + // 丢弃 self，并返回 nil + return nil + } + string = input + } +} +``` + +调用 `init?` 可失败构造器和调用非可失败构造器的方式相同，不过你需要处理可选类型的返回值。 + +```swift +if let actualInstance = SomeStruct(input: "Hello") { + // 利用 SomeStruct 实例做些事情 +} else { + // SomeStruct 实例的构造过程失败，构造器返回了 nil +} +``` + +可失败构造器可以在构造器实现中的任意位置返回 `nil`。 + +可失败构造器可以委托任意种类的构造器。非可失败可以委托其它非可失败构造器或者 `init!` 可失败构造器。非可失败构造器可以委托超类的 `init?` 可失败指定构造器，但是需要使用强制解包，例如 `super.init()!`。 + +构造过程失败通过构造器委托来传递。具体来说，如果可失败构造器委托的可失败构造器构造过程失败并返回 `nil`，那么该可失败构造器也会构造失败并隐式地返回 `nil`。如果非可失败构造器委托的 `init!` 可失败构造器构造失败并返回了 `nil`，那么会发生运行时错误（如同使用 `!` 操作符去强制解包一个值为 `nil` 的可选值）。 + +子类可以用任意种类的指定构造器重写超类的可失败指定构造器，但是只能用非可失败指定构造器重写超类的非可失败指定构造器。 + +更多关于可失败构造器的信息和例子，请参阅 [可失败构造器](../chapter2/14_Initialization.md#failable_initializers)。 + + +#### grammer_of_an_initializer_declaration {#grammer-of-an-initializer-declaration} +> 构造器声明语法 +> +> +#### initializer-declaration {#initializer-declaration} +> +> *构造器声明* → [*构造器头*](#initializer-head) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*参数子句*](#parameter-clause) **throws**可选 [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*构造器主体*](#initializer-body) +> +> *构造器声明* → [*构造器头*](#initializer-head) [*泛型形参子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*参数子句*](#parameter-clause) **rethrows**可选 [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*构造器主体*](#initializer-body) +> +> +#### initializer-head {#initializer-head} +> +> *构造器头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **init** +> +> *构造器头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **init** **?** +> +> *构造器头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **init** **!** +> +> +#### initializer-body {#initializer-body} +> +> *构造器主体* → [*代码块*](#code-block) +> + +## 析构器声明 {#deinitializer-declaration} +*析构器声明（deinitializer declaration）* 可以为类声明一个析构器。析构器没有参数，遵循如下格式： + +```swift +deinit { + 语句 +} +``` + +当没有任何强引用引用着类的对象，对象即将被释放时，析构器会被自动调用。析构器只能在类主体的声明中声明，不能在类的扩展声明中声明，并且每个类最多只能有一个析构器。 + +子类会继承超类的析构器，并会在子类对象将要被释放时隐式调用。继承链上的所有析构器全部调用完毕后子类对象才会被释放。 + +析构器不能直接调用。 + +关于如何在类声明中使用析构器的例子，请参阅 [析构过程](../chapter2/15_Deinitialization.md)。 + + +#### grammer_of_a_deinitializer_declaration {#grammer-of-a-deinitializer-declaration} +> 析构器声明语法 +> +> +#### deinitializer-declaration {#deinitializer-declaration} +> +> *析构器声明* → [*特性列表*](./07_Attributes.md#attributes)可选 **deinit** [*代码块*](#code-block) +> + +## 扩展声明 {#extension-declaration} +*扩展声明（extension declaration）* 可以扩展一个现存的类型的行为。扩展声明使用关键字 `extension`，遵循如下格式： + +```swift +extension 类型名称 where 要求 { + 声明语句 +} +``` + +扩展声明体可包含零个或多个声明语句。这些声明语句可以包括计算型属性、计算型类型属性、实例方法、类型方法、构造器、下标声明，甚至是类、结构体和枚举声明。扩展声明不能包含析构器、协议声明、存储型属性、属性观察器或其他扩展声明。关于扩展声明的详细讨论，以及各种扩展声明的例子，请参阅 [扩展](../chapter2/20_Extensions.md)。 + +如果类型为类，结构体，或枚举类型，则扩展声明会扩展相应的类型。如果类型为协议类型，则扩展声明会扩展所有遵守这个协议的类型。在扩展的协议体中声明语句不能使用 `final` 标识符。 + +扩展声明可以为现存的类、结构体、枚举添加协议一致性，但是不能为类添加超类，因此在扩展声明的类型名称的冒号后面仅能指定一个协议列表。 + +扩展声明可以包含构造器声明。这意味着，如果被扩展的类型在其他模块中定义，构造器声明必须委托另一个在那个模块中声明的构造器，以确保该类型能被正确地初始化。 + +现存类型的属性、方法、构造器不能在扩展中被重写。 + +通过指定采纳的协议，扩展声明可以为一个现有的类、结构体或者枚举类型添加协议遵循： + +```swift +extension 类型名称: 采纳的协议 where 约束条件 { + 多条声明 +} +``` + +协议声明不能为现有的类添加类的继承关系，因此你只能在 “类型名称” 的冒号后面添加一系列协议。 + +### 条件遵循 {#conditional-conformance} +你可以扩展一个泛型类型并使其有条件地遵循某协议，此后此类型的实例只有在特定的限制条件满足时才遵循此协议。在扩展声明中加入限制条件来为协议添加条件遵循。 + +## 已重写的限制条件会在某些泛型上下文中失效 {#overridden-requirements-aren't-Used-in-some-generic-contexts} +对于一些通过条件遵循获得了特定行为的类型，在某些泛型上下文中，并不能够确保能够使用协议限制中的特定实现。为了说明这个行为，下面的例子中定义了两个协议以及一个有条件地遵循两个协议的泛型类型。 + +```swift +protocol Loggable { + func log() +} +extension Loggable { + func log() { + print(self) + } +} + +protocol TitledLoggable: Loggable { + static var logTitle: String { get } +} +extension TitledLoggable { + func log() { + print("\(Self.logTitle): \(self)") + } +} + +struct Pair: CustomStringConvertible { + let first: T + let second: T + var description: String { + return "(\(first), \(second))" + } +} + +extension Pair: Loggable where T: Loggable { } +extension Pair: TitledLoggable where T: TitledLoggable { + static var logTitle: String { + return "Pair of '\(T.logTitle)'" + } +} + +extension String: TitledLoggable { + static var logTitle: String { + return "String" + } +} +``` + +当其泛型类型遵循 `Loggable` 协议以及 `TitleLoggale` 协议时，结构体 `Pair` 遵循 `Loggable` 协议以及 `TitleLoggale` 协议。下面的例子中，`oneAndTwo` 是 `Pair` 的一个实例。因为 `String` 遵循 `TitleLoggable` ，因此 `oneAndTwo` 也遵循此协议。当 `log()` 方法被 `oneAndTwo` 直接调用时，此方法使用的是包含标题的特定版本。 + +```swift +let oneAndTwo = Pair(first: "one", second: "two") +oneAndTwo.log() +// Prints "Pair of 'String': (one, two)" +``` + +虽然如此，当 `oneAndTwo` 在泛型上下文中使用，或者它是 `Loggable` 类型的实例时，包含标题的特定版本 `log()` 方法不会被使用。Swift 只会根据这样的规则来选择 `log()` 的实现版本—— `Pair` 遵循 `Loggable` 所需要的最少的限制条件。因此 `Loggable` 所提供的默认实现版本会被使用。 + +```swift +func doSomething(with x: T) { + x.log() +} +doSomething(with: oneAndTwo) +// Prints "(one, two)" +``` + +当传入 `doSomething(_:)` 的实例调用 `log()` 时，打印结果省略了自定义标题。 + +### 协议遵循决不能冗余 {#protocol-conformance-must-not-be-redundant} +一个具体的类型只能够遵循某特定协议一次。Swift 会把冗余的协议遵循标记为错误。你会在两种场景中遇到这种错误。第一种场景是，使用不同的限制条件来多次显式地遵循同一协议。第二种场景是，多次隐式地继承同一协议。以上两种场景会在下面章节中讨论。 + +## 解决显式冗余 {#resolving-explicit-redundancy} +对同一具体类型的多个扩展不能遵循同一协议，即便这些扩展有不同的显式限制条件。这个限制的具体示例在下面的例子中。两个扩展声明都试图添加对 `Serializable` 的条件遵循，一个为 `Int` 类型元素的数组，另一个为 `String` 类型元素的数组。 + +```swift +protocol Serializable { + func serialize() -> Any +> +} + +extension Array: Serializable where Element == Int { + func serialize() -> Any { +> + // implementation + } +} +extension Array: Serializable where Element == String { + func serialize() -> Any { +> + // implementation + } +} +// 报错: redundant conformance of 'Array' to protocol 'Serializable' +``` + +如果你需要基于多个具体类型来添加条件遵循，那么创建一个新的协议，然后让每个类型都遵循此协议，最后在声明条件遵循时使用此协议作为条件限制。 + +```swift +protocol SerializableInArray { } +extension Int: SerializableInArray { } +extension String: SerializableInArray { } + +extension Array: Serializable where Element: SerializableInArray { + func serialize() -> Any { +> + // 具体实现 + } +} +``` + +## 解决隐式冗余 {#resolving-implicit-redundancy} +当一个具体类型有条件地遵循某协议，此类型会隐式地使用相同的条件遵循任一父协议。 + +如果你需要让一个类型有条件地遵循两个继承自同一父协议的协议，请显式地声明对父协议的遵循。这可以避免使用不同的限制条件隐式遵循同一父协议两次。 + +下面的例子中显式地声明了 `Array` 对 `Loggable` 的条件遵循，避免了在声明对 `TitledLoggable` 和 `TitledLoggable` 声明条件遵循时发生冲突。 + +```swift +protocol MarkedLoggable: Loggable { + func markAndLog() +} + +extension MarkedLoggable { + func markAndLog() { + print("----------") + log() + } +} + +extension Array: Loggable where Element: Loggable { } +extension Array: TitledLoggable where Element: TitledLoggable { + static var logTitle: String { + return "Array of '\(Element.logTitle)'" + } +} +extension Array: MarkedLoggable where Element: MarkedLoggable { } + +``` + +如果不显式声明对 `Loggable` 的条件遵循，`Array` 其他的扩展会隐式地创建此声明，并引发错误： + +```swift +extension Array: Loggable where Element: TitledLoggable { } +extension Array: Loggable where Element: MarkedLoggable { } +// 报错: redundant conformance of 'Array' to protocol 'Loggable' +``` + + +#### grammer_of_an_extension_declaration {#grammer-of-an-extension-declaration} +> 扩展声明语法 +> +> +> +#### extension-declaration {#extension-declaration} +> +> *扩展声明* → [特性](./07_Attributes.md#type_attributes)可选 [访问级别修饰符](#access-level-modifier)可选 **extension** [*类型标识符*](03_Types.md#type-identifier) [*类型-继承-子句*](./03_Types.md#type-inheritance-clause)可选 [*泛型 where 子句*](./09_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*扩展主体*](#extension-body) +> +> +#### extension-body {#extension-body} +> +> *扩展主体* → **{** [*多条声明*](#declarations)可选 **}** +> +> *多条声明* → [单条声明](#subscript_declaration) [多条声明](#declarations) 可选 +> +> *单条声明* → [声明语句](#declarations) | [*编译控制流语句*](05_Statements.md#compiler-control-statement) +> + +## 下标声明 {#subscript-declaration} +*下标声明（subscript declaration）* 用于为特定类型的对象添加下标支持，通常也用于为访问集合、列表和序列中的元素提供语法便利。下标声明使用关键字 `subscript`，形式如下： + +```swift +subscript (参数列表) -> 返回类型 { +> + get { + 语句 + } + set(setter 名称) { + 语句 + } +} +``` + +下标声明只能出现在类、结构体、枚举、扩展和协议的声明中。 + +参数列表指定一个或多个用于在相关类型的下标表达式中访问元素的索引（例如，表达式 `object[i]` 中的 `i`）。索引可以是任意类型，但是必须包含类型注解。返回类型指定了被访问的元素的类型。 + +和计算型属性一样，下标声明支持对元素的读写操作。getter 用于读取值，setter 用于写入值。setter 子句是可选的，当仅需要一个 getter 子句时，可以将二者都忽略，直接返回请求的值即可。但是，如果提供了 setter 子句，就必须提供 getter 子句。 + +圆括号以及其中的 setter 名称是可选的。如果提供了 setter 名称，它会作为 setter 的参数名称。如果不提供 setter 名称，那么 setter 的参数名称默认是 `value`。setter 的参数类型必须与返回类型相同。 + +可以重写下标，只要参数列表或返回类型不同即可。还可以重写继承自超类的下标，此时必须使用 `override` 声明修饰符声明被重写的下标。 + +下标参数遵循与函数参数相同的规则，但有两个例外。默认情况下，下标中使用的参数不需要指定标签，这与函数，方法和构造器不同。但是你也可以同它们一样，显式地提供参数标签。此外，下标不能有 `In-out` 参数。 + +同样可以在协议声明中声明下标，正如 [协议下标声明](#protocol_subscript_declaration) 中所述。 + +更多关于下标的信息和例子，请参阅 [下标](../chapter2/12_Subscripts.md)。 + +### 类型下标声明 + +声明一个由类型而不是类型实例公开的下标，请使用 `static` 声明修饰符标记下标声明。类可以使用 `class` 声明修饰符标记类型计算属性，以允许子类重写父类的实现。在类声明中，`static` 关键字具有与用 `class` 和 `final` 声明修饰符标记声明相同的效果。 + + + +#### grammer_of_a_subscript_declaration {#grammer-of-a-subscript-declaration} +> 下标声明语法 +> +> +> +#### subscript-declaration {#subscript-declaration} +> +> *下标声明* → [*下标头*](#subscript-head) [*下标结果*](#subscript-result) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*代码块*](#code-block) +> +> *下标声明* → [*下标头*](#subscript-head) [*下标结果*](#subscript-result) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*getter-setter 代码块*](#getter-setter-block) +> +> *下标声明* → [*下标头*](#subscript-head) [*下标结果*](#subscript-result) [*泛型 where 子句*](08_Generic_Parameters_and_Arguments.md#generic-where-clause)可选 [*getter-setter 关键字代码块*](#getter-setter-keyword-block) +> +> +#### subscript-head {#subscript-head} +> +> *下标头* → [*特性列表*](./07_Attributes.md#attributes)可选 [*声明修饰符列表*](#declaration-modifiers)可选 **subscript** [*泛型参数子句*](08_Generic_Parameters_and_Arguments.md#generic-parameter-clause)可选 [*参数子句*](#parameter-clause) +> +> +#### subscript-result {#subscript-result} +> +> *下标结果* → **->** [*特性列表*](./07_Attributes.md#attributes)可选 [*类型*](./03_Types.md#type) +> + +## 运算符声明 {#operator-declaration} +*运算符声明（operator declaration）* 会向程序中引入中缀、前缀或后缀运算符，使用关键字 `operator` 来声明。 + +可以声明三种不同的缀性：中缀、前缀和后缀。运算符的缀性指定了运算符与其运算对象的相对位置。 + +运算符声明有三种基本形式，每种缀性各一种。运算符的缀性通过在 `operator` 关键字之前添加声明修饰符 `infix`，`prefix` 或 `postfix` 来指定。每种形式中，运算符的名字只能包含 [运算符](./02_Lexical_Structure.md#operators) 中定义的运算符字符。 + +下面的形式声明了一个新的中缀运算符： + +```swift +infix operator 运算符名称: 优先级组 +``` + +中缀运算符是二元运算符，置于两个运算对象之间，例如加法运算符（`+`）位于表达式 `1 + 2` 的中间。 + +中缀运算符可以选择指定优先级组。如果没有为运算符设置优先级组，Swift 会设置默认优先级组 `DefaultPrecedence`,它的优先级比三目优先级 `TernaryPrecedence` 要高，更多内容参考[*优先级组声明*](#precedence_group_declaration_modifiers) + +下面的形式声明了一个新的前缀运算符： + +```swift +prefix operator 运算符名称 {} +``` + +出现在运算对象前边的前缀运算符是一元运算符，例如表达式 `!a` 中的前缀非运算符（`!`）。 + +前缀运算符的声明中不指定优先级，而且前缀运算符是非结合的。 + +下面的形式声明了一个新的后缀运算符： + +```swift +postfix operator 运算符名称 {} +``` + +紧跟在运算对象后边的后缀运算符是一元运算符，例如表达式 `a!` 中的后缀强制解包运算符（`!`）。 + +和前缀运算符一样，后缀运算符的声明中不指定优先级，而且后缀运算符是非结合的。 + +声明了一个新的运算符以后，需要实现一个跟这个运算符同名的函数来实现这个运算符。如果是实现一个前缀或者后缀运算符，也必须使用相符的 `prefix` 或者 `postfix` 声明修饰符标记函数声明。如果是实现中缀运算符，则不需要使用 `infix` 声明修饰符标记函数声明。关于如何实现一个新的运算符的例子，请参阅 [自定义运算符](../chapter2/26_Advanced_Operators.md#custom_operators)。 + + +#### grammer_of_an_operator_declaration {#grammer-of-an-operator-declaration} +> 运算符声明语法 +> + +#### operator-declaration {#operator-declaration} +> *运算符声明* → [*前缀运算符声明*](#prefix-operator-declaration) | [*后缀运算符声明*](#postfix-operator-declaration) | [*中缀运算符声明*](#infix-operator-declaration) +> + +#### prefix-operator-declaration {#prefix-operator-declaration} +> *前缀运算符声明* → **prefix** **运算符** [*运算符*](./02_Lexical_Structure.md#operator) **{** **}** +> +> +#### postfix-operator-declaration {#postfix-operator-declaration} +> +> *后缀运算符声明* → **postfix** **运算符** [*运算符*](./02_Lexical_Structure.html#operator) **{** **}** +> +> +#### infix-operator-declaration {#infix-operator-declaration} +> +> *中缀运算符声明* → **infix** **运算符** [*运算符*](./02_Lexical_Structure.md#operator) **{** [*中缀运算符属性*](#infix-operator-attributes)可选 **}** +> + +#### infix-operator-group {#infix-operator-group} +> *中缀运算符组* → [*优先级组名称*](#precedence-group-name) +> + +## 优先级组声明 {#precedence-group-declaration-modifiers} +*优先级组声明（A precedence group declaration）* 会向程序的中缀运算符引入一个全新的优先级组。当没有用圆括号分组时，运算符优先级反应了运算符与它的操作数的关系的紧密程度。 +优先级组的声明如下所示: + +```swift +precedencegroup 优先级组名称{ + higherThan: 较低优先级组的名称 + lowerThan: 较高优先级组的名称 + associativity: 结合性 + assignment: 赋值性 +} +``` + +较低优先级组和较高优先级组的名称说明了新建的优先级组是依赖于现存的优先级组的。`lowerThan` 优先级组的属性只可以引用当前模块外的优先级组。当两个运算符为同一个操作数竞争时，比如表达式 `2 + 3 * 5`,优先级更高的运算符将优先参与运算。 + +> 注意 +> +> 使用较低和较高优先级组相互联系的优先级组必须保持单一层次关系，但它们不必是线性关系。这意味着优先级组也许会有未定义的相关优先级。这些优先级组的运算符在没有用圆括号分组的情况下是不能紧邻着使用的。 +> + +Swift 定义了大量的优先级组来与标准库的运算符配合使用，例如相加（`+`）和相减（`-`）属于 `AdditionPrecedence` 组，相乘（`*`）和相除（`/`）属于 `MultiplicationPrecedence` 组，详细关于 Swift 标准库中一系列运算符和优先级组内容，参阅[Swift 标准库操作符参考](https://developer.apple.com/documentation/swift/operator_declarations)。 + +运算符的结合性表示在没有圆括号分组的情况下，同样优先级的一系列运算符是如何被分组的。你可以指定运算符的结合性通过上下文关键字 `left`、`right` 或者 `none`,如果没有指定结合性，默认是 `none` 关键字。左关联性的运算符是从左至右分组的，例如，相减操作符（-）是左关联性的，所以表达式 `4 - 5 - 6` 被分组为 `(4 - 5) - 6`,得出结果-7。右关联性的运算符是从右往左分组的，指定为 `none` 结合性的运算符就没有结合性。同样优先级没有结合性的运算符不能相邻出现，例如 `<` 运算符是 `none` 结合性，那表示 `1 < 2 < 3` 就不是一个有效表达式。 + +优先级组的赋值性表示在包含可选链操作时的运算符优先级。当设为 true 时，与优先级组对应的运算符在可选链操作中使用和标准库中赋值运算符同样的分组规则，当设为 false 或者不设置，该优先级组的运算符与不赋值的运算符遵循同样的可选链规则。 + + +#### grammer_of_a_precedence_group_declaration {#grammer-of-a-precedence-group-declaration} +> 优先级组声明语法 +> + +#### precedence-group-declaration {#precedence-group-declaration} +> *优先级组声明* → **precedence**[*优先级组名称*](#precedence-group-name){[*多优先级组属性*](#precedence-group-attributes)可选 } +> + +#### precedence-group-attributes {#precedence-group-attributes} +> *优先级组属性* → [*优先级组属性*](#precedence-group-attribute)[*多优先级组属性*](#precedence-group-attributes)可选 **{** **}** +> + +#### precedence-group-attribute {#precedence-group-attribute} +> *优先级组属性* → [*优先级组关系*](#precedence-group-relation) +> +> *优先级组属性* → [*优先级组赋值性*](#precedence-group-assignment) +> +> *优先级组属性* → [*优先级组相关性*](#precedence-group-associativity) +> +> +#### precedence-group-relation {#precedence-group-relation} +> +> *优先级组关系* → **higherThan:**[*多优先级组名称*](#precedence-group-names) +> +> *优先级组关系* → **lowerThan:**[*多优先级组名称*](#precedence-group-names) +> +> +#### precedence-group-assignment {#precedence-group-assignment} +> +> *优先级组赋值* → **assignment:**[*布尔字面值*](./02_Lexical_Structure.md#boolean-literal) +> + +#### precedence-group-associativity {#precedence-group-associativity} +> *优先级组结合性* → **associativity:left** +> +> *优先级组结合性* → **associativity:right** +> +> *优先级组结合性* → **associativity:none** +> + +#### precedence-group-names {#precedence-group-names} +> *多优先级组名称* → [*优先级组名称*](#precedence-group-name) | [*优先级组名称*](#precedence-group-name) | [*优先级组名称*](#precedence-group-name) +> + +#### precedence-group-name {#precedence-group-name} +> *优先级组名称* →[*标识符*](./02_Lexical_Structure.md#identifier) +> + +## 声明修饰符 {#Declaration-Modifiers} +声明修饰符都是关键字或上下文相关的关键字，可以修改一个声明的行为或者含义。可以在声明的特性（如果存在）和引入该声明的关键字之间，利用声明修饰符的关键字或上下文相关的关键字指定一个声明修饰符。 + +`class` + +该修饰符用于修饰任何类成员，表明是类自身的成员，而不是类实例的成员。父类中使用该修饰符标记或者未被 `final` 修饰符标记的成员，都允许被子类重写。 + +`dynamic` + +该修饰符用于修饰任何兼容 Objective-C 的类的成员。访问被 `dynamic` 修饰符标记的类成员将总是由 Objective-C 运行时系统进行动态派发，而不会由编译器进行内联或消虚拟化。 + +因为被标记 `dynamic` 修饰符的类成员会由 Objective-C 运行时系统进行动态派发，所以它们会被隐式标记 `objc` 特性。 + +`final` + +该修饰符用于修饰类或类中的属性、方法以及下标。如果用它修饰一个类，那么这个类不能被继承。如果用它修饰类中的属性、方法或下标，那么它们不能在子类中被重写。 + +`lazy` + +该修饰符用于修饰类或结构体中的存储型变量属性，表示该属性的初始值最多只被计算和存储一次，且发生在它被第一次访问时。关于如何使用 `lazy` 修饰符的例子，请参阅 [惰性存储型属性](../chapter2/10_Properties.md#lazy_stored_properties)。 + +`optional` + +该修饰符用于修饰协议中的属性、方法以及下标成员，表示符合类型可以不实现这些成员要求。 + +只能将 `optional` 修饰符用于被 `objc` 特性标记的协议。这样一来，就只有类类型可以采纳并符合拥有可选成员要求的协议。关于如何使用 `optional` 修饰符，以及如何访问可选协议成员（比如，不确定符合类型是否已经实现了这些可选成员）的信息，请参阅 [可选协议要求](../chapter2/21_Protocols.md#optional_protocol_requirements)。 + +`required` + +该修饰符用于修饰类的指定构造器或便利构造器，表示该类所有的子类都必须实现该构造器。在子类实现该构造器时，必须同样使用 `required` 修饰符修饰该构造器。 + +`static` + +该修饰符用于修饰结构体、类、枚举或协议的成员，表明是类型成员，而不是类型实例的成员。在类声明的作用范围内，使用 `static` 修饰符标记成员声明语句，同 `class` 和 `final` 修饰符具有相同的效果。但是类的常量类型属性是一个例外： `static` 没有问题，但是你无法为常量声明使用 `class` 或 `final` 修饰符。 + +`unowned` + +该修饰符用于修饰存储型变量、常量或者存储型变量属性，表示该变量或属性持有其存储对象的无主引用。如果在此存储对象释放后尝试访问该对象，会引发运行时错误。如同弱引用一样，该引用类型的变量或属性必须是类类型。与弱引用不同的是，这种类型的变量或属性是非可选的。关于 `unowned` 更多的信息和例子，请参阅 [无主引用](../chapter2/23_Automatic_Reference_Counting.md#unowned_references) + +`unowned(safe)` + +`unowned` 的显式写法 + +`unowned(unsafe)` + +该修饰符用于修饰存储型变量、常量或者存储型变量属性，表示该变量或属性持有其存储对象的无主引用。如果在此存储对象释放后尝试访问该对象，会直接访问该对象释放前存储的内存地址，因此这是非内存安全的操作。如同弱引用一样，该引用类型的变量或属性必须是类类型。与弱引用不同的是，这种类型的变量或属性是非可选的。关于 `unowned` 更多的信息和例子，请参阅 [无主引用]( + +`weak` + +该修饰符用于修饰变量或存储型变量属性，表示该变量或属性持有其存储的对象的弱引用。这种变量或属性的类型必须是可选的类类型。使用 `weak` 修饰符可避免强引用循环。关于 `weak` 修饰符的更多信息和例子，请参阅 [弱引用](../chapter2/23_Automatic_Reference_Counting.md#resolving_strong_reference_cycles_between_class_instances)。 + +### 访问控制级别 {#access-control-levels} +Swift 提供了三个级别的访问控制：`public`、`internal` 和 `private`。可以使用以下任意一种访问级别修饰符来指定声明的访问级别。访问控制在 [访问控制](../chapter2/25_Access_Control.md) 中有详细讨论。 + +`public` + +该修饰符表示声明可被同模块的代码访问，只要其他模块导入了声明所在的模块，也可以进行访问。 + +`internal` + +该修饰符表示声明只能被同模块的代码访问。默认情况下，绝大多数声明会被隐式标记 `internal` 访问级别修饰符。 + +`private` + +该修饰符表示声明只能被所在源文件的代码访问。 + +以上访问级别修饰符都可以选择带上一个参数，该参数由一对圆括号和其中的 `set` 关键字组成（例如，`private(set)`）。使用这种形式的访问级别修饰符来限制某个属性或下标的 setter 的访问级别低于其本身的访问级别，正如 [Getter 和 Setter](../chapter2/25_Access_Control.md#getters_and_setters) 中所讨论的。 + + +#### grammer_of_a_declaration_modifier {#grammer-of-a-declaration-modifier} +> 声明修饰符的语法 +> + +#### declaration-modifier {#declaration-modifier} +> *声明修饰符* → **class** | **convenience**| **dynamic** | **final** | **infix** | **lazy** | **mutating** | **nonmutating** | **optional** | **override** | **postfix** | **prefix** | **required** | **static** | **unowned** | **unowned ( safe )** | **unowned ( unsafe )** | **weak** +> +> 声明修饰符 → [*访问级别修饰符*](#access-level-modifier) +> +> +#### declaration-modifiers {#declaration-modifiers} +> +> *声明修饰符列表* → [*声明修饰符*](#declaration-modifier) [*声明修饰符列表*](#declaration-modifiers)可选 +> + +#### access-level-modifier {#access-level-modifier} +> 访问级别修饰符 → **internal** | **internal ( set )** +> +> 访问级别修饰符 → **private** | **private ( set )** +> +> 访问级别修饰符 → **public** | **public ( set )** +> diff --git a/source/chapter3/07_Attributes.md b/source/chapter3/07_Attributes.md index 6ff7b2ee..eec86e72 100755 --- a/source/chapter3/07_Attributes.md +++ b/source/chapter3/07_Attributes.md @@ -1,399 +1,421 @@ -# 特性（Attributes） - -在 Swift 中有两种特性，分别用于修饰声明和类型。特性提供了有关声明和类型的更多信息。例如，使用 `discardableResult` 特性声明的函数，表明该函数虽然有返回值，但如果没有使用该返回值，编译器不会产生警告。 - -您可以通过以下方式指定一个特性，通过符号 `@` 后跟特性的名称和特性接收的任何参数： - -@`特性名` - -@`特性名`(`特性参数`) - -有些声明特性通过接收参数来指定特性的更多信息以及它是如何修饰某个特定的声明的。这些_特性的参数_写在圆括号内，它们的格式由它们所属的特性来定义。 - -## 声明特性 {#declaration-attributes} - -声明特性只能应用于声明。 - -### `available` {#available} - -将 `available` 特性用于声明时，表示该声明的生命周期是相对于特定的平台和操作系统版本。 - -`available` 特性经常与参数列表一同出现，该参数列表至少有两个特性参数，参数之间由逗号分隔。这些参数由以下这些平台名字中的一个起头： - -- `iOS` -- `iOSApplicationExtension` -- `macOS` -- `macOSApplicationExtension` -- `watchOS` -- `watchOSApplicationExtension` -- `tvOS` -- `tvOSApplicationExtension` -- `swift` - -当然，你也可以用一个星号（`*`）来表示上面提到的所有平台。指定 Swift 版本的 `available` 特性参数，不能使用星号表示。 - -其余的参数，可以按照任何顺序出现，并且可以添加关于声明生命周期的附加信息，包括重要事件。 - -- `unavailable` 参数表示该声明在指定的平台上是无效的。当指定 Swift 版本可用性时不可使用该参数。 -- `introduced` 参数表示指定平台从哪一版本开始引入该声明。格式如下： - -`introduced`: `版本号` - -*版本号*由一至三个正整数构成，由句点分隔的。 - -- `deprecated` 参数表示指定平台从哪一版本开始弃用该声明。格式如下： - -`deprecated`: `版本号` - -可选的*版本号*由一个或多个正整数构成，由句点分隔的。省略版本号表示该声明目前已弃用，当弃用出现时没有给出任何有关信息。如果你省略了版本号，冒号（`:`）也可省略。 - -- `obsoleted` 参数表示指定平台或语言从哪一版本开始废弃该声明。当一个声明被废弃后，它就从平台或语言中移除，不能再被使用。格式如下： - -`obsoleted`: `版本号` - -*版本号*由一至三个正整数构成，由句点分隔的。 - -- `message` 参数用来提供文本信息。当使用被弃用或者被废弃的声明时，编译器会抛出警告或错误信息。格式如下： - -`message`: `信息内容` - -_信息内容_由一个字符串构成。 - -- `renamed` 参数用来提供文本信息，用以表示被重命名的声明的新名字。当使用声明的旧名字时，编译器会报错提示新名字。格式如下： - -`renamed`: `新名字` - -_新名字_由一个字符串构成。 - -你可以将 `renamed` 参数和 `unavailable` 参数用于 `available` 特性，来表示声明在不同平台和 Swift 版本上的可用性。如下所示，表示声明的名字在一个框架或者库的不同发布版本间发生了变化。以此组合表示该声明被重命名的编译错误。 - -```swift -// 首发版本 -protocol MyProtocol { - // 这里是协议定义 -} -``` - -```swift -// 后续版本重命名了 MyProtocol -protocol MyRenamedProtocol { - // 这里是协议定义 -} -@available(*, unavailable, renamed:"MyRenamedProtocol") -typealias MyProtocol = MyRenamedProtocol -``` - -你可以在某个声明上使用多个 `available` 特性，以指定该声明在不同平台和 Swift 版本上的可用性。编译器只有在与 `available` 特性中指定的平台或语言版本匹配时，才会使用 `available` 特性。 - -如果 `available` 特性除了平台名称参数外，只指定了一个 `introduced` 参数，那么可以使用以下简写语法代替： - -@available(`平台名称` `版本号`, *) - -@available(swift `版本号`) - -`available` 特性的简写语法可以简明地表达出声明在多个平台上的可用性。尽管这两种形式在功能上是相同的，但请尽可能地使用简写语法形式。 - -```swift -@available(iOS 10.0, macOS 10.12, *) -class MyClass { - // 这里是类定义 -} -``` - -当 `available` 特性需要同时指定 Swift 版本和平台可用性，需要使用单独的 `available` 特性来声明。 - -```swift -@available(swift 3.0.2) -@available(macOS 10.12, *) -struct MyStruct { - // 这里是结构体定义 -} -``` - -### `discardableResult` {#discardableresult} - -该特性用于的函数或方法声明，以抑制编译器中函数或方法的返回值被调而没有使用其结果的警告。 - -### `dynamicCallable` {#dynamiccallable} - -该特性用于类、结构体、枚举或协议，以将该类型的实例视为可调用的函数。该类型必须实现 `dynamicallyCall(withArguments:)`、`dynamicallyCall(withKeywordArguments:)` 方法之一，或两者同时实现。 - -你可以调用 `dynamicCallable` 特性的实例，就像是调用一个任意数量参数的函数。 - -```swift -@dynamicCallable -struct TelephoneExchange { - func dynamicallyCall(withArguments phoneNumber: [Int]) { - if phoneNumber == [4, 1, 1] { - print("Get Swift help on forums.swift.org") - } else { - print("Unrecognized number") - } - } -} - -let dial = TelephoneExchange() - -// 使用动态方法调用 -dial(4, 1, 1) -// 打印“Get Swift help on forums.swift.org” - -dial(8, 6, 7, 5, 3, 0, 9) -// 打印“Unrecognized number” - -// 直接调用底层方法 -dial.dynamicallyCall(withArguments: [4, 1, 1]) -``` - -`dynamicallyCall(withArguments:)` 方法的声明必须至少有一个参数遵循 [`ExpressibleByArrayLiteral`](https://developer.apple.com/documentation/swift/expressiblebyarrayliteral) 协议，如 `[Int]`，而返回值类型可以是任意类型。 - -```swift -@dynamicCallable -struct Repeater { - func dynamicallyCall(withKeywordArguments pairs: KeyValuePairs) -> String { -> - return pairs - .map { label, count in - repeatElement(label, count: count).joined(separator: " ") - } - .joined(separator: "\n") - } -} - -let repeatLabels = Repeater() -print(repeatLabels(a: 1, b: 2, c: 3, b: 2, a: 1)) -// a -// b b -// c c c -// b b -// a -``` - -`dynamicallyCall(withKeywordArguments:)` 方法声明必须至少有一个参数遵循 [`ExpressibleByDictionaryLiteral`](https://developer.apple.com/documentation/swift/expressiblebydictionaryliteral) 协议，返回值可以任意类型。参数的 [`Key`](https://developer.apple.com/documentation/swift/expressiblebydictionaryliteral/2294108-key) 必须遵循 [`ExpressibleByStringLiteral`](https://developer.apple.com/documentation/swift/expressiblebystringliteral) 协议。上述的示例使用 [`KeyValuePairs`](https://developer.apple.com/documentation/swift/keyvaluepairs) 作为参数类型，以便调用者可以传入重复的参数标签，`a` 和 `b` 在调用 `repeat`中多次使用。 - -如果你同时实现两种 `dynamicallyCall` 方法，则当在方法调用中包含关键字参数时，会调用 `dynamicallyCall(withKeywordArguments:)` 方法，否则调用 `dynamicallyCall(withArguments:)` 方法。 - -你只能调用参数和返回值与 `dynamicallyCall` 方法实现匹配的动态调用实例。在下面示例的调用无法编译，因为其 `dynamicallyCall(withArguments:)` 实现不接受 `KeyValuePairs` 参数。 - -```swift -repeatLabels(a: "four") // Error -``` - -### `dynamicMemberLookup` {#dynamicmemberlookup} - -该特性用于类、结构体、枚举或协议，让其能在运行时查找成员。该类型必须实现 `subscript(dynamicMemberLookup:)` 下标。 - -在显式成员表达式中，如果没有成名指定成员，则该表达式被理解为对该类型的 `subscript(dynamicMemberLookup:)` 下标的调用，传递包含成员名称字符串的参数。下标的参数只需遵循 `ExpressibleByStringLiteral` 协议，返回值类型可以为任意类型。在大多数情况下，下标的参数是一个 `String` 值。例如： - -```swift -@dynamicMemberLookup -struct DynamicStruct { - let dictionary = ["someDynamicMember": 325, - "someOtherMember": 787] - subscript(dynamicMember member: String) -> Int { -> - return dictionary[member] ?? 1054 - } -} -let s = DynamicStruct() - -// 使用动态成员查找 -let dynamic = s.someDynamicMember -print(dynamic) -// 打印“325” - -// 直接调用底层下标 -let equivalent = s[dynamicMember: "someDynamicMember"] -print(dynamic == equivalent) -// 打印“true” -``` - -### `GKInspectable` {#gkinspectable} - -应用此属性，暴露一个自定义 GameplayKit 组件属性给 SpriteKit 编辑器 UI。 - -### `inlinable` {#inlinable} - -该特性用于函数、方法、计算属性、下标、便利构造器或析构器的声明，以将该声明的实现公开为模块公开接口的一部分。编译器允许在调用处把 `inlinable` 标记的符号替换为符号实现的副本。 - -内联代码可以与任意模块中 `public` 访问级别的符号进行交互，同时可以与在相同模块中标记 `usableFromInline` 特性的 `internal` 访问级别的符号进行交互。内联代码不能与 `private` 或 `fileprivate` 级别的符号进行交互。 - -该特性不能用于嵌套在函数内的声明，也不能用于 `fileprivate` 或 `private` 访问级别的声明。在内联函数定义的函数和闭包是隐式非内联的，即使他们不能标记该特性。 - -### `nonobjc` {#nonobjc} - -该特性用于方法、属性、下标、或构造器的声明，这些声明本可以在 Objective-C 代码中使用，而使用 `nonobjc` 特性则告诉编译器这个声明不能在 Objective-C 代码中使用。 - -该特性用在扩展中，与在没有明确标记为 `objc` 特性的扩展中给每个成员添加该特性具有相同效果。 - -可以使用 `nonobjc` 特性解决标有 `objc` 的类中桥接方法的循环问题，该特性还允许对标有 `objc` 的类中的构造器和方法进行重载。 - -标有 `nonobjc` 特性的方法不能重写标有 `objc` 特性的方法。然而，标有 `objc` 特性的方法可以重写标有 `nonobjc` 特性的方法。同样，标有 `nonobjc` 特性的方法不能满足标有 `@objc` 特性的协议中的方法要求。 - -### `NSApplicationMain` {#nsapplicationmain} - -在类上使用该特性表示该类是应用程序委托类，使用该特性与调用 `NSApplicationMain(_:_:)` 函数并且把该类的名字作为委托类的名字传递给函数的效果相同。 - -如果你不想使用这个特性，可以提供一个 `main.swift` 文件，并在代码**顶层**调用 `NSApplicationMain(_:_:)` 函数，如下所示: - -```swift -import AppKit -NSApplicationMain(CommandLine.argc, CommandLine.unsafeArgv) -``` - -### `NSCopying` {#nscopying} - -该特性用于修饰一个类的存储型变量属性。该特性将使属性的设值方法使用传入值的副本进行赋值，这个值由传入值的 `copyWithZone(_:)` 方法返回。该属性的类型必需符合 `NSCopying` 协议。 - -`NSCopying` 特性的行为与 Objective-C 中的 `copy` 特性相似。 - -### `NSManaged` {#nsmanaged} - -该特性用于修饰 `NSManagedObject` 子类中的实例方法或存储型变量属性，表明它们的实现由 `Core Data` 在运行时基于相关实体描述动态提供。对于标记了 `NSManaged` 特性的属性，`Core Data` 也会在运行时为其提供存储。应用这个特性也意味着 `objc` 特性。 - -### `objc` {#objc} - -该特性用于修饰任何可以在 Objective-C 中表示的声明。比如，非嵌套类、协议、非泛型枚举（仅限原始值为整型的枚举）、类和协议中的属性和方法（包括存取方法）、构造器、析构器以及下标运算符。`objc` 特性告诉编译器这个声明可以在 Objective-C 代码中使用。 - -该特性用在扩展中，与在没有明确标记为 `nonobjc` 特性的扩展中给每个成员添加该特性具有相同效果。 - -编译器隐式地将 `objc` 特性添加到 Objective-C 中定义的任何类的子类。但是，子类不能是泛型的，并且不能继承于任何泛型类。你可以将 `objc` 特性显式添加到满足这些条件的子类，来指定其 Objective-C 名称，如下所述。添加了 `objc` 的协议不能继承于没有此特性的协议。 - -在以下情况中隐式添加了 `objc` 特性。 - -- 父类有 `objc` 特性，且重写为子类的声明。 -- 遵循带有 `objc` 特性协议的声明。 -- 带有 `IBAction`、`IBOutlet`、`IBDesignable`、`IBInspectable`、`NSManaged` 或 `GKInspectable` 特性的声明。 - -如果你将 `objc` 特性应用于枚举，每一个枚举用例都会以枚举名称和用例名称组合的方式暴露在 Objective-C 代码中。例如，在 `Planet` 枚举中有一个名为 `Venus` 的用例，该用例暴露在 Objective-C 代码中时叫做 `PlanetVenus`。 - -`objc` 特性有一个可选的参数，由标识符构成。当你想把 `objc` 所修饰的实体以一个不同的名字暴露给 Objective-C 时，你就可以使用这个特性参数。你可以使用这个参数来命名类、枚举类型、枚举用例、协议、方法、存取方法以及构造器。如果你要指定类、协议或枚举在 Objective-C 下的名称，在名称上包含三个字母的前缀，如 [Objective-C 编程](https://developer.apple.com/library/content/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC/Introduction/Introduction.html#//apple_ref/doc/uid/TP40011210) 中的 [约定](https://developer.apple.com/library/content/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC/Conventions/Conventions.html#//apple_ref/doc/uid/TP40011210-CH10-SW1)。下面的例子把 `ExampleClass` 中的 `enabled` 属性的取值方法暴露给 Objective-C，名字是 `isEnabled`，而不是它原来的属性名。 - -```swift -class ExampleClass: NSObject { - @objc var enabled: Bool { - @objc(isEnabled) get { - // 返回适当的值 - } - } -} -``` - -### `objcMembers` {#objcmembers} - -该特性用于类声明，以将 `objc` 特性应用于该类、扩展、子类以及子类的扩展的所有 Objective-C 兼容成员。 - -大多数代码应该使用 `objc` 特性，以暴露所需的声明。如果需要暴露多个声明，可以将其分组到添加 `objc` 特性的扩展中。`objcMembers` 特性为大量使用 Objective-C 运行时的内省工具的库提供了便利。添加不必要的 `objc` 特性会增加二进制体积并影响性能。 - -### `requires_stored_property_inits` {#requires-stored-property-inits} - -该特性用于类声明，以要求类中所有存储属性提供默认值作为其定义的一部分。对于从中继承的任何类都推断出 `NSManagedObject` 特性。 - -### `testable` {#testable} - -在导入允许测试的编译模块时，该特性用于修饰 `import` 声明，这样就能访问被导入模块中的任何标有 `internal` 访问级别修饰符的实体，犹如它们被标记了 `public` 访问级别修饰符。测试也可以访问使用 `internal` 或者 `public` 访问级别修饰符标记的类和类成员，就像它们是 `open` 访问修饰符声明的。 - -### `UIApplicationMain` {#uiapplicationmain} - -在类上使用该特性表示该类是应用程序委托类，使用该特性与调用 `UIApplicationMain` 函数并且把该类的名字作为委托类的名字传递给函数的效果相同。 - -如果你不想使用这个特性，可以提供一个 `main.swift` 文件，并在代码顶层调用 `UIApplicationMain(_:_:_:_:)` 函数。比如，如果你的应用程序使用一个继承于 UIApplication 的自定义子类作为主要类，你可以调用 `UIApplicationMain(_:_:_:_:)` 函数而不是使用该特性。 - -### `usableFromInline` {#usablefrominline} - -该特性用于函数、方法、计算属性、下标、构造器或析构器的声明，以在同一模块中允许该符号用于内联代码的声明。声明必须具有 `internal` 访问级别修饰符。 - -与 `public` 访问修饰符相同的是，该特性将声明公开为模块公共接口的一部分。区别于 `public`，编译器不允许在模块外部的代码通过名称引用 `usableFromInline` 标记的声明，即使导出了声明符号也是无法引用。但是，模块外的代码仍然可以通过运行时交换声明符号。 - -标记为 `inlinable` 特性的声明，在内联代码中可以隐式使用。虽然 `inlinable` 或 `usableFromInline` 可以用于 `internal` 声明，但这两者不能同时使用。 - -### `warn_unqualified_access` {#warn-unqualified-access} - -该特性应用于顶级函数、实例方法、类方法或静态方法，以在没有前置限定符（例如模块名称、类型名称、实例变量或常量）的情况下使用该函数或方法时触发警告。使用该特性可以帮助减少在同一作用于访问同名函数之间的歧义。 - -例如，Swift 标准库包含 [`min(_:_:)`](https://developer.apple.com/documentation/swift/1538339-min/) 顶级函数和用于序列比较元素的 [`min()`](https://developer.apple.com/documentation/swift/sequence/1641174-min) 方法。序列方法声明使用了 `warn_unqualified_access`，以减少在 `Sequence` 扩展中使用它们的歧义。 - -### Interface Builder 使用的声明特性 {#declaration-attributes-used-by-interface-builder} - -`Interface Builder` 特性是 `Interface Builder` 用来与 Xcode 同步的声明特性。`Swift` 提供了以下的 `Interface Builder` 特性：`IBAction`，`IBOutlet`，`IBDesignable`，以及 `IBInspectable` 。这些特性与 Objective-C 中对应的特性在概念上是相同的。 - -`IBOutlet` 和 `IBInspectable` 用于修饰一个类的属性声明，`IBAction` 特性用于修饰一个类的方法声明，`IBDesignable` 用于修饰类的声明。 - -应用 `IBAction`、`IBOutlet`、`IBDesignable` 或者 `IBInspectable` 特性都意味着同时应用 `objc` 特性。 - -## 类型特性 {#type-attributes} - -类型特性只能用于修饰类型。 - -### `autoclosure` {#autoclosure} - -这个特性通过把表达式自动封装成无参数的闭包来延迟表达式的计算。它可以修饰类型为返回表达式结果类型的无参数函数类型的函数参数。关于如何使用 autoclosure 特性的例子，请参阅 [自动闭包](../chapter2/07_Closures.md#autoclosures) 和 [函数类型](./03_Types.md#function_type)。 - -### `convention` {#convention} - -该特性用于修饰函数类型，它指出了函数调用的约定。 - -convention 特性总是与下面的参数之一一起出现。 - -- `swift` 参数用于表示一个 Swift 函数引用。这是 Swift 中函数值的标准调用约定。 - -- `block` 参数用于表示一个 Objective-C 兼容的块引用。函数值会作为一个块对象的引用，块是一种 `id` 兼容的 Objective-C 对象，其中嵌入了调用函数。调用函数使用 C 的调用约定。 - -- `c` 参数用于表示一个 C 函数引用。函数值没有上下文，不具备捕获功能，同样使用 C 的调用约定。 - -使用 C 函数调用约定的函数也可用作使用 Objective-C 块调用约定的函数，同时使用 Objective-C 块调用约定的函数也可用作使用 Swift 函数调用约定的函数。然而，只有非泛型的全局函数、局部函数以及未捕获任何局部变量的闭包，才可以被用作使用 C 函数调用约定的函数。 - -### `escaping` {#escaping} - -在函数或者方法声明上使用该特性，它表示参数将不会被存储以供延迟执行，这将确保参数不会超出函数调用的生命周期。在使用 `escaping` 声明特性的函数类型中访问属性和方法时不需要显式地使用 `self.`。关于如何使用 `escaping` 特性的例子，请参阅 [逃逸闭包](../chapter2/07_Closures.md#escaping_closures)。 - -## Switch Case 特性 {#switch-case-attributes} - -你只能在 switch cases 中使用 switch case 特性。 - -### `unknown` {#unknown} - -次特性用于 switch case，表示在编译时该地方不会匹配枚举的任何情况。有关如何使用 `unknown` 特性的示例，可参阅 [对未来枚举的 `case` 进行 `switch`](./05_Statements.md#future-case)。 - -> 特性语法 -> -> -> -#### attribute {#attribute} -> -> *特性*→ [特性名](#attribute_name) [特性参数子句](#atribute_argument_clause)可选 -> -> -#### attribute_name {#attribute-name} -> -> *特性名* → [标识符](./02_Lexical_Structure.md#identifier) -> -> -#### atribute_argument_clause {#atribute-argument-clause} -> -> *特性参数子句* → **(** [均衡令牌列表](#balanced_tokens)可选 **)** -> -> -#### attributes {#attributes} -> -> *特性列表* → [特性](#attribute) [特性列表](#attributes)可选 -> -> -> -#### balanced_tokens {#balanced-tokens} -> -> *均衡令牌列表* → [均衡令牌](#balanced_token) [均衡令牌列表](#balanced_tokens)可选 -> -> -#### balanced_token {#balanced-token} -> -> *均衡令牌* → **(** [均衡令牌列表](#balanced_tokens)可选 **)** -> -> *均衡令牌* → **\[** [均衡令牌列表](#balanced_tokens)可选 **\]** -> -> *均衡令牌* → **{** [均衡令牌列表](#balanced_tokens)可选 **}** -> -> *均衡令牌* → 任意标识符，关键字，字面量或运算符 -> -> *均衡令牌* → 任意标点除了 **(**，**)**，**[**，**]**，**{**，或 **}** -> +# 特性（Attributes） + +在 Swift 中有两种特性，分别用于修饰声明和类型。特性提供了有关声明和类型的更多信息。例如，使用 `discardableResult` 特性声明的函数，表明该函数虽然有返回值，但如果没有使用该返回值，编译器不会产生警告。 + +您可以通过以下方式指定一个特性，通过符号 `@` 后跟特性的名称和特性接收的任何参数： + +@`特性名` + +@`特性名`(`特性参数`) + +有些声明特性通过接收参数来指定特性的更多信息以及它是如何修饰某个特定的声明的。这些_特性的参数_写在圆括号内，它们的格式由它们所属的特性来定义。 + +## 声明特性 {#declaration-attributes} + +声明特性只能应用于声明。 + +### `available` {#available} + +将 `available` 特性用于声明时，表示该声明的生命周期是相对于特定的平台和操作系统版本。 + +`available` 特性经常与参数列表一同出现，该参数列表至少有两个特性参数，参数之间由逗号分隔。这些参数由以下这些平台名字中的一个起头： + +- `iOS` +- `iOSApplicationExtension` +- `macOS` +- `macOSApplicationExtension` +- `watchOS` +- `watchOSApplicationExtension` +- `tvOS` +- `tvOSApplicationExtension` +- `swift` + +当然，你也可以用一个星号（`*`）来表示上面提到的所有平台。指定 Swift 版本的 `available` 特性参数，不能使用星号表示。 + +其余的参数，可以按照任何顺序出现，并且可以添加关于声明生命周期的附加信息，包括重要事件。 + +- `unavailable` 参数表示该声明在指定的平台上是无效的。当指定 Swift 版本可用性时不可使用该参数。 +- `introduced` 参数表示指定平台从哪一版本开始引入该声明。格式如下： + +`introduced`: `版本号` + +*版本号*由一至三个正整数构成，由句点分隔的。 + +- `deprecated` 参数表示指定平台从哪一版本开始弃用该声明。格式如下： + +`deprecated`: `版本号` + +可选的*版本号*由一个或多个正整数构成，由句点分隔的。省略版本号表示该声明目前已弃用，当弃用出现时没有给出任何有关信息。如果你省略了版本号，冒号（`:`）也可省略。 + +- `obsoleted` 参数表示指定平台或语言从哪一版本开始废弃该声明。当一个声明被废弃后，它就从平台或语言中移除，不能再被使用。格式如下： + +`obsoleted`: `版本号` + +*版本号*由一至三个正整数构成，由句点分隔的。 + +- `message` 参数用来提供文本信息。当使用被弃用或者被废弃的声明时，编译器会抛出警告或错误信息。格式如下： + +`message`: `信息内容` + +_信息内容_由一个字符串构成。 + +- `renamed` 参数用来提供文本信息，用以表示被重命名的声明的新名字。当使用声明的旧名字时，编译器会报错提示新名字。格式如下： + +`renamed`: `新名字` + +_新名字_由一个字符串构成。 + +你可以将 `renamed` 参数和 `unavailable` 参数用于 `available` 特性，来表示声明在不同平台和 Swift 版本上的可用性。如下所示，表示声明的名字在一个框架或者库的不同发布版本间发生了变化。以此组合表示该声明被重命名的编译错误。 + +```swift +// 首发版本 +protocol MyProtocol { + // 这里是协议定义 +} +``` + +```swift +// 后续版本重命名了 MyProtocol +protocol MyRenamedProtocol { + // 这里是协议定义 +} +@available(*, unavailable, renamed:"MyRenamedProtocol") +typealias MyProtocol = MyRenamedProtocol +``` + +你可以在某个声明上使用多个 `available` 特性，以指定该声明在不同平台和 Swift 版本上的可用性。编译器只有在与 `available` 特性中指定的平台或语言版本匹配时，才会使用 `available` 特性。 + +如果 `available` 特性除了平台名称参数外，只指定了一个 `introduced` 参数，那么可以使用以下简写语法代替： + +@available(`平台名称` `版本号`, *) + +@available(swift `版本号`) + +`available` 特性的简写语法可以简明地表达出声明在多个平台上的可用性。尽管这两种形式在功能上是相同的，但请尽可能地使用简写语法形式。 + +```swift +@available(iOS 10.0, macOS 10.12, *) +class MyClass { + // 这里是类定义 +} +``` + +当 `available` 特性需要同时指定 Swift 版本和平台可用性，需要使用单独的 `available` 特性来声明。 + +```swift +@available(swift 3.0.2) +@available(macOS 10.12, *) +struct MyStruct { + // 这里是结构体定义 +} +``` + +### `discardableResult` {#discardableresult} + +该特性用于的函数或方法声明，以抑制编译器中函数或方法的返回值被调而没有使用其结果的警告。 + +### `dynamicCallable` {#dynamiccallable} + +该特性用于类、结构体、枚举或协议，以将该类型的实例视为可调用的函数。该类型必须实现 `dynamicallyCall(withArguments:)`、`dynamicallyCall(withKeywordArguments:)` 方法之一，或两者同时实现。 + +你可以调用 `dynamicCallable` 特性的实例，就像是调用一个任意数量参数的函数。 + +```swift +@dynamicCallable +struct TelephoneExchange { + func dynamicallyCall(withArguments phoneNumber: [Int]) { + if phoneNumber == [4, 1, 1] { + print("Get Swift help on forums.swift.org") + } else { + print("Unrecognized number") + } + } +} + +let dial = TelephoneExchange() + +// 使用动态方法调用 +dial(4, 1, 1) +// 打印“Get Swift help on forums.swift.org” + +dial(8, 6, 7, 5, 3, 0, 9) +// 打印“Unrecognized number” + +// 直接调用底层方法 +dial.dynamicallyCall(withArguments: [4, 1, 1]) +``` + +`dynamicallyCall(withArguments:)` 方法的声明必须至少有一个参数遵循 [`ExpressibleByArrayLiteral`](https://developer.apple.com/documentation/swift/expressiblebyarrayliteral) 协议，如 `[Int]`，而返回值类型可以是任意类型。 + +```swift +@dynamicCallable +struct Repeater { + func dynamicallyCall(withKeywordArguments pairs: KeyValuePairs) -> String { +> + return pairs + .map { label, count in + repeatElement(label, count: count).joined(separator: " ") + } + .joined(separator: "\n") + } +} + +let repeatLabels = Repeater() +print(repeatLabels(a: 1, b: 2, c: 3, b: 2, a: 1)) +// a +// b b +// c c c +// b b +// a +``` + +`dynamicallyCall(withKeywordArguments:)` 方法声明必须至少有一个参数遵循 [`ExpressibleByDictionaryLiteral`](https://developer.apple.com/documentation/swift/expressiblebydictionaryliteral) 协议，返回值可以任意类型。参数的 [`Key`](https://developer.apple.com/documentation/swift/expressiblebydictionaryliteral/2294108-key) 必须遵循 [`ExpressibleByStringLiteral`](https://developer.apple.com/documentation/swift/expressiblebystringliteral) 协议。上述的示例使用 [`KeyValuePairs`](https://developer.apple.com/documentation/swift/keyvaluepairs) 作为参数类型，以便调用者可以传入重复的参数标签，`a` 和 `b` 在调用 `repeat`中多次使用。 + +如果你同时实现两种 `dynamicallyCall` 方法，则当在方法调用中包含关键字参数时，会调用 `dynamicallyCall(withKeywordArguments:)` 方法，否则调用 `dynamicallyCall(withArguments:)` 方法。 + +你只能调用参数和返回值与 `dynamicallyCall` 方法实现匹配的动态调用实例。在下面示例的调用无法编译，因为其 `dynamicallyCall(withArguments:)` 实现不接受 `KeyValuePairs` 参数。 + +```swift +repeatLabels(a: "four") // Error +``` + +### `dynamicMemberLookup` {#dynamicmemberlookup} + +该特性用于类、结构体、枚举或协议，让其能在运行时查找成员。该类型必须实现 `subscript(dynamicMemberLookup:)` 下标。 + +在显式成员表达式中，如果没有成名指定成员，则该表达式被理解为对该类型的 `subscript(dynamicMemberLookup:)` 下标的调用，传递包含成员名称字符串的参数。下标接收参数既可以是键路径，也可以是成员名称字符串；如果你同时实现这两种方式的下标调用，那么以键路径参数方式为准。 + + `subscript(dynamicMemberLookup:)` 实现允许接收 [`KeyPath`](https://developer.apple.com/documentation/swift/keypath)，[`WritableKeyPath`](https://developer.apple.com/documentation/swift/writablekeypath) 或 [`ReferenceWritableKeyPath`](https://developer.apple.com/documentation/swift/referencewritablekeypath) 类型的键路径参数。而遵循 [`ExpressibleByStringLiteral`](https://developer.apple.com/documentation/swift/expressiblebystringliteral) 协议，下标调用接收参数为成员名称字符串 —— 在大多数情况下，下标的参数是一个 `String` 值。下标返回值类型可以为任意类型。 + +根据成员名称来动态地查找成员，可以帮助我们创建一个包裹数据的包装类型，但该类型无法在编译时进行类型检查，例如其他语言的数据桥接到 Swift 语言时。例如： + +```swift +@dynamicMemberLookup +struct DynamicStruct { + let dictionary = ["someDynamicMember": 325, + "someOtherMember": 787] + subscript(dynamicMember member: String) -> Int { +> + return dictionary[member] ?? 1054 + } +} +let s = DynamicStruct() + +// 使用动态成员查找 +let dynamic = s.someDynamicMember +print(dynamic) +// 打印“325” + +// 直接调用底层下标 +let equivalent = s[dynamicMember: "someDynamicMember"] +print(dynamic == equivalent) +// 打印“true” +``` + +根据键路径来动态地查找成员，可用于创建一个包裹数据的包装类型，该类型在编译时期进行类型检查。例如： + +```swift +struct Point { var x, y: Int } + +@dynamicMemberLookup +struct PassthroughWrapper { + var value: Value + subscript(dynamicMember member: KeyPath) -> T { + get { return value[keyPath: member] } + } +} + +let point = Point(x: 381, y: 431) +let wrapper = PassthroughWrapper(value: point) +print(wrapper.x) +``` + +### `GKInspectable` {#gkinspectable} + +应用此属性，暴露一个自定义 GameplayKit 组件属性给 SpriteKit 编辑器 UI。 + +### `inlinable` {#inlinable} + +该特性用于函数、方法、计算属性、下标、便利构造器或析构器的声明，以将该声明的实现公开为模块公开接口的一部分。编译器允许在调用处把 `inlinable` 标记的符号替换为符号实现的副本。 + +内联代码可以与任意模块中 `public` 访问级别的符号进行交互，同时可以与在相同模块中标记 `usableFromInline` 特性的 `internal` 访问级别的符号进行交互。内联代码不能与 `private` 或 `fileprivate` 级别的符号进行交互。 + +该特性不能用于嵌套在函数内的声明，也不能用于 `fileprivate` 或 `private` 访问级别的声明。在内联函数定义的函数和闭包是隐式非内联的，即使他们不能标记该特性。 + +### `nonobjc` {#nonobjc} + +该特性用于方法、属性、下标、或构造器的声明，这些声明本可以在 Objective-C 代码中使用，而使用 `nonobjc` 特性则告诉编译器这个声明不能在 Objective-C 代码中使用。 + +该特性用在扩展中，与在没有明确标记为 `objc` 特性的扩展中给每个成员添加该特性具有相同效果。 + +可以使用 `nonobjc` 特性解决标有 `objc` 的类中桥接方法的循环问题，该特性还允许对标有 `objc` 的类中的构造器和方法进行重载。 + +标有 `nonobjc` 特性的方法不能重写标有 `objc` 特性的方法。然而，标有 `objc` 特性的方法可以重写标有 `nonobjc` 特性的方法。同样，标有 `nonobjc` 特性的方法不能满足标有 `@objc` 特性的协议中的方法要求。 + +### `NSApplicationMain` {#nsapplicationmain} + +在类上使用该特性表示该类是应用程序委托类，使用该特性与调用 `NSApplicationMain(_:_:)` 函数并且把该类的名字作为委托类的名字传递给函数的效果相同。 + +如果你不想使用这个特性，可以提供一个 `main.swift` 文件，并在代码**顶层**调用 `NSApplicationMain(_:_:)` 函数，如下所示: + +```swift +import AppKit +NSApplicationMain(CommandLine.argc, CommandLine.unsafeArgv) +``` + +### `NSCopying` {#nscopying} + +该特性用于修饰一个类的存储型变量属性。该特性将使属性的设值方法使用传入值的副本进行赋值，这个值由传入值的 `copyWithZone(_:)` 方法返回。该属性的类型必需符合 `NSCopying` 协议。 + +`NSCopying` 特性的行为与 Objective-C 中的 `copy` 特性相似。 + +### `NSManaged` {#nsmanaged} + +该特性用于修饰 `NSManagedObject` 子类中的实例方法或存储型变量属性，表明它们的实现由 `Core Data` 在运行时基于相关实体描述动态提供。对于标记了 `NSManaged` 特性的属性，`Core Data` 也会在运行时为其提供存储。应用这个特性也意味着 `objc` 特性。 + +### `objc` {#objc} + +该特性用于修饰任何可以在 Objective-C 中表示的声明。比如，非嵌套类、协议、非泛型枚举（仅限原始值为整型的枚举）、类和协议中的属性和方法（包括存取方法）、构造器、析构器以及下标运算符。`objc` 特性告诉编译器这个声明可以在 Objective-C 代码中使用。 + +该特性用在扩展中，与在没有明确标记为 `nonobjc` 特性的扩展中给每个成员添加该特性具有相同效果。 + +编译器隐式地将 `objc` 特性添加到 Objective-C 中定义的任何类的子类。但是，子类不能是泛型的，并且不能继承于任何泛型类。你可以将 `objc` 特性显式添加到满足这些条件的子类，来指定其 Objective-C 名称，如下所述。添加了 `objc` 的协议不能继承于没有此特性的协议。 + +在以下情况中隐式添加了 `objc` 特性。 + +- 父类有 `objc` 特性，且重写为子类的声明。 +- 遵循带有 `objc` 特性协议的声明。 +- 带有 `IBAction`、 `IBSegueAction` 、 `IBOutlet` 、 `IBDesignable` 、 `IBInspectable` 、 `NSManaged` 或 `GKInspectable` 特性的声明。 + +如果你将 `objc` 特性应用于枚举，每一个枚举用例都会以枚举名称和用例名称组合的方式暴露在 Objective-C 代码中。例如，在 `Planet` 枚举中有一个名为 `Venus` 的用例，该用例暴露在 Objective-C 代码中时叫做 `PlanetVenus`。 + +`objc` 特性有一个可选的参数，由标识符构成。当你想把 `objc` 所修饰的实体以一个不同的名字暴露给 Objective-C 时，你就可以使用这个特性参数。你可以使用这个参数来命名类、枚举类型、枚举用例、协议、方法、存取方法以及构造器。如果你要指定类、协议或枚举在 Objective-C 下的名称，在名称上包含三个字母的前缀，如 [Objective-C 编程](https://developer.apple.com/library/content/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC/Introduction/Introduction.html#//apple_ref/doc/uid/TP40011210) 中的 [约定](https://developer.apple.com/library/content/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC/Conventions/Conventions.html#//apple_ref/doc/uid/TP40011210-CH10-SW1)。下面的例子把 `ExampleClass` 中的 `enabled` 属性的取值方法暴露给 Objective-C，名字是 `isEnabled`，而不是它原来的属性名。 + +```swift +class ExampleClass: NSObject { + @objc var enabled: Bool { + @objc(isEnabled) get { + // 返回适当的值 + } + } +} +``` + +### `objcMembers` {#objcmembers} + +该特性用于类声明，以将 `objc` 特性应用于该类、扩展、子类以及子类的扩展的所有 Objective-C 兼容成员。 + +大多数代码应该使用 `objc` 特性，以暴露所需的声明。如果需要暴露多个声明，可以将其分组到添加 `objc` 特性的扩展中。`objcMembers` 特性为大量使用 Objective-C 运行时的内省工具的库提供了便利。添加不必要的 `objc` 特性会增加二进制体积并影响性能。 + +### `requires_stored_property_inits` {#requires-stored-property-inits} + +该特性用于类声明，以要求类中所有存储属性提供默认值作为其定义的一部分。对于从中继承的任何类都推断出 `NSManagedObject` 特性。 + +### `testable` {#testable} + +在导入允许测试的编译模块时，该特性用于修饰 `import` 声明，这样就能访问被导入模块中的任何标有 `internal` 访问级别修饰符的实体，犹如它们被标记了 `public` 访问级别修饰符。测试也可以访问使用 `internal` 或者 `public` 访问级别修饰符标记的类和类成员，就像它们是 `open` 访问修饰符声明的。 + +### `UIApplicationMain` {#uiapplicationmain} + +在类上使用该特性表示该类是应用程序委托类，使用该特性与调用 `UIApplicationMain` 函数并且把该类的名字作为委托类的名字传递给函数的效果相同。 + +如果你不想使用这个特性，可以提供一个 `main.swift` 文件，并在代码顶层调用 `UIApplicationMain(_:_:_:_:)` 函数。比如，如果你的应用程序使用一个继承于 UIApplication 的自定义子类作为主要类，你可以调用 `UIApplicationMain(_:_:_:_:)` 函数而不是使用该特性。 + +### `usableFromInline` {#usablefrominline} + +该特性用于函数、方法、计算属性、下标、构造器或析构器的声明，以在同一模块中允许该符号用于内联代码的声明。声明必须具有 `internal` 访问级别修饰符。 + +与 `public` 访问修饰符相同的是，该特性将声明公开为模块公共接口的一部分。区别于 `public`，编译器不允许在模块外部的代码通过名称引用 `usableFromInline` 标记的声明，即使导出了声明符号也是无法引用。但是，模块外的代码仍然可以通过运行时交换声明符号。 + +标记为 `inlinable` 特性的声明，在内联代码中可以隐式使用。虽然 `inlinable` 或 `usableFromInline` 可以用于 `internal` 声明，但这两者不能同时使用。 + +### `warn_unqualified_access` {#warn-unqualified-access} + +该特性应用于顶级函数、实例方法、类方法或静态方法，以在没有前置限定符（例如模块名称、类型名称、实例变量或常量）的情况下使用该函数或方法时触发警告。使用该特性可以帮助减少在同一作用于访问同名函数之间的歧义。 + +例如，Swift 标准库包含 [`min(_:_:)`](https://developer.apple.com/documentation/swift/1538339-min/) 顶级函数和用于序列比较元素的 [`min()`](https://developer.apple.com/documentation/swift/sequence/1641174-min) 方法。序列方法声明使用了 `warn_unqualified_access`，以减少在 `Sequence` 扩展中使用它们的歧义。 + +### Interface Builder 使用的声明特性 {#declaration-attributes-used-by-interface-builder} + +`Interface Builder` 特性是 `Interface Builder` 用来与 Xcode 同步的声明特性。`Swift` 提供了以下的 `Interface Builder` 特性：`IBAction`，`IBSegueAction`，`IBOutlet`，`IBDesignable`，以及 `IBInspectable` 。这些特性与 Objective-C 中对应的特性在概念上是相同的。 + +`IBOutlet` 和 `IBInspectable` 用于修饰一个类的属性声明，`IBAction` 特性用于修饰一个类的方法声明，`IBDesignable` 用于修饰类的声明。 + +应用 `IBAction`、`IBSegueAction`、`IBOutlet`、`IBDesignable` 或者 `IBInspectable` 特性都意味着同时应用 `objc` 特性。 + +## 类型特性 {#type-attributes} + +类型特性只能用于修饰类型。 + +### `autoclosure` {#autoclosure} + +这个特性通过把表达式自动封装成无参数的闭包来延迟表达式的计算。它可以修饰类型为返回表达式结果类型的无参数函数类型的函数参数。关于如何使用 autoclosure 特性的例子，请参阅 [自动闭包](../chapter2/07_Closures.md#autoclosures) 和 [函数类型](./03_Types.md#function_type)。 + +### `convention` {#convention} + +该特性用于修饰函数类型，它指出了函数调用的约定。 + +convention 特性总是与下面的参数之一一起出现。 + +- `swift` 参数用于表示一个 Swift 函数引用。这是 Swift 中函数值的标准调用约定。 + +- `block` 参数用于表示一个 Objective-C 兼容的块引用。函数值会作为一个块对象的引用，块是一种 `id` 兼容的 Objective-C 对象，其中嵌入了调用函数。调用函数使用 C 的调用约定。 + +- `c` 参数用于表示一个 C 函数引用。函数值没有上下文，不具备捕获功能，同样使用 C 的调用约定。 + +使用 C 函数调用约定的函数也可用作使用 Objective-C 块调用约定的函数，同时使用 Objective-C 块调用约定的函数也可用作使用 Swift 函数调用约定的函数。然而，只有非泛型的全局函数、局部函数以及未捕获任何局部变量的闭包，才可以被用作使用 C 函数调用约定的函数。 + +### `escaping` {#escaping} + +在函数或者方法声明上使用该特性，它表示参数将不会被存储以供延迟执行，这将确保参数不会超出函数调用的生命周期。在使用 `escaping` 声明特性的函数类型中访问属性和方法时不需要显式地使用 `self.`。关于如何使用 `escaping` 特性的例子，请参阅 [逃逸闭包](../chapter2/07_Closures.md#escaping_closures)。 + +## Switch Case 特性 {#switch-case-attributes} + +你只能在 switch cases 中使用 switch case 特性。 + +### `unknown` {#unknown} + +次特性用于 switch case，表示在编译时该地方不会匹配枚举的任何情况。有关如何使用 `unknown` 特性的示例，可参阅 [对未来枚举的 `case` 进行 `switch`](./05_Statements.md#future-case)。 + +> 特性语法 +> +> +> +#### attribute {#attribute} +> +> *特性*→ [特性名](#attribute_name) [特性参数子句](#atribute_argument_clause)可选 +> +> +#### attribute_name {#attribute-name} +> +> *特性名* → [标识符](./02_Lexical_Structure.md#identifier) +> +> +#### atribute_argument_clause {#atribute-argument-clause} +> +> *特性参数子句* → **(** [均衡令牌列表](#balanced_tokens)可选 **)** +> +> +#### attributes {#attributes} +> +> *特性列表* → [特性](#attribute) [特性列表](#attributes)可选 +> +> +> +#### balanced_tokens {#balanced-tokens} +> +> *均衡令牌列表* → [均衡令牌](#balanced_token) [均衡令牌列表](#balanced_tokens)可选 +> +> +#### balanced_token {#balanced-token} +> +> *均衡令牌* → **(** [均衡令牌列表](#balanced_tokens)可选 **)** +> +> *均衡令牌* → **\[** [均衡令牌列表](#balanced_tokens)可选 **\]** +> +> *均衡令牌* → **{** [均衡令牌列表](#balanced_tokens)可选 **}** +> +> *均衡令牌* → 任意标识符，关键字，字面量或运算符 +> +> *均衡令牌* → 任意标点除了 **(**，**)**，**[**，**]**，**{**，或 **}** +>