跳到主要内容

Swift 声明

声明（declaration） 用以向程序里引入新的名字或者结构。举例来说，可以使用声明来引入函数和方法，变量和常量，或者定义新的具有命名的枚举、结构体、类和协议类型。还可以使用声明来扩展一个既有的具有命名的类型的行为，或者在程序里引入在其它地方声明的符号。

在 Swift 中，大多数声明在某种意义上讲也是定义，因为它们在声明时往往伴随着实现或初始化。由于协议并不提供实现，大多数协议成员仅仅只是声明而已。为了方便起见，也是因为这些区别在 Swift 中并不是很重要，“声明”这个术语同时包含了声明和定义两种含义。

声明语法

declaration​

声明 → 导入声明

声明 → 常量声明

声明 → 变量声明

声明 → 类型别名声明

声明 → 函数声明

声明 → 枚举声明

声明 → 结构体声明

声明 → 类声明

声明 → actor 声明

声明 → 协议声明

声明 → 构造器声明

声明 → 析构器声明

声明 → 扩展声明

声明 → 下标声明

声明 → 运算符声明

declarations​

多条声明 → 声明 多条声明可选

顶级代码​

Swift 的源文件中的顶级代码（top-level code）由零个或多个语句、声明和表达式组成。默认情况下，在一个源文件的顶层声明的变量，常量和其他具有命名的声明可以被同模块中的每一个源文件中的代码访问。可以使用一个访问级别修饰符来标记声明来覆盖这种默认行为，请参阅 访问控制级别。

顶级声明语法

顶级声明 → 多条语句可选

代码块​

代码块（code block） 可以将一些声明和控制结构体组织在一起。它有如下的形式：

{
	语句
}

代码块中的“语句”包括声明、表达式和各种其他类型的语句，它们按照在源码中的出现顺序被依次执行。

代码块语法

code-block​

代码块 → { 多条语句可选 }

导入声明​

导入声明（import declaration） 让你可以使用在其他文件中声明的内容。导入语句的基本形式是导入整个模块，它由 import 关键字和紧随其后的模块名组成：

import 模块

可以对导入操作提供更细致的控制，如指定一个特殊的子模块或者指定一个模块或子模块中的某个声明。提供了这些限制后，在当前作用域中，只有被导入的符号是可用的，而不是整个模块中的所有声明。

import 导入类型 模块.符号名
import 模块.子模块

grammer-of-an-import-declaration​

导入声明语法

import-declaration​

导入声明 → 特性列表可选 import 导入类型可选 导入路径

import-kind​

导入类型 → typealias | struct | class | enum | protocol | let | var | func

import-path​

导入路径 → 导入路径标识符 | 导入路径标识符 . 导入路径

import-path-identifier​

导入路径标识符 → 标识符 | 运算符

常量声明​

常量声明（constant declaration） 可以在程序中引入一个具有命名的常量。常量以关键字 let 来声明，遵循如下格式：

let 常量名称: 类型 = 表达式

常量声明在“常量名称”和用于初始化的“表达式”的值之间定义了一种不可变的绑定关系；当常量的值被设定之后，它就无法被更改。这意味着，如果常量以类对象来初始化，对象本身的内容是可以改变的，但是常量和该对象之间的绑定关系是不能改变的。

当一个常量被声明为全局常量时，它必须拥有一个初始值。在函数或者方法中声明一个常量时，它并不需要拥有一个初始值，只需要保证在第一次对其进行读操作之前为其设置一个值。在类或者结构体中声明一个常量时，它将作为常量属性（constant property）。常量声明不能是计算型属性，因此也没有存取方法。

如果常量名称是元组形式，元组中每一项的名称都会和初始化表达式中对应的值进行绑定。

let (firstNumber, secondNumber) = (10, 42)

在上例中，firstNumber 是一个值为 10 的常量，secnodeName 是一个值为 42 的常量。所有常量都可以独立地使用：

print("The first number is \(firstNumber).")
// 打印“The first number is 10.”
print("The second number is \(secondNumber).")
// 打印“The second number is 42.”

当常量名称的类型（: 类型）可以被推断出时，类型注解在常量声明中是可选的，正如 类型推断 中所描述的。

声明一个常量类型属性要使用 static 声明修饰符。类的常量类型属性总是隐式地被标记为 final ；你无法用 class 或 final 声明修饰符实现允许或禁止被子类重写的目的。类型属性在 类型属性 中有介绍。

如果还想获得更多关于常量的信息或者想在使用中获得帮助，请参阅 常量和变量 和 存储属性。

grammer-of-a-constant-declaration​

常量声明语法

constant-declaration​

常量声明 → 特性列表可选 声明修饰符列表可选 let 模式构造器列表

pattern-initializer-list​

模式构造器列表 → 模式构造器 | 模式构造器 , 模式构造器列表

pattern-initializer​

模式构造器 → 模式 构造器可选

initializer​

构造器 → = 表达式

变量声明​

变量声明（variable declaration） 可以在程序中引入一个具有命名的变量，它以关键字 var 来声明。

变量声明有几种不同的形式，可以声明不同种类的命名值和可变值，如存储型和计算型变量和属性，属性观察器，以及静态变量属性。所使用的声明形式取决于变量声明的适用范围和打算声明的变量类型。

注意

也可以在协议声明中声明属性，详情请参阅 协议属性声明。

可以在子类中重写继承来的变量属性，使用 override 声明修饰符标记属性的声明即可，详情请参阅 重写。

存储型变量和存储型变量属性​

使用如下形式声明一个存储型变量或存储型变量属性：

var 变量名称: 类型 = 表达式

可以在全局范围，函数内部，或者在类和结构体的声明中使用这种形式来声明一个变量。当变量以这种形式在全局范围或者函数内部被声明时，它代表一个存储型变量。当它在类或者结构体中被声明时，它代表一个存储型变量属性（stored variable property）。

用于初始化的表达式不可以在协议的声明中出现，在其他情况下，该表达式是可选的。如果没有初始化表达式，那么变量声明必须包含类型注解（: type）。

如同常量声明，如果变量名称是元组形式，元组中每一项的名称都会和初始化表达式中对应的值进行绑定。

正如名字所示，存储型变量和存储型变量属性的值会存储在内存中。

计算型变量和计算型属性​

使用如下形式声明一个计算型变量或计算型属性：

var 变量名称: 类型 {
	get {
		语句
	}
	set(setter 名称) {
		语句
	}
}

可以在全局范围、函数内部，以及类、结构体、枚举、扩展的声明中使用这种形式的声明。当变量以这种形式在全局范围或者函数内部被声明时，它表示一个计算型变量。当它在类、结构体、枚举、扩展声明的上下文中被声明时，它表示一个计算型属性（computed property）。

getter 用来读取变量值，setter 用来写入变量值。setter 子句是可选的，getter 子句是必须的。不过也可以将这些子句都省略，直接返回请求的值，正如在 只读计算型属性 中描述的那样。但是如果提供了一个 setter 子句，就必须也提供一个 getter 子句。

setter 的圆括号以及 setter 名称是可选的。如果提供了 setter 名称，它就会作为 setter 的参数名称使用。如果不提供 setter 名称，setter 的参数的默认名称为 newValue，正如在 便捷 setter 声明 中描述的那样。

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

要获得更多关于计算型属性的信息和例子，请参阅 计算型属性。

存储型变量和属性的观察器​

可以在声明存储型变量或属性时提供 willSet 和 didSet 观察器。一个包含观察器的存储型变量或属性以如下形式声明：

var 变量名称: 类型 = 表达式 {
	willSet(setter 名称) {
		语句
	}
	didSet(setter 名称) {
		语句
	}
}

可以在全局范围、函数内部，或者类、结构体的声明中使用这种形式的声明。当变量以这种形式在全局范围或者函数内部被声明时，观察器表示一个存储型变量观察器。当它在类和结构体的声明中被声明时，观察器表示一个属性观察器。

可以为任何存储型属性添加观察器。也可以通过重写父类属性的方式为任何继承的属性（无论是存储型还是计算型的）添加观察器 ，正如 重写属性观察器 中所描述的。

用于初始化的表达式在类或者结构的声明中是可选的，但是在其他声明中则是必须的。如果可以从初始化表达式中推断出类型信息，那么可以不提供类型注解。

当变量或属性的值被改变时，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 则是可选的。

要获得更多信息以及查看如何使用属性观察器的例子，请参阅 属性观察器。

类型变量属性​

要声明一个类型变量属性，用 static 声明修饰符标记该声明。类可以改用 class 声明修饰符标记类的类型计算型属性从而允许子类重写超类的实现。类型属性在 类型属性 章节有详细讨论。

grammer-of-a-variable-declaration​

变量声明语法

variable-declaration​

变量声明 → 变量声明头 模式构造器列表

变量声明 → 变量声明头 变量名称 类型注解 代码块

变量声明 → 变量声明头 变量名称 类型注解 getter-setter 代码块

变量声明 → 变量声明头 变量名称 类型注解 getter-setter 关键字代码块

变量声明 → 变量声明头 变量名称 构造器 willSet-didSet 代码块

变量声明 → 变量声明头 变量名称 类型注解 构造器可选 willSet-didSet 代码块

