在 c++ 中创建不可复制但可移动的对象

Question

只是一个问题。看着 C++ Boost 库（特别是 boost::thread 类），我最终想到：“如何创建一个定义不能复制但可以从函数返回的对象的类？”

好考虑这个例子，boost::thread类具有我之前提到的特征，所以可以这样做：

boost::thread make_thread();

void f()
{
    boost::thread some_thread=make_thread();
    some_thread.join();
}

那么这意味着boost::thread对象不能被复制，而是从函数返回，这是可能的。 这怎么可能？？？？

我想一定不能提供复制构造函数，但是如何处理从函数返回？不需要使用复制构造函数吗？？？

谢谢

Answer 1

如果您想在 C++03 中执行此操作，这是 C++ 的高级主题。有关示例，请参阅 Howard Hinnants Unique_ptr C++03 仿真。

它基本上是通过滥用 C++ 重载决策中的几个微妙规则来工作的，特别是非常量引用不能绑定到右值临时对象以及仍然可以在非常量临时对象上调用非常量转换函数的规则。

您还可以使用 C++03 所采用的 auto_ptr 技术，但该技术被多个团体视为破坏，因为 auto_ptr 允许您复制变量，但从复制对象中窃取资源（其他团体对此有其他意见）。

Answer 2

从 C++11 开始，这是可能的，它通过右值引用提供移动语义。使用此功能，您可以单独实现移动和/或复制：

class my_class {
  private:
    data_t* data_;
  public:
    my_class(const my_class& rhs)      // copy constructor
     : data_(rhs.data_.clone())
    {}
    my_class(my_class&& rhs)           // move constructor
     : data_(rhs.data_)
    {
      rhs.data_ = NULL;
    }
    ~my_class() {delete data_;}        // noop if data_==NULL

    my_class& operator=(my_class rhs)  // copy assignment
    {
      this->swap(rhs);
    }
    my_class& operator=(my_class&& rhs)// move assignment
    {
      this->swap(rhs);
    }

    // ...
};

可以单独禁止复制和移动，因此您可以设置可以移动但不能复制的类。

当然，即使您的编译器尚不支持移动语义（std::auto_ptr，毕竟在分配时是移动而不是复制），有一些神奇的技巧可以让您执行此操作，所以即使没有移动语义，这也可能适用于 boost::thread 。