花括号的类型如何影响C++中的对象生存期？ [英] How can the type of braces influence object lifetime in 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开始)

这篇关于花括号的类型如何影响C++中的对象生存期？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！