variable-declaration-head​

变量声明头 → 特性列表可选 声明修饰符列表可选 var

variable-name​

变量名称 → 标识符

getter-setter-block​

getter-setter 代码块 → 代码块

getter-setter 代码块 → { getter 子句 setter 子句可选 }

getter-setter 代码块 → { setter 子句 getter 子句 }

getter-clause​

getter 子句 → 特性列表可选 get 代码块

setter-clause​

setter 子句 → 特性列表可选 set setter 名称可选 代码块

setter-name​

setter 名称 → ( 标识符 )

getter-setter-keyword-block​

getter-setter 关键字代码块 → { getter 关键字子句 setter 关键字子句可选 }

getter-setter 关键字代码块 → { setter 关键字子句 getter 关键字子句 }

getter-keyword-clause​

getter 关键字子句 → 特性列表可选 get

setter-keyword-clause​

setter 关键字子句 → 特性列表可选 set

willSet-didSet-block​

willSet-didSet 代码块 → { willSet 子句 didSet 子句可选 }

willSet-didSet 代码块 → { didSet 子句 willSet 子句可选 }

willSet-clause​

willSet 子句 → 特性列表可选 willSet setter 名称可选 代码块

didSet-clause​

didSet 子句 → 特性列表可选 didSet setter 名称可选 代码块

类型别名声明​

类型别名（type alias） 声明可以在程序中为一个既有类型声明一个别名。类型别名声明语句使用关键字 typealias 声明，遵循如下的形式：

typealias 类型别名 = 现存类型

当声明一个类型的别名后，可以在程序的任何地方使用“别名”来代替现有类型。现有类型可以是具有命名的类型或者混合类型。类型别名不产生新的类型，它只是使用别名来引用现有类型。

类型别名声明可以通过泛型参数来给一个现有泛型类型提供名称。类型别名为现有类型的一部分或者全部泛型参数提供具体类型。例如:

typealias StringDictionary<Value> = Dictionary<String, Value>

// 下列两个字典拥有同样的类型
var dictionary1: StringDictionary<Int> = [:]
var dictionary2: Dictionary<String, Int> = [:]

当一个类型别名带着泛型参数一起被声明时，这些参数的约束必须与现有参数的约束完全匹配。例如:

typealias DictionaryOfInts<Key: Hashable> = Dictionary<Key, Int>

因为类型别名可以和现有类型相互交换使用，类型别名不可以引入额外的类型约束。

如果在声明处省略所有泛型参数，一个类型别名可以传递已有类型的所有泛型参数。例如，此处声明的 Diccionario 类型别名拥有和 Dictionary 同样的约束和泛型参数。

typealias Diccionario = Dictionary

在协议声明中，类型别名可以为那些经常使用的类型提供一个更短更方便的名称，例如:

protocol Sequence {
    associatedtype Iterator: IteratorProtocol
    typealias Element = Iterator.Element
}

func sum<T: Sequence>(_ sequence: T) -> Int where T.Element == Int {
    // ...
}

假如没有类型别名，sum 函数将必须引用关联类型通过 T.Iterator.Element 的形式来替代 T.Element。

另请参阅 协议关联类型声明。

grammer-of-a-type-alias-declaration​

类型别名声明语法

typealias-declaration​

类型别名声明 → 特性列表可选 访问级别修饰符可选 typealias 类型别名名称 类型别子句 类型别名赋值

typealias-name​

类型别名名称 → 标识符

typealias-assignment​

类型别名赋值 → = 类型

函数声明​

使用函数声明（function declaration） 在程序中引入新的函数或者方法。在类、结构体、枚举，或者协议中声明的函数会作为方法。函数声明使用关键字 func，遵循如下的形式：

func 函数名称(参数列表) -> 返回类型 {
	语句
}

如果函数返回 Void 类型，返回类型可以省略，如下所示：

func 函数名称(参数列表) {
	语句
}

每个参数的类型都要标明，因为它们不能被推断出来。如果您在某个参数类型前面加上了 inout，那么这个参数就可以在这个函数作用域当中被修改。更多关于 inout 参数的讨论，请参阅 输入输出参数。

函数声明中语句只包含一个表达式，可以理解为返回该表达式的值。

函数可以使用元组类型作为返回类型来返回多个值。

函数定义可以出现在另一个函数声明内。这种函数被称作嵌套函数（nested function）。

大多数时候，嵌套函数都是可逃逸的函数。仅当一个嵌套函数捕获了某个确保了永不逃逸的值——例如一个输入输出参数——或者传入一个非逃逸函数参数的时候，这个嵌套函数才是非逃逸的。

更多关于嵌套函数的讨论，请参阅 嵌套函数。

参数名​

函数的参数列表由一个或多个函数参数组成，参数间以逗号分隔。函数调用时的参数顺序必须和函数声明时的参数顺序一致。最简单的参数列表有着如下的形式：

参数名称: 参数类型

每个参数有一个参数名称，这个名称与实参标签一样都可以在函数体内被使用。默认情况下，参数名也会被作为实参标签来使用。例如：

func f(x: Int, y: Int) -> Int { return x + y }
f(x: 1, y: 2) // 参数 x 和 y 都有标签

可以按照如下两种形式之一，重写参数名称的默认行为：

实参标签 参数名称: 参数类型 _ 参数名称: 参数类型

在参数名称前的名称会作为这个参数的显式实参标签，它可以和参数名称不同。在函数或方法调用时，相对应的参数必须使用这个实参标签。

参数名称前的下划线（_）可以去除参数的实参标签。在函数或方法调用时，相对应的参数必须去除标签。

func repeatGreeting(_ greeting: String, count n: Int) { /* Greet n times */ }
repeatGreeting("Hello, world!", count: 2) //  count 有标签, greeting 没有

输入输出参数​

输入输出参数被传递时遵循如下规则：

  1. 函数调用时，参数的值被拷贝。
  2. 函数体内部，拷贝后的值被修改。
  3. 函数返回后，拷贝后的值被赋值给原参数。

这种行为被称为拷入拷出（copy-in copy-out） 或值结果调用（call by value result）。例如，当一个计算型属性或者一个具有属性观察器的属性被用作函数的输入输出参数时，其 getter 会在函数调用时被调用，而其 setter 会在函数返回时被调用。

作为一种优化手段，当参数值存储在内存中的物理地址时，在函数体内部和外部均会使用同一内存位置。这种优化行为被称为引用调用（call by reference），它满足了拷入拷出模式的所有要求，且消除了复制带来的开销。在代码中，要规范使用拷入拷出模式，不要依赖于引用调用。

不要使用传递给输入输出参数的值，即使原始值在当前作用域中依然可用。当函数返回时，你对原始值所做的更改会被拷贝的值所覆盖。不要依赖于引用调用的优化机制来试图避免这种覆盖。

不能将同一个值传递给多个输入输出参数，因为这种情况下的拷贝与覆盖行为的顺序是不确定的，因此原始值的最终值也将无法确定。

更多关于内存安全和内存独占权的讨论，请参阅 内存安全。

如果一个闭包或者嵌套函数捕获了一个输入输出参数，那么这个闭包或者嵌套函数必须是非逃逸的。如果你需要捕获一个输入输出参数，但并不对其进行修改，那么你可以使用捕获列表来显式地表明这是个不可变捕获。

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

如果你需要捕获并修改一个输入输出参数，使用一个显式局部拷贝来进行修改操作，在一些例如多线程的场景中，这样做可以确保函数返回之前所有的修改都已完成。

如果嵌套函数在外层函数返回后才调用，嵌套函数对输入输出参数造成的任何改变将不会影响到原始值。例如：

func multithreadedFunction(queue: DispatchQueue, x: inout Int) {
    // 创建一个局部拷贝并在适当时候手动拷贝回去
    var localX = x
    defer { x = localX }

    // 并行地操作 localX，然后在函数返回前一直等待
    queue.async { someMutatingOperation(&localX) }
    queue.sync {}
}

关于输入输出参数的详细讨论，请参阅 输入输出参数。

特殊参数​

参数可以被忽略，数量可以不固定，还可以为其提供默认值，使用形式如下：

_ : 参数类型
参数名称: 参数类型...
参数名称: 参数类型 = 默认参数值

以下划线（_）命名的参数会被显式忽略，无法在函数内使用。

一个参数的基本类型名称如果紧跟着三个点（...），会被视为可变参数。紧随在可变参数后的参数必须拥有参数标签。一个函数可以拥有多个可变参数。可变参数会作为包含该参数类型元素的数组处理。举例来讲，可变参数 Int... 会作为 [Int] 来处理。关于使用可变参数的例子，请参阅 可变参数。

如果在参数类型后面有一个以等号（=）连接的表达式，该参数会拥有默认值，即给定表达式的值。当函数被调用时，给定的表达式会被求值。如果参数在函数调用时被省略了，就会使用其默认值。

func f(x: Int = 42) -> Int { return x }

f()     // 有效，使用默认值
f(x: 7)    // 有效，使用传入的值
f(7) // 无效，缺少参数标签

特殊方法​

枚举或结构体的方法如果会修改 self，则必须以 mutating 声明修饰符标记。

