C++ - 对象的构造顺序

1.对象构造的顺序

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

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

对于全局对象：对象的构造顺序是不确定的，不同的编译器使用不同的规则确定构造顺序。

2.局部对象：

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

代码示例：

#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;

    while( i < 3 )
    {
        Test a2 = ++i;
    }

    if( i < 4 )
    {
        Test a = a1;
    }
    else
    {
        Test a(100);
    }

    return 0;
}

 结果：
Test(int i): 0
Test(int i): 1
Test(int i): 2
Test(int i): 3
Test(const Test& obj): 0
 

3.对于堆对象：

当程序执行流到达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;
}

4.对于全局对象：

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

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

main.cpp：

#include "test.h"

Test t4("t4");

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

编译：g++ 21-3.cpp t2.cpp t1.cpp t3.cpp

输出：
t3   t1  t2  t4  t5

vc
同样的编译顺序。
输出：
t4  t2  t1  t3  t5

不同版本的编译器之间输出都是有差异的。