Swift类初始化器

519 阅读4分钟

类的初始化器有两种:指定初始化器(designated initializer)、便捷初始化器(convenience initializer)

  • 指定初始化器(designated initializer)
    init(<#parameters#>) {
        <#statements#>
    }
  • 便捷初始化器(convenience initializer)
    convenience init(<#parameters#>) {
        <#statements#>
    }

一、规则

1、基本规则

  • 每个类至少有一个指定初始化器,指定初始化器是类的主要初始化器,如果没有自定义指定初始化器,会调用默认初始化器,默认初始化器总是类的指定初始化器
    init () {}
  • 类偏向于少量指定初始化器,一个类通常只有一个指定初始化器(如果有需要的话也可以设置多个)

2、初始化器的调用规则

1、 指定初始化器必须从它的直系父类调用指定初始化器

// 父类
class Person {
    var age: Int
    init(age: Int) {
        self.age = age
    }
}
// 子类
class Student: Person {
    var score: Int
    
    init(age: Int, score: Int) {
        // 先初始化自身成员变量
        self.score = score
        // 然后调用父类指定初始化器
        super.init(age: age)
    }
}

2、便捷初始化器必须从相同的类里调用另一个初始化器,便捷初始化器最终必须调用一个指定初始化器

class Size {
    
    var width: Int
    var height: Int
    
    /// 指定初始化器
    init(width: Int, height: Int) {
        self.width = width
        self.height = height
    }
    
    /// 便捷初始化器
    convenience init(width: Int) {
        self.init(width: width, height: 0)
    }
    
    /// 便捷初始化器
    convenience init(height: Int) {
        self.init(width: 0, height: height)
    }
    
    /// 便捷初始化器,调用了另一个便捷初始化器,在另一个便捷初始化器中调用了指定初始化器
    convenience init() {
        self.init(height: 0)
    }
}

    var s1 = Size(width: 1, height: 2)
    var s2 = Size(height: 3)
    var s3 = Size(width: 4)
    var s4 = Size()

二、两段式初始化

第一阶段:初始化所有存储属性

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

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

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

三、重写

  • 当重写父类的指定初始化器时,必须加上 override (即使子类的实现是便捷初始化器)
// 父类
class Person {

    var age: Int
    
    init(age: Int) {
        self.age = age
    }
}

// 子类
class Student: Person {

    var score: Int

    override init(age: Int) {
        self.score = 0
        super.init(age: age)
    }
}
  • 如果一个子类写了一个匹配父类便捷初始化器的初始化器,不用加上 override。因为父类的初始化器永远不会通过子类直接调用,因此,严格来说,子类无法重写父类的便捷初始化器
class Person {

    var age: Int
    var name: String

    init(age: Int, name: String) {
        self.age = age
        self.name = name
    }

    convenience init(age: Int) {
        self.init(age: age, name: "")
    }
}

class Student: Person {

    var score: Int

    override init(age: Int, name: String) {
        self.score = 0
        super.init(age: age, name: "")
    }

    // 不用加上 override
    init(age: Int) {
        self.score = 1
        super.init(age: age, name: "")
    }
}

四、自动继承

  • 1、如果子类没有定义任何指定初始化器,它会自动继承父类所有的指定初始化器
  • 2、如果子类提供了父类所有指定初始化器的实现(要么通过方式1继承,要么重写),子类会自动继承所有的父类便捷初始化器
  • 3、就算子类添加了更多地便捷初始化器,这么规则仍然适用
  • 4、子类以便捷初始化器的形式重写父类的指定初始化器,也可以作为满足规则2的一部分

五、required

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

class Person {
    required init() {}
    init(age: Int) {}
}

class Student: Person {
    // 如果不写,也不会报错,会自动继承父类的指定初始化器
    // 如果自定义了指定初始化器,父类的 required 指定初始化器必须实现
    required init() {
        super.init()
    }
}