C++移动语义:为什么调用复制赋值操作符=(&)而不是移动赋值操作符=(&&)?

我有以下代码:

#include <cstdio>
#include <iostream>

using std::cout;

struct SomeType {
  SomeType() {}

  SomeType(const SomeType &&other) {
    cout << "SomeType(SomeType&&)
";
    *this = std::move(other);
  }

  void operator=(const SomeType &) {
    cout << "operator=(const SomeType&)
";
  }

  void operator=(SomeType &&) {
    cout << "operator=(SomeType&&)
";
  }
};

int main() {
  SomeType a;
  SomeType b(std::move(a));
  b = std::move(a);
  return 0;
}

我希望Move构造函数调用Move赋值操作符。以下是该程序的输出:

SomeType(SomeType&&)
operator=(const SomeType&)
operator=(SomeType&&)

如您所见,Move赋值运算符被成功调用,但在向Move构造函数内部*this赋值时调用不成功。为什么会发生这种情况,我能以某种方式修复它吗?


解决方案

您的Move构造函数接受const SomeType&&而不是SomeType&&。不能调用采用const SomeType&&类型的值的SomeType&&(移动构造函数)的函数。

尝试创建一个接受SomeType&&的移动构造函数。

相关文章