问题:
有一个类,名字是C,假设有一个函数,它的定义为:
- C func()
- {
- C tmp;
- return tmp;
- }
即返回C类型的函数,那么考虑表达式C newC = func();将调用几次构造函数?分别是什么类型的构造函数?
解答:
<<C++ primer>>里有提到这个过程,首先会创建一个临时的类对象,该对象是由复制构造函数生成,参数是tmp。然后再调用复制构造函数初始化newC。所以一共调用了两次复制构造函数。
但现在的gcc不这么处理,会做一个优化。在C函数里有个tmp变量,离开func时不撤销这个对象,而是让newC和这个对象关联起来。也就是说tmp的地址和newC是一样的。
实验:
- #include <iostream>
- using namespace std;
- class test
- {
- private:
- int num;
- static int total ;
- public:
- test()
- {
- num = 0 ;
- cout << "in the default constructor\n" ;
- total ++;
- }
- test(const test& a )
- {
- num = a. num;
- cout << "in the copy constructor\n" ;
- total ++;
- }
- test(int a)
- {
- num = a;
- cout << "in the one-para constructor\n" ;
- total ++;
- }
- test& operator=(const test& a )
- {
- num = a. num;
- cout << "in the assign op\n" ;
- return * this;
- }
- static void print ()
- {
- cout << total << endl;
- }
- int showa ()
- {
- return num;
- }
- };
- int test:: total = 0;
- test testfunc(test t )
- {
- cout << "1\n";
- test tmp(5 );
- cout << "address of tmp:" << &tmp << endl ;
- cout << "2\n";
- return tmp ;
- }
- int main()
- {
- test para;
- test result = testfunc (para);
- cout << "address of result:" << &result << endl ;
- cout << "result.a = " << result.showa () << endl;
- cout << "3\n";
- test::print ();
- return 0;
- }
那个static变量用来记录一共调用了几次构造函数。
结果:
解释:
第1行是因为test para;调用了默认构造函数。
第2行是因为把para传给函数形参调用了赋值构造函数。
第3行表明进入了testfunc()
第4行tmp调用参数为int的构造函数
第5行输出tmp的地址
第6行表明要离开函数
第7行输出result的地址,发现和tmp的地址是一样的