const 引用右值的类数据成员的生命周期是多少？

Question

一般来说，这个讨论仅取决于局部函数变量：

void foo (const int &i)
{
  // use i till foo() ends
}
foo(3);

但是，这个规则也适用于class成员吗？

struct A {
  const int &a;
  A () : a(3) {}  // version 1
  A (const int &i) : a(i) {} // version 2
};

现在A用作，

{
  return ()? new A : new A(3) : new A(some_local_variable);
}

内容a在的整个生命周期内保持不变吗？所有 3 个新分配的A？

Answer 1

C++03 标准（第“12.2/5 临时对象”）恰当地回答了您的问题：

引用绑定到的临时对象或作为子对象的完整对象的临时对象其中临时绑定在引用的生命周期内持续存在，除非下面指定。 构造函数构造函数初始化程序 (12.6.2) 中引用成员的临时绑定将持续存在，直到构造函数退出。函数调用 (5.2.2) 中对引用参数的临时绑定将持续存在，直到包含调用的完整表达式完成为止。

Answer 2

如果您使用new分配一个对象，它将永远保留在内存中 - 直到您删除它。它不是一个临时对象。

a 是 A 的成员，也是分配的一部分。

编辑：感谢您的评论。我想说 - 不，这是不正确的。考虑一下：

struct A {
  const int &a;
  A () : a(3) {}  // version 1
  A (const int &i) : a(i) {} // version 2
};

void foo() {
  A *pA;

  {
     int x;
     pA = new A(x);
  }

  // Now pA->a is pointing to the address where `x` used to be,
  // but the compiler may very well put something else in this place now
  // because x is out of scope.
}

如果 A 对象的生命周期跨越多个函数，答案就更明显。

旁注：我发现“内容”这个词在这里有点含糊。将引用等同于指针，因此您的 a 基本上指向一个整数。不管是否为 const，如果该整数不再存在（因为它在堆栈上并且已被删除），那么您的 a - 虽然仍然指向内存中的相同地址 - 现在正在引用其他内容。 GotW 文章似乎正在谈论编译器延长引用所指向的对象的生命周期。同样，引用本身只是一个指针。