大括号的类型如何影响 C++ 中的对象生存期？-解网

问：

我的一个朋友给我看了一个C++20程序：

#include <iostream>

struct A
{
    A() {std::cout << "A()\n";}
    ~A() {std::cout << "~A()\n";}
};

struct B
{
    const A &a;
};

int main()
{
    B x({});
    std::cout << "---\n";
    B y{{}};
    std::cout << "---\n";
    B z{A{}};
    std::cout << "---\n";
}

在 GCC 中，它打印：

A()
~A()
---
A()
---
A()
---
~A()
~A()

https://gcc.godbolt.org/z/ce3M3dPeo

因此，在情况 y 和 z 中，寿命延长。A

在 Visual Studio 中，结果是不同的：

A()
~A()
---
A()
---
A()
~A()
---
~A()

因此，只有在 y 的情况下，它的寿命才会延长。A

您能否解释一下为什么大括号的类型会影响对象的寿命？

C++ 初始化 C++20 生存期临时对象

（从 C++20 开始）临时绑定到引用元素中的引用使用直接初始化语法（括号）初始化的聚合与列表初始化语法相反，大括号一直存在到最后包含初始值设定项的完整表达式。
struct A {
  int&& r;
};
A a1{7}; // OK, lifetime is extended
A a2(7); // well-formed, but dangling reference

对于直接初始化：

（强调我的）

否则，如果目标类型是（可能是 CV 限定的）聚合类，则将按照聚合初始化中所述对其进行初始化，但允许缩小转换范围，不允许指定初始值设定项，与引用的临时绑定不会延长其生存期，没有大括号省略，并且任何没有初始值设定项的元素都将进行值初始化。（从 C++20 开始）

@Fedor Lifetime 应该在 z-case 中延长，它主要与 y 大小写相同，我认为这是 MSVC 的错误。我不确定哪个值得提出新问题，但我倾向于认为 Clang 是对的;通常，临时的生存期不能通过“传递”来进一步延长：从临时绑定到的引用变量或数据成员初始化的第二个引用不会影响其生存期。B b{ B{ A{} } };

0赞 Fedor 7/12/2021

相关问题：stackoverflow.com/questions/68335315/...

上一个：为什么 C++ 中的强制 RVO 需要公共析构函数？

下一个：运算符 == 和运算符！= 的存在打破了一些概念

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

How can the type of braces influence object lifetime in C++?

评论

评论