在C++14中，STD::Intializer_List对象的预期生存期是多少？

Question

请考虑这个简化的C++14程序：

#include <iostream>

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

int main()
{
    auto l = std::initializer_list<A>{A()};
    std::cout << ". ";
}

A() . ~A()

A() ~A() . 

两个编译器在这里的行为都是正确的还是其中一个是错误的？

Answer 1

很微妙。

std::initializer_list由基础数组（由编译器生成）支持。这个数组类似于一个临时对象，std::initializer_list是绑定到它的一种引用类型。因此，只要“引用”存在，它就会延长临时数组的生存期。

在C++14中，我们没有保证删除副本。因此，应该发生的情况是std::initializer_list{A()}生成了一个临时的initializer_list，将另一个临时数组绑定到它，并将临时的initializer_list复制到l。

std::initializer_list<A> l {A()};

...在两个编译器上产生相同的输出。

同时，在C++17编译时，您的原始代码在GCC和Clang上的行为是相同的。