先看代码:
#include <iostream>
class B
{
int data;
public:
B(int a) : data(a)
{
std::cout << "111111" << std::endl;
}
B(const B &b)
{
data = b.data;
std::cout << "222222" << std::endl;
}
};
B MyPlay(B b)
{
return b;
}
int main()
{
B t1 = MyPlay(5);
system("PAUSE ");
}
大家觉得上面的代码会调用几次拷贝构造函数?
1、3次。错误,这个答案肯定以为入参时先调用有参构造函数生成B的对象,然后又调用拷贝构造函数生成临时对象,这是不对的,当调用有参构造函数得到一个B对象后,这个B对象就是进入函数内的参数对象了。
2、2次。过时,想到这个答案的人对c++的认知还停留在过去,认为函数返回时会调用一次拷贝构造函数生成临时对象,而t1使用临时对象初始化时又调用一次拷贝构造函数,这个思路是对的,c++11之前确实是这个原理。可是后来c++引入了一种叫做移动构造函数的概念,用来优化临时对象的资源浪费。
3、1次。看编译器的优化策略,事实上我在本地运行上面的代码,结果如下:
111111
222222
请按任意键继续. . .
确实调用了一次拷贝构造函数,事实上c++11之后引入了移动构造函数,编译器为了优化临时对象的深拷贝带来的影响,会直接使用移动构造函数把临时变量直接浅拷贝返回。因为直接返回参数,参数是一个临时对象,编译器检测到构造函数的入参是一个右值,就调用了一次移动构造函数把这个临时对象浅拷贝到t1。但是为什么结果会调用了一次拷贝构造函数呢?因为我们没有显示地定义移动构造函数时,移动构造函数会调用拷贝构造函数来实现。
4、0次。如果你把移动构造函数显示地写出来,代码如下:
#include <iostream>
class B
{
int data;
public:
B(int a) : data(a)
{
std::cout << "111111" << std::endl;
}
B(const B &b)
{
data = b.data;
std::cout << "222222" << std::endl;
}
B(B &&b)
{
data = b.data;
std::cout << "333333" << std::endl;
}
};
B MyPlay(B b)
{
return b;
}
int main()
{
B t1 = MyPlay(5);
system("PAUSE ");
}
运行结果如下:
111111
333333
请按任意键继续. . .
可以看到它一次都没有调用拷贝构造函数,而是只调用了一次移动构造函数。我们可以推测到编译器优化,它认为直接把参数返回,那么完全可以利用参数这个临时对象中指针成员指向的资源,不需要再构造一个新对象,进行深度拷贝,所以也就不需要调用拷贝构造函数了。