通过绑定(bind)到引用成员缩短了 C++ 临时变量的生命周期？

Question

直到现在，我一直假设临时对象在包含它的完整表达式 末尾被销毁。我最近遇到了规范的 [class.temporary]/5 部分，其中讨论了将临时对象分配给引用时发生的异常。大多数情况下，除了 [class.temporary]/5 中的一种特殊情况外，这似乎总是会延长临时变量的生命周期。 :

• A temporary bound to a reference member in a constructor’s ctor-initializer (12.6.2) persists until the constructor exits.
• A temporary bound to a reference parameter in a function call (5.2.2) persists until the completion of the full-expression containing the call.

如果我正在读这篇文章，这表明如果构造函数引用它，则此类对象的生命周期可能比完整表达式短。

案例研究:

struct A
{
   A(int);
   ~A();

};

struct B
{
    B(const A& a)
    : memberRef(a)
    { }

    ~B();

    const A& memberRef;
};

// Just a few operators to use in my full expression
int operator+(const A&, const A&);
int operator+(const A&, const B&);

void testCase()
{
   int case1 = A(1) + A(2);
   int case2 = A(3) + B(A(4));
}

我为每个 A 构造函数提供了不同的参数，以便于引用创建为 A1、A2、< em>A3 和 BA4。

在 case1 中，A1 和 A2 以任意顺序构造，然后进行加法。 A1 和 A2 的生命周期受函数调用引用参数的规则约束。它们被扩展为包含加法运算符的完整表达式。

析构函数必须以相反的顺序调用，也在 [class.temporary]/5 中:

If the lifetime of two or more temporaries to which references are bound ends at the same point, these temporaries are destroyed at that point in the reverse order of the completion of their construction.

所以这告诉我必须在 A1、A2 或 A2、A1< 中调用这些对象的析构函数/em>，取决于编译器选择构造对象的顺序。到目前为止一切顺利。

对我来说麻烦的案例是case2。如果我没看错的话，因为 A4 绑定(bind)到传递给 B::B(const A&) 的引用，它的生命周期现在在该构造函数结束时结束，< strong>而不是表达式的结尾。

这向我暗示析构函数可以称为 A4、A3、BA4 或 A4、BA4，A3。但是，A4 的析构函数必须始终位于最前面，因为它出现在 BA4 的构造函数的末尾，而不是整个表达式的末尾。

这表明析构函数不可能按A3、BA4、A4的顺序调用，因为A4 的生命周期需要缩短。

我是否正确阅读了规范？如果是这样，这条规则的基本原理是什么？对我来说，让传递给构造函数的临时对象与传递给函数调用的临时对象一样长的时间似乎更自然，但看起来规范编写者努力制定了其他规则。

Answer 1

你在两者之间使用了错误的项目符号。

This one :

A temporary bound to a reference member in a constructor's ctor-initializer ([class.base.init]) persists until the constructor exits.

这里不适用。我们没有临时绑定(bind)到 ctor-initializer 中的引用成员。这种情况更像是:

struct B
{
    B()
    : memberRef(A(2)) // <== 
    { }

    ~B();

    const A& memberRef;
};

我们的情况正好是this one :

A temporary bound to a reference parameter in a function call ([expr.call]) persists until the completion of the full-expression containing the call.

我们有一个临时的 (A(4)) 绑定(bind)到构造函数中的引用参数(构造函数调用仍然是函数调用，我们绑定(bind)的参数是 a 在 B(const A& a)) 中，所以临时值一直存在到 full-expression 完成。

---

换句话说，您所展示的内容中没有悬空引用。所有这些关于将临时对象绑定(bind)到引用的规则都是关于生命周期扩展的。它们都不会缩短生命周期。