子类重写超类中的方法必须以 override 声明修饰符标记。重写方法时不使用 override 修饰符，或者被 override 修饰符修饰的方法并未对超类方法构成重写，都会导致编译错误。

枚举或者结构体中的类型方法，要以 static 声明修饰符标记，而对于类中的类型方法，除了使用 static，还可使用 class 声明修饰符标记。类中使用 class 声明修饰的方法可以被子类实现重写；类中使用 class final 或 static 声明修饰的方法不可被重写。

特殊名称方法​

一些含有特殊名称的方法允许使用函数调用语法糖。如果一个类型定义了某个此类型的方法，那这些类型的实例对象都可以使用函数调用语法。这些函数调用会被解析为某个具有特殊名称的实例方法调用。

如同 dynamicCallable 中描述的一样，只要定义了 dynamicallyCall(withArguments:) 方法或者 dynamicallyCall(withKeywordArguments:) 方法，一个类、结构体或者枚举类型都支持函数调用语法。同时如下面的描述一样，定义了一个函数调用方法（call-as-function method）也可以达到上述效果。如果一个类型同时定义了一个函数调用方法和使用 dynamicCallable 属性的方法，那么在合适的情况下，编译器会优先使用函数调用方法。

函数调用方法的名称是 callAsFunction()，或者任意一个以 callAsFunction( 开头并跟随着一些已标签化或未标签化的参数——例如 callAsFunction(_:_:) 和 callAsFunction(something:) 都是合法的函数调用方法名称。

如下的函数调用是相同的：

struct CallableStruct {
    var value: Int
    func callAsFunction(_ number: Int, scale: Int) {
        print(scale * (number + value))
    }
}
let callable = CallableStruct(value: 100)
callable(4, scale: 2)
callable.callAsFunction(4, scale: 2)
// 两次函数调用都会打印 208

函数调用方法和使用 dynamicCallable 属性定义的方法在编码到类型系统中的信息量和运行时的动态行为能力上会有些差别。当你定义了一个函数调用方法时，你需要指定参数的数量，以及每个参数的类型和标签。与此不同的是，dynamicCallable 属性定义的方法只需要指定用于承载参数的数组类型。

函数调用方法或 dynamicCallable 属性定义的方法并不允许你在任何上下文中把实例对象作为函数类型来处理。示例代码如下：

let someFunction1: (Int, Int) -> Void = callable(_:scale:)  // Error
let someFunction2: (Int, Int) -> Void = callable.callAsFunction(_:scale:)

如 dynamicmemberlookup 描述的一样，subscript(dynamicMember:) 下标允许成员查找的语法糖。

抛出错误的函数和方法​

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

func 函数名称(参数列表) throws -> 返回类型 {
	语句
}

抛出函数或抛出方法的调用必须包裹在 try 或者 try! 表达式中（也就是说，在作用域内使用 try 或者 try! 运算符）。

throws 关键字是函数的类型的一部分，非抛出函数是抛出函数的子类型。所以，可以在使用抛出函数的地方使用非抛出函数。

不能仅基于函数能否抛出错误来进行函数重写。也就是说，可以基于函数的函数类型的参数能否抛出错误来进行函数重写。

抛出方法不能重写非抛出方法，而且抛出方法不能满足协议对于非抛出方法的要求。也就是说，非抛出方法可以重写抛出方法，而且非抛出方法可以满足协议对于抛出方法的要求。

重抛错误的函数和方法​

函数或方法可以使用 rethrows 关键字来声明，从而表明仅当该函数或方法的一个函数类型的参数抛出错误时，该函数或方法才抛出错误。这类函数和方法被称为重抛函数和重抛方法。重新抛出错误的函数或方法必须至少有一个参数的类型为抛出函数。

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

重抛函数或者方法不能够从自身直接抛出任何错误，这意味着它不能够包含 throw 语句。它只能够传递作为参数的抛出函数所抛出的错误。例如，在 do-catch 语句中调用抛出函数，并在 catch 子句中抛出其它错误都是不允许的。

func alwaysThrows() throws {
    throw SomeError.error
}
func someFunction(callback: () throws -> Void) rethrows {
    do {
        try callback()
        try alwaysThrows()  // 非法, alwaysThrows() 不是一个抛出函数类型的参数
    } catch {
        throw AnotherError.error
    }
}

抛出方法不能重写重抛方法，而且抛出方法不能满足协议对于重抛方法的要求。也就是说，重抛方法可以重写抛出方法，而且重抛方法可以满足对抛出方法的协议要求。

异步函数和方法​

异步运行的函数和方法必须用 async 关键字标记。这些函数和方法称为异步函数和异步方法。它们有着下面的形式：

func 函数名称(参数列表) async -> 返回类型 {
	语句
}

对异步函数或异步方法的调用必须包含在 await 表达式中，即它们必须在 await 操作符的作用域内。

async 关键字是函数类型中的一部分。同步函数是异步函数的子类型。所以，你可以在使用异步函数的地方，使用同步函数。同步方法可以重写异步方法，且同步方法可以满足对异步方法的协议要求。

你可以根据函数是否异步来重写函数。在调用点，上下文决定了应用哪种函数进行重写：异步上下文使用异步函数；同步上下文使用同步函数。

异步方法无法重写同步方法，异步方法也无法满足同步方法的协议要求。反过来说，同步方法可以重写异步方法，并且同步方法可以满足异步方法的协议要求。

永不返回的函数​

Swift 定义了 Never 类型，它表示函数或者方法不会返回给它的调用者。Never 返回类型的函数或方法可以称为不归，不归函数、方法要么引发不可恢复的错误，要么永远不停地运作，这会使调用后本应执行得代码就不再执行了。但即使是不归函数、方法，抛错函数和重抛出函数也可以将程序控制转移到合适的 catch 代码块。

不归函数、方法可以在 guard 语句的 else 字句中调用，具体讨论在 Guard 语句。

你可以重写一个不归方法，但是新的方法必须保持原有的返回类型和没有返回的行为。

grammer-of-a-function-declaration​

函数声明语法

function-declaration​

函数声明 → 函数头 函数名 泛型形参子句可选 函数签名 泛型 where 子句 函数体可选

function-head​

函数头 → 特性列表可选 声明修饰符列表可选 func

function-name​

函数名 → 标识符 | 运算符

function-signature​

函数签名 → 参数子句列表 async可选 throws可选 函数结果可选

函数签名 → 参数子句列表 async可选 rethrows 函数结果可选

function-result​

函数结果 → -> 特性列表可选 类型

function-body​

函数体 → 代码块

parameter-clause​

参数子句 → ( ) | ( 参数列表 )

parameter-list​

参数列表 → 参数 | 参数 , 参数列表

parameter​

参数 → 外部参数名可选 内部参数名 类型注解 默认参数子句可选

参数 → 外部参数名可选 内部参数名 类型注解

参数 → 外部参数名可选 内部参数名 类型注解 ...

external-parameter-name​

外部参数名 → 标识符 | -

local-parameter-name​

内部参数名 → 标识符 | -

default-argument-clause​

默认参数子句 → = 表达式

枚举声明​

在程序中使用枚举声明（enumeration declaration） 来引入一个枚举类型。

枚举声明有两种基本形式，使用关键字 enum 来声明。枚举声明体包含零个或多个值，称为枚举用例，还可包含任意数量的声明，包括计算型属性、实例方法、类型方法、构造器、类型别名，甚至其他枚举、结构体、类和 actor。枚举声明不能包含析构器或者协议声明。

枚举类型可以采纳任意数量的协议，但是枚举不能从类、结构体和其他枚举继承。

不同于类或者结构体，枚举类型并不隐式提供默认构造器，所有构造器必须显式声明。一个构造器可以委托给枚举中的其他构造器，但是构造过程仅当构造器将一个枚举用例赋值给 self 后才算完成。

和结构体类似但是和类不同，枚举是值类型。枚举实例在被赋值到变量或常量时，或者传递给函数作为参数时会被复制。更多关于值类型的信息，请参阅 结构体和枚举是值类型。

可以扩展枚举类型，正如在 扩展声明 中讨论的一样。

任意类型的枚举用例​

如下的形式声明了一个包含任意类型枚举用例的枚举变量：

enum 枚举名称: 采纳的协议 {
	case 枚举用例1
	case 枚举用例2(关联值类型)
}

这种形式的枚举声明在其他语言中有时被叫做可识别联合。

在这种形式中，每个用例块由关键字 case 开始，后面紧接一个或多个以逗号分隔的枚举用例。每个用例名必须是独一无二的。每个用例也可以指定它所存储的指定类型的值，这些类型在关联值类型的元组中被指定，紧跟用例名之后。

具有关联值的枚举用例可以像函数一样使用，通过指定的关联值创建枚举实例。和真正的函数一样，你可以获取枚举用例的引用，然后在后续代码中调用它。

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)

要获得更多关于具有关联值的枚举用例的信息和例子，请参阅 关联值。

递归枚举​

枚举类型可以具有递归结构，就是说，枚举用例的关联值类型可以是枚举类型自身。然而，枚举类型的实例具有值语义，这意味着它们在内存中有固定布局。为了支持递归，编译器必须插入一个间接层。

要让某个枚举用例支持递归，使用 indirect 声明修饰符标记该用例。

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

