在 Swift 中，哪个不变式确保类实例在其整个继承链中的所有存储属性达到确定初始化之前保持不可访问？

问题回答

Swift 的初始化模型旨在消除像 Objective-C 这样的语言中常见的未定义行为，其中在所有内存初始化之前访问实例方法或属性可能导致段错误或安全漏洞。根本问题在于类层次结构：子类对象包含自己的存储属性及所有继承属性的内存，编译器必须确保在每个字节有效之前，没有代码触摸这块内存。为了解决这个问题，Swift 通过静态分析强制执行 确定初始化（DI） 不变式，规定对象在其两阶段初始化的第一阶段结束之前保持部分构造的、不安全的状态。在第一阶段中，初始化器必须为当前类引入的所有属性赋值，随后向上委托给超类的初始化器；只有在该阶段完成后，才能安全地访问或逃逸 self。

class Vehicle {
    let wheelCount: Int
    init(wheels: Int) {
        self.wheelCount = wheels // Vehicle 的第一阶段完成
    }
}

class Bicycle: Vehicle {
    let hasBell: Bool
    
    init(bell: Bool) {
        // 第一阶段：先初始化自己的属性
        self.hasBell = bell
        // 然后委托给超类
        super.init(wheels: 2)
        // 第一阶段完成：完全确定初始化实现
        
        // 第二阶段：可以安全使用 self
        self.checkSafety()
    }
    
    func checkSafety() {
        print("有 \(wheelCount) 个轮子的自行车 \(hasBell ? "有" : "没有") 铃声")
    }
}

生活中的情境

在开发医疗记录应用程序时，我们面临一个复杂的场景，其中有一个 PatientRecord 超类和一个 ICUPatientRecord 子类，在初始化期间需要基于患者年龄（超类属性）计算严重性得分。初始实现尝试在调用 super.init(age:) 之前调用一个辅助方法 calculateSeverity()，该方法访问了 self.age，导致编译器错误，因为子类初始化器尚未保证继承内存的安全性。我们评估了三种不同的架构方法来解决这个约束。

一种方法是将严重性得分声明为隐式解包可选（var severity: Int!），并将赋值推迟到超类初始化完成之后。虽然这满足了编译器，但引入了显著的运行时风险：在赋值之前访问该属性可能导致崩溃，并且阻止我们使用不可变的 let 声明，损害了记录的完整性保证。

第二种策略考虑使用静态工厂方法，只为读取年龄实例化一个临时占位对象，离线计算严重性，然后使用预计算值构造真实实例。这保持了内存安全，但增加了大量样板代码，并模糊了初始化流程，导致代码库对其他团队成员来说显著更难维护和调试。

最终选择的解决方案是重构初始化器，以接受年龄作为参数，使用一个纯静态函数计算严重性，该函数在输入参数上操作，而不是实例属性，并将预计算的值传递给指定的初始化器。这种方法通过允许 severity 成为 let 常量来保持不变性，严格遵循两阶段初始化规则，并使编译器可以在构建时而非运行时验证安全性。结果是一个零崩溃的初始化序列，清晰地表达了年龄与严重性之间的数据依赖，同时利用了 Swift 的静态分析来防止回归。

候选者通常会错过的

为什么编译器阻止在 self 上调用实例方法，即使这些方法在子类中定义并且看起来与超类属性无关？

编译器强制执行这一限制，因为对象作为分配的内存存在，但超类部分仍然是未初始化的原始内存。对 self 的任何方法调用——无论它在哪里定义——都会获得完整的对象指针，并可能通过间接方式访问未初始化的超类字段，违反内存安全。Swift 保守地将第一阶段完成之前的所有 self 使用视为不安全，只允许直接分配给当前类的存储属性。

确定初始化分析如何处理 weak 引用属性与 unowned 引用属性的区别？

确定初始化检查器将可选类型视为有效的初始值，weak 变量被隐式视为 可选，编译器自动注入 nil。因此，weak 属性在初始化器中不需要显示初始化。相反，unowned 引用是非可选的，并假定立即为非 nil 语义；因此，在初始化器完成之前，必须为其分配值，和强引用一样，否则编译器将发出确定初始化错误。

便捷初始化器与指定初始化器在确定初始化方面有什么不同的委托规则？

便捷初始化器作为次要入口点，必须在执行任何与实例特定操作之前委托给指定初始化器（通过 self.init）。它们被严格禁止直接初始化存储属性，因为它们调用的指定初始化器负责满足确定初始化要求。这与指定初始化器形成对比，后者在向上委托给超类初始化器之前，必须初始化其类引入的所有属性，确保对象在层次结构的每个级别都是有效的。