将不可复制的对象放入标准容器

Question

这个类是否设计了标准的 C++0x 方法来防止 copy 和 assign，以保护客户端代码免受 data 的意外双重删除？

struct DataHolder {
  int *data;   // dangerous resource
  DataHolder(const char* fn); // load from file or so
  DataHolder(const char* fn, size_t len); // *from answers: added*
  ~DataHolder() { delete[] data; }

  // prevent copy, to prevent double-deletion
  DataHolder(const DataHolder&) = delete;
  DataHolder& operator=(const DataHolder&) = delete;

  // enable stealing
  DataHolder(DataHolder &&other) {
    data=other.data; other.data=nullptr;
  }
  DataHolder& operator=(DataHolder &&other) {
    if(&other!=this) { data = other.data; other.data=nullptr};
    return *this;
  }
};

您注意到，我在这里定义了新的 move 和 move-assign 方法。我是否正确实施了它们？

我有什么方法可以 - 使用 move 和 move-assign 定义 - 将 DataHolder 放入标准容器中？像vector？我该怎么做？

我想知道，我想到了一些选项：

// init-list. do they copy? or do they move?
// *from answers: compile-error, init-list is const, can nor move from there*
vector<DataHolder> abc { DataHolder("a"), DataHolder("b"), DataHolder("c") };

// pushing temp-objects.
vector<DataHolder> xyz;
xyz.push_back( DataHolder("x") );
// *from answers: emplace uses perfect argument forwarding*
xyz.emplace_back( "z", 1 );

// pushing a regular object, probably copies, right?
DataHolder y("y");
xyz.push_back( y ); // *from anwers: this copies, thus compile error.*

// pushing a regular object, explicit stealing?
xyz.push_back( move(y) );

// or is this what emplace is for?
xyz.emplace_back( y ); // *from answers: works, but nonsense here*

emplace_back 的想法在这里只是一个猜测。

编辑：为了方便读者，我将答案放入示例代码中。

Answer 1

您的示例代码看起来大部分正确。

1. const DataHolder &&other（在两个地方）。

2. if(&other!=this) 在您的移动赋值运算符中看起来没有必要但无害。

3. 初始化列表向量构造函数不起作用。这将尝试复制您的DataHolder，您应该会收到编译时错误。

4. 带有右值参数的 push_back 和 emplace_back 调用将起作用。带有左值参数的那些（使用y）会给你编译时错误。

push_back 和 emplace_back 在你使用它们的方式上确实没有区别。 emplace_back 用于当您不想在向量之外构造 DataHolder 时，而是传递参数以仅在向量内部构造一个。例如：

// Imagine this new constructor:
DataHolder(const char* fn, size_t len);

xyz.emplace_back( "data", 4 );  // ok
xyz.push_back("data", 4 );  // compile time error

更新：

我刚刚注意到您的移动赋值运算符有内存泄漏。

DataHolder& operator=(DataHolder &&other)
{
   if(&other!=this)
   {
      delete[] data;  // insert this
      data = other.data;
      other.data=nullptr;
   }
   return *this;
}

Answer 2

没有名称的临时对象，例如。 DataHolder("a")，可用时移动。 C++0x 中的标准容器会尽可能移动，这也允许将std::unique_ptr 放入标准容器中。
除此之外，您错误地执行了移动操作：

  // enable stealing
  DataHolder(const DataHolder &&other) {
    data=other.data; other.data=nullptr;
  }
  DataHolder& operator=(const DataHolder&&other) {
    if(&other!=this) { data = other.data; other.data=nullptr};
    return *this;
  }

如何从一个常量对象中移动？您不能只更改other 的data，因为other 是不变的。将其更改为简单的DataHolder&&。