要让一个枚举类型的所有用例都支持递归，使用 indirect 修饰符标记整个枚举类型，当枚举有多个用例且每个用例都需要使用 indirect 修饰符标记的时候这将非常便利。

被 indirect 修饰符标记的枚举用例必须有一个关联值。使用 indirect 修饰符标记的枚举类型可以既包含有关联值的用例，同时还可包含没有关联值的用例。但是，它不能再单独使用 indirect 修饰符来标记某个用例。

拥有原始值的枚举用例​

以下形式声明了一种枚举类型，其中各个枚举用例的类型均为同一种基本类型：

enum 枚举名称: 原始值类型, 采纳的协议 {
	case 枚举用例1 = 原始值1
	case 枚举用例2 = 原始值2
}

在这种形式中，每一个用例块由 case 关键字开始，后面紧跟一个或多个以逗号分隔的枚举用例。和第一种形式的枚举用例不同，这种形式的枚举用例包含一个基础值，叫做原始值，各个枚举用例的原始值的类型必须相同。这些原始值的类型通过原始值类型指定，必须表示一个整数、浮点数、字符串或者字符。原始值类型必须符合 Equatable 协议和下列字面量转换协议中的一种：整型字面量需符合 IntergerLiteralConvertible 协议，浮点型字面量需符合 FloatingPointLiteralConvertible 协议，包含任意数量字符的字符串型字面量需符合 StringLiteralConvertible 协议，仅包含一个单一字符的字符串型字面量需符合 ExtendedGraphemeClusterLiteralConvertible 协议。每一个用例的名字和原始值必须唯一。

如果原始值类型被指定为 Int，则不必为用例显式地指定原始值，它们会隐式地被赋值 0、1、2 等。每个未被赋值的 Int 类型的用例会被隐式地赋值，其值为上一个用例的原始值加 1。

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

在上面的例子中，ExampleEnum.A 的原始值是 0，ExampleEnum.B 的原始值是 1。因为 ExampleEnum.C 的原始值被显式地设定为 5，因此 ExampleEnum.D 的原始值会自动增长为 6。

如果原始值类型被指定为 String 类型，你不用明确地为用例指定原始值，每个没有指定原始值的用例会隐式地将用例名字作为原始值。

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)，这个可失败构造器返回一个可选类型的用例。要获得更多关于具有原始值的枚举用例的信息和例子，请参阅 原始值。

访问枚举用例​

使用点语法（.）来引用枚举类型的枚举用例，例如 EnumerationType.enumerationCase。当枚举类型可以由上下文推断而出时，可以省略它（但是 . 仍然需要），正如 枚举语法 和 显式成员表达式 所述。

可以使用 switch 语句来检验枚举用例的值，正如 使用 switch 语句匹配枚举值 所述。枚举类型是模式匹配的，依靠 switch 语句 case 块中的枚举用例模式，正如 枚举用例模式 所述。

grammer-of-an-enumeration-declaration​

枚举声明语法

enum-declaration​

枚举声明 → 特性列表可选 访问级别修饰符可选 联合风格枚举

枚举声明 → 特性列表可选 访问级别修饰符 可选 原始值风格枚举

联合风格枚举 → indirect可选 enum 枚举名称 泛型形参子句可选 类型继承子句可选 { 多个联合风格枚举成员可选 }

union-style-enum-members​

多个联合风格枚举成员 → 联合风格枚举成员 多个联合风格枚举成员可选

union-style-enum-member​

联合风格枚举成员 → 声明 | 联合风格枚举用例子句 | 编译控制流语句

union-style-enum-case-clause​

联合风格枚举用例子句 → 特性列表可选 indirect可选 case 联合风格枚举用例列表

union-style-enum-case-list​

联合风格枚举用例列表 → 联合风格枚举用例 | 联合风格枚举用例 , 联合风格枚举用例列表

union-style-enum-case​

联合风格枚举用例 → 枚举用例名称 元组类型可选

enum-name​

枚举名称 → 标识符

enum-case-name​

枚举用例名称 → 标识符

raw-value-style-enum​

原始值风格枚举 → enum 枚举名称 泛型形参子句可选 类型继承子句 泛型 where 子句 { 多个原始值风格枚举成员 }

raw-value-style-enum-members​

多个原始值风格枚举成员 → 原始值风格枚举成员 多个原始值风格枚举成员可选

raw-value-style-enum-member​

原始值风格枚举成员 → 声明 | 原始值风格枚举用例子句 | 编译控制流语句

raw-value-style-enum-case-clause​

原始值风格枚举用例子句 → 特性列表可选 case 原始值风格枚举用例列表

raw-value-style-enum-case-list​

原始值风格枚举用例列表 → 原始值风格枚举用例 | 原始值风格枚举用例 , 原始值风格枚举用例列表

raw-value-style-enum-case​

原始值风格枚举用例 → 枚举用例名称 原始值赋值可选

raw-value-assignment​

原始值赋值 → = 原始值字面量

raw-value-literal​

原始值字面量 → 数字型字面量 | 字符串型字面量 | 布尔型字面量

结构体声明​

使用结构体声明（structure declaration） 可以在程序中引入一个结构体类型。结构体声明使用 struct 关键字，遵循如下的形式：

struct 结构体名称: 采纳的协议 {
	多条声明
}

结构体内可包含零个或多个声明。这些声明可以包括存储型和计算型属性、类型属性、实例方法、类型方法、构造器、下标、类型别名，甚至其他结构体、类、actor 和枚举声明。结构体声明不能包含析构器或者协议声明。关于结构体的详细讨论和示例，请参阅 类和结构体。

结构体可以采纳任意数量的协议，但是不能继承自类、枚举或者其他结构体。

有三种方法可以创建一个已声明的结构体实例：

  • 调用结构体内声明的构造器，正如 构造器 所述。

  • 如果没有声明构造器，调用结构体的成员逐一构造器，正如 结构体类型的成员逐一构造器 所述。

  • 如果没有声明构造器，而且结构体的所有属性都有初始值，调用结构体的默认构造器，正如 默认构造器 所述。

结构体的构造过程请参阅 构造过程。

结构体实例的属性可以用点语法（.）来访问，正如 访问属性 所述。

结构体是值类型。结构体的实例在被赋予变量或常量，或传递给函数作为参数时会被复制。关于值类型的更多信息，请参阅 结构体和枚举是值类型。

可以使用扩展声明来扩展结构体类型的行为，请参阅 扩展声明。

grammer-of-a-structure-declaration​

结构体声明语法

struct-declaration​

结构体声明 → 特性列表可选 访问级别修饰符 可选 struct 结构体名称 泛型形参子句可选 类型继承子句可选 泛型 where 子句可选 结构体主体

struct-name​

结构体名称 → 标识符

struct-body​

结构体主体 → { 多条声明可选 }

struct-name​

结构体多个成员 → 结构体成员 结构体多个成员可选

struct-member​

结构体成员 → 声明 | 编译控制流语句

类声明​

可以在程序中使用类声明（class declaration） 来引入一个类。类声明使用关键字 class，遵循如下的形式：

class 类名: 超类, 采纳的协议 {
	多条声明
}

类内可以包含零个或多个声明。这些声明可以包括存储型和计算型属性、实例方法、类型方法、构造器、唯一的析构器、下标、类型别名，甚至其他类、结构体、actor 和枚举声明。类声明不能包含协议声明。关于类的详细讨论和示例，请参阅 类和结构体。

一个类只能继承自一个超类，但是可以采纳任意数量的协议。超类紧跟在类名和冒号后面，其后跟着采纳的协议。泛型类可以继承自其它泛型类和非泛型类，但是非泛型类只能继承自其它非泛型类。当在冒号后面写泛型超类的名称时，必须写上泛型类的全名，包括它的泛型形参子句。

正如 构造器声明 所讨论的，类可以有指定构造器和便利构造器。类的指定构造器必须初始化类中声明的所有属性，并且必须在调用超类构造器之前。

类可以重写属性、方法、下标以及构造器。重写的属性、方法、下标和指定构造器必须以 override 声明修饰符标记。

为了要求子类去实现超类的构造器，使用 required 声明修饰符标记超类的构造器。子类实现超类构造器时也必须使用 required 声明修饰符。

虽然超类属性和方法声明可以被当前类继承，但是超类声明的指定构造器却不能。即便如此，如果当前类重写了超类的所有指定构造器，它就会继承超类的所有便利构造器。Swift 的类并不继承自一个通用基础类。

有两种方法来创建已声明的类的实例：

  • 调用类中声明的构造器，请参阅 构造器。

  • 如果没有声明构造器，而且类的所有属性都被赋予了初始值，调用类的默认构造器，请参阅 默认构造器。

类实例属性可以用点语法（.）来访问，请参阅 访问属性。

类是引用类型。当被赋予常量或变量，或者传递给函数作为参数时，类的实例会被引用，而不是被复制。关于引用类型的更多信息，请参阅 类是引用类型。

可以使用扩展声明来扩展类的行为，请参阅 扩展声明。

grammer-of-a-class-declaration​

类声明语法

class-declaration​

