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

Why copy constructor is called instead of move constructor in my code?

本文关键字：构造函数 移动 复制 我的 代码 调用 为什么      更新时间：2023-10-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;
}

您对类型和值类别感到困惑。

(强调我的(

每个C++表达式(运算符及其操作数、文本、变量名称等(都具有两个独立的属性：类型和值类别。

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

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

  • 变量的名称，...
  • 。

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

A b = std::move(a);

以下表达式是xvalue 表达式：

  • 函数调用或重载运算符表达式，其返回类型是对对象的 rvalue 引用，例如std::move(x);
  • 。
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;

如果定义复制分配，将成功。

默认构造/复制构造/移动或复制赋值将起作用，只要所有元素都是简单的复制/可移动的。

相关文章：