C++11：带有 std::move( ) 的“decltype 类实例声明”不调用“移动构造函数”。为什么？

Question

我最近开始使用 c++ 并选择学习 c++11 功能。 但是 c++ 代码的运行方式有时并不那么具体。

下面是我的代码。 在decltype(std::move(sample)) sample2 = std::move(sample); 的部分，我不确定为什么这条线不调用移动构造函数。 你能解释一下为什么吗？

#include <iostream>

class AAA
{
   public:
      AAA() { std::cout << "default constructor" << std::endl; }
      AAA(const AAA& cs) { std::cout << "copy constructor" << std::endl; }
      AAA(AAA&& cs) { std::cout << "move constructor" << std::endl; }
      ~AAA() { std::cout << "destructor" << std::endl; }
};

int main(int argc, char* args[])
{
    AAA sample;
// ((right here))
    decltype(std::move(sample)) sample2 = std::move(sample); 
    return 0;
}

它是在 [ubuntu 16.04 LTS] 上用 [gcc 5.4.0] 编译的

原代码：https://ide.geeksforgeeks.org/tALvLuSNbN

Answer 1

函数std::move<T> 返回一个T &&，所以对于std::move(sample) 它返回AAA &&。这是一个rvalue reference，其行为很像lvalue reference（AAA & 之类的类型将是一个左值引用），因为它们都是已经存在的对象的别名。

重要的是要了解std::move 本身不会 导致任何东西被移动。它只是返回一个对它给出的参数的右值引用。例如 std::move(foo); 一个人绝对什么都不做。只有当结果用于初始化或分配给一个对象时，它才变得有用。

例如auto bar = std::move(foo); 将返回一个对foo 的右值引用，并使用该引用来调用bar 的构造函数。

为了回答这个问题，由于std::move(sample) 返回一个AAA &&，所以有问题的行与AAA && sample2 = std::move(sample); 相同。该行为实际上与AAA & sample2 = sample; 相同。在这两种情况下，您都在初始化对现有对象的引用，并且不需要构造新对象。

如果您的目标是将sample 移动到新的AAA，则正确的行应该是auto sample2 = std::move(sample);，就像您对sample3 所做的那样。虽然要注意 sample3 行正在从已经移动的 sample 移动。

Answer 2

你的 sn-p 扩展为

AAA&& sample2 = std::move(sample);

将右值（std::move(sample) 的结果）绑定到右值引用（sample2）。没有构造新对象，因此没有调用这样的构造函数。