Swift子类：使用便利初始化器与指定初始化器初始化父类的差异

先来看你给出的基础代码背景：

class Dog {
    let variable1: String
    let variable2: Int
    init(variable1: String, variable2: Int) {
        self.variable1 = variable1
        self.variable2 = variable2
    }
}

// 初始定义的空子类
class ChowChow: Dog {}

你提到的两种初始化器实现，虽然调用ChowChow()的输出结果完全一致，但它们在初始化规则、继承行为和后续扩展性上有本质区别，我来给你逐一拆解：

1. 初始化器类型的本质不同 #

• 便利初始化器（convenience init）：这是类的辅助初始化器，核心规则是必须调用当前类中的另一个初始化器（不管是指定还是便利的），最终会串联到当前类的指定初始化器，再向上调用父类的指定初始化器。你写的这个便利初始化器，其实是调用了ChowChow从Dog自动继承来的指定初始化器（因为子类没定义自己的指定初始化器，所以默认继承父类的）。
• 指定初始化器（init）：这是类的核心初始化器，负责完全初始化类的所有存储属性，并且必须直接调用父类的指定初始化器来完成父类部分的初始化工作。你写的这个指定初始化器，相当于给ChowChow新增了一条独立的核心初始化路径。

2. 对初始化器继承的影响（最核心差异） #

这是两者最关键的区别，直接影响子类能使用的初始化方式：

• 当你添加便利初始化器时，由于ChowChow没有定义任何自己的指定初始化器，它会自动继承父类Dog的所有指定初始化器。也就是说，你依然可以用父类的初始化方式创建ChowChow实例：

  let customChow = ChowChow(variable1: "myChow", variable2: 99)
  

• 但如果你添加指定初始化器，根据Swift的初始化规则，子类一旦定义了自己的指定初始化器，就会自动失去对父类所有指定初始化器的继承权限。这时候再想调用ChowChow(variable1:..., variable2:...)就会编译报错，除非你在子类中显式重写父类的这个指定初始化器。

3. 后续扩展的灵活性差异 #

• 便利初始化器的扩展性更强：如果之后你给ChowChow添加自己的存储属性，只需要先新增子类的指定初始化器来处理新属性，原来的便利初始化器只需要改成调用这个新的指定初始化器即可，不需要修改和父类相关的逻辑。
• 指定初始化器的约束更严格：如果ChowChow新增了存储属性，你必须修改原有的指定初始化器——根据Swift规则，子类指定初始化器必须先初始化自己的所有存储属性，再调用父类的初始化器，所以你得调整代码顺序，还要确保新属性被正确初始化。

举个直观的扩展例子：

// 使用便利初始化器的场景，扩展更顺畅
class ChowChow: Dog {
    let furColor: String
    
    // 新增子类的指定初始化器
    init(variable1: String, variable2: Int, furColor: String) {
        self.furColor = furColor
        super.init(variable1: variable1, variable2: variable2)
    }
    
    // 原来的便利初始化器只需调整调用对象
    convenience init() {
        self.init(variable1: "value1", variable2: 2, furColor: "golden")
    }
    
    // 如果需要保留父类的初始化方式，显式重写即可
    override init(variable1: String, variable2: Int) {
        self.furColor = "golden"
        super.init(variable1: variable1, variable2: variable2)
    }
}

// 使用指定初始化器的场景，扩展需要修改原有代码
class ChowChow: Dog {
    let furColor: String
    
    // 必须修改原指定初始化器，先初始化自己的属性
    init() {
        self.furColor = "golden"
        super.init(variable1: "value1", variable2: 2)
    }
    
    // 要支持自定义属性的初始化，必须新增指定初始化器
    init(variable1: String, variable2: Int, furColor: String) {
        self.furColor = furColor
        super.init(variable1: variable1, variable2: variable2)
    }
}

4. 语义上的区别 #

• 便利初始化器的语义是快捷初始化入口，用于简化常见场景的实例创建，它不改变类的核心初始化逻辑，只是提供一个便捷的“语法糖”。
• 指定初始化器的语义是核心初始化路径，它定义了类的一种基础创建方式，是类初始化逻辑的重要组成部分。

内容的提问来源于stack exchange，提问作者penangite