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;

Live demo

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

1 个答案: