花括号的类型如何影响C++中的对象生存期?
我的一个朋友给我看了一个C++20的程序:
#include <iostream>
struct A
{
A() {std::cout << "A()
";}
~A() {std::cout << "~A()
";}
};
struct B
{
const A &a;
};
int main()
{
B x({});
std::cout << "---
";
B y{{}};
std::cout << "---
";
B z{A{}};
std::cout << "---
";
}
在GCC中打印:
A()
~A()
---
A()
---
A()
---
~A()
~A()
https://gcc.godbolt.org/z/ce3M3dPeo
因此,在y和z情况下,A
的寿命延长。
在Visual Studio中,结果不同:
A()
~A()
---
A()
---
A()
~A()
---
~A()
因此A
的寿命仅在大小写为y的情况下延长。
您能解释一下为什么大括号的类型会影响对象的寿命吗?
解决方案
GCC是对的。仅当在聚合的初始化中使用列表初始化语法(即使用大括号)时,临时的生存期才是extended。
(从C++20开始)临时绑定到 使用直接初始化语法初始化的聚合(圆括号) 与列表初始化语法(大括号)相反,它一直存在到 包含初始值设定项的完整表达式的。struct A { int&& r; }; A a1{7}; // OK, lifetime is extended A a2(7); // well-formed, but dangling reference
对于direct initialization:
(强调我的)
否则,如果目标类型是(可能符合cv条件的)聚合类,它将按照聚合初始化中的描述进行初始化,但允许进行收缩转换,不允许指定初始值设定项,指向引用的临时绑定不会延长其生存期,不存在大括号省略,并且任何没有初始值设定项的元素都是值初始化的。(从C++20开始)
相关文章