【C++深度解析】14、对象的构造顺序

1 对象构造的顺序

• 局部对象：程序执行流到达对象的定义语句时进行构造
• 堆对象：当程序的执行流到达 new 语句时创建对象
• 全局对象：构造顺序是不确定的

1.1 堆对象的构造顺序

• 当程序执行流到达new语句时创建对象
• 使用 new 创建对象将自动触发构造函数的调用

// 14-1.cpp
#include<stdio.h>
class Test
{
public:
    Test(int i):x(i)
    {
        printf("Test(int):%d\n", i);
    }
    Test(const Test& obj)
    {
        x = obj.x;
        printf("Test(const Test&)\n");
    }
private:
    int x;
};
int main()
{
    int i = 0;
    Test* a1 = new Test(i);
    while (++i < 8)
    {
        if (i % 2)
          new Test(i);
    }
    return 0;
}

$ g++ 14-1.cpp -o 14-1
$ ./14-1
Test(int):0
Test(int):1
Test(int):3
Test(int):5
Test(int):7

1.2 全局对象的构造

• 对象的构造顺序是不确定的
• 不同的编译器使用不同的规则确定构造顺序

// test.h
#ifndef _TEST_H_
#define _TEST_H_
#include<stdio.h>
class Test
{
public:
    Test(const char* s)
    {
        printf("%s\n", s);
    }
};
#endif

// t1.cpp
#include"test.h"
Test t1("t1");

// t2.cpp
#include"test.h"
Test t2("t2");

// t3.cpp
#include"test.h"
Test t3("t3");

// 14-2.cpp
#include"test.h"
Test t4("t4");
int main()
{
    Test t5("t5");
    return 0;
}

t1, t2, t3, t4 为全局变量，t5 为局部变量，全局变量的构造在主函数之前，但是他们之间的相对顺序是不确定的。

我们先用 g++ 编译器编译。

$ g++ 14-2.cpp t1.cpp t2.cpp t3.cpp -o 14-2
$ ./14-2
t4
t1
t2
t3
t5

再用 vs 编译器编译：

这里二者构造顺序相同是巧合。

2 构造和析构函数的调用顺序

1. 调用父类的构造过程
2. 调用成员变量的构造函数（调用顺序与声明顺序相同）
3. 调用类自身的构造函数

析构函数与对象的构造函数的调用顺序相反

// 14-3.cpp
#include<stdio.h>
class Member
{
public:
    Member(const char* s) : ms(s)
    {
        printf("Member(const char* s):%s\n", s);
    }
    ~Member()
    {
        printf("~Member():%s\n", ms);
    }
private:
    const char* ms;
};
class Test
{
public:
    Test() : mB("mB"), mA("mA")
    {
        printf("Test()\n");
    }
    ~Test()
    {
        printf("~Test()\n");
    }
private:
    Member mA;
    Member mB;
};
Member gA("gA");
int main()
{
    Test t;
    return 0;
}

$ g++ 14-3.cpp -o 14-3
$ ./14-3
Member(const char* s):gA
Member(const char* s):mA
Member(const char* s):mB
Test()
~Test()
~Member():mB
~Member():mA
~Member():gA

3 小结

1、局部对象的构造顺序依赖于程序的执行流
2、堆对象的构造顺序依赖于new的使用顺序
3、全局对象的构造顺序是不确定的