如何返回没有复制构造函数的对象

Question

我的问题涉及如何返回没有复制构造函数的对象.举一个例子,让我们想象一下,我有一些bigResource位于堆中,让我们说我用它来跟踪它unique_ptr.现在假设我将此资源的所有权交给了毛毛虫.然后我有一个CaterpillarWithBigResource.现在在某些时候,这CaterpillarWithBigResource将变成一个ButterflyWithBigResource,所以Caterpillar对象必须将所有权转移到Butterfly对象.

我编写了以下代码来模拟情况:

#include <cstdlib>
#include <iostream>
#include <memory>

class ButterflyWithBigResource {
public:

    //    If I uncomment just this line, I get an error
    //    ButterflyWithBigResource(const ButterflyWithBigResource& other) = default;

    //    If I uncomment just this line, I get an error
    //    ButterflyWithBigResource(const ButterflyWithBigResource& other) = delete;

    //   With both above lines commented out, I get no errors, and the program runs fine.

    ButterflyWithBigResource(std::unique_ptr<int>&& bigResource) :
    bigResource(std::move(bigResource)) {

    }

    const int& getResource() {
        return *bigResource;
    }

private:
    std::unique_ptr<int> bigResource;
};

class CaterpillarWithBigResource {
public:

    CaterpillarWithBigResource(int bigResource) :
    bigResource(new int(bigResource)) {

    }

    ButterflyWithBigResource toButterfly() && {
        return ButterflyWithBigResource(std::move(bigResource));
    }
private:
    std::unique_ptr<int> bigResource;
};

/*
 * 
 */
int main(int argc, char** argv) {
    CaterpillarWithBigResource caterpillarWithBigResource(5);
    ButterflyWithBigResource butterflyWithBigResource(std::move(caterpillarWithBigResource).toButterfly());
    std::cout << butterflyWithBigResource.getResource() << std::endl;
    return 0;
}

请注意,既没有Caterpillar也Butterfly没有默认的复制构造函数,因为它们每个都有一个unique_ptr.但是,我不希望这是问题,因此只需要移动构造函数.毕竟,我只是将所有权转移Caterpillar到了Butterfly.

事实上,当我g++ -c -g -std=c++11 -MMD -MP -MF使用g++版本编译程序时,4.8.2它工作得很好.

但现在奇怪的是,如果我要提醒的是,编译器Butterfly的复制通过增加线构造被删除ButterflyWithBigResource(const ButterflyWithBigResource& other) = delete;,该程序不再编译,编译器抱怨的拷贝构造函数被删除,所以我不能返回Butterfly的toButterfly方法.

如果我然后试着告诉它一切都没问题,而不是有线ButterflyWithBigResource(const ButterflyWithBigResource& other) = default;,我再次得到同样的错误.

我希望发生的是对Butterfly在构建的toButterfly方法将被移动到toButterfly的返回地址,再后来用作参数Butterfly的构造时移动的构造butterflyWithBigResource中main().有没有办法让这种情况发生？

Answer 1

当您注释掉显式行default和delete复制构造函数时,编译器可以自由地隐式生成移动构造函数(并移动赋值运算符).

通过显式default或delete复制构造函数,可以抑制移动构造函数的隐式生成.

来自N3337,§12.8/ 9 [class.copy]

如果类的定义X没有显式声明一个移动构造函数,那么当且仅当
- X没有用户声明的复制构造函数时,将隐式声明一个默认的构造函数,
-...

当不再生成移动构造函数时,toButterfly()必须复制返回值,但无论您是否默认或删除了复制构造函数,都会失败.

在您default使用复制构造函数的情况下,由于存在unique_ptr数据成员(不可复制),编译器无法生成默认的复制构造函数实现.

当您delete使用复制构造函数时,如果通过重载解析选择它,那就是错误.

您不必显式删除复制构造函数,因为如上所述,unique_ptr数据成员的存在会隐式删除它,但如果您想这样做,那么您还需要显式默认移动构造函数(以及移动赋值运算符,如果你想移动赋值工作)

ButterflyWithBigResource(ButterflyWithBigResource&&) = default;
ButterflyWithBigResource& operator=(ButterflyWithBigResource&&) = default;

现场演示