关于std::initializer_list复制风险的疑问：新版本编译器为何不再警告且未禁用该操作？

先看你给出的测试代码：

#include <initializer_list>

int main() {
    std::initializer_list<int> il = std::initializer_list<int>{1, 2, 3};
    return 0;
}

你提到的几个问题，其实都和std::initializer_list的底层设计、标准实现的演变有关，我来逐个解释：

1. 为什么旧版Clang警告，新版本编译器却不提示了？ #

首先得明确：std::initializer_list本质是个轻量级代理对象，内部只存储指向底层临时数组的指针和数组大小，本身并不持有数据。

在Clang 15.0.0中，当你像代码里这样**复制一个临时的initializer_list**时，右边临时对象引用的底层数组会在整个赋值表达式结束后立即销毁，而左边的il会保留指向这个已销毁数组的指针，这就产生了悬空引用，所以编译器会触发警告：

warning: array backing local initializer list 'il' will be destroyed at the end of the full-expression [-Wdangling]

新版本编译器不再警告，主要有两个原因：

• 更精准的生命周期判断：后来的编译器对initializer_list的生命周期绑定规则做了细化。如果是直接用花括号列表初始化命名对象（比如std::initializer_list<int> il{1,2,3};），底层数组的生命周期会和il保持一致，这种场景是完全安全的；而你代码里的写法是复制临时对象，理论上仍有风险，但如果编译器检测到你后续并没有访问il的底层元素，就不会触发警告——毕竟没有实际的内存访问，悬空的风险不会转化为实际问题。
• Sanitizer检测逻辑迭代：AddressSanitizer的检测规则也在更新，新版本可能对这种“复制后未实际使用悬空指针”的场景做了过滤，避免不必要的误报。

2. 既然复制有风险，为什么标准不禁止std::initializer_list的复制？ #

这是标准设计的权衡结果：

• std::initializer_list的核心使命是简化容器、函数的初始化语法，它的复制操作本身非常轻量（只是复制指针和大小两个值），允许复制是为了让它能像普通值一样传递（比如作为函数参数、存储在容器中），这是它实现设计初衷的必要条件。
• 它的“不安全”并不是复制操作本身的问题，而是复制后引用的底层数组可能提前销毁的使用陷阱。这种陷阱属于开发者的使用层面问题，而非语言本身的错误——比如如果你复制的是一个绑定到长期存在数组的initializer_list（比如全局数组对应的initializer_list），那复制就是完全安全的。C++标准不会因为存在使用风险就禁止整个特性，就像裸指针也有悬空风险，但标准并不会禁用指针一样，更多是依赖开发者的规范使用。

总结一下：新版本编译器的警告变化是因为对风险场景的判断更精准，或者代码中没有实际触发风险的操作；而允许复制则是std::initializer_list设计的必然选择，开发者需要自己留意它的底层数组生命周期限制。

备注：内容来源于stack exchange，提问作者Zitrax