初始化器

类、结构体、枚举都可以定义初始化器
类有2种初始化器:指定初始化器(designated initializer)、便捷初始化器(convenience initializer)

  1. // 指定初始化器
  2. init(parameters) {
  3. statements
  4. }
  5. // 便捷初始化器
  6. convenience init(paramters) {
  7. statements
  8. }
  • 每个类至少有一个指定初始化器,指定初始化器是类的主要初始化器
  • 默认初始化器总是类的指定初始化器
  • 类偏向于少量指定初始化器,一个类通常只有一个指定初始化器 ```swift class Size { var width: Int var height: Int

    // 指定初始化器(主要初始化器) init(width: Int, height: Int) {

    1. self.width = width
    2. self.height = height

    }

    // 便捷初始化器 convenience init(width: Int) {

    1. self.init(width: 0, height: 0)
    2. self.width = width

    }

    // 便捷初始化器 convenience init(height: Int) {

    1. self.init(width: 0, height: 0)
    2. self.height = height

    } }

var s1 = Size(width: 10, height: 10) var s2 = Size(width: 10) var s3 = Size(height: 10)

  1. 这样设计的好处是,设置一个主初始化器,设置初始化数据,再添加其他便捷初始化器,便捷初始化器使用的前提必须调用指定初始化器,这样可以保证每一个创建的对象数据的完整性。
  2. <a name="YrZFr"></a>
  3. # 初始化器的相互调用规则
  4. 指定初始化器必须从它的直系父类调用指定初始化器<br />便捷初始化器必须从相同的类里调用另一个初始化器<br />便捷初始化器最终必须调用一个指定初始化器
  5. ```swift
  6. class Person {
  7. var age: Int
  8. init(age: Int) {
  9. self.age = age
  10. }
  11. }
  12. class Student : Person {
  13. var score: Int
  14. // 指定初始化器必须调用父类的指定初始化器
  15. init(score: Int) {
  16. self.score = score
  17. super.init(age: 10)
  18. }
  19. // 便捷初始化器必须调用指定初始化器
  20. convenience init() {
  21. self.init(score: 0)
  22. }
  23. }

image.png

两段式初始化

Swift在编码安全方面是煞费苦心,为了保证初始化过程的安全,设定了两段初始化、安全检查
两段式初始化
第一阶段:初始化所有存储属性

  1. 外层调用指定/便捷初始化器
  2. 分配内存给实例,但未初始化
  3. 指定初始化器确保当前类定义的存储属性都初始化
  4. 指定初始化器调用父类的初始化器,不断向上调用,形成初始化器链

第2阶段:设置新的存储属性

  1. 从顶部初始化器往下,链中每一个指定初始化器都有机会进一步定制实例
  2. 初始化器现在能够使用self(访问、修改它的属性,调用它的实例方法等等)
  3. 最终,链中任何便捷初始化器都有机会定制实例以及使用self

总结:两段式初始化就是先从下往上,初始话存储属性,再从上往下进行定制

安全检查

  • 指定初始化器必须保证在调用父类初始化器之前,其所在类定义的所有存储属性都要初始化完成
  • 指定初始化器必须先调用父类的初始化器,然后才能为继承的属性设置新值
  • 便捷初始化器必须先调用同类中的其它初始化器,然后再为人意属性设置新值
  • 初始化器在第1阶段初始化完成前,不能调用任何实例方法、不能读取任何属性的值,也不能引用self
  • 知道第1阶段结束后,实例才算完全合法 ```swift class Person { var age: Int

    init(age: Int) {

    1. self.age = age

    } }

class Student : Person { var score: Int var grade: Int

  1. init(score: Int) {
  2. // 安全检查第一条
  3. self.score = score
  4. self.grade = 9
  5. super.init(age: 10)
  6. // 安全检查第二条
  7. self.age = 20
  8. }
  9. convenience init(grade: Int) {
  10. // 安全检查第三条
  11. self.init(score: 10)
  12. self.grade = 10
  13. }

}

  1. <a name="gxbW4"></a>
  2. # 重写
  3. 当重写父类的指定初始化器,必须加上override(即使子类的实现是便捷初始化器)
  4. ```swift
  5. class Person {
  6. var age: Int
  7. init(age: Int) {
  8. self.age = age
  9. }
  10. }
  11. class Student : Person {
  12. var score: Int
  13. var grade: Int
  14. // 重写父类指定初始化器
  15. override init(age: Int) {
  16. self.score = 0
  17. self.grade = 0
  18. super.init(age: age)
  19. }
  20. }

