Swift 访问控制@H_404_4@
访问控制可以限定其他源文件或模块中代码对你代码的访问级别。@H_404_4@
你可以明确地给单个类型(类、结构体、枚举)设置访问级别,也可以给这些类型的属性、函数、初始化方法、基本类型、下标索引等设置访问级别。@H_404_4@
协议也可以被限定在一定的范围内使用,包括协议里的全局常量、变量和函数。@H_404_4@
模块指的是以独立单元构建和发布的Framework或Application。在Swift 中的一个模块可以使用import关键字引入另外一个模块。@H_404_4@
源文件是单个源码文件,它通常属于一个模块, 源文件可以包含多个类和函数 的定义。@H_404_4@
Swift 为代码中的实体提供了三种不同的访问级别:public、internal、private。@H_404_4@
Public @H_404_4@可以访问自己模块中源文件里的任何实体,别人也可以通过引入该模块来访问源文件里的所有实体。@H_404_4@
Internal @H_404_4@:可以访问自己模块中源文件里的任何实体,但是别人不能访问该模块中源文件里的实体。@H_404_4@
Private @H_404_4@只能在当前源文件中使用的实体,称为私有实体。@H_404_4@
public为最高级访问级别,private为最低级访问级别。@H_404_4@
语法@H_404_4@
通过修饰符public、internal、private来声明实体的访问级别:@H_404_4@
public class SomePublicClass {}@H_404_4@
internal class SomeInternalClass {}@H_404_4@
private class SomePrivateClass {}@H_404_4@
@H_404_4@
public var somePublicVariable = 0@H_404_4@
internal let someInternalConstant = 0@H_404_4@
private func somePrivateFunction() {}@H_404_4@
除非有特殊的说明,否则实体都使用默认的访问级别internal。@H_404_4@
函数的访问级别需要根据该函数的参数类型和返回类型的访问级别得出。@H_404_4@
下面的例子定义了一个名为someFunction全局函数,并且没有明确地申明其访问级别。@H_404_4@
func someFunction() -> (SomeInternalClass,SomePrivateClass) {@H_404_4@
}@H_404_4@
函数中其中一个类 SomeInternalClass 的访问级别是internal,另一个 SomePrivateClass 的访问级别是private。所以根据元组访问级别的原则,该元组的访问级别是private。@H_404_4@
因为该函数返回类型的访问级别是private,所以你必须使用private修饰符,明确的声明该函数:@H_404_4@
private func someFunction() -> (SomeInternalClass,SomePrivateClass) {@H_404_4@
}@H_404_4@
将该函数申明为public或internal,或者使用默认的访问级别internal都是错误的。@H_404_4@
枚举类型访问权限@H_404_4@
枚举中成员的访问级别继承自该枚举,你不能为枚举中的成员单独申明不同的访问级别。@H_404_4@
实例@H_404_4@
比如下面的例子,枚举 Student 被明确的申明为 public 级别,那么它的成员 Name,Mark 的访问级别同样也是 public:@H_404_4@
public enum Student {@H_404_4@
case Name(String)@H_404_4@
case Mark(Int,Int,Int)@H_404_4@
}@H_404_4@
@H_404_4@
var studDetails = Student.Name("Swift")@H_404_4@
var studMarks = Student.Mark(98,97,95)@H_404_4@
@H_404_4@
switch studMarks {@H_404_4@
case .Name(let studName):@H_404_4@
print("学生名: \(studName).")@H_404_4@
case .Mark(let Mark1,let Mark2,let Mark3):@H_404_4@
print("学生成绩: \(Mark1),\(Mark2),\(Mark3)")@H_404_4@
}@H_404_4@
子类访问权限@H_404_4@
子类的访问级别不得高于父类的访问级别。比如说,父类的访问级别是internal,子类的访问级别就不能申明为public。@H_404_4@
public class SuperClass {@H_404_4@
private func show() {@H_404_4@
print("超类")@H_404_4@
}@H_404_4@
}@H_404_4@
@H_404_4@
// 访问级别不能低于超类 internal > public@H_404_4@
internal class SubClass: SuperClass {@H_404_4@
override internal func show() {@H_404_4@
print("子类")@H_404_4@
}@H_404_4@
}@H_404_4@
@H_404_4@
let sup = SuperClass()@H_404_4@
sup.show()@H_404_4@
@H_404_4@
let sub = SubClass()@H_404_4@
sub.show()@H_404_4@
超类@H_404_4@
子类@H_404_4@
常量、变量、属性不能拥有比它们的类型更高的访问级别。@H_404_4@
比如说,你定义一个public级别的属性,但是它的类型是private级别的,这是编译器所不允许的。@H_404_4@
同样,下标也不能拥有比索引类型或返回类型更高的访问级别。@H_404_4@
如果常量、变量、属性、下标索引的定义类型是private级别的,那么它们必须要明确的申明访问级别为private:@H_404_4@
private var privateInstance = SomePrivateClass()@H_404_4@
Getter 和 Setter访问权限@H_404_4@
常量、变量、属性、下标索引的Getters和Setters的访问级别继承自它们所属成员的访问级别。@H_404_4@
Setter的访问级别可以低于对应的Getter的访问级别,这样就可以控制变量、属性或下标索引的读写权限。@H_404_4@
@H_404_4@
@H_404_4@
构造器和默认构造器访问权限@H_404_4@
初始化@H_404_4@
我们可以给自定义的初始化方法申明访问级别,但是要不高于它所属类的访问级别。但必要构造器例外,它的访问级别必须和所属类的访问级别相同。@H_404_4@
如同函数或方法参数,初始化方法参数的访问级别也不能低于初始化方法的访问级别。@H_404_4@
Swift为结构体、类都提供了一个默认的无参初始化方法,用于给它们的所有属性提供赋值操作,但不会给出具体值。@H_404_4@
默认初始化方法的访问级别与所属类型的访问级别相同。@H_404_4@
实例@H_404_4@
在每个子类的 init() 方法前使用 required 关键字声明访问权限。@H_404_4@
class classA {@H_404_4@
let a = 10@H_404_4@
print(a)@H_404_4@
}@H_404_4@
}@H_404_4@
@H_404_4@
class classB: classA {@H_404_4@
let b = 30@H_404_4@
print(b)@H_404_4@
}@H_404_4@
}@H_404_4@
@H_404_4@
let res = classA()@H_404_4@
let show = classB()@H_404_4@
10@H_404_4@
30@H_404_4@
10@H_404_4@
协议访问权限@H_404_4@
如果想为一个协议明确的申明访问级别,那么需要注意一点,就是你要确保该协议只在你申明的访问级别作用域中使用。@H_404_4@
如果你定义了一个public访问级别的协议,那么实现该协议提供的必要函数也会是public的访问级别。这一点不同于其他类型,比如,public访问级别的其他类型,他们成员的访问级别为internal。@H_404_4@
public protocol TcpProtocol {@H_404_4@
init(no1: Int)@H_404_4@
}@H_404_4@
@H_404_4@
public class MainClass {@H_404_4@
var no1: Int // local storage@H_404_4@
init(no1: Int) {@H_404_4@
self.no1 = no1 // initialization@H_404_4@
}@H_404_4@
}@H_404_4@
@H_404_4@
class SubClass: MainClass,TcpProtocol {@H_404_4@
var no2: Int@H_404_4@
init(no1: Int,no2 : Int) {@H_404_4@
self.no2 = no2@H_404_4@
super.init(no1:no1)@H_404_4@
}@H_404_4@
@H_404_4@
// Requires only one parameter for convenient method@H_404_4@
required override convenience init(no1: Int) {@H_404_4@
self.init(no1:no1,no2:0)@H_404_4@
}@H_404_4@
}@H_404_4@
@H_404_4@
let res = MainClass(no1: 20)@H_404_4@
let show = SubClass(no1: 30,no2: 50)@H_404_4@
@H_404_4@
print("res is: \(res.no1)")@H_404_4@
print("res is: \(show.no1)")@H_404_4@
print("res is: \(show.no2)")@H_404_4@
res is: 20@H_404_4@
res is: 30@H_404_4@
res is: 50@H_404_4@
扩展访问权限@H_404_4@
你可以在条件允许的情况下对类、结构体、枚举进行扩展。扩展成员应该具有和原始类成员一致的访问级别。比如你扩展了一个公共类型,那么你新加的成员应该具有和原始成员一样的默认的internal访问级别。@H_404_4@
或者,你可以明确申明扩展的访问级别(比如使用private extension)给该扩展内所有成员申明一个新的默认访问级别。这个新的默认访问级别仍然可以被单独成员所申明的访问级别所覆盖。@H_404_4@
泛型访问权限@H_404_4@
泛型类型或泛型函数的访问级别取泛型类型、函数本身、泛型类型参数三者中的最低访问级别。@H_404_4@
@H_404_4@
类型别名@H_404_4@
任何你定义的类型别名都会被当作不同的类型,以便于进行访问控制。一个类型别名的访问级别不可高于原类型的访问级别。@H_404_4@
比如说,一个private级别的类型别名可以设定给一个public、internal、private的类型,但是一个public级别的类型别名只能设定给一个public级别的类型,不能设定给internal或private 级别的类型。@H_404_4@
注意:这条规则也适用于为满足协议一致性而给相关类型命名别名的情况。@H_404_4@
public protocol Container {@H_404_4@
associatedtype ItemType@H_404_4@
mutating func append(item: ItemType)@H_404_4@
var count: Int { get }@H_404_4@
subscript(i: Int) -> ItemType { get }@H_404_4@
}@H_404_4@
@H_404_4@
struct Stack<T>: Container {@H_404_4@
// original Stack<T> implementation@H_404_4@
var items = [T]()@H_404_4@
mutating func push(item: T) {@H_404_4@
items.append(item)@H_404_4@
}@H_404_4@
@H_404_4@
mutating func pop() -> T {@H_404_4@
return items.removeLast()@H_404_4@
}@H_404_4@
@H_404_4@
// conformance to the Container protocol@H_404_4@
mutating func append(item: T) {@H_404_4@
self.push(item: item)@H_404_4@
}@H_404_4@
@H_404_4@
var count: Int {@H_404_4@
return items.count@H_404_4@
}@H_404_4@
@H_404_4@
subscript(i: Int) -> T {@H_404_4@
return items[i]@H_404_4@
}@H_404_4@
}@H_404_4@
@H_404_4@
func allItemsMatch<@H_404_4@
C1: Container,C2: Container>@H_404_4@
(someContainer: C1,anotherContainer: C2) -> Bool@H_404_4@
where C1.ItemType == C2.ItemType,C1.ItemType: Equatable {@H_404_4@
// check that both containers contain the same number of items@H_404_4@
if someContainer.count != anotherContainer.count {@H_404_4@
return false@H_404_4@
}@H_404_4@
@H_404_4@
// check each pair of items to see if they are equivalent@H_404_4@
for i in 0..<someContainer.count {@H_404_4@
if someContainer[i] != anotherContainer[i] {@H_404_4@
return false@H_404_4@
}@H_404_4@
}@H_404_4@
@H_404_4@
// all items match,so return true@H_404_4@
return true@H_404_4@
}@H_404_4@
@H_404_4@
var tos = Stack<String>()@H_404_4@
tos.push(item: "Swift")@H_404_4@
print(tos.items)@H_404_4@
@H_404_4@
tos.push(item: "泛型")@H_404_4@
print(tos.items)@H_404_4@
@H_404_4@
tos.push(item: "Where 语句")@H_404_4@
print(tos.items)@H_404_4@
@H_404_4@
var eos = ["Swift","泛型","Where 语句"]@H_404_4@
print(eos)@H_404_4@
["Swift"]@H_404_4@
["Swift","泛型"]@H_404_4@
["Swift","Where 语句"]@H_404_4@
["Swift","Where 语句"]@H_404_4@