C++ 编译器调用“复制构造函数”或“移动构造函数”时的自动选择分析

  众所周知,当类的对象作为函数返回值的时候,函数会调用类的复制构造函数或移动构造函数,来构造一个临时无名对象返回主函数中。

  当一个类中既有复制构造函数,又有移动构造函数的时候,函数在返回时,编译器调用的是复制构造函数还是移动构造函数?调用的依据又是什么?首先来看一个例子:

#include
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;
}

  哎呀,我对代码的理解已经写到了代码中了,就懒得赘述了。

你可能感兴趣的:(C++ 编译器调用“复制构造函数”或“移动构造函数”时的自动选择分析)