存储变量和存储变量属性

以下表单声明存储变量或存储变量属性：

var variable name: type = expression

您可以在全局范围，函数的本地范围或类或结构声明的上下文中定义此形式的变量声明。当在全局范围或函数的局部范围声明此表单的变量声明时，它被称为存储变量。当它在类或结构声明的上下文中声明时，它被称为存储变量属性。

初始化表达式不能出现在协议声明中，但在所有其他上下文中，初始化表达式是可选的。也就是说，如果不存在初始化表达式，则变量声明必须包含显式类型注释（: 类型）。

与常量声明一样，如果变量名是元组模式，则元组中每个项的名称将绑定到初始化表达式中的相应值。

顾名思义，存储变量或存储变量属性的值存储在内存中。

计算变量和计算属性

以下表单声明计算变量或计算属性：

1 var variable name: type {
2     get {
3         statements
4     }
5     set(setter name) {
6         statements
7     }
8 }

您可以在全局范围，函数的本地范围或类，结构，枚举或扩展声明的上下文中定义此形式的变量声明。当在全局范围或函数的局部范围声明此形式的变量声明时，它被称为计算变量。当它在类，结构或扩展声明的上下文中声明时，它被称为计算属性。

getter用于读取值，setter用于写入值。setter子句是可选的，当只需要一个getter时，你可以省略这两个子句，直接返回所请求的值，如Read-Only Computed Properties中所述。但是，如果提供setter子句，则还必须提供getter子句。

该二传手名称和圆括号是可选的。如果提供setter名称，则将其用作setter参数的名称。如果未提供setter名称，则seter的默认参数名称为newValue，如Shorthand Setter Declaration中所述。

与存储的命名值和存储的变量属性不同，计算的命名值或计算属性的值不存储在内存中。

有关更多信息以及查看计算属性的示例，请参阅计算属性。

存储变量观察器和属性观察器

您还可以使用willSet和didSet观察器声明存储的变量或属性。使用观察器声明的存储变量或属性具有以下形式：

1 var variable name: type = expression {
2     willSet(setter name) {
3         statements
4     }
5     didSet(setter name) {
6         statements
7     }
8 }

您可以在全局范围，函数的本地范围或类或结构声明的上下文中定义此形式的变量声明。当在全局范围或函数的局部范围声明此表单的变量声明时，观察器称为存储变量观察器。当在类或结构声明的上下文中声明它时，观察器被称为属性观察器。

您可以将属性观察器添加到任何存储的属性。您还可以通过覆盖子类中的属性将属性观察器添加到任何继承的属性（无论是存储还是计算），如覆盖属性观察器中所述。

初始化表达式在类或结构声明的上下文中是可选的，但在其他地方需要。该类型的注释是可选的，当类型可以从初始化推断表达。

的willSet和didSet观察器提供了一种方式来观察（并适当地作出响应）时被设定的变量或属性的值。首次初始化变量或属性时，不会调用观察器。相反，只有在初始化上下文之外设置值时才会调用它们。

一个willSet观察器被称为设置变量或属性的值之前。新值willSet作为常量传递给观察器，因此在willSet子句的实现中不能更改它。在didSet新的值设置观测后立即调用。与willSet观察器相反，变量或属性的旧值将传递给didSet观察器，以防您仍需要访问它。也就是说，如果在其自己的didSetobserver子句中为变量或属性赋值，则分配的新值将替换刚刚设置并传递给willSet观察器的值。

和子句中的setter名称和括号是可选的。如果提供setter名称，它们将用作和观察器的参数名称。如果不提供setter名称，则观察器的默认参数名称为观察器的默认参数名称。willSetdidSetwillSetdidSetwillSetnewValuedidSetoldValue

didSet当您提供willSet子句时，该子句是可选的。同样，willSet当您提供didSet子句时，该子句是可选的。

有关更多信息以及查看如何使用属性观察器的示例，请参阅Property Observers。

变量属性

要声明类型变量属性，请使用static声明修饰符标记声明。类可以使用class声明修饰符标记类型计算属性，而不是允许子类覆盖超类的实现。类型属性在类型属性中讨论。

 1 GRAMMAR OF A VARIABLE DECLARATION
 2 
 3 variable-declaration → variable-declaration-head pattern-initializer-list
 4 
 5 variable-declaration → variable-declaration-head variable-name type-annotation code-block
 6 
 7 variable-declaration → variable-declaration-head variable-name type-annotation getter-setter-block
 8 
 9 variable-declaration → variable-declaration-head variable-name type-annotation getter-setter-keyword-block
