访问控制
本文后半段内容实在是晦涩……
访问控制
可以限定其他源文件或模块中的代码对你的代码的访问级别。这个特性可以让我们隐藏代码的一些实现细节,并且可以为其他人可以访问和使用的代码提供接口。
你可以明确地给单个类型(类、结构体、枚举)设置访问级别,也可以给这些类型的属性、方法、构造器、下标等设置访问级别。协议也可以被限定在一定的范围内使用,包括协议里的全局常量、变量和函数。
Swift不仅提供了多种不同的访问级别,还为某些典型场景提供了默认的访问级别,这样就不需要我们在每段代码中都申明显式访问级别。其实,如果只是开发一个单一target
的应用程序,我们完全可以不用显式申明代码的访问级别。
注意,为了简单起见,对于代码中可以设置访问级别的特性(属性、基本类型、函数等),在下面的章节中我们会称之为“实体
”。
模块和源文件
Swift中的访问控制模型基于模块
和源文件
这两个概念。
模块
指的是独立的代码单元,框架或应用程序会作为一个独立的模块来构建和发布。在Swift中,一个模块可以使用import
关键字导入另外一个模块。
在Swift中,Xcode的每个target(例如框架或应用程序)都被当作独立的模块处理。如果你是为了实现某个通用的功能,或者是为了封装一些常用方法而将代码打包成独立的框架,这个框架就是Swift中的一个模块。当它被导入到某个应用程序或者其他框架时,框架内容都将属于这个独立的模块。
源文件就是Swift中的源代码文件,它通常属于一个模块,即一个应用程序或者框架。尽管我们一般会将不同的类型分别定义在不同的源文件中,但是同一个源文件也可以包含多个类型、函数之类的定义。
访问级别
Swift为代码中的实体提供了三种不同的访问级别。这些访问级别不仅与源文件中定义的实体相关,同时也与源文件所属的模块相关。
public
:可以访问同一模块源文件中的任何实体,在模块外也可以通过导入该模块来访问源文件里的所有实体。通常情况下,框架中的某个接口可以被任何人使用时,你可以将其设置为public
级别。internal
:可以访问同一模块源文件中的任何实体,但是不能从模块外访问该模块源文件中的实体。通常情况下,某个接口只在应用程序或框架内部使用时,你可以将其设置为internal
级别。private
:限制实体只能在所在的源文件内部使用。使用private
级别可以隐藏某些功能的实现细节。
public
为最高(限制最少)访问级别,private
为最低(限制最多)访问级别。
注意,Swift中的private
访问级别不同于其他语言,它的范围限于源文件,而不是声明范围内。这就意味着,一个类型可以访问其所在源文件中的所有private
实体,但是如果它的扩展定义在其他源文件中,那么它的扩展就不能访问它在这个源文件中定义的private
实体。
访问级别基本原则
Swift中的访问级别遵循一个基本原则:不可以在某个实体中定义访问级别更高的实体。例如:
- 一个
public
访问级别的变量,其类型的访问级别不能是internal
或private
。因为无法保证变量的类型在使用变量的地方也具有访问权限。 - 函数的访问级别不能高于它的参数类型和返回类型的访问级别。因为如果函数定义为
public
而参数类型或者返回类型定义为internal
或private
,就会出现函数可以在任何地方被访问,但是它的参数类型和返回类型却不可以。
默认访问级别
如果你不为代码中的实体显式指定访问级别,那么它们默认为internal
级别(有一些例外情况,稍后会进行说明)。因此,在大多数情况下,我们不需要显式指定实体的访问级别。
单target应用程序的访问级别
当你编写一个单target应用程序时,应用的所有功能都是为该应用服务,而不需要提供给其他应用或者模块使用,所以我们不需要明确设置访问级别,使用默认的访问级别internal
即可。但是,你也可以使用private
级别,用于隐藏一些功能的实现细节。
框架的访问级别
当你开发框架时,就需要把一些对外的接口定义为public
级别,以便使用者导入该框架后可以正常使用其功能。这些被你定义为public
的接口,就是这个框架的API
。
框架依然会使用默认的internal
级别,也可以指定为private
级别。当你想把某个实体作为框架的API
的时候,需显式为其指定public
级别。
单元测试target的访问级别
当你的应用程序包含单元测试target时,为了测试,测试模块需要访问应用程序模块中的代码。默认情况下只有public
级别的实体才可以被其他模块访问。然而,如果在导入应用程序模块的语句前使用@testable
特性,然后在允许测试的编译设置(Build Options -> Enable Testability
)下编译这个应用程序模块,单元测试target
就可以访问应用程序模块中所有internal
级别的实体。
访问控制语法
通过修饰符public
、internal
、private
来声明实体的访问级别。除非专门指定,否则实体默认的访问级别为internal。
public class A {}
internal class B {}
private class C {}
public var a = 0
internal let b = 1.1
private func c() {}
class D {} // 隐式访问级别:internal
var d = "Hello" // 隐式访问级别:internal
自定义类型
如果想为一个自定义类型指定访问级别,在定义类型时进行指定即可。新类型只能在它的访问级别限制范围内使用。例如,你定义了一个private
级别的类,那这个类就只能在定义它的源文件中使用,可以作为属性类型、函数参数类型或者返回类型,等等。
一个类型的访问级别也会影响到类型成员(属性、方法、构造器、下标)的默认访问级别。如果你将类型指定为private
级别,那么该类型的所有成员的默认访问级别也会变成private
。如果你将类型指定为public
或者internal
级别(或者不明确指定访问级别,而使用默认的internal
访问级别),那么该类型的所有成员的默认访问级别将是internal
。
注意,一个public
类型的所有成员的访问级别默认为internal
级别,而不是public
级别。如果你想将某个成员指定为public
级别,那么你必须显式指定。这样做的好处是,在你定义公共接口的时候,可以明确地选择哪些接口是需要公开的,哪些是内部使用的,避免不小心将内部使用的接口公开。
/** * 可以看出,类型A里面的类型B的访问级别不能高于类型A的访问级别。 */
public class A { // 显式public
public var a = 1 // 显式public
var b = 2 // 隐式internal
private func c() {} // 显式private
}
class B { // 隐式internal
var a = 1.1 // 隐式internal
private func b() {} // 显式private
public static var c = 1 // 报警告,实际上是internal类型!
}
private class C { // 显式private
var a = 2.2 // 隐式private
func b() {} // 隐式private
public static var c = 1 // 报警告,实际上是private类型!
internal static var d = 1 // 报警告,实际上是private类型!
}
元组类型
元组的访问级别将由元组中访问级别最严格的类型来决定。例如,如果你构建了一个包含两种不同类型的元组,其中一个类型为internal
级别,另一个类型为private
级别,那么这个元组的访问级别为private
。
元组不同于类、结构体、枚举、函数那样有单独的定义。元组的访问级别是在它被使用时自动推断出的,而无法明确指定。
函数类型
函数的访问级别根据访问级别最严格的参数类型或返回类型的访问级别来决定。但是,如果这种访问级别不符合函数定义所在环境的默认访问级别,那么就需要明确地指定该函数的访问级别。
internal class A {}
private class B {}
private func c() -> (A,B) { return (A(),B()) } // 不显式地加上private或者声明为public或internal,都会报错:error: function must be declared private because its result uses a private type。
注意,上面的代码中,函数c
并不具有默认访问级别internal
。因为该函数返回类型的访问级别是private
,所以你必须使用`private修饰符,明确指定该函数的访问级别。
将该函数指定为public
或internal
,或者使用默认的访问级别internal
都是错误的,因为如果把该函数当做public
或internal
级别来使用的话,可能会无法访问private
级别的返回值。
枚举类型
枚举成员的访问级别和该枚举类型相同,你不能为枚举成员单独指定不同的访问级别。
原始值和关联值
枚举定义中的任何原始值或关联值的类型的访问级别至少不能低于枚举类型的访问级别。例如,你不能在一个internal
访问级别的枚举中定义private
级别的原始值类型。
嵌套类型
如果在private
级别的类型中定义嵌套类型,那么该嵌套类型就自动拥有private
访问级别。如果在public
或者internal
级别的类型中定义嵌套类型,那么该嵌套类型自动拥有internal
访问级别。如果想让嵌套类型拥有public
访问级别,那么需要明确指定该嵌套类型的访问级别。
子类
子类的访问级别不得高于父类的访问级别。例如,父类的访问级别是internal
,子类的访问级别就不能是public
。此外,你可以在符合当前访问级别的条件下重写任意类成员(方法、属性、构造器、下标等)。
可以通过重写为继承来的类成员提供更高的访问级别。
public class A {
private func a() {
print("A.a()")
}
}
internal class B: A {
override internal func a() { // 将某类中private级别的类成员重新指定为更高的访问级别,以便其他人使用
print("B.a()")
}
}
B().a()
甚至可以在子类中,用子类成员去访问访问级别更低的父类成员,只要这一操作在相应访问级别的限制范围内(也就是说,在同一源文件中访问父类private
级别的成员,在同一模块内访问父类internal
级别的成员)
public class A {
private func a() {
print("A.a()")
}
}
internal class B: A {
override internal func a() {
super.a()
}
}
B().a()
常量、变量、属性、下标
常量、变量、属性不能拥有比它们的类型更高的访问级别。例如,你不能定义一个public
级别的属性,但是它的类型却是private
级别的。同样,下标也不能拥有比索引类型或返回类型更高的访问级别。
如果常量、变量、属性、下标的类型是private
级别的,那么它们必须明确指定访问级别为private
。
private class A {}
private var a = A()
getter和setter
常量、变量、属性、下标的Getters
和Setters
的访问级别和它们所属类型的访问级别相同。
Setter
的访问级别可以低于对应的Getter
的访问级别,这样就可以控制变量、属性或下标的读写权限。在var
或subscript
关键字之前,你可以通过private(set)
或internal(set)
为它们的写入权限指定更低的访问级别。
注意,这个规则同时适用于存储型属性和计算型属性。即使你不明确指定存储型属性的Getter
和Setter
,Swift也会隐式地为其创建Getter
和Setter
,用于访问该属性的后备存储。使用private(set)
和internal(set)
可以改变Setter
的访问级别,这对计算型属性也同样适用。(计算型属性也有getter和setter???)
struct TrackedString { // 隐式internal
private(set) var numberOfEdits = 0 // numberOfEdits属性只能在定义该结构体的源文件中赋值,而getter访问级别是隐式internal,因此,该属性只有在当前的源文件中是可读写的,而在当前源文件所属的模块中只是一个可读的属性。
var value: String = "" { // 隐式internal
didSet {
++numberOfEdits
}
}
}
var t = TrackedString()
print(t.numberOfEdits) // 0
t.value = "1"
t.value = "1"
print(t.numberOfEdits) // 2
在上面的代码中,numberOfEdits
属性只能在定义该结构体的源文件中赋值,而getter
访问级别是隐式internal
,因此,该属性只有在当前的源文件中是可读写的,而在当前源文件所属的模块中只是一个可读的属性。
虽然你可以在其他的源文件中实例化该结构体并且获取到numberOfEdits
属性的值,但是你不能对其进行赋值。这一限制保护了该记录功能的实现细节,同时还提供了方便的访问方式。
你可以在必要时为Getter
和Setter
显式指定访问级别。
public struct TrackedString { // 显式public
public private(set) var numberOfEdits = 0 // 隐式internal,getter是显式public,setter是显式private!(此时设置了getter和setter的访问级别,怎么设置属性的访问级别呢???)
public var value: String = "" {
didSet {
++numberOfEdits
}
}
public init() {}
}
构造器
自定义构造器的访问级别可以低于或等于其所属类型的访问级别。唯一的例外是必要构造器,它的访问级别必须和所属类型的访问级别相同。
如同函数或方法的参数,构造器参数的访问级别也不能低于构造器本身的访问级别。
默认构造器
Swift会为结构体和类提供一个默认的无参数的构造器,只要它们为所有存储型属性设置了默认初始值,并且未提供自定义的构造器。
默认构造器的访问级别与所属类型的访问级别相同,除非类型的访问级别是public
。如果一个类型被指定为public
级别,那么默认构造器的访问级别将为internal
。如果你希望一个public
级别的类型也能在其他模块中使用这种无参数的默认构造器,你只能自己提供一个public
访问级别的无参数构造器。
结构体默认的成员逐一构造器
如果结构体中任意存储型属性的访问级别为private
,那么该结构体默认的成员逐一构造器的访问级别就是private
。否则,这种构造器的访问级别依然是internal
。
如果你希望一个public
级别的结构体也能在其他模块中使用其默认的成员逐一构造器,你依然只能自己提供一个public
访问级别的成员逐一构造器。
协议
如果想为一个协议类型明确地指定访问级别,在定义协议时指定即可。这将限制该协议只能在适当的访问级别范围内被采纳。
协议中的每一个要求都具有和该协议相同的访问级别。你不能将协议中的要求设置为其他访问级别。这样才能确保该协议的所有要求对于任意采纳者都将可用*。
注意,如果你定义了一个public
访问级别的协议,那么该协议的所有实现也会是public
访问级别。这一点不同于其他类型,例如,当类型是public
访问级别时,其成员的访问级别却只是internal
。
协议继承
如果定义了一个继承自其他协议的新协议,那么新协议拥有的访问级别最高也只能和被继承协议的访问级别相同。例如,你不能将继承自internal
协议的新协议定义为public
协议。
协议一致性
一个类型可以采纳比自身访问级别低的协议。例如,你可以定义一个public
级别的类型,它可以在其他模块中使用,同时它也可以采纳一个internal
级别的协议,但是只能在该协议所在的模块中作为符合该协议的类型使用。
采纳了协议的类型的访问级别取它本身和所采纳协议两者间最低的访问级别。也就是说如果一个类型是public
级别,采纳的协议是internal
级别,那么采纳了这个协议后,该类型作为符合协议的类型时,其访问级别也是internal
。
如果你采纳了协议,那么实现了协议的所有要求后,你必须确保这些实现的访问级别不能低于协议的访问级别。例如,一个public
级别的类型,采纳了internal
级别的协议,那么协议的实现至少也得是internal
级别。
注意,Swift和Objective-C一样,协议的一致性是全局的,也就是说,在同一程序中,一个类型不可能用两种不同的方式实现同一个协议。
扩展
你可以在访问级别允许的情况下对类、结构体、枚举进行扩展。扩展成员具有和原始类型成员一致的访问级别。例如,你扩展了一个public
或者internal
类型,扩展中的成员具有默认的internal
访问级别,和原始类型中的成员一致 。如果你扩展了一个private
类型,扩展成员则拥有默认的private
访问级别。
或者,你可以明确指定扩展的访问级别(例如,private extension
),从而给该扩展中的所有成员指定一个新的默认访问级别。这个新的默认访问级别仍然可以被单独指定的访问级别所覆盖。
通过扩展添加协议一致性
如果你通过扩展来采纳协议,那么你就不能显式指定该扩展的访问级别了。协议拥有相应的访问级别,并会为该扩展中所有协议要求的实现提供默认的访问级别。
泛型
泛型类型或泛型函数的访问级别取决于泛型类型或泛型函数本身的访问级别,还需结合类型参数的类型约束的访问级别,根据这些访问级别中的最低访问级别来确定。
类型别名
你定义的任何类型别名都会被当作不同的类型,以便于进行访问控制。类型别名的访问级别不可高于其表示的类型的访问级别。例如,private
级别的类型别名可以作为public
、internal
、private
类型的别名,但是public
级别的类型别名只能作为public
类型的别名,不能作为internal
或private
类型的别名。
注意,这条规则也适用于为满足协议一致性而将类型别名用于关联类型的情况。