在 ?: 表达式中创建的 C++ 临时对象的生命周期是否通过将其绑定到本地 const 引用来扩展?

Is the lifetime of a C++ temporary object created in ?: expression extended by binding it to a local const reference?

我不清楚是否可以通过将临时对象绑定到 ?: 表达式中的 const 引用来延长临时对象的生命周期:

class Foo {...};

Foo *someLValue = ...;

const Foo& = someLValue ? *someLValue : Foo();

通过调用默认构造函数 Foo() 创建的临时对象的生命周期是否通过将其绑定到本地 const ref 来延长,即使绑定是有条件的?或者这会创建一个悬空引用,因为 Foo() 的临时值将在 ?: 表达式的末尾被销毁?

在此代码中,条件运算符的第二个和第三个操作数具有不同的值类别(左值和纯右值)。

这意味着条件运算符的结果是Foo类型的纯右值,表示从所选操作数复制初始化的临时对象。

引用直接绑定到这个临时对象,因此延长了临时对象的生命周期。

备注:

  • 引用从不直接绑定到 *someLValue,甚至也不绑定到 Foo()
  • Foo() 初始化的临时文件是一个复制省略上下文,因此在这种情况下您可能无法观察到临时文件。
  • 即使引用是 const.
  • ,临时文件也不是 const