const引用类成员是否可以延长临时对象的寿命？

为什么这样做：

#include <string>
#include <iostream>
using namespace std;

class Sandbox
{
public:
    Sandbox(const string& n) : member(n) {}
    const string& member;
};

int main()
{
    Sandbox sandbox(string("four"));
    cout << "The answer is: " << sandbox.member << endl;
    return 0;
}

给出以下输出：

答案是：

代替：

答案是：四

仅本地 const参考可以延长使用寿命。

该标准在第8.5.3 / 5节[dcl.init.ref]（引用声明的初始化程序部分）中指定了这种行为。您的示例中的引用绑定到构造函数的参数n，并且当对象n绑定超出范围。

生存期扩展不能通过函数参数传递。§12.2/ 5 [class.temporary]：

第二种情况是引用绑定到临时项时。引用所绑定的临时对象或作为与该临时对象所绑定的子对象的完整对象的临时对象在引用的生存期内一直存在，除非以下指定。在构造函数的ctor-initializer（第12.6.2节[class.base.init]）中，绑定到引用成员的临时绑定将一直存在，直到构造函数退出。在函数调用（第5.2.2节[expr.call]）中，绑定到参考参数的临时绑定将一直持续到包含该调用的完整表达式完成为止。

这是解释发生情况的最简单方法：

在main（）中，您创建了一个字符串并将其传递给构造函数。此字符串实例仅存在于构造函数中。在构造函数内部，您分配了成员以直接指向该实例。当scope离开构造函数时，字符串实例被销毁，然后成员指向不再存在的字符串对象。使Sandbox.member指向其范围之外的引用不会将这些外部实例保存在范围内。

如果要修复程序以显示所需的行为，请进行以下更改：

int main()
{
    string temp = string("four");    
    Sandbox sandbox(temp);
    cout << sandbox.member << endl;
    return 0;
}

现在，temp将在main（）的末尾而不是构造函数的末尾超出范围。但是，这是不好的做法。您的成员变量绝不能引用实例之外的变量。实际上，您永远不知道该变量何时超出范围。

我建议将Sandbox.member定义为a。const string member;这会将临时参数的数据复制到成员变量中，而不是将成员变量分配为临时参数本身。

从技术上讲，该程序实际上不需要将任何输出输出到标准输出（首先是缓冲流）。

• 该cout << "The answer is: "位将发射"The answer is: "到stdout 的缓冲区中。

• 然后，该<< sandbox.member位将提供悬空引用operator << (ostream &, const std::string &)，从而引发未定义的行为。

因此，无法保证不会发生任何事情。该程序看似可以正常运行，甚至在没有刷新标准输出的情况下也可能崩溃-意味着“答案为：”文本不会出现在屏幕上。

因为一旦Sandbox构造函数返回，您的临时字符串就超出了范围，并且它占用的堆栈也被回收用于其他目的。

通常，您永远不应保留长期参考。引用适用于参数或局部变量，而不适用于类成员。

您指的是已经消失的东西。以下将工作

#include <string>
#include <iostream>

class Sandbox
{

public:
    const string member = " "; //default to whatever is the requirement
    Sandbox(const string& n) : member(n) {}//a copy is made

};

int main()
{
    Sandbox sandbox(string("four"));
    std::cout << "The answer is: " << sandbox.member << std::endl;
    return 0;
}