SwiftAccessControl访问控制与断言详细介绍

 

访问控制(Access Control)

1、在访问权限控制这块,Swift提供了5个不同的访问级别(以下是从高到低排序,实体指被访问级别修饰的内容)

  • open:允许在定义实体的模块、其他模块中访问,允许其他莫模块进行继承、重写(open只能用在类、类成员上)
  • public:允许在定义实体的模块、其他模块中访问,不允许其他模块进行继承、重写
  • internal:只允许在定义实体的模块中访问,不允许在其他模块中访问
  • fileprivate:只允许在定义实体的源文件中访问
  • private:只允许在定义实体的封闭声明中访问

2、绝大部分实体默认都是internal级别

 

访问级别的使用准则

1、一个实体不可以被更低访问级别的实体定义,比如

  • 变量\常量类型 >= 变量\常量
  • 参数类型、返回值类型 >= 函数
  • 父类 >= 子类
  • ……

 

元组类型

1、元组类型的访问界别是所有成员类型最低的那个

internal struct Dog {}
fileprivate class Person {}

//(Dog, Person)的访问级别是fileprivate
fileprivate var data1: (Dog, Person)
private var data2: (Dog, Person)

 

泛型类型

1、泛型类型的访问级别是 类型的访问级别 以及 所有泛型类型参数的访问级别 中最低的那个

 

成员、嵌套类型

1、类型的访问级别会影响成员(属性、方法、初始化器、下标)嵌套类型的默认访问级别

  • 一般情况下,类型为private或fileprivate,那么成员\嵌套类型默认也是private或fileprivate
  • 一般情况下,类型为internal或public,那么成员\嵌套类型默认是internal

2、直接在全局作用域下定义的private等价于fileprivate

private struct Dog {
  var age: Int = 0
  func run() {}
}
fileprivate struct Person {
  var dog: Dog = Dog()
  mutating func walk() {
      dog.run()
      dog.age = 1
  }
}

3、子类重写的成员访问级别必须 >= 父类的成员访问级别

 

getter与setter

1、getter、setter默认自动接收他们所属环境的访问级别

2、可以给setter单独设置一个比getter更低的访问级别,用以限制写的权限

fileprivate(set) public var num = 10
class Person {
  private(set) var age = 0
  fileprivate(set) public var weight: Int {
      set {}
      get { 10 }
  }
  internal(set) public subscript(index: Int) -> Int {
      set {}
      get { index }
  }
}

 

初始化器

1、如果一个public类想在另一个模块调用编译生成的默认无参初始化器,必须显式提供public的无参初始化器

因为public类的默认初始化器时internal级别的

2、required初始化器必须跟他所属类拥有相同的访问级别

3、如果结构体有private\fileprivate的存储实例属性,那么它的成员初始化器也是private\fileprivate

否则默认就是internal

 

枚举类型的case

1、不能给enum的每个case单独设置访问级别

2、每个case自动接收enum的访问级别

public enum定义的case也是public

 

协议

1、协议中定义的要求(方法)自动接收协议的访问级别,不能单独设置访问级别

public协议定义的要求(方法)也是public

2、协议实现的访问级别必须 >= 类型的访问级别,或者 >= 协议的访问级别

 

扩展

1、如果有显式设置扩展的访问级别,扩展添加的成员自动接收扩展的访问级别

2、如果没有显式设置扩展的访问级别,扩展添加的成员的默认访问级别,跟直接在类型中定义的成员一样

3、可以单独给扩展添加的成员设置访问级别

4、不能给用于遵守协议的扩展显式设置扩展的访问级别

5、在同一文件中的扩展,可以写成类似多个部分的类型声明

  • 在原本的声明中声明一个私有成员,可以在同一文件的扩展中访问他
  • 在扩展中声明一个私有成员,可以在同一文件的其他扩展中、原本生明中访问他

 

将方法赋值给var\let

1、方法也可以像函数那样,赋值给一个let或者var

struct Person {
  var age: Int
  func run(_ v: Int) {
      print("func run", age, v)
  }
}
var fn: (Person) -> (Int) -> () = Person.run(_:)
fn(Person(age: 10))(20)

 

一些补充知识

CustomStringConvertible

1、遵守CustomStringConvertible、CustomDebugStringConvertible协议,都可以自定义实例的打印字符串

class Person: CustomStringConvertible, CustomDebugStringConvertible {
  var age = 0
  var description: String {
      "person_\(age)"
  }
  var debugDescription: String {
      "debug_person_\(age)"
  }
}

2、print调用的是CustomStringConvertible协议的description

3、debugPrint、po调用的是CustomDebugStringConvertible协议的debugDescription

Self

1、Self一般用作返回值类型,限定返回值跟方法调用者必须是同一类型(也可以作为参数类型)

2、Self代表当前类型

class Person {
  var age = 1
  static var count = 2
  func run() {
      print(self.age) // 1
      print(Self.count) // 2
  }
}

assert (断言)

1、很多编程语言都有断言机制:不符合指定条件就抛出运行时错误,常用语调试(Debug)阶段的条件判断

2、默认情况下,Swift的断言只会在debug模式下生效,release模式下会忽略

func divide(_ v1: Int, _ v2: Int) -> Int {
  assert(v2 != 0, "除数不能为0")
  return v1 / v2
}

fatalError

1、如果遇到严重问题,希望结束程序运行时,可以直接使用fatalError函数抛出错误(这是无法通过do-catch捕捉的错误)

2、使用了fatalError函数,就不需要再写return

func test(_ num: Int) -> Int {
  if num >= 0 {
      return 1
  }
  fatalError("num不能小于0")
}

3、在某些不得不实现,但不希望别人调用的方法,可以考虑内部使用fatalError函数

class Person {
  required init() {}
}
class Student: Person {
  required init() {
      fatalError("don't call Student init()")
  }
  init(score: Int) {}
}
var stu1 = Student(score: 98)
var stu2 = Student()

关于Swift Access Control访问控制与断言详细介绍的文章就介绍至此,更多相关Swift Access Control内容请搜索编程宝库以前的文章,希望以后支持编程宝库

 溢出运算符(Overflow Operator)1、Swift的算数运算符出现溢出时会抛出运行时错误var v: UInt8 = UInt8.minv -= 12、Swift有溢出运算符(& ...