10 
11 variable-declaration → variable-declaration-head variable-name initializer willSet-didSet-block
12 
13 variable-declaration → variable-declaration-head variable-name type-annotation initializer opt willSet-didSet-block
14 
15 variable-declaration-head → attributes opt declaration-modifiers opt var
16 
17 variable-name → identifier
18 
19 getter-setter-block → code-block
20 
21 getter-setter-block → { getter-clause setter-clause opt }
22 
23 getter-setter-block → { setter-clause getter-clause }
24 
25 getter-clause → attributes opt mutation-modifier opt get code-block
26 
27 setter-clause → attributes opt mutation-modifier opt set setter-name opt code-block
28 
29 setter-name → ( identifier )
30 
31 getter-setter-keyword-block → { getter-keyword-clause setter-keyword-clause opt }
32 
33 getter-setter-keyword-block → { setter-keyword-clause getter-keyword-clause }
34 
35 getter-keyword-clause → attributes opt mutation-modifier opt get
36 
37 setter-keyword-clause → attributes opt mutation-modifier opt set
38 
39 willSet-didSet-block → { willSet-clause didSet-clause opt }
40 
41 willSet-didSet-block → { didSet-clause willSet-clause opt }
42 
43 willSet-clause → attributes opt willSet setter-name opt code-block
44 
45 didSet-clause → attributes opt didSet setter-name opt code-block

参数名称

函数参数是以逗号分隔的列表，其中每个参数都具有多种形式之一。函数调用中参数的顺序必须与函数声明中的参数顺序相匹配。参数列表中最简单的条目具有以下形式：

parameter name: parameter type

参数具有在函数体中使用的名称，以及在调用函数或方法时使用的参数标签。默认情况下，参数名称也用作参数标签。例如：

1 func f(x: Int, y: Int) -> Int { return x + y }
2 f(x: 1, y: 2) // both x and y are labeled

您可以使用以下格式之一覆盖参数标签的默认行为：

1 argument label parameter name: parameter type
2 _ parameter name: parameter type

参数名称前面的名称为参数提供显式参数标签，该标签可以与参数名称不同。相应的参数必须在函数或方法调用中使用给定的参数标签。

_参数名称前面的下划线（）会抑制参数标签。相应的参数在函数或方法调用中必须没有标签。

1 func repeatGreeting(_ greeting: String, count n: Int) { /* Greet n times */ }
2 repeatGreeting("Hello, world!", count: 2) //  count is labeled, greeting is not

输入输出参数

输入输出参数传递如下：

1. 调用该函数时，将复制参数的值。
2. 在函数体中，修改了副本。
3. 函数返回时，副本的值将分配给原始参数。

此行为称为copy-in copy-out或按值调用结果。例如，当计算属性或具有观察器的属性作为输入输出参数传递时，其getter作为函数调用的一部分被调用，其setter作为函数返回的一部分被调用。

作为优化，当参数是存储在存储器中的物理地址处的值时，在函数体内部和外部使用相同的存储器位置。优化的行为称为引用调用 ; 它满足了拷入式拷贝模型的所有要求，同时消除了复制的开销。使用copy-in copy-out给出的模型编写代码，而不依赖于逐个引用的优化，以便在有或没有优化的情况下它的行为正确。

在函数内，不要访问作为输入输出参数传递的值，即使原始值在当前范围内可用。访问原始版本是同时访问该值，这违反了Swift的内存独占性保证。出于同样的原因，您无法将相同的值传递给多个输入输出参数。

有关内存安全性和内存独占性的更多信息，请参阅内存安全性。

捕获输入输出参数的闭包或嵌套函数必须是非溢出的。如果您需要捕获in-out参数而不进行变更或观察其他代码所做的更改，请使用捕获列表以不可变的方式显式捕获参数。

1 func someFunction(a: inout Int) -> () -> Int {
2     return { [a] in return a + 1 }
3 }

如果需要捕获并改变输入输出参数，请使用显式本地副本，例如在多线程代码中确保在函数返回之前完成所有变异。

1 func multithreadedFunction(queue: DispatchQueue, x: inout Int) {
2     // Make a local copy and manually copy it back.
3     var localX = x
4     defer { x = localX }
5 
6     // Operate on localX asynchronously, then wait before returning.
7     queue.async { someMutatingOperation(&localX) }
8     queue.sync {}
9 }

