如何允许移动构造并禁止分配和复制类的构造

Posted

技术标签:

【中文标题】如何允许移动构造并禁止分配和复制类的构造【英文标题】:How do I allow move construction and disallow assignment and copy construction of a class 【发布时间】:2012-05-15 09:47:50 【问题描述】:

有没有办法允许移动构造函数并禁止复制构造和赋值。我可以想到几个具有文件指针和缓冲区指针(资源句柄等)的类,它们将从复制构造和分配中受益。

我正在使用 VC2010 和 GCC 4.5.2。我知道我必须在 VC2010 类头文件中声明空的私有赋值和复制构造函数,据我所知,GCC 允许在方法之后使用某种删除签名来做同样的事情。

如果有人有这样的骨架类的好例子和优点,我将非常感激。 提前致谢 约翰

这是一个我想允许移动但我也想阻止直接分配的类的示例。是否类似于使复制构造函数和 operator=private 的问题?

class LoadLumScanner_v8002 : public ILoadLumScanner  
public:
// default constructor
LoadLumScanner_v8002();

// copy constructor
LoadLumScanner_v8002(const LoadLumScanner_v8002& rhs);

// move constructor
LoadLumScanner_v8002(LoadLumScanner_v8002&& rhs);

// non-throwing copy-and-swap idiom unified assignment
inline LoadLumScanner_v8002& operator=(LoadLumScanner_v8002 rhs) 
    rhs.swap(*this);
    return *this;


// non-throwing-swap idiom
inline void swap(LoadLumScanner_v8002& rhs) throw() 
    // enable ADL (not necessary in our case, but good practice)
    using std::swap;
    // swap base members
    // ... 
    // swap members
    swap(mValidatedOk, rhs.mValidatedOk);
    swap(mFile, rhs.mFile);
    swap(mPartNo, rhs.mPartNo);
    swap(mMediaSequenceNo, rhs.mMediaSequenceNo);
    swap(mMaxMediaSequenceNo, rhs.mMaxMediaSequenceNo);
    swap(mLoadListOffset, rhs.mLoadListOffset);
    swap(mFirstLoadOffset, rhs.mFirstLoadOffset);
    swap(mLoadCount, rhs.mLoadCount);
    swap(mLoadIndex, rhs.mLoadIndex);
    swap(mLoadMediaSequenceNo, rhs.mLoadMediaSequenceNo);
    swap(mLoadPartNo, rhs.mLoadPartNo);
    swap(mLoadFilePath, rhs.mLoadFilePath);


// destructor
virtual ~LoadLumScanner_v8002();

【问题讨论】:

【参考方案1】:

您提到的两种解决方案都可以正常工作。

1.

class MoveOnly

   MoveOnly(const MoveOnly&);
   MoveOnly& operator=(const MoveOnly&);
public:
   MoveOnly(MoveOnly&&);
   MoveOnly& operator=(MoveOnly&&);
;
class MoveOnly

public:
   MoveOnly(const MoveOnly&) = delete;
   MoveOnly& operator=(const MoveOnly&) = delete;
   MoveOnly(MoveOnly&&) = default;
   MoveOnly& operator=(MoveOnly&&) = default;
;

“= delete”签名在 C++11 中是新的(右值引用也是如此),其含义与 C++03 技术基本相同(声明私有且不定义)。 C++11 解决方案的优点是它肯定会在编译时捕获错误,而不是延迟到链接时。

您的编译器可能还不支持“= delete”,在这种情况下,您将不得不使用第一个解决方案。

第三种解决方案是默认复制成员:

class MoveOnly

public:
   MoveOnly(MoveOnly&&);
   MoveOnly& operator=(MoveOnly&&);
;

当声明移动特殊成员时,无论是否默认,如果您未声明它们,编译器将隐式添加已删除的副本成员。您的编译器可能会也可能不会实现此功能。

【讨论】:

我喜欢= delete 解决方案,因为它清楚地表明,对于以后阅读它的任何人来说,这不仅仅是意外遗漏定义。 我需要在移动构造函数中添加“= default”并在第二个中移动赋值。

以上是关于如何允许移动构造并禁止分配和复制类的构造的主要内容,如果未能解决你的问题,请参考以下文章

我应该删除移动构造函数和智能指针的移动分配吗?

调整动态分配的指针数组的大小(复制构造函数不起作用?)

第十二章 类和动态内存分配

移动分配与标准复制和交换不兼容

考虑到复制构造的要求,如何在C ++ 11中编写有状态分配器?

如何复制动态分配的对象(具有一个类的 const 成员)