存储嵌套std::initializer_list是否属于未定义行为？

你的疑虑完全正确——将嵌套的std::initializer_list存储到variant中并在构造函数返回后保留，属于C++标准定义的未定义行为。代码运行正常只是巧合，并非符合标准的保证。

核心原因：std::initializer_list的生命周期绑定规则 #

根据C++标准，当你通过大括号列表初始化std::initializer_list<T>时，编译器会在栈上创建一个临时的const T[]数组，而std::initializer_list本质就是指向这个数组的指针+长度的组合（和string_view完全类似，仅作为视图存在，不拥有底层内存）。

关键规则是：这个临时数组的生命周期仅延续到包含该初始化表达式的完整表达式结束时。具体到你的场景：

• 当你用嵌套大括号构造内部的std::initializer_list时，对应的临时数组会在构造函数的完整表达式执行完毕后立即销毁；
• 构造函数返回后，你存在variant里的std::initializer_list就变成了悬垂视图，它指向的栈内存已经被释放，后续任何访问该initializer_list元素的操作，或者仅仅是保留这个视图本身（虽然视图结构体本身是有效的，但它指向的内容已无意义），都属于未定义行为。

嵌套场景的风险放大 #

嵌套结构会让这个问题更隐蔽：内层大括号列表创建的临时数组，其生命周期不会因为外层的std::initializer_list被存储而延长。哪怕外层的variant存活，内层的临时数组早已随着构造函数的结束被销毁，栈空间可能被后续的函数调用、局部变量分配覆盖，此时访问悬垂的initializer_list可能出现崩溃、乱码，或者看似正常的错误结果——这些都是未定义行为的典型表现。

总结 #

std::initializer_list设计的初衷是一次性的初始化参数传递，而非长期存储的数据容器。任何试图将其存储下来（超过它的完整表达式生命周期）的行为，不管是否嵌套，都违反了标准规定，属于未定义行为。

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