有关输入输出参数的更多讨论和示例，请参阅输入输出参数。

特殊参数

可以忽略参数，获取可变数量的值，并使用以下形式提供默认值：

1 _ : parameter type
2 parameter name: parameter type...
3 parameter name: parameter type = default argument value

下划线（_）参数被明确忽略，无法在函数体内访问。

具有基本类型名称后面紧跟三个点（...）的参数被理解为可变参数。函数最多只能有一个可变参数。可变参数被视为包含基本类型名称元素的数组。例如，可变参数Int...被视为[Int]。有关使用可变参数的示例，请参阅可变参数。

具有等号（=）的参数和其类型之后的表达式被理解为具有给定表达式的默认值。调用函数时会计算给定的表达式。如果在调用函数时省略该参数，则使用默认值。

1 func f(x: Int = 42) -> Int { return x }
2 f()       // Valid, uses default value
3 f(x: 7)   // Valid, uses the value provided
4 f(7)      // Invalid, missing argument label

特殊方法

枚举或修改的结构上的方法self必须使用mutating声明修饰符进行标记。

必须使用override声明修饰符标记覆盖超类方法的方法。在没有override修饰符的情况下覆盖方法或override在不覆盖超类方法的方法上使用修饰符是编译时错误。

与类型而不是类型实例关联的方法必须使用static枚举和结构的声明修饰符标记，或使用类的static或class声明修饰符标记。用class声明修饰符标记的类类型方法可以被子类实现覆盖; 标记为的类类型方法static无法重写。

投掷功能和方法

必须使用throws关键字标记可以抛出错误的函数和方法。这些函数和方法称为抛出函数和抛出方法。它们具有以下形式：

1 func function name(parameters) throws -> return type {
2     statements
3 }

对throw函数或方法的调用必须包装在一个try或try!表达式中（即在一个try或try!运算符的范围内）。

该throws关键字是一个函数的类型的一部分，和nonthrowing函数是投掷功能的亚型。因此，您可以在与抛出函数相同的位置使用非抛出函数。

您不能仅基于函数是否可以引发错误来重载函数。也就是说，您可以根据函数参数是否可以引发错误来重载函数。

投掷方法不能覆盖非投掷方法，投掷方法不能满足非投掷方法的协议要求。也就是说，非投掷方法可以覆盖投掷方法，非投掷方法可以满足投掷方法的协议要求。

重新定义函数和方法

可以使用rethrows关键字声明函数或方法，以指示仅当其中一个函数参数引发错误时才会抛出错误。这些函数和方法称为rethrowing函数和rethrowing方法。重新抛出函数和方法必须至少有一个抛出函数参数。

1 func someFunction(callback: () throws -> Void) rethrows {
2     try callback()
3 }

重新抛出函数或方法throw只能在catch子句中包含语句。这允许您在do- catch块内调用throw函数并catch通过抛出不同的错误来处理子句中的错误。此外，该catch子句必须只处理其中一个重新抛出函数的抛出参数引发的错误。例如，以下内容无效，因为该catch子句将处理引发的错误alwaysThrows()。

 1 func alwaysThrows() throws {
 2     throw SomeError.error
 3 }
 4 func someFunction(callback: () throws -> Void) rethrows {
 5     do {
 6         try callback()
 7         try alwaysThrows()  // Invalid, alwaysThrows() isn't a throwing parameter
 8     } catch {
 9         throw AnotherError.error
10     }
11 }

投掷方法不能覆盖重新抛出方法，投掷方法不能满足重新抛出方法的协议要求。也就是说，重新抛出方法可以覆盖投掷方法，并且重新抛出方法可以满足投掷方法的协议要求。

非返回的功能

Swift定义了一个Never类型，表示函数或方法不返回其调用者。具有Never返回类型的函数和方法称为非返回。非回归函数和方法要么导致不可恢复的错误，要么开始无限期地继续工作。这意味着永远不会执行在调用之后立即运行的代码。抛出和重新抛出函数可以将程序控制转移到适当的catch块，即使它们是非回退的。

可以调用非返回函数或方法来结束elseguard语句的子句，如Guard Statement中所讨论的。

