c++ - 什么时候对原始整数的右值引用是短期的还是长期的？

Question

我已经使用 TDM-GCC 4.6.1 编译器对右值引用进行了一些实验，并进行了一些我无法用理论解释的有趣观察。我希望那里的专家帮助我解释它们。

我有一个非常简单的程序，它不处理对象而是处理 int 原语，并且定义了 2 个函数:foo1(通过右值引用返回局部变量)和foo2(按值返回局部变量)

#include <iostream>

using namespace std;

int &&foo1();
int foo2();

int main()
{

int&& variable1 = foo1();
//cout << "My name is softwarelover." << endl;
cout << "variable1 is: " << variable1 << endl; // Prints 5.
cout << "variable1 is: " << variable1 << endl; // Prints 0.

int&& variable2 = foo2();
cout << "variable2 is: " << variable2 << endl; // Prints 5.
cout << "variable2 is still: " << variable2 << endl; // Still prints 5!

return 0;
}

int &&foo1() {

int a = 5;
return static_cast<int&&>(a);
}

int foo2() {

int a = 5;
return a;
}

foo1 返回的值和 variable1 接收的值似乎在一段时间后消失了——也许是几毫秒的短暂时间。请注意，我已通过将其注释掉来阻止 cout 打印“My name is softwarelover”。如果我允许该语句运行，结果就会不同。它不是打印 5, 0，而是打印 0, 0。似乎是因为 "cout << "My name is softwarelover."引入的时间延迟，5 变成了 0。

上面的右值引用在引用一个原始整数时应该如何表现，该整数是一个函数通过引用返回而不是按值返回？对了，为什么是0，为什么不是垃圾？

另请注意，无论我用 cout 打印多少次，variable2 似乎永远不会消失! variable2 指的是一个原始整数，它是一个按值返回的函数，而不是按引用返回。

谢谢。

Answer 1

右值引用仍然只是引用。函数返回后，对函数局部变量的引用无效。幸运的是，在函数调用之后，您的右值引用在任何时候都是 5，因为它在函数返回后在技术上是无效的。

编辑:我正在扩展我的答案，希望有些人会发现一些有用的额外细节。

函数内部定义的变量是函数局部变量。该变量的生命周期仅限于声明它的函数内部。您可以认为它在函数返回时被“销毁”，但它并没有真正被销毁。如果它是一个对象，那么它的析构函数将被调用，但保存变量的内存仍然存在。您对该变量的任何引用或指针仍然指向内存中的同一位置，但该内存已被重新利用(或者可能在未来某个不确定的时间被重新利用)。

旧值(在您的情况下为“5”)将保留一段时间，直到出现某些内容并覆盖它。没有办法知道这些值还会存在多长时间，而且在函数返回后，任何人都不应该依赖它们仍然存在任何时间。一旦函数返回，请考虑对函数局部变量的任何引用(或指针)无效。打个比方，如果您去敲门，您可能不会觉得新房客满意。