C++ 中引用成员默认初始值设定项的生命周期是多少？

问题描述

请考虑这个简短的代码示例：

#include <iostream>

struct A
{
    A() { std::cout << "A() "; }
    ~A() { std::cout << "~A() "; }
};

struct B { const A &a = A(); };

int main()
{
    B x;
    std::cout << ". ";
    auto y = B();
    std::cout << ". ";
    auto z = B{};
    std::cout << ". ";
}

GCC 在此处打印 (https://gcc.godbolt.org/z/a83bn54qT)：

A() ~A() . A() ~A() . A() . ~A() 

意味着A和x中y对象初始化引用的生命周期很短，但在z中生命周期延长到作用域结束。

能否从 C++ 标准的角度解释一下为什么会这样？

解决方法

由于代码格式错误，无法保证生命周期延长。

[class.base.init]/11：

从默认值绑定到引用成员的临时表达式 成员初始值设定项格式错误。 [示例 8：

struct A {
  A() = default;        // OK
  A(int v) : v(v) { }   // OK
  const int& v = 42;    // OK
};
A a1;                   // error: ill-formed binding of temporary to reference
A a2(1);                // OK,unfortunately

——结束示例]