如果子类写了一个匹配父类便捷初始化器的初始化器,不用加上override,因为父类的便捷初始化器永远不会通过子类直接调用,因此,严格来说,子类无法重写父类的便捷初始化器

自动继承

1、如果子类没有自定义的任何指定初始化器,它回自动继承父类所有的指定初始化器

  1. class Person {
  2. var age: Int
  3. var name: String
  4. init(age: Int, name: String) {
  5. self.age = age
  6. self.name = name
  7. }
  8. init(age: Int) {
  9. self.age = age
  10. self.name = ""
  11. }
  12. }
  13. class Student : Person {
  14. }
  15. var stu1 = Student(age: 10, name: "Jack")
  16. var stu2 = Student(age: 20)

2、如果子类提供了父类所有指定初始化器的实现(要么通过方式1继承、要么重写),子类自动继承所有父类便捷初始化器

  1. class Person {
  2. var name: String
  3. var age: Int
  4. init(name: String, age: Int) {
  5. self.name = name
  6. self.age = age
  7. }
  8. convenience init(name: String) {
  9. self.init(name: name, age: 0)
  10. }
  11. convenience init(age: Int) {
  12. self.init(name: "", age: age)
  13. }
  14. }
  15. class Student : Person {
  16. }
  17. var s1 = Student(name: "Rose", age: 10)
  18. var s2 = Student(name: "Rose")
  19. var s3 = Student(age: 10)

3、就算子类添加了更多的便捷初始化器,这些规则仍然适用
4、子类以便捷初始化器的形式重写父类的指定初始化器,也可以作为满足规则2的一部分

required

用required修饰的指定初始化器,表明其所有子类都必须实现该初始化器(通过继承或者重写实现)
如果子类重写了required初始化器,也必须加上required,不用加override

  1. class Person {
  2. required init() {
  3. }
  4. }
  5. class Student : Person {
  6. init(age: Int) {
  7. super.init()
  8. }
  9. required init() {
  10. super.init()
  11. }
  12. }

属性观察器

父类的属性在它自己的初始化器中赋值不会触发属性观察器,但在子类的初始化器中赋值会触发属性观察器。

  1. class Person {
  2. var age: Int {
  3. willSet {
  4. print("age - willSet", newValue)
  5. }
  6. didSet {
  7. print("age - didSet", oldValue, age)
  8. }
  9. }
  10. init() {
  11. self.age = 0
  12. }
  13. }
  14. class Student : Person {
  15. override init() {
  16. super.init()
  17. self.age = 1
  18. }
  19. }
  20. var stu = Student.init()

打印结果:

  1. age - willSet 1
  2. age - didSet 0 1

在子类中赋值才会触发属性观察器。

可失败初始化器

类、结构体、枚举都可以使用init?定义可失败初始化器

  1. class Person {
  2. var name: String
  3. init?(name: String) {
  4. if name.isEmpty {
  5. return nil
  6. }
  7. self.name = name
  8. }
  9. }
  10. var p = Person(name: "Jack")

通过可失败初始化器创建的对象是可选项
系统方法举例:

  1. varnum = Int("123")
  2. // 调用方法
  3. @inlinable public init?(_ description: String)

特点:

不允许同时定义参数标签、参数个数、参数类型相同的可失败初始化器和非可失败初始化器
可以使用init!定义隐式解包的可失败初始化器
可失败初始化器可以调用非开失败初始化器,非可失败初始化器调用可失败初始化器需要进行解包
如果初始化器调用一个可失败初始化器导致初始化失败,那么整个初始化过程都失败,并且之后的代码都停止执行
可以用一个非可失败初始化器重写一个可失败初始化器,但反过来是不行的

反初始化器(deinit)

deinit叫做反初始化器,类似于C++的析构函数、OC的dealloc方法
当类的实例对象被释放内存时,就会调用实例对象的deinit方法

  1. class Person {
  2. deinit {
  3. print("Person对象销毁了")
  4. }
  5. }

deinit不接收任何参数,不能写小括号,不能自行调用
父类的deinit能被子类继承
子类的deinit实现执行完毕后会调用父类的deinit

  1. class Person {
  2. deinit {
  3. print("Person对象销毁了")
  4. }
  5. }
  6. class Student : Person {
  7. deinit {
  8. print("Student对象销毁了")
  9. }
  10. }
  11. func test() {
  12. var stu = Student()
  13. }
  14. print("1")
  15. test()
  16. print("2")

打印结果:

  1. 1
  2. Student对象销毁了
  3. Person对象销毁了
  4. 2