C++类构造函数调用时机深度解析：从对象创建到内存布局

1次阅读

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

当我们在 C ++ 中创建一个对象时，编译器会在背后执行一系列复杂的操作。构造函数作为对象生命周期的起点，其调用时机直接关系到程序的正确性和性能。

内存分配阶段：
对于栈对象，编译器会自动在栈上分配内存
对于堆对象，需要显式调用 new 运算符
全局 / 静态对象的内存在程序启动时就已经分配
构造函数调用阶段：
内存分配完成后立即调用构造函数
构造函数负责初始化对象的成员变量
构造函数执行期间对象的类型信息已经完全确定

class MyClass {
public:
    MyClass() { std::cout << "构造函数被调用 \n";}
};

void demo() {MyClass obj;  // 构造函数在对象创建时自动调用}

构造函数在对象作用域开始时自动调用
析构函数在离开作用域时自动调用

void demo() {MyClass* pObj = new MyClass();  // 1. 分配内存 2. 调用构造函数
    delete pObj;  // 1. 调用析构函数 2. 释放内存
}

new 操作符将内存分配和构造函数调用合并
必须显式调用 delete 来触发析构和释放

MyClass globalObj;  // 构造函数在 main()之前调用

void demo() {static MyClass staticObj;  // 构造函数在第一次执行到此处时调用}

构造顺序在不同编译单元间是不确定的
析构顺序与构造顺序相反

在继承关系中，构造函数的调用遵循特定规则：

普通继承：
先调用基类构造函数
然后调用成员对象的构造函数
最后调用派生类构造函数
虚继承：
虚基类的构造函数最先被调用
然后是非虚基类
最后是派生类

class Base {
public:
    Base() { std::cout << "Base 构造 \n";}
};

class Derived : public Base {
public:
    Derived() { std::cout << "Derived 构造 \n";}
};

// 输出顺序：// Base 构造
// Derived 构造

void* raw = operator new(sizeof(MyClass));  // 仅分配内存
MyClass* obj = new(raw) MyClass();  // placement new 调用构造函数

class Example {
    int a;
    std::string b;
public:
    Example() : a(42), b("hello") {}  // 优于构造函数内赋值};

构造函数内调用虚函数：
此时虚表可能未完全初始化
会调用当前类的实现而非派生类
构造函数抛出异常：
已构造的成员会被正确析构
但对象本身的内存需要妥善处理
初始化顺序依赖：
成员变量按声明顺序初始化
与初始化列表中的顺序无关

对不会抛出异常的构造函数标记为noexcept
尽可能使用 constexpr 构造函数
避免在构造函数中进行复杂计算
使用初始化列表而非赋值

classDiagram
    class MyClass {
        +int data
        +MyClass()}

    note for MyClass " 内存布局：1. vptr (如果有虚函数)
    2. data 成员
    3. 填充字节(如有需要)"