Swift与C++继承初始化行为差异及底层实现解析

我对Swift官方文档中关于继承初始化的内容存在困惑，文档指出EquilateralTriangle类的初始化分为三步：

1. 设置子类声明的属性值；
2. 调用父类初始化器；
3. 修改父类定义的属性，还可执行使用方法、getter或setter的额外设置工作。

我分别在Swift和C++中编写了示例代码并运行，得到不同输出：

Swift 示例代码 #

class Base {
    init() {
        print("Enter Base");
        setUp();
        print("Leave Base");
    }
    func setUp() -> Void {
        print("base setUp()")
    }
}

class Derived: Base {  
    let number: Int;
    override init () {      
        number = 5;
    }
    override func setUp() -> Void {
        print("derived setUp() \(number)")
    }
}

let d = Derived()
let b = Base()

Swift 输出 #

Enter Base
derived setUp() 5
Leave Base
Enter Base
base setUp()
Leave Base

C++ 示例代码 #

#include <iostream>
#include <string>

class Base {
public:
    Base() {
        std::cout << "Enter Base" << std::endl;
        setUp();
        std::cout << "Leave Base" << std::endl;
    }
    virtual void setUp() {
        std::cout << "base setUp()" << std::endl;
    }
};

class Derived: public Base {  
    int number;
public:
    Derived () {
        number = 5;
    }
    void setUp() override {
        std::cout << "derived setUp() " << number << std::endl;
    }
};

int main()
{
  Derived d = Derived();
  Base b = Base();
}

C++ 输出 #

Enter Base
base setUp()
Leave Base
Enter Base
base setUp()
Leave Base

行为差异原因与底层实现对比 #

1. 初始化流程设计差异 #

• C++：子类对象构造分阶段执行，父类构造函数运行时，子类成员变量尚未完成初始化，此时对象的虚表（vtable）临时指向父类。这种设计是为了避免访问未初始化的子类状态，防止出现未定义行为，因此父类构造中调用的虚函数会解析为父类版本。
• Swift：严格强制执行三步初始化流程，编译器会在编译期检查子类必须先完成所有存储属性的赋值（确保状态合法），才能调用父类初始化器。此时子类的属性已完全就绪，父类初始化器中调用的方法会直接解析到子类的重写版本，这是Swift在保证初始化安全后的设计选择。

2. 底层方法调度差异 #

• C++的vtable机制：每个类维护独立的虚函数表，对象的虚指针（vptr）在构造过程中逐步切换。父类构造时，vptr指向父类vtable；父类构造完成后进入子类构造阶段，vptr才切换到子类vtable。因此父类构造中的虚函数调用只能匹配父类实现。
• Swift的动态调度：Swift类方法默认采用动态调度，对象的元类型（Metadata）在初始化早期就完成子类信息绑定。结合编译期的初始化安全检查（确保子类属性先赋值），父类初始化器中调用的方法会直接路由到子类的重写实现，无需担心访问未初始化成员的风险。

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