GCC 12中static std::map<int,std::initializer_list<int>>数据损坏问题咨询

首先结论：这是未定义行为，不是GCC的bug，也不是代码格式错误，而是对std::initializer_list的生命周期规则理解有误。

核心原因 #

std::initializer_list本质是一个仅包含指针和长度的轻量级结构体，它指向的底层数组是编译器创建的临时对象——当你用{1,2,3}这类初始化列表构造std::initializer_list时，这个底层数组会被分配在栈上，其生命周期仅持续到当前完整表达式结束。

当你把std::initializer_list存入static std::map<int, std::initializer_list<int>>时，你保存的只是这个轻量级结构体，而它指向的临时数组在表达式结束后就已经被销毁，栈空间会被后续函数调用复用覆盖，此时再访问这个std::initializer_list的内容，必然会出现数据损坏。

GCC版本差异的本质 #

• GCC 8中临时数组被放在只读数据区只是编译器实现的巧合，C++标准从未保证这类临时数组会被分配到只读区，或是延长生命周期。这种符合预期的表现属于未定义行为的“幸运情况”，不代表代码逻辑正确。
• GCC 12的行为才是符合标准预期的：临时数组按规则分配在栈区，表达式结束后栈空间被复用，直接暴露了代码的未定义行为。

修复方案 #

不要直接存储std::initializer_list，而是将其转换为拥有独立内存管理的容器，比如std::vector<int>：

static std::map<int, std::vector<int>> my_map = {
    {1, {1, 2, 3}},
    {2, {4, 5, 6}}
};

std::vector会将初始化列表中的元素复制到自己管理的堆内存中，生命周期与容器本身一致，不会出现内存被覆盖的问题。

内容的提问来源于stack exchange，提问作者Mingfei Gao