这是我自己写的一段代码
#include
using namespace std;
class Example
{
int num;
public:
Example(int i)
{
num=i;
cout<<"This is construction with parameter.\n";
}
Example()
{
num=0;
cout<<"This is construction without parameter.\n";
}
Example(Example& ex)
{
cout<<"This is Copy construction.\n";
}
~Example()
{
cout<<"This is deconstruction.\n";
}
Example& operator =(Example& ex)
{
cout<<"This is assignment function.\n";
this->num=ex.num;
return *this;
}
};
Example fun(Example b)
{
cout<<"fun().\n";
return b;
}
int main()
{
Example b(10); //(1)
Example a=fun(b);//(2)
cin.get();
}
该函数的输出为(亲测):
This is construction without parameter.
This is Copy construction.
fun().
This is Copy construction.
书上说的也都是这样,但是我有个问题:
main中第二步执行时首先调用复制构造函数对应传入的对象b生成一个临时对象(temp),return时再次调用复制构造函数生成一个临时对象用于返回,然后temp析构,按书上说的此刻程序就走完了,但是在main中这一步Example a=fun(b)不应该再用return的那个临时对象来初始化a吗?应该再调用一次复制构造函数才对啊?此处一直想不通,请高手来解答。
查了下貌似和NRVO优化有关
编译器还有一种优化叫RVO
Example a=fun(b);
返回的还是之前的b,不会再调用构造函数。
This is construction with parameter.
this is copy construction.
fun().
this is copy construction.
this is deconstruction.
this is assigment function.
this is deconstruction.
这就是先声明两个对象,在fun(b)时调用一次复制构造函数生成一个临时变量(temp),返回时再调用一次复制构造函数生成一个临时变量(temp2),返回后将temp析构,然后将temp2赋值给a,可以看出应该是在函数返回时再次调用了一次复制构造函数啊