如何为不可变类定义赋值运算符？

Question

在C++中，定义operator=的惯用方法应该是不可变的。例如，其所有成员变量都是const。

typedef unsigned char byte; 

class Binary 
{ 
protected: 
    const unsigned long size; 
    const byte* bytes; 

public: 
    Binary(const unsigned long size); 
    Binary(const Binary &b); 
    ~Binary(void); 

    Binary& operator=(const Binary &b); 
}; 

其中bytes是一个指针，指向在运行时存储器malloc编块。

我是否定义了一个空的赋值运算符或让它使用自动生成的哪一个会明显失败？

我正试图实施并强制执行单指配语义在几个选择类。

Answer 1

假设您不打算重新分配您的成员（使用const_cast等），我会建议您在代码中明确提及您没有使用operator =。

在当前的C++标准，使其private和未实现：

class Binary 
{ 
    //... 
private: 
    Binary& operator = (const Binary&); 
}; 

在即将到来的C++ 0x标准，delete它：

class Binary 
{ 
    //... 
    Binary& operator = (const Binary&) = delete; 
};