为什么右值在使用后不立即销毁？

Question

我编写了以下程序，并期望从 std::move() 获得的右值在函数调用中使用后立即被销毁：

struct A
{
    A(){ }
    A(const A&){ std::cout << "A&" << std::endl; }
    ~A(){ std::cout << "~A()" << std::endl; }
    A operator=(const A&){ std::cout << "operator=" << std::endl; return A();}
};

void foo(const A&&){ std::cout << "foo()" << std::endl; }

int main(){
    const A& a = A();
    foo(std::move(a)); //after evaluation the full-expression 
                       //rvalue should have been destroyed
    std::cout << "before ending the program" << std::endl;
}

但事实并非如此。而是生成了以下输出：

foo()
before ending the program
~A()

DEMO

如answer

中所述

rvalues denote temporary objects which are destroyed at the next semicolon

我做错了什么？

Answer 1

std::move 不会使 a 成为临时值。相反，它创建了一个对 a 的右值引用，它在函数 foo 中使用。在这种情况下 std::move 没有为您做任何事情。

std::move 的要点是您可以指示应该使用 移动构造函数 而不是 复制构造函数 ，或者被调用的函数可以以破坏性的方式自由修改对象。它不会自动导致您的对象被破坏。

所以 std::move 在这里做的是 如果它想要 ，函数 foo 可以以破坏性的方式修改 a (因为它需要一个右值引用作为它的参数）。但是 a 仍然是一个左值。只有引用是右值。

有一篇很棒的参考资料 here 详细解释了右值引用，也许这会澄清一些问题。

Answer 2

记住：std::move 不会移动对象。 std::move 是一个简单的转换，它接受一个左值并使它 看起来 像一个右值

foo，通过右值引用获取参数，表示输入对象将被修改，但保留在有效状态。这里没有关于销毁对象的内容。

最终，a 仍然是一个左值，无论您尝试如何转换它。

Answer 3

std::move(a) 不会改变 a 成为右值。

相反，它创建了对 a.

的右值引用

编辑：

请注意，您的行

const A& a = A();

你依赖于局部 const 引用的特殊情况来延长临时对象的生命（参见 http://herbsutter.com/2008/01/01/gotw-88-a-candidate-for-the-most-important-const/）。此功能早于 C++11。由于临时变量基本上是右值，我现在明白你的困惑是从哪里来的了。

请注意，通过延长临时对象的生命周期（通过将其分配给本地 const 引用），a 引用的对象不能归类为"object(s) which are destroyed at the next semicolon"。相反，它与引用一样长。

可能有人在 C++11 标准中找到 http://herbsutter.com/2008/01/01/gotw-88-a-candidate-for-the-most-important-const/。你的句子也一样 "rvalues denote temporary objects which are destroyed at the next semicolon".

Answer 4

您从 std::move 获得的右值是右值引用，引用没有析构函数。你不能再得到那个参考了。那你为什么不认为它已经被摧毁了？

Answer 5

你没有看错；相反，是委员会错误地给出了 std::move 这个名字。它只是一个转换，使 "select" 移动构造函数和移动实际执行移动的赋值运算符变得更容易。在这种情况下，你两者都没有，所以 std::move 实际上什么都不做。您会看到原始对象在超出范围时像往常一样被销毁。

为什么右值在使用后不立即销毁？

Why doesn't rvalue destroy right after it's used?

c++

move-semantics