将赋值移动到具有 const 值的对象

Question

我有一个这样的结构：

struct OBJ {
  int x;
  const int y;
  OBJ& operator=(OBJ &&oth)
  {
    y = oth.y; // this is disallowed
    return *this;
  }
}

还有一个示例代码

void func() {
  static OBJ obj;
  OBJ other; // random values
  if(conditon)
    obj = std::move(other); //move
}

我理解这是因为 obj 是 Non const 带有 const 成员 y 的 OBJ。我不能只改变 y 但我应该能够改变整个对象（调用析构函数和构造函数）。这是可能的还是唯一正确的解决方案是在y 之前删除我的const，并记住不要意外更改？

我需要在func 调用之间存储我的static obj，但如果条件为真，我想移动其他对象来代替这个静态对象。

Answer 1

你做错了构造函数。构造函数应该初始化，而不是赋值：

OBJ(OBJ &&oth) : y(oth.y) {}
//             ^^^^^^^^^^

另外，构造函数不能return *this，因为它们没有返回类型。

类的赋值运算符没有意义，因为该类具有不可赋值的成员（即常量）。 （你当然可以编写一个不修改 const 成员的自定义赋值，但这样你就会有一个非常奇怪的类，它的行为非常令人惊讶。）

Answer 2

这样写移动赋值运算符怎么样：

OBJ& operator=(OBJ&& other) {
    this->~OBJ();
    new(this) OBJ(other.x, other.y);
    return *this;
}

你还需要一个构造函数：

OBJ(const int x, const int y)
    : x(x), y(y)
{
}

Answer 3

我建议转到std::unique_ptr:

void func() {
  static std::unique_ptr<OBJ> obj = std::make_unique<OBJ>();
  std::unique_ptr<OBJ> other = std::make_unique<OBJ>(); // random values
  if(condition)
    obj = std::move(other); //move
}

在许多需要移动无法移动的东西、保存未知的多态类型或任何其他您无法处理实际类型的情况下，这应该是您的选择。