您可以覆盖非返回方法，但新方法必须保留其返回类型和非返回行为。

 1 GRAMMAR OF A FUNCTION DECLARATION
 2 
 3 function-declaration → function-head function-name generic-parameter-clause opt function-signature generic-where-clause opt function-body opt
 4 
 5 function-head → attributes opt declaration-modifiers opt func
 6 
 7 function-name → identifier | operator
 8 
 9 function-signature → parameter-clause throwsopt function-result opt
10 
11 function-signature → parameter-clause rethrows function-result opt
12 
13 function-result → -> attributes opt type
14 
15 function-body → code-block
16 
17 parameter-clause → ( ) | ( parameter-list )
18 
19 parameter-list → parameter | parameter , parameter-list
20 
21 parameter → external-parameter-name opt local-parameter-name type-annotation default-argument-clause opt
22 
23 parameter → external-parameter-name opt local-parameter-name type-annotation
24 
25 parameter → external-parameter-name opt local-parameter-name type-annotation ...
26 
27 external-parameter-name → identifier
28 
29 local-parameter-name → identifier
30 
31 default-argument-clause → = expression

任何类型的枚举个案

以下表单声明了一个枚举类型，其中包含任何类型的枚举个案：

1 enum enumeration name: adopted protocols {
2     case enumeration case 1
3     case enumeration case 2(associated value types)
4 }

以这种形式声明的枚举有时被称为其他编程语言中的歧视联合。

在此表单中，每个案例块由case关键字后跟一个或多个枚举案例组成，以逗号分隔。每个案例的名称必须是唯一的。每种情况也可以指定它存储给定类型的值。这些类型在关联的值类型元组中指定，紧跟在案例名称后面。

存储关联值的枚举情况可用作创建具有指定关联值的枚举实例的函数。就像函数一样，您可以获得对枚举案例的引用，并在稍后的代码中应用它。

1 enum Number {
2     case integer(Int)
3     case real(Double)
4 }
5 let f = Number.integer
6 // f is a function of type (Int) -> Number
7 
8 // Apply f to create an array of Number instances with integer values
9 let evenInts: [Number] = [0, 2, 4, 6].map(f)

有关更多信息以及查看具有关联值类型的案例示例，请参阅关联值。

1 enum Tree<T> {
2     case empty
3     indirect case node(value: T, left: Tree, right: Tree)
4 }

有关原始价值案件的查点

以下表单声明一个枚举类型，其中包含相同基本类型的枚举个案：

1 enum enumeration name: raw-value type, adopted protocols {
2     case enumeration case 1 = raw value 1
3     case enumeration case 2 = raw value 2
4 }

在此表单中，每个案例块由case关键字组成，后跟一个或多个枚举案例，以逗号分隔。与第一种形式的情况不同，每种情况都有一个基本值，称为原始值，具有相同的基本类型。这些值的类型在raw-value类型中指定，并且必须表示整数，浮点数，字符串或单个字符。特别是，原始值类型必须符合Equatable协议和以下协议之一：ExpressibleByIntegerLiteral对于整数文字，ExpressibleByFloatLiteral对于浮点文字，ExpressibleByStringLiteral对于包含任意数量字符的字符串文字，和/ ExpressibleByUnicodeScalarLiteral或ExpressibleByExtendedGraphemeClusterLiteral对于仅包含单个字符的字符串文字。每个案例都必须具有唯一名称并分配唯一的原始值。

如果原始值的类型被指定为Int和你不分配一个值，以明确的情况下，它们被隐式分配的值0，1，2，等等。每个未分配的类型的情况都Int被隐式分配一个原始值，该值从前一个案例的原始值自动递增。

1 enum ExampleEnum: Int {
2     case a, b, c = 5, d
3 }

在上面的例子中，原始值ExampleEnum.aIS 0和的值ExampleEnum.b是1。并且因为ExampleEnum.c显式设置5了值，所以值ExampleEnum.d会自动递增，5因此6。

如果将原始值类型指定为String并且您没有显式为案例分配值，则会为每个未分配的案例隐式分配一个字符串，该字符串与该案例的名称具有相同的文本。

1 enum GamePlayMode: String {
2     case cooperative, individual, competitive
3 }

在上面的例子中，原始值GamePlayMode.cooperative是"cooperative"，原始值GamePlayMode.individual是"individual"，。和原始值GamePlayMode.competitive是"competitive"。

具有原始值类型的枚举隐式地符合RawRepresentableSwift标准库中定义的协议。因此，他们有一个rawValue属性和一个带签名的可用初始化程序。