N3290 C++ 中的临时寿命草稿

Question

N3290 C++ 草案第 12.2 节第 5 点第 10 行的一点。

第二个上下文是引用绑定到临时对象时。这 引用绑定到的临时对象或作为引用的临时对象 引用绑定到的子对象的完整对象 在引用的生命周期内持续存在，除了：

临时绑定到 new-initializer 中的引用 (5.3.4) 持续存在，直到包含以下内容的完整表达式完成 新的初始化程序。 [示例：

struct S { int mi; const std::pair&议员； };
S a { 1, {2,3} };
S* p = new S{ 1, {2,3} };// 创建悬空引用

—结束示例] [注意：这可能会引入悬空引用， 并鼓励实施在此类情况下发出警告 案件。 ——尾注]

这是相对于C++03来说增加的一点。但这个例子对我来说无法理解。您能用其他例子解释这一点吗？

我知道什么是悬空引用和临时对象，并且 std::pair 保存两个可能不同数据类型的值。

Answer 1

临时对象通常仅持续到创建它们的表达式的末尾：

#include <complex>


void func()
{
    std::complex<int>   a; // Real variable last until the end of scope.

    a = std::complex<int>(1,2) + std::complex<int>(3,4);
     // ^^^^^^^^^^^^^^^^^^^^^^  Creates a temporary object
     //                         This is destroyed at the end of the expression.
     // Also note the result of the addition creates a new temporary object
     // Then uses the assignment operator to change the variable 'a'
     // Both the above temporaries and the temporary returned by '+'
     // are destroyed at ';'

如果创建临时对象并将其绑定到引用。您也可以将其寿命延长到与它所绑定的引用相同的寿命。

    std::complex<int> const& b  = std::complex<int>(5,6);
                      //           ^^^^^^^^^^^^^^^^ Temporary object
                      // ^^^^                       Bound to a reference.
                      //                            Will live as long as b lives 
                      //                            (until end of scope)

此规则的例外情况是临时变量绑定到新初始值设定项中的引用时。

    S* p1 = new S{ 1, {2,3} };
    // This is the new C++11 syntax that does the `equivalent off`:

    S* p2 = new S {1, std::pair<int,int>(2,3) };
                 //   ^^^^^^^^^^^^^^^^^^^^^^^    Temporary object.
                 //                              This lives until the end of the 
                 //                              expression that belongs to the new.
                 //                              ie the temporary will be destroyed
                 //                              when we get to the ';'

但在这里我们将新的临时对象绑定到成员

const std::pair& mp;

这是一个常量引用。但它所绑定的临时对象将在“;”处被销毁在上面的表达式中，因此 mp 将是对一个对象的引用，当您尝试在后续表达式中使用它时，该对象不再存在。

}