C++移动语义：为什么调用复制赋值操作符=(&amp；)而不是移动赋值操作符=(&amp；&amp；)？ [英] C++ move semantics: why copy assignment operator=(&) is called instead of move assignment operator=(&&)?

问题描述

我有以下代码：

#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&&的移动构造函数。

这篇关于C++移动语义：为什么调用复制赋值操作符=(&amp；)而不是移动赋值操作符=(&amp；&amp；)？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！