0

Stack Overflow 上有很多关于 std::move 和复制省略之间的交互的线程，例如
什么是复制省略和返回值优化？
如何对复制省略/返回值优化有信心
c++11 返回值优化或移动？

但是，所有这些线程似乎都没有回答这个问题，即是否可以依赖编译器进行必要的优化。

如果在最坏的情况下我们的性能略有下降，这不是问题，但如果由于可能重复的析构函数调用而与正确性冲突，则可能是致命的。

我有以下情况：

class ObjectContainer {

    Object* obj;

public:

    ObjectContainer(Object* o): obj(o) {}
    ~ObjectContainer() {
        if (obj) delete obj;
    }

    ObjectContainer(ObjectContainer&& other): obj(other.obj) {
        other.obj = nullptr;    
    }

};

ObjectContainer create_container() {
    return ObjectContainer(new Object());
}

那里会发生什么？这能保证工作吗？或者是否存在代码无法编译的情况，或者更糟糕的是，析构函数在同一个对象上被调用两次？

据我了解，如果我声明了移动构造函数，编译器不会生成默认的复制构造函数。我必须指定一个复制构造函数吗？如果我这样做会怎样？或者我应该在 return 语句中使用 std::move 吗？

我将像这样调用上面的方法：

void do_stuff() {
    do_some_other_stuff(create_container());
}

void do_some_other_stuff(ObjectContainer const& oc) {
    ...
}
4

1 回答 1

1

那里会发生什么？这能保证工作吗？或者是否存在代码无法编译的情况，或者更糟糕的是，析构函数在同一个对象上被调用两次？

只要您使用自动变量和临时对象，C++ 就保证构造的每个对象都将被销毁。省略不会破坏代码的含义；这只是一个优化。

复制省略并没有真正省略复制/移动；它忽略了对象的存在。

在 C++17 之前的版本中，您的代码说要构造一个ObjectContainer临时对象，然后将其复制/移动到ObjectContainer函数的返回值中。编译器可以省略临时的创建，而是直接从临时的给定参数构造返回值对象。在这样做时，它消除了复制/移动，但它也消除了对它没有创建的临时的破坏。

（在 C++17 后，此代码表示使用纯右值直接初始化返回值对象，因此这里不可能使用临时值。）

我必须指定一个复制构造函数吗？

如果您希望对象是可复制的，您只需要指定一个复制构造函数。如果您为类型提供移动构造函数，编译器将自动= delete其他复制/移动构造函数/赋值运算符，除非您明确编写它们。

如果我这样做会怎样？

这一切都取决于您放入复制构造函数中的内容。如果您对值进行标准副本，那么您就破坏了您的类型的工作方式，因为它应该对分配的指针具有唯一的所有权。

或者我应该在 return 语句中使用 std::move 吗？

……你为什么会？return 语句被赋予一个prvalue；你永远不需要std::move在prvalues上使用。

于 2018-03-09T15:05:55.363 回答