类声明 → 特性列表可选 访问级别修饰符可选 final可选 class 类名 泛型形参子句可选 类型继承子句可选 泛型 where 子句可选 类主体

类声明 → 特性列表可选 final 访问级别修饰符可选 class 类名 泛型形参子句可选 类型继承子句可选 泛型 where 子句可选 类主体

class-name​

类名 → 标识符

class-body​

类主体 → { 多条声明可选 }

类多个成员 → 类成员 类多个成员可选

class-member​

类成员 → 声明 | 编译控制流语句

Actor 声明​

可以在程序中使用 actor 声明（actor declaration） 来引入一个 actor。Actor 声明使用关键字 actor，遵循如下的形式：

actor 名称: 遵循的协议 {
	多条声明
}

Actor 内可包含零个或多个声明。这些声明包括存储属性和计算属性、实例方法、类型方法、构造器、唯一的析构器、下标、类型别名，甚至其他类、结构体和枚举声明。关于包含多种声明的 actors 的几种例子，请参考 Actors。

Actor 类型可以遵循任意数量的协议，但是不能继承于其他类、枚举、结构体或者其他 actor。但是用 @objc 标记的 actor 隐性地遵循了 NSObjectProtocol 协议，且作为 NSObject 的子类型暴露给 Objective-C 运行时。

有两种方法来创建声明过的 actor：

  • 如 构造器 中所述，调用 actor 的构造器。
  • 如 默认构造器 中所述，如果没有定义构造器，调用 actor 的默认构造器，actor 声明的所有属性会有默认值。

默认情况下，actor 里的成员变量（方法）是与 actor 隔离的。某个函数内的代码或者某个属性 getter 的代码是在 actor 中执行的。由于这些代码已经在同一个 actor 中运行，所以 actor 内部的代码可以与之同步地交互。但 actor 外部的代码必须用 await 标记 actor 内部的代码，以表示这段代码正在另一个 actor 中异步执行。关键路径无法引用 actor 中的隔离成员。Actor 隔离的存储属性能以输入输出参数的方式传递给同步函数，而不能传递给异步函数。

Actor 也有非隔离的成员变量（方法），这些成员变量（方法）以 nonisolated 关键字标记。非隔离的成员变量（方法）执行起来像 actor 外部的代码：它无法与 actor 任意一个隔离状态交互，而且使用时也无需用 await 标记。

Actor 的成员变量（方法）只有是异步状态或非隔离状态时， 才能用 @objc 修饰符标记。

初始化 actor 所声明的属性的过程在 构造过程 一章中有说明。

如 属性访问 中所述，actor 实例的属性可以通过使用点语法（.）的方式来访问到。

Actor 是引用类型；当被赋值给变量或常量，以及作为参数传递给函数调用时，actor 的实例会被引用，而不是被复制。关于引用类型的更多信息，请参阅 类是引用类型。

可以使用扩展声明来扩展 actor 类型的行为，请参阅 扩展声明。

协议声明​

协议声明（protocol declaration） 可以为程序引入一个命名的协议类型。协议声明只能在全局区域使用 protocol 关键字来进行声明，并遵循如下形式：

protocol 协议名称: 继承的协议 {
	协议成员声明
}

协议的主体包含零个或多个协议成员声明，这些成员描述了任何采纳该协议的类型必须满足的一致性要求。一个协议可以声明采纳者必须实现的某些属性、方法、构造器以及下标。协议也可以声明各种各样的类型别名，叫做关联类型，它可以指定协议的不同声明之间的关系。协议声明不能包括类、结构体、枚举或者其它协议的声明。协议成员声明会在后面进行讨论。

协议类型可以继承自任意数量的其它协议。当一个协议类型继承自其它协议的时候，来自其它协议的所有要求会聚合在一起，而且采纳当前协议的类型必须符合所有的这些要求。关于如何使用协议继承的例子，请参阅 协议继承。

注意

