C++深度解析对象的构造顺序 --- 局部对象的构造顺序，goto语句，堆对象的构造顺序，全局对象的构造顺序（20）

本文链接：https://blog.youkuaiyun.com/xiaodingqq/article/details/85257251

C++深度解析对象的构造顺序 --- 局部对象的构造顺序，goto语句，堆对象的构造顺序，全局对象的构造顺序（20）

C++中的类可以定义多个对象，那么对象构造的顺序是怎样的？

局部对象的构造顺序

当程序执行流 到达对象的定义语句时 进行构造。

示例程序一：

#include <stdio.h>

class Test
{
private:
    int mi;
public:
    Test(int i)
    {
        mi = i;
        printf("Test(int i): %d\n", mi);
    }
    Test(const Test& obj)
    {
        mi = obj.mi;
        printf("Test(const Test& obj): %d\n", mi);
    }
};

int main()
{
    int i = 0;
    Test a1 = i; //Test(int i): 0
    
    while (i < 3)
    {
        //对象的定义语句
        Test a2 = ++i; //Test(int i): 1，2，3
    }
    
    if (i < 4)
    {
        Test a = a1; //Test(const Test& obj): 0
    }
    else
    {
        Test a(100);
    }
    
    return 0;
}

结果如下：

示例程序二：（不速之客：goto语句）

#include <stdio.h>

class Test
{
private:
    int mi;
public:
    Test(int i)
    {
        mi = i;
        printf("Test(int i): %d\n", mi);
    }
    Test(const Test& obj)
    {
        mi = obj.mi;
        printf("Test(const Test& obj): %d\n", mi);
    }
    int getMi()
    {
        return mi;
    }
};

int main()
{
    int i = 0;
    Test a1 = i; //Test(int i): 0
    
    while (i < 3)
    {
        //对象的定义语句
        Test a2 = ++i; //Test(int i): 1，2，3
    }
goto End;
    Test a(100);
End:
    printf("a.mi = %d\n", a.getMi());
    return 0;
}

结果如下：

分析：

从上面的结果可知，不要使用goto语句，由于使用goto语句，就会跳过a对象的初始化。

程序执行流，直接和局部对象构造息息相关。如果非法改变程序执行流，那么程序可能产生灾难性的错误。上面程序goto End，将程序执行流重新定义到End，恰好跳过Test a(100)的定义。

关于堆对象的构造顺序

当程序执行流到达new语句时创建对象。

使用new创建对象将自动触发构造函数的调用。

示例程序：

#include <stdio.h>

class Test
{
private:
    int mi;
public:
    Test(int i)
    {
        mi = i;
        printf("Test(int i): %d\n", mi);
    }
    Test(const Test& obj)
    {
        mi = obj.mi;
        printf("Test(const Test& obj): %d\n", mi);
    }
    int getMi()
    {
        return mi;
    }
};

int main()
{
    int i = 0;
    Test* a1 = new Test(i); //Test(int i): 0
    
    while (++i < 10)
        if(i % 2) //i为奇数时
            new Test(i); //Test(int i): 1, 3, 5, 7, 9
  
    if (i < 4)
        new Test(*a1);
    else
        new Test(100); //Test(int i): 100
    
    return 0;
}

结果如下：

分析：堆对象的创建会收到 goto语句的影响。goto语句会改变程序的执行流。

对于全局对象的构造顺序

对象的构造顺序是不确定的。

不同的编译器使用不同的规则确定构造顺序。

示例程序：

21-3.cpp：

#include "test.h"

Test t4("t4");

int main()
{
    Test t5("t5");
}

t1.cpp：

#include "test.h"

Test t1("t1");

t2.cpp：

#include "test.h"

Test t2("t2");

t3.cpp：

#include "test.h"

Test t3("t3");

test.h：

#ifndef _TEST_H_

#define _TEST_H_

#include <stdio.h>

class Test
{
public:
    Test(const char* s)
    {
        printf("%s\n", s);
    }
};

#endif

结果如下：