对象的构造顺序（十六）

        在 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;
}

        咱们按照程序的执行流能够看到先是执行对象 a1 的建立，接着是对象 a2 的建立 3 次，最后是对象 a 的拷贝构造。咱们看看结果是否如咱们所分析的那样

        咱们看到局部对象的构造顺序确实如咱们所想的那样。若是咱们使用 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 语句，致使程序的执行流出错了。

        接下来咱们来看看堆对象的构造顺序，当程序执行流到达 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 )
            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;
}

        咱们看看是否如咱们所注释的那样执行的

        确实，堆对象的构造顺序是跟 new 关键字有关系的。下来咱们来看看全局对象，对象的构造顺序是不肯定的，不一样的编译器使用不一样的规则来肯定构造顺序。仍是以代码为例来进行验证

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");

test.cpp 源码

#include "test.h"

Test t4("t4");

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

        咱们来编译看看结果

        这个结果貌似跟咱们指定编译的顺序有关系，咱们再来看看BCC编译器呢

        再来试试 VS2010

        之前博主在书上和视频中看到过全局对象的构造顺序是不肯定的，可能如今的编译器作了优化吧。反正咱们记住就能够了，尽可能避免使用全局对象。经过对对象的构造顺序的学习，总稽核以下：局部对象的构造顺序依赖于程序的执行流；堆对象的构造顺序依赖于 new 的使用顺序；全局对象的构造顺序是不肯定的

        欢迎你们一块儿来学习 C++ 语言，能够加我QQ：243343083。