重载全常量类型的复制赋值运算符的正确方法是什么？

Question

假设我有这样一个结构：

struct Foo
{
  const int bar;
  const char baz;

  Foo& operator=(const Foo& other)
  {
    memcpy(this,&other,sizeof(Foo)); //How am I supposed to write this decently?
    return *this;
  }
}

我希望 Foo 的所有字段都是最终的，并且我希望 Foo 类型的变量的行为就像其他原始值类型一样。说，int，我们当然可以这样写：

 int i = 0;
 i = 42;

 Foo foo = {007,'B'}
 foo = {42,'X'}

但是对于我可怜的 Foo 类型，我是否必须求助于 memcpy 之类的方法来解决类型安全检查？我知道我可以删除 const 修饰符，将字段标记为私有并添加一些 getter，但这不是重点。我只是想知道是否有一种体面的方式来编写 = 运算符的内容。

提前致谢！

~~~~~

查看以下示例：

//If the = op is not implemented, this won't compile
Foo stat;
for(int i=0;i!=100;++i)
{
  stat = func(i);
  if(stat.bar == 0)...
}

//But weird thing is, if I declare the 'stat' inside the for block, it works just fine with gcc
for(int i=0;i!=100;++i)
{
  Foo stat = func(i); 
  //printf("%p\n",&stat); => same variable same address!!
  if(stat.bar == 0)...
}

这对你有意义吗？

Answer 1

在 C++ 中，复制赋值对于 all-const 类型毫无意义。不要实现它。

不要在有意义的地方使用 all-const 类型，但请注意，这种类型不会表现得像 int，因为 C++ 中的 int 只是't const 除非你这样声明。

Answer 2

在这种情况下体面的写法是：

Chunk& operator=(const Foo& other) = delete;

（或private pre-C++11）

如果你所有的成员都是const，你到底为什么要改变他们？

Answer 3

没有什么好办法，我同意其他答案，您应该重新考虑设计。

但如果您仍然认为这对您的问题最不利，还有几个选择：

Foo& operator=(const Foo& other)
{
    const_cast<int&>(bar) = other.bar;
    const_cast<char&>(baz) = other.baz;
    return *this;
}

或者

#include <memory>

// Foo must never be used as a base class!
// If your compiler supports the c++11 final feature:
struct Foo final
{ /*...*/ };

Foo& operator=(const Foo& other)
{
    if (this != &other) {
        this->~Foo();
        new(this) Foo(other);
    }
    return *this;
}