C++构造函数调用顺序深度解析：从对象初始化到继承链的完整指南

1次阅读

没有评论

共计 1993 个字符，预计需要花费 5 分钟才能阅读完成。

理解构造函数调用顺序的核心在于掌握对象生命周期的起点。当我们在堆或栈上创建一个对象时，编译器需要确保：

内存分配完成后，各子对象按正确顺序初始化
基类成员先于派生类成员初始化
成员变量按声明顺序初始化（与初始化列表顺序无关）

关键注意点：错误的初始化顺序可能导致成员变量访问未初始化的基类数据，这是 UB 的常见诱因

不同继承方式不影响构造顺序本身，但会影响后续的成员访问权限：

public 继承：基类 public/protected 成员在派生类保持原访问级别
protected 继承：基类 public 成员在派生类变为 protected
private 继承：基类所有成员在派生类变为 private

class Base {/*...*/};
class PublicDerived : public Base {};  // 构造顺序相同
class PrivateDerived : private Base {}; // 但外部无法将 PrivateDerived 转为 Base*

struct Printer {Printer() {cout << "Printer 构造 \n";}
};

struct Scanner {Scanner() {cout << "Scanner 构造 \n";}
};

// 多继承示例（注意基类声明顺序）class AllInOne : public Printer, public Scanner {
  unique_ptr<int> buffer;
public:
  AllInOne() : buffer(make_unique<int>(42)) {cout << "AllInOne 构造 \n";}
};
/* 输出顺序：Printer 构造
   Scanner 构造
   AllInOne 构造
*/

虚基类 (virtual base) 会由最派生类直接初始化，避免菱形继承中的重复构造：

struct VirtualBase {VirtualBase() {cout << "VirtualBase 构造 \n";}
};

struct Mid1 : virtual VirtualBase {};
struct Mid2 : virtual VirtualBase {};

struct Final : Mid1, Mid2 {// VirtualBase 在此处被最终构造};

class Base {
protected:
  int x;
public:
  Base(int val) : x(val) {}};

class Derived : public Base {
  int* data;
public:
  Derived() : data(new int[x]) {} // UB! x 未初始化
  // 修正：Derived() : Base(10), data(new int[10]) {}};

class A {
  string name;
public:
  A(const string& s) : name(s) {}};

class B {
  int id;
public:
  B(int i) : id(i) {}};

class C : public A, public B {
public:
  C() : B(computeID()), A(getName()) {} // 实际仍按 A→B 顺序构造
  // 修正：调整基类声明顺序或确保无依赖
};

class ResourceHolder {
  FILE* file;
  int* buf;
public:
  ResourceHolder() : file(fopen("data.bin", "rb")), buf(new int[1024]) {if(!file) throw runtime_error("文件打开失败");
    // 如果此处抛出异常，buf 已分配的内存泄漏
  }
  // 修正：使用智能指针或实现完整的 try-catch 清理
};

调用派生类构造函数
按继承列表顺序调用基类构造函数
按声明顺序初始化成员变量
执行派生类构造函数体

使用 RAII 对象管理资源（如 unique_ptr 代替裸指针）
构造函数内避免复杂逻辑
如需可能抛出异常的操作，使用函数 try 块：

class SafeExample {
  vector<int> data;
public:
  SafeExample(size_t count)
  try : data(count) {// 构造函数体} catch (...) {
    // 自动清理已构造的成员
    throw;
  }
};