initializer_list 和 GCC 4.9.2 与 GCC 主干

Question

以下是该问题的精简版：

#include <initializer_list>
#include <iostream>

enum objects { zero, one, two, three, four, five, six, seven };

std::initializer_list<objects> objects_list()
{
    return { zero, one, two, three, four, five, six, seven };
}

int main()
{
    for (auto a : objects_list())
    {
        std::cout << a << ' ';
    }
    std::cout << '\n';
}

我的期望是程序输出：

0 1 2 3 4 5 6 7

这是 GCC 4.9.2 所确认的，但是来自其 git 存储库的新 GCC 会产生：

0 0 -85997960 32712 -1076836160 32765 0 32

这看起来基本上是随机数。

我的程序或 GCC 有问题吗？

Answer 1

N4296 § 8.5.4/5 州

std::initializer_list<E> 类型的对象是从初始化列表构造的，就像实现一样 分配了一个由N 类型为const E 的元素组成的临时数组，其中N 是 初始化列表。该数组的每个元素都使用初始化程序的相应元素进行复制初始化 列表，并构造 std::initializer_list<E> 对象以引用该数组

所以我们被告知 std::initializer_list 指的是一个临时数组。

和 § 8.5.4/6 状态

该数组与任何其他临时对象具有相同的生命周期

标准提供了这个例子来证明在数组超出范围后访问初始化列表是未定义的行为：

struct A {
std::initializer_list<int> i4;
A() : i4{ 1, 2, 3 } {} // creates an A with a dangling reference
};

initializer_list 对象在构造函数的 ctor-initializer，所以数组只持续到构造函数退出，所以任何使用 i4 的元素 构造函数退出后会产生未定义的行为。 ——结束示例]

您有一个类似但略有不同的示例，其中涉及复制：

std::initializer_list<objects> objects_list()
{
    return { zero, one, two, three, four, five, six, seven };
}

根据标准的逻辑，数组{zero, one, two, ...} 仅在objects_list 函数的持续时间内持续存在。

18.9/2 [support.initlist] 还支持副本不会持久化底层数组：

复制 [std::]initializer list 不会复制底层元素。

所以我相信你的代码最终是 UB 并且它之前工作的事实是幸运的。