第21课 对象的构造顺序

问题：

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

对象的构造顺序一：

示例如下：

#include <stdio.h>

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

int main()
{
    int i = 0;
    Test a1 = i;
        
    while( i < 3 )
    {
        Test a2 = ++i;
    }
        
    if( i < 4 )
    {
        Test a = a1;
    }
    else
    {
        Test a(100);
    }

    return 0;
}

运行结果如下：

 添加上goto语句，运行结果如下：

引入goto使得30-37行的程序被跳过，因此a对象就不会被构造了。

执行流和局部对象的构造息息相关。

非法改变程序的执行流，可能引起灾难性的错误。

示例如下：

我们使用goto跳过了34行，在36行又调用这个a对象，这时编译器就会报错。

g++编译器在这种情况下会报错，但是其他编译器却不一定。

VC下的编译运行结果如下：

可见编译器之间的行为并不一样。

对象的构造顺序二：

示例程序：

#include <stdio.h>

class Test
{
private:
    int mi;
public:
    Test(int i)
    {
        mi = i;
        printf("Test(int i): %d
", mi);
    }
    Test(const Test& obj)
    {
        mi = obj.mi;
        printf("Test(const Test& obj): %d
", 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 )
            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语句的影响。

 对象的构造顺序三：

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

示例：

#ifndef _TEST_H_
#define _TEST_H_

#include <stdio.h>

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

#endif

#include "test.h"

Test t1("t1");

#include "test.h"

Test t2("t2");

#include "test.h"

Test t3("t3");

#include "test.h"

Test t4("t4");

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

全局对象的构造一定是在main函数执行前完成的，这和程序的执行流没有关系。因为main函数执行前不存在执行流的概念。

如果出现多个全局对象，则他们的构造顺序就不确定了。

运行结果如下：

 VC下的编译情况如下：

运行结果如下：

由以上现象可以看到，全局对象的构造顺序是不确定的，不同的编译器是不一样的。

因此，我们在开发的时候要避开全局对象之间的相互依赖。

小结：