也可以使用协议合成类型来聚合多个协议的一致性要求，请参阅 协议合成类型 和 [协议合成](../02_language_guide/21 _Protocols.md#protocol-composition)。

可以通过类型的扩展声明来采纳协议，从而为之前声明的类型添加协议一致性。在扩展中，必须实现所有采纳协议的要求。如果该类型已经实现了所有的要求，可以让这个扩展声明的主体留空。

默认地，符合某个协议的类型必须实现所有在协议中声明的属性、方法和下标。即便如此，可以用 optional 声明修饰符标注协议成员声明，以指定它们的实现是可选的。optional 修饰符仅仅可以用于使用 objc 特性标记过的协议。因此，仅仅类类型可以采用并符合包含可选成员要求的协议。更多关于如何使用 optional 声明修饰符的信息，以及如何访问可选协议成员的指导——例如不能确定采纳协议的类型是否实现了它们时——请参阅 可选协议要求。

为了限制协议只能被类类型采纳，需要使用 AnyObject 关键字来标记协议，将 AnyObject 关键在写在冒号后面的继承的协议列表的首位。例如，下面的协议只能被类类型采纳：

protocol SomeProtocol: AnyObject {
	/* 这里是协议成员 */
}

任何继承自标记有 AnyObject 关键字的协议的协议也仅能被类类型采纳。

注意

如果协议已经用 objc 特性标记了，AnyObject 要求就隐式地应用于该协议，无需显式使用 AnyObject 关键字。

协议类型是命名的类型，因此它们可以像其他命名类型一样使用，正如 协议作为类型 所讨论的。然而，不能构造一个协议的实例，因为协议实际上不提供它们指定的要求的实现。

可以使用协议来声明作为代理的类或者结构体应该实现的方法，正如 委托（代理）模式 中所述。

grammer-of-a-protocol-declaration​

协议声明语法

protocol-declaration​

协议声明 → 特性列表可选 访问级别修饰符可选 protocol 协议名称 类型继承子句可选 泛型 where 子句可选 协议主体

protocol-name​

协议名称 → 标识符

protocol-body​

协议主体 → { 协议成员声明列表可选 }

protocol-members​

协议多个成员 → 协议成员 协议多个成员可选

protocol-member​

协议成员 → 协议成员声明 | 编译控制流语句

protocol-member-declaration​

协议成员声明 → 协议属性声明

协议成员声明 → 协议方法声明

协议成员声明 → 协议构造器声明

协议成员声明 → 协议下标声明

协议成员声明 → 协议关联类型声明

协议成员声明 → 类型别名声明

协议属性声明​

协议可以通过在协议声明主体中引入一个协议属性声明，来声明符合的类型必须实现的属性。协议属性声明有一种特殊的变量声明形式：

var 属性名: 类型 { get set }

同其它协议成员声明一样，这些属性声明仅仅针对符合该协议的类型声明了 getter 和 setter 要求，你不能在协议中直接实现 getter 和 setter。

符合类型可以通过多种方式满足 getter 和 setter 要求。如果属性声明包含 get 和 set 关键字，符合类型就可以用存储型变量属性或可读可写的计算型属性来满足此要求，但是属性不能以常量属性或只读计算型属性实现。如果属性声明仅仅包含 get 关键字的话，它可以作为任意类型的属性被实现。关于如何实现协议中的属性要求的例子，请参阅 属性要求 。

协议声明中声明一个类型属性，属性声明语句必须用 static 声明修饰符。当结构体和枚举遵循该协议时，使用 static 关键字修饰，而类遵循该协议时，使用 static 或 class 关键字皆可。当结构体，枚举或类添加扩展遵循协议时，和之前扩展用到的关键字保持一致。扩展为类属性提供默认实现时，必须使用 static 关键字修饰。

另请参阅 变量声明。

grammer-of-an-import-declaration​

协议属性声明语法

protocol-property-declaration​

协议属性声明 → 变量声明头 变量名称 类型注解 getter-setter 关键字代码块

协议方法声明​

协议可以通过在协议声明主体中引入一个协议方法声明，来声明符合的类型必须实现的方法。协议方法声明和函数方法声明有着相同的形式，但有两项例外：它们不包括函数体，也不能包含默认参数。关于如何实现协议中的方法要求的例子，请参阅 方法要求。

协议声明中声明一个类型方法，方法声明语句必须用 static 声明修饰符。结构体和枚举遵循协议时，必须使用 static 关键字修饰，而类遵循协议时，使用 static 或 class 关键字皆可。当结构体，枚举或类添加扩展遵循协议时，和之前扩展用到的关键字保持一致。扩展为类方法提供默认实现时，必须使用 static 关键字修饰。

另请参阅 函数声明。

grammer-of-a-protocol-declaration​

协议方法声明语法

protocol-method-declaration​

协议方法声明 → 函数头 函数名 泛型形参子句可选 函数签名 泛型 where 子句可选

协议构造器声明​

协议可以通过在协议声明主体中引入一个协议构造器声明，来声明符合的类型必须实现的构造器。协议构造器声明 除了不包含实现主体外，和构造器声明有着相同的形式。

符合类型可以通过实现一个非可失败构造器或者 init! 可失败构造器来满足一个非可失败协议构造器的要求，可以通过实现任意类型的构造器来满足一个可失败协议构造器的要求。

类在实现一个构造器去满足一个协议的构造器要求时，如果这个类还没有用 final 声明修饰符标记，这个构造器必须用 required 声明修饰符标记。

另请参阅 构造器声明。

grammer-of-a-protocol-initializer-declaration​

协议构造器声明语法

protocol-initializer-declaration​

协议构造器声明 → 构造器头 泛型形参子句可选 参数子句 throws可选 泛型 where 子句可选

协议构造器声明 → 构造器头 泛型形参子句可选 参数子句 rethrows 泛型 where 子句可选

协议下标声明​

协议可以通过在协议声明主体中引入一个协议下标声明，来声明符合的类型必须实现的下标。协议下标声明有一个特殊的下标声明形式：

subscript (参数列表) -> 返回类型 { get set }

下标声明只为符合类型声明了 getter 和 setter 要求。如果下标声明包含 get 和 set 关键字，符合类型也必须实现 getter 和 setter 子句。如果下标声明只包含 get 关键字，符合类型必须实现 getter 子句，可以选择是否实现 setter 子句。

协议声明中声明一个静态下标，下标声明语句必须用 static 声明修饰符。当结构体和枚举遵循该协议时，下标声明使用 static 关键字修饰，而类遵循该协议时，使用 static 或 class 关键字皆可。当结构体，枚举或类添加扩展遵循协议时，和之前扩展用到的关键字保持一致。扩展为下标声明提供默认实现时，必须使用 static 关键字修饰。

另请参阅 下标声明。

grammer-of-a-protocol-subscript-declaration​

协议下标声明语法

protocol-subscript-declaration​

协议下标声明 → 下标头 下标结果 泛型 where 子句可选 getter-setter 关键字代码块

协议关联类型声明​

使用关键字 associatedtype 来声明协议关联类型。关联类型为作为协议声明的一部分，为某种类型提供了一个别名。关联类型和泛型参数子句中的类型参数很相似，但是它们和 Self 一样，用于协议中。Self 指代采纳协议的类型。要获得更多信息和例子，请参阅 关联类型。

在协议声明中使用泛型 where 子句来为继承的协议关联类型添加约束，且不需要重新声明关联类型。例如下面代码中的 SubProtocol 声明。

protocol SomeProtocol {
    associatedtype SomeType
}

protocol SubProtocolA: SomeProtocol {
    // 此类语法会引发警告。
    associatedtype SomeType: Equatable
}

// 建议使用此语法。
protocol SubProtocolB: SomeProtocol where SomeType: Equatable { }

另请参阅 类型别名声明。

grammer-of-a-protocol-associated-type-declaration​

协议关联类型声明语法

protocol-associated-type-declaration​

协议关联类型声明 → 特性列表可选 访问级别修饰符可选 associatedtype 类型别名头 类型继承子句可选 类型别名赋值可选 泛型 where 子句可选

构造器声明​

构造器声明会为程序中的类、结构体或枚举引入构造器。构造器使用关键字 init 来声明，有两种基本形式。

结构体、枚举、类可以有任意数量的构造器，但是类的构造器具有不同的规则和行为。不同于结构体和枚举，类有两种构造器，即指定构造器和便利构造器，请参阅 构造过程。

采用如下形式声明结构体和枚举的构造器，以及类的指定构造器：

init(参数列表) {
	构造语句
}

类的指定构造器直接将类的所有属性初始化。它不能调用类中的其他构造器，如果类有超类，则必须调用超类的一个指定构造器。如果该类从它的超类继承了属性，必须在调用超类的指定构造器后才能修改这些属性。

指定构造器只能在类声明中声明，不能在扩展声明中声明。

结构体和枚举的构造器可以调用其他已声明的构造器，从而委托其他构造器来进行部分或者全部构造过程。

要为类声明一个便利构造器，用 convenience 声明修饰符来标记构造器声明：

convenience init(参数列表) {
	构造语句
}

便利构造器可以将构造过程委托给另一个便利构造器或一个指定构造器。但是，类的构造过程必须以一个将类中所有属性完全初始化的指定构造器的调用作为结束。便利构造器不能调用超类的构造器。

可以使用 required 声明修饰符，将便利构造器和指定构造器标记为每个子类都必须实现的构造器。这种构造器的子类实现也必须使用 required 声明修饰符标记。

默认情况下，超类中的构造器不会被子类继承。但是，如果子类的所有存储型属性都有默认值，而且子类自身没有定义任何构造器，它将继承超类的构造器。如果子类重写了超类的所有指定构造器，子类将继承超类的所有便利构造器。

和方法、属性和下标一样，需要使用 override 声明修饰符标记重写的指定构造器。

注意

如果使用 required 声明修饰符标记一个构造器，在子类中重写这种构造器时，无需使用 override 修饰符。

就像函数和方法，构造器也可以抛出或者重抛错误，你可以在构造器参数列表的圆括号之后使用 throws 或 rethrows 关键字来表明相应的抛出行为。同样，构造器也可以是异步的，你可以使用 async 关键字来表明这一点。

关于在不同类型中声明构造器的例子，请参阅 构造过程。

可失败构造器​

可失败构造器可以生成所属类型的可选实例或者隐式解包可选实例，因此，这种构造器通过返回 nil 来指明构造过程失败。

声明生成可选实例的可失败构造器时，在构造器声明的 init 关键字后加追加一个问号（init?）。声明生成隐式解包可选实例的可失败构造器时，在构造器声明后追加一个叹号（init!）。使用 init? 可失败构造器生成结构体的一个可选实例的例子如下。

struct SomeStruct {
	let string: String
	//生成一个 SomeStruct 的可选实例
	init?(input: String) {
		if input.isEmpty {
			// 丢弃 self，并返回 nil
			return nil
		}
		string = input
	}
}

调用 init? 可失败构造器和调用非可失败构造器的方式相同，不过你需要处理可选类型的返回值。

if let actualInstance = SomeStruct(input: "Hello") {
	// 利用 SomeStruct 实例做些事情
} else {
	// SomeStruct 实例的构造过程失败，构造器返回了 nil
}

可失败构造器可以在构造器实现中的任意位置返回 nil。

可失败构造器可以委托任意种类的构造器。非可失败可以委托其它非可失败构造器或者 init! 可失败构造器。非可失败构造器可以委托超类的 init? 可失败指定构造器，但是需要使用强制解包，例如 super.init()!。

构造过程失败通过构造器委托来传递。具体来说，如果可失败构造器委托的可失败构造器构造过程失败并返回 nil，那么该可失败构造器也会构造失败并隐式地返回 nil。如果非可失败构造器委托的 init! 可失败构造器构造失败并返回了 nil，那么会发生运行时错误（如同使用 ! 操作符去强制解包一个值为 nil 的可选值）。

子类可以用任意种类的指定构造器重写超类的可失败指定构造器，但是只能用非可失败指定构造器重写超类的非可失败指定构造器。

更多关于可失败构造器的信息和例子，请参阅 可失败构造器。

grammer-of-an-initializer-declaration​

构造器声明语法

initializer-declaration​

构造器声明 → 构造器头 泛型形参子句可选 参数子句 throws可选 泛型 where 子句可选 构造器主体

构造器声明 → 构造器头 泛型形参子句可选 参数子句 rethrows可选 泛型 where 子句可选 构造器主体

initializer-head​

构造器头 → 特性列表可选 声明修饰符列表可选 init

构造器头 → 特性列表可选 声明修饰符列表可选 init ?

构造器头 → 特性列表可选 声明修饰符列表可选 init !

initializer-body​

构造器主体 → 代码块

析构器声明​

析构器声明（deinitializer declaration） 可以为类声明一个析构器。析构器没有参数，遵循如下格式：

deinit {
	语句
}

当没有任何强引用引用着类的对象，对象即将被释放时，析构器会被自动调用。析构器只能在类主体的声明中声明，不能在类的扩展声明中声明，并且每个类最多只能有一个析构器。

子类会继承超类的析构器，并会在子类对象将要被释放时隐式调用。继承链上的所有析构器全部调用完毕后子类对象才会被释放。

析构器不能直接调用。

关于如何在类声明中使用析构器的例子，请参阅 析构过程。

grammer-of-a-deinitializer-declaration​

析构器声明语法

deinitializer-declaration​

析构器声明 → 特性列表可选 deinit 代码块

扩展声明​

扩展声明（extension declaration） 可以扩展一个现存的类型的行为。扩展声明使用关键字 extension，遵循如下格式：

extension 类型名称 where 要求 {
	声明语句
}

扩展声明体可包含零个或多个声明语句。这些声明语句可以包括计算型属性、计算型类型属性、实例方法、类型方法、构造器、下标声明，甚至是类、结构体和枚举声明。扩展声明不能包含析构器、协议声明、存储型属性、属性观察器或其他扩展声明。关于扩展声明的详细讨论，以及各种扩展声明的例子，请参阅 扩展。

如果类型为类，结构体，或枚举类型，则扩展声明会扩展相应的类型。如果类型为协议类型，则扩展声明会扩展所有遵守这个协议的类型。在扩展的协议体中声明语句不能使用 final 标识符。

扩展声明可以为现存的类、结构体、枚举添加协议一致性，但是不能为类添加超类，因此在扩展声明的类型名称的冒号后面仅能指定一个协议列表。

扩展声明可以包含构造器声明。这意味着，如果被扩展的类型在其他模块中定义，构造器声明必须委托另一个在那个模块中声明的构造器，以确保该类型能被正确地初始化。

现存类型的属性、方法、构造器不能在扩展中被重写。

通过指定采纳的协议，扩展声明可以为一个现有的类、结构体或者枚举类型添加协议遵循：

extension 类型名称: 采纳的协议 where 约束条件 {
    多条声明
}

协议声明不能为现有的类添加类的继承关系，因此你只能在 “类型名称” 的冒号后面添加一系列协议。

条件遵循​

你可以扩展一个泛型类型并使其有条件地遵循某协议，此后此类型的实例只有在特定的限制条件满足时才遵循此协议。在扩展声明中加入限制条件来为协议添加条件遵循。

已重写的限制条件会在某些泛型上下文中失效​

对于一些通过条件遵循获得了特定行为的类型，在某些泛型上下文中，并不能够确保能够使用协议限制中的特定实现。为了说明这个行为，下面的例子中定义了两个协议以及一个有条件地遵循两个协议的泛型类型。

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<T>: 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> 的一个实例。因为 String 遵循 TitleLoggable ，因此 oneAndTwo 也遵循此协议。当 log() 方法被 oneAndTwo 直接调用时，此方法使用的是包含标题的特定版本。

let oneAndTwo = Pair(first: "one", second: "two")
oneAndTwo.log()
// Prints "Pair of 'String': (one, two)"

虽然如此，当 oneAndTwo 在泛型上下文中使用，或者它是 Loggable 类型的实例时，包含标题的特定版本 log() 方法不会被使用。Swift 只会根据这样的规则来选择 log() 的实现版本—— Pair 遵循 Loggable 所需要的最少的限制条件。因此 Loggable 所提供的默认实现版本会被使用。

func doSomething<T: Loggable>(with x: T) {
    x.log()
}
doSomething(with: oneAndTwo)
// Prints "(one, two)"

当传入 doSomething(_:) 的实例调用 log() 时，打印结果省略了自定义标题。

协议遵循决不能冗余​

一个具体的类型只能够遵循某特定协议一次。Swift 会把冗余的协议遵循标记为错误。你会在两种场景中遇到这种错误。第一种场景是，使用不同的限制条件来多次显式地遵循同一协议。第二种场景是，多次隐式地继承同一协议。以上两种场景会在下面章节中讨论。

解决显式冗余​

对同一具体类型的多个扩展不能遵循同一协议，即便这些扩展有不同的显式限制条件。这个限制的具体示例在下面的例子中。两个扩展声明都试图添加对 Serializable 的条件遵循，一个为 Int 类型元素的数组，另一个为 String 类型元素的数组。

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<Element>' to protocol 'Serializable'

如果你需要基于多个具体类型来添加条件遵循，那么创建一个新的协议，然后让每个类型都遵循此协议，最后在声明条件遵循时使用此协议作为条件限制。

protocol SerializableInArray { }
extension Int: SerializableInArray { }
extension String: SerializableInArray { }

extension Array: Serializable where Element: SerializableInArray {
    func serialize() -> Any {
        // 具体实现
    }
}

解决隐式冗余​

当一个具体类型有条件地遵循某协议，此类型会隐式地使用相同的条件遵循任一父协议。

如果你需要让一个类型有条件地遵循两个继承自同一父协议的协议，请显式地声明对父协议的遵循。这可以避免使用不同的限制条件隐式遵循同一父协议两次。

下面的例子中显式地声明了 Array 对 Loggable 的条件遵循，避免了在声明对 TitledLoggable 和 TitledLoggable 声明条件遵循时发生冲突。

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 其他的扩展会隐式地创建此声明，并引发错误：

extension Array: Loggable where Element: TitledLoggable { }
extension Array: Loggable where Element: MarkedLoggable { }
// 报错: redundant conformance of 'Array<Element>' to protocol 'Loggable'

grammer-of-an-extension-declaration​

扩展声明语法

extension-declaration​

扩展声明 → 特性可选 访问级别修饰符可选 extension 类型标识符 类型-继承-子句可选 泛型 where 子句可选 扩展主体

extension-body​

扩展主体 → { 多条声明可选 }

多条声明 → 单条声明 多条声明 可选

单条声明 → 声明语句 | 编译控制流语句

下标声明​

下标声明（subscript declaration） 用于为特定类型的对象添加下标支持，通常也用于为访问集合、列表和序列中的元素提供语法便利。下标声明使用关键字 subscript，形式如下：

subscript (参数列表) -> 返回类型 {
	get {
		语句
	}
	set(setter 名称) {
		语句
	}
}

下标声明只能出现在类、结构体、枚举、扩展和协议的声明中。

参数列表指定一个或多个用于在相关类型的下标表达式中访问元素的索引（例如，表达式 object[i] 中的 i）。索引可以是任意类型，但是必须包含类型注解。返回类型指定了被访问的元素的类型。

和计算型属性一样，下标声明支持对元素的读写操作。getter 用于读取值，setter 用于写入值。setter 子句是可选的，当仅需要一个 getter 子句时，可以将二者都忽略，直接返回请求的值即可。但是，如果提供了 setter 子句，就必须提供 getter 子句。

圆括号以及其中的 setter 名称是可选的。如果提供了 setter 名称，它会作为 setter 的参数名称。如果不提供 setter 名称，那么 setter 的参数名称默认是 value。setter 的参数类型必须与返回类型相同。

可以重写下标，只要参数列表或返回类型不同即可。还可以重写继承自超类的下标，此时必须使用 override 声明修饰符声明被重写的下标。

下标参数遵循与函数参数相同的规则，但有两个例外。默认情况下，下标中使用的参数不需要指定标签，这与函数，方法和构造器不同。但是你也可以同它们一样，显式地提供参数标签。此外，下标不能有 In-out 参数。下标参数可以具有默认值，具体的语法请参考 特殊参数。

同样可以在协议声明中声明下标，正如 协议下标声明 中所述。

更多关于下标的信息和例子，请参阅 下标。

类型下标声明​

声明一个由类型而不是类型实例公开的下标，请使用 static 声明修饰符标记下标声明。类可以使用 class 声明修饰符标记类型计算属性，以允许子类重写父类的实现。在类声明中，static 关键字具有与用 class 和 final 声明修饰符标记声明相同的效果。

grammer-of-a-subscript-declaration​

下标声明语法

subscript-declaration​

下标声明 → 下标头 下标结果 泛型 where 子句可选 代码块

下标声明 → 下标头 下标结果 泛型 where 子句可选 getter-setter 代码块

下标声明 → 下标头 下标结果 泛型 where 子句可选 getter-setter 关键字代码块

subscript-head​

下标头 → 特性列表可选 声明修饰符列表可选 subscript 泛型参数子句可选 参数子句

subscript-result​

下标结果 → -> 特性列表可选 类型

运算符声明​

运算符声明（operator declaration） 会向程序中引入中缀、前缀或后缀运算符，使用关键字 operator 来声明。

可以声明三种不同的缀性：中缀、前缀和后缀。运算符的缀性指定了运算符与其运算对象的相对位置。

运算符声明有三种基本形式，每种缀性各一种。运算符的缀性通过在 operator 关键字之前添加声明修饰符 infix，prefix 或 postfix 来指定。每种形式中，运算符的名字只能包含 运算符 中定义的运算符字符。

下面的形式声明了一个新的中缀运算符：

infix operator 运算符名称: 优先级组

中缀运算符是二元运算符，置于两个运算对象之间，例如加法运算符（+）位于表达式 1 + 2 的中间。

中缀运算符可以选择指定优先级组。如果没有为运算符设置优先级组，Swift 会设置默认优先级组 DefaultPrecedence,它的优先级比三目优先级 TernaryPrecedence 要高，更多内容参考优先级组声明

下面的形式声明了一个新的前缀运算符：

prefix operator 运算符名称

出现在运算对象前边的前缀运算符是一元运算符，例如表达式 !a 中的前缀非运算符（!）。

前缀运算符的声明中不指定优先级，而且前缀运算符是非结合的。

下面的形式声明了一个新的后缀运算符：

postfix operator 运算符名称

紧跟在运算对象后边的后缀运算符是一元运算符，例如表达式 a! 中的后缀强制解包运算符（!）。

和前缀运算符一样，后缀运算符的声明中不指定优先级，而且后缀运算符是非结合的。

声明了一个新的运算符以后，需要实现一个跟这个运算符同名的函数来实现这个运算符。如果是实现一个前缀或者后缀运算符，也必须使用相符的 prefix 或者 postfix 声明修饰符标记函数声明。如果是实现中缀运算符，则不需要使用 infix 声明修饰符标记函数声明。关于如何实现一个新的运算符的例子，请参阅 自定义运算符。

grammer-of-an-operator-declaration​

运算符声明语法

operator-declaration​

运算符声明 → 前缀运算符声明 | 后缀运算符声明 | 中缀运算符声明

prefix-operator-declaration​

前缀运算符声明 → prefix 运算符 运算符 { }

postfix-operator-declaration​

后缀运算符声明 → postfix 运算符 运算符 { }

infix-operator-declaration​

中缀运算符声明 → infix 运算符 运算符 { 中缀运算符组可选 }

infix-operator-group​

中缀运算符组 → 优先级组名称

优先级组声明​

优先级组声明（A precedence group declaration） 会向程序的中缀运算符引入一个全新的优先级组。当没有用圆括号分组时，运算符优先级反应了运算符与它的操作数的关系的紧密程度。 优先级组的声明如下所示:

precedencegroup 优先级组名称{
    higherThan: 较低优先级组的名称
    lowerThan: 较高优先级组的名称
    associativity: 结合性
    assignment: 赋值性
}

较低优先级组和较高优先级组的名称说明了新建的优先级组是依赖于现存的优先级组的。lowerThan 优先级组的属性只可以引用当前模块外的优先级组。当两个运算符为同一个操作数竞争时，比如表达式 2 + 3 * 5,优先级更高的运算符将优先参与运算。

注意

使用较低和较高优先级组相互联系的优先级组必须保持单一层次关系，但它们不必是线性关系。这意味着优先级组也许会有未定义的相关优先级。这些优先级组的运算符在没有用圆括号分组的情况下是不能紧邻着使用的。

Swift 定义了大量的优先级组来与标准库的运算符配合使用，例如相加（+）和相减（-）属于 AdditionPrecedence 组，相乘（*）和相除（/）属于 MultiplicationPrecedence 组，详细关于 Swift 标准库中一系列运算符和优先级组内容，参阅 Swift 标准库操作符参考。

运算符的结合性表示在没有圆括号分组的情况下，同样优先级的一系列运算符是如何被分组的。你可以指定运算符的结合性通过上下文关键字 left、right 或者 none,如果没有指定结合性，默认是 none 关键字。左关联性的运算符是从左至右分组的，例如，相减操作符（-）是左关联性的，所以表达式 4 - 5 - 6 被分组为 (4 - 5) - 6,得出结果-7。右关联性的运算符是从右往左分组的，指定为 none 结合性的运算符就没有结合性。同样优先级没有结合性的运算符不能相邻出现，例如 < 运算符是 none 结合性，那表示 1 < 2 < 3 就不是一个有效表达式。

优先级组的赋值性表示在包含可选链操作时的运算符优先级。当设为 true 时，与优先级组对应的运算符在可选链操作中使用和标准库中赋值运算符同样的分组规则，当设为 false 或者不设置，该优先级组的运算符与不赋值的运算符遵循同样的可选链规则。

grammer-of-a-precedence-group-declaration​

优先级组声明语法

precedence-group-declaration​

优先级组声明 → precedencegroup 优先级组名称 { 多优先级组属性可选 }

precedence-group-attributes​

优先级组属性 → 优先级组属性 多优先级组属性可选

precedence-group-attribute​

优先级组属性 → 优先级组关系

优先级组属性 → 优先级组赋值性

优先级组属性 → 优先级组相关性

precedence-group-relation​

优先级组关系 → higherThan : 多优先级组名称

优先级组关系 → lowerThan : 多优先级组名称

precedence-group-assignment​

优先级组赋值 → assignment : 布尔字面值

precedence-group-associativity​

优先级组结合性 → associativity : left

优先级组结合性 → associativity : right

优先级组结合性 → associativity : none

precedence-group-names​

多优先级组名称 → 优先级组名称 | 优先级组名称 , 多优先级组名称

precedence-group-name​

优先级组名称 → 标识符

声明修饰符​

声明修饰符都是关键字或上下文相关的关键字，可以修改一个声明的行为或者含义。可以在声明的特性（如果存在）和引入该声明的关键字之间，利用声明修饰符的关键字或上下文相关的关键字指定一个声明修饰符。

class

该修饰符用于修饰任何类成员，表明是类自身的成员，而不是类实例的成员。父类中使用该修饰符标记或者未被 final 修饰符标记的成员，都允许被子类重写。

dynamic

该修饰符用于修饰任何兼容 Objective-C 的类的成员。访问被 dynamic 修饰符标记的类成员将总是由 Objective-C 运行时系统进行动态派发，而不会由编译器进行内联或消虚拟化。

因为被标记 dynamic 修饰符的类成员会由 Objective-C 运行时系统进行动态派发，所以它们会被隐式标记 objc 特性。

final

该修饰符用于修饰类或类中的属性、方法以及下标。如果用它修饰一个类，那么这个类不能被继承。如果用它修饰类中的属性、方法或下标，那么它们不能在子类中被重写。

lazy

该修饰符用于修饰类或结构体中的存储型变量属性，表示该属性的初始值最多只被计算和存储一次，且发生在它被第一次访问时。关于如何使用 lazy 修饰符的例子，请参阅 惰性存储型属性。

optional

该修饰符用于修饰协议中的属性、方法以及下标成员，表示符合类型可以不实现这些成员要求。

只能将 optional 修饰符用于被 objc 特性标记的协议。这样一来，就只有类类型可以采纳并符合拥有可选成员要求的协议。关于如何使用 optional 修饰符，以及如何访问可选协议成员（比如，不确定符合类型是否已经实现了这些可选成员）的信息，请参阅 可选协议要求。

required

该修饰符用于修饰类的指定构造器或便利构造器，表示该类所有的子类都必须实现该构造器。在子类实现该构造器时，必须同样使用 required 修饰符修饰该构造器。

static

该修饰符用于修饰结构体、类、枚举或协议的成员，表明是类型成员，而不是类型实例的成员。在类声明的作用范围内，使用 static 修饰符标记成员声明语句，同 class 和 final 修饰符具有相同的效果。但是类的常量类型属性是一个例外： static 没有问题，但是你无法为常量声明使用 class 或 final 修饰符。

unowned

该修饰符用于修饰存储型变量、常量或者存储型变量属性，表示该变量或属性持有其存储对象的无主引用。如果在此存储对象释放后尝试访问该对象，会引发运行时错误。如同弱引用一样，该引用类型的变量或属性必须是类类型。与弱引用不同的是，这种类型的变量或属性是非可选的。关于 unowned 更多的信息和例子，请参阅 无主引用

unowned(safe)

unowned 的显式写法

unowned(unsafe)

该修饰符用于修饰存储型变量、常量或者存储型变量属性，表示该变量或属性持有其存储对象的无主引用。如果在此存储对象释放后尝试访问该对象，会直接访问该对象释放前存储的内存地址，因此这是非内存安全的操作。如同弱引用一样，该引用类型的变量或属性必须是类类型。与弱引用不同的是，这种类型的变量或属性是非可选的。关于 unowned 更多的信息和例子，请参阅 无主引用。

weak

该修饰符用于修饰变量或存储型变量属性，表示该变量或属性持有其存储的对象的弱引用。这种变量或属性的类型必须是可选的类类型。使用 weak 修饰符可避免强引用循环。关于 weak 修饰符的更多信息和例子，请参阅 弱引用。

访问控制级别​

Swift 提供了五个级别的访问控制：open、public、internal、file private 和 private。可以使用以下任意一种访问级别修饰符来指定声明的访问级别。访问控制在 访问控制 中有详细讨论。

open

该修饰符表示声明可被同模块的代码访问，且可作为基类使用，只要其他模块导入了声明所在的模块，也可以进行访问，且可作为基类使用。

public

该修饰符表示声明可被同模块的代码访问，且可作为基类使用，只要其他模块导入了声明所在的模块，也可以进行访问，但不可作为基类使用。

internal

该修饰符表示声明只能被同模块的代码访问。默认情况下，绝大多数声明会被隐式标记 internal 访问级别修饰符。

fileprivate

该修饰符表示声明只能被所在源文件的代码访问。

private

该修饰符表示声明只能被声明所直接包含的作用域内的代码访问。

为了达到访问控制的目的，同一文件中相同类型的扩展共享访问控制作用域。如果这些扩展与它们扩展的类型也在同一个文件中，则这些扩展共享该类型的访问控制作用域。在类型声明中声明的私有成员可以从扩展中访问，在某个扩展中声明的私有成员可以从其他扩展和类型声明中访问。

以上访问级别修饰符都可以选择带上一个参数，该参数由一对圆括号和其中的 set 关键字组成（例如，private(set)）。使用这种形式的访问级别修饰符来限制某个属性或下标的 setter 的访问级别低于其本身的访问级别，正如 Getter 和 Setter 中所讨论的。

grammer-of-a-declaration-modifier​

声明修饰符的语法

declaration-modifier​

声明修饰符 → class | convenience | dynamic | final | infix | lazy | optional | override | postfix | prefix | required | static | unowned | unowned ( safe ) | unowned ( unsafe ) | weak

声明修饰符 → 访问级别修饰符

声明修饰符 → 可变修饰符

声明修饰符 → actor 隔离修饰符

declaration-modifiers​

声明修饰符列表 → 声明修饰符 声明修饰符列表可选

access-level-modifier​

访问级别修饰符 → private | private ( set )

访问级别修饰符 → fileprivate | fileprivate ( set )

访问级别修饰符 → internal | internal ( set )

访问级别修饰符 → public | public ( set )

访问级别修饰符 → open | open ( set )

mutation-modifier​

可变修饰符 → mutating | nonmutating

actor-isolation-modifier​

actor 隔离修饰符 → nonisolated