在 ?: 表达式中创建的 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
我不清楚是否可以通过将临时对象绑定到 ?: 表达式中的 const 引用来延长临时对象的生命周期:
class Foo {...};
Foo *someLValue = ...;
const Foo& = someLValue ? *someLValue : Foo();
通过调用默认构造函数 Foo() 创建的临时对象的生命周期是否通过将其绑定到本地 const ref 来延长,即使绑定是有条件的?或者这会创建一个悬空引用,因为 Foo() 的临时值将在 ?: 表达式的末尾被销毁?
在此代码中,条件运算符的第二个和第三个操作数具有不同的值类别(左值和纯右值)。
这意味着条件运算符的结果是Foo
类型的纯右值,表示从所选操作数复制初始化的临时对象。
引用直接绑定到这个临时对象,因此延长了临时对象的生命周期。
备注:
- 引用从不直接绑定到
*someLValue
,甚至也不绑定到Foo()
。 - 从
Foo()
初始化的临时文件是一个复制省略上下文,因此在这种情况下您可能无法观察到临时文件。 - 即使引用是
const
. ,临时文件也不是
const