在 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。
亿速云「云服务器」,即开即用、新一代英特尔至强铂金CPU、三副本存储NVMe SSD云盘,价格低至29元/月。点击查看>>
免责声明:本站发布的内容(图片、视频和文字)以原创、转载和分享为主,文章观点不代表本网站立场,如果涉及侵权请联系站长邮箱:is@yisu.com进行举报,并提供相关证据,一经查实,将立刻删除涉嫌侵权内容。