花括号的类型如何影响C++中的对象生存期?

人气:916 发布:2022-10-16 标签: c++ initialization object-lifetime c++20 temporary-objects

问题描述

我的一个朋友给我看了一个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开始)

249