众所周知,当类的对象作为函数返回值的时候,函数会调用类的复制构造函数或移动构造函数,来构造一个临时无名对象返回主函数中。
当一个类中既有复制构造函数,又有移动构造函数的时候,函数在返回时,编译器调用的是复制构造函数还是移动构造函数?调用的依据又是什么?首先来看一个例子:
#include<iostream>
using namespace std;
class IntNum{
private:
int *xptr;
public:
//构造函数
IntNum(int x = 0) : xptr(new int(x)){
//构造函数的任务直接在初始化列表里完成,即动态分配int变量,并把变量地址赋给私有数据成员指针xptr
cout << "Calling copy constructor..." << endl;
}
//复制构造函数
IntNum(const IntNum &n) :xptr(new int(*n.xptr)){
/*在初始化列表中,动态分配int变量(初始化参数为被调用来进行复制构造的IntNum对象里的动态变量的值,*n.xptr即*(n.xptr)),
并把变量地址赋给私有数据成员指针xptr*/
cout << "Calling copy constructor..." << endl;
}
//移动构造函数
IntNum(IntNum &&n) :xptr(n.xptr){
//初始化列表将被移动IntNum对象的指针xptr的地址赋给当前创建的新对象指针xptr,那么原对象的动态分配空间就“继承”给了当前对象
/*全局函数getNum中定义一个IntNum局部对象a,调用的是复制构造函数;return a则是调用移动构造函数,构造一个临时无名对象返回主函数中;
&&是右值引用,右值引用的好处是,只将临时对象(a)的资源做了浅拷贝,不需要对其进行深拷贝,从而避免了额外的拷贝,提高性能。*/
n.xptr = nullptr;//置为空指针
cout << "Calling move constructor..." << endl;
}
//析构函数
~IntNum(){
delete xptr;
cout << "Destructing..." << endl;
}
//成员函数
int getInt(){
return *xptr;
}
};
//一个全局函数,返回值为IntNum类对象
IntNum getNum(){
IntNum a;//这里调用的是类的构造函数
return a;/*这里编译器自动调用移动构造函数,为什么没有调用复制构造函数?
是因为,当对象a将作为实参传进复制构造函数/移动构造函数时,编译器会对对象a做一个判断,
如果对象a是一个临时对象(局部对象),则编译器认为构造函数只需要对象a作为右值传入,不需要对象a作为左值传入构造函数,
当作为右值传入函数时,移动构造函数只是将临时对象(a)的资源做了浅拷贝,不需要对其进行深拷贝,从而避免了额外的拷贝,提高性能。*/
}
int main(){
cout << getNum().getInt() << endl;
return 0;
}
哎呀,我对代码的理解已经写到了代码中了,就懒得赘述了😄。