为什么在我的代码中调用复制构造函数而不是移动构造函数？答案

【问题标题】：Why copy constructor is called instead of move constructor in my code?为什么在我的代码中调用复制构造函数而不是移动构造函数？
【发布时间】：2019-09-26 03:25:16
【问题描述】：

我试图理解移动构造函数和右值引用。所以我在https://www.onlinegdb.com/online_c++_compiler 上尝试了这段代码。但结果让我很困惑。

#include <iostream>
#include <type_traits>


class A {
public:
  A() { std::cout << "Constructed" << std::endl; }
  A(const A& )= delete;
  A(A&&) { std::cout << "Move Constructed" << std::endl; }
};

int
main ()
{
  A&& a = A();
  A b = a; // error: use of deleted function ‘A::A(const A&)’
  //A b = static_cast<decltype(a)>(a); // This works, WTF?
  std::cout << std::is_rvalue_reference<decltype(a)>::value << std::endl; // pretty sure a is rvalue reference.

  return 0;
}

【问题讨论】：

decltype(id-expression) 是一个奇怪的野兽，它与其他语言的规则不同，这里它给你A&&

标签： c++ c++11 rvalue-reference

【解决方案1】：

您对 types 和 value categories 感到困惑。

（强调我的）

每个 C++ 表达式（带有操作数、文字、变量名等的运算符）都具有两个独立的属性：类型和值类别。

作为命名变量，a 是一个左值。

以下表达式是左值表达式：

变量的名称，...

...

然后为A b = a; 选择复制构造函数。正如您所尝试的，static_cast<decltype(a)>(a); 会将其转换为 xvalue（即右值）；你也可以使用std::move。

A b = std::move(a);

以下表达式是xvalue 表达式：

函数调用或重载的运算符表达式，其返回类型为对对象的右值引用，例如std::move(x)；

...

【讨论】：

【解决方案2】：

A&& a = A();

不给你一个右值。将任何值视为右值的一种方法是您无法获得它的地址。如果你能得到它的地址，那么它很可能是一个左值。所以，在你的情况下

auto address_of_a = &a;

是可能的（所以，a 是左值）。

decltype(a)

是 A&& （右值类型）。所以类型转换为 A&& 会给你右值

A b = a;

失败，因为 a 是左值，所以它正在寻找 A(const A&)。

A b = std::move(a); // or
A b = A{}; // rvalue

会成功，因为现在它会寻找 A(A&&)

A b;
A c = A{};
b = std::move(c);

如果您将移动分配定义为已删除，则会失败

b = c;

如果您定义了您的复制分配，将会成功。

只要所有元素都可以简单地复制/移动，默认构造/复制构造/移动或复制分配就可以工作。

【讨论】：