C++ 返回对临时对象的引用或将它们存储在对象中

Question

考虑以下处理 const 引用的代码：

const int & func (const int &x)
{
    return x;
}

struct Foo {
    Foo (const int &x)
    : m_x(x) {}

    const int & getX ()
    { return m_x; }

    const int &m_x;
};

我想知道现在允许以下哪些（如果有）：

int x = func(int(7));
int y = Foo(int(7)).getX();

是否可以保证临时int 对象在被赋值或getX 使用之前仍然存在？

更新：看来这是安全的 - 但究竟为什么呢？

1. 是因为临时对象以递归方式绑定到 const 引用，并且只要对它们的绑定引用存在就保证存在？
2. 还是因为它们在完整表达式的持续时间内保证存在？

考虑存储指针而不是引用的边缘情况：

struct Foo {
    Foo (const int &x)
    : m_x(&x) {}

    const int & getX ()
    { return *m_x; }

    const int *m_x;
};

int y = Foo(int(7)).getX();

如果情况 1) 是正确的，这似乎是行不通的。但如果情况 2) 是正确的，它会。

Answer 1

两者都是安全的，因为您将值复制到 x 和 y。临时变量在完整表达式结束之前有效。

12.2 临时对象

4) 临时对象在两种情况下被销毁 与完整表达式的结尾不同的点。第一个上下文 是调用默认构造函数来初始化 大批。如果构造函数有一个或多个默认参数，任何 在默认参数表达式中创建的临时对象被销毁 从构造函数返回后立即。

5) 第二个上下文是 当一个引用绑定到一个临时的。临时的 引用被绑定或者是一个完整对象的临时对象 引用绑定到的子对象在 除以下指定外，参考。临时绑定到 构造函数的 ctor-initializer (12.6.2) 中的引用成员仍然存在 直到构造函数退出。临时绑定到引用 函数调用（5.2.2）中的参数一直持续到完成 包含调用的完整表达式。临时绑定到 函数返回语句 (6.6.3) 中的返回值一直持续到 函数退出。在所有这些情况下，在 初始化引用的表达式的评估，除了 引用绑定的临时对象，在 创建它们的完整表达式的结尾以及 倒序完成他们的建设。如果这辈子 两个或多个绑定引用的临时对象在 同一点，这些临时对象在那个点被摧毁 倒序完成他们的建设。此外， 与引用绑定的临时对象的销毁应考虑到 使用静态或 自动存储时间（3.7.1， 3.7.2);也就是说，如果 obj1 是在创建临时对象之前创建的具有静态或自动存储持续时间的对象，则临时对象应 在 obj1 被销毁之前被销毁；如果 obj2 是一个对象 临时存储后创建的静态或自动存储持续时间 创建后，obj2 销毁后，临时对象将被销毁。 [ 示例：

class C 
{ 
/ / ... 
public : 
    C(); 
    C(int ); 
    friend C operator +(const C&, const C&); 
    ~C(); 
}; 
C obj1 ; 
const C& cr = C (16)+ C (23); 
C obj2 ; 

表达式 C(16)+C(23) 创建了三个临时变量。第一个临时T1 保存表达式 C(16) 的结果，第二个临时 T2 到 保存表达式 C(23) 的结果，以及第三个临时 T3 到 保存这两个表达式相加的结果。这 然后将临时 T3 绑定到参考 cr。未指定 是先创建 T1 还是 T2。在 T1 是的实现上 在 T2 之前创建，保证 T2 在 T1 之前销毁。 临时 T1 和 T2 绑定到参考参数 运算符+；这些临时对象在完整结束时被销毁 包含对 operator+ 的调用的表达式。临时T3必然 引用 cr 在 cr 的生命周期结束时被销毁，也就是说，在 程序结束。此外，T3 的顺序是 destroy 考虑了其他对象的销毁顺序 具有静态存储持续时间。也就是因为构造了obj1 在 T3 之前，并且 T3 在 obj2 之前构造，保证 obj2 在 T3 之前销毁，而 T3 在 obj1 之前销毁。 ——结束示例]

Answer 2

两者都是安全的。临时对象可以绑定到const 引用，并且它们会持续到绑定临时对象的表达式被执行。在这种情况下，您将它绑定到构造函数参数，并且它一直存在到构造函数的右大括号。

类似的现象是使用临时函数作为 const 引用的默认函数参数：

void foo(const someclass& bla = someclass()); // bind const ref with default constructed someclass