对象的构造顺序并不难,但是有很多bug会由对象的构造顺序产生,所以我们有必要梳理一下对象的构造顺序。
我们先提出一个问题:
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);
}
}
结果显示就是顺序执行流影响对象的创建顺序。如果使用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());
}
显然,在程序中跳过了a对象的创建,那么之后再调用a对象,便会出现错误,但不是所有的编译器都会报错,下面是标准编译器和VC++的编译器结果。
而VC++中的编译器默认了这样的写法
最后a对象生成了随机数,在实际工程中是灾难性的。
堆对象
当程序执行流到达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
}
我们来看看程序执行符不符合我们的预期。
从结果看,是符合我们的预期的。
全局对象
对象的构造顺序是不确定的
不同的编译器使用不同的规则确定构造顺序
小结
局部对象的构造顺序依赖于程序的执行流
堆对象的构造顺序依赖于new的使用顺序
全局对象的构造顺序是不确定的
以上资料均来自狄泰,群号:199546072,志同道合的朋友可以加我:
qq:335366243
微信:zhong_335366243