在for循环中初始化std::array并遍历出异常值，是未定义行为还是编译器Bug？

先直接给结论：你遇到的问题不是C++标准定义的未定义行为，而是Visual Studio 2019 16.7.2/16.7.3版本在/Ox优化选项下的一个编译器Bug。

为什么理论上第一个代码片段是合法的？ #

根据C++标准，范围for循环的执行逻辑是：

• 首先会创建一个临时变量，绑定到范围表达式（这里就是std::array{ 0.0f, 0.33f, 0.66f, 1.0f }这个临时对象）的结果
• 这个临时变量的生命周期会被延长至整个循环结束，所以在循环迭代过程中，你访问的array元素应该是有效的，不应该出现垃圾值。

为什么你的环境会出现错误？ #

在VS 16.7.x的/Ox优化下，编译器处理直接嵌入范围for的std::array临时对象时，出现了生命周期管理的错误——它过早销毁了这个临时array，导致循环迭代时访问的是已经被释放的内存区域，所以读出了随机的垃圾值（你替换成整型也有问题，进一步说明这是内存访问的问题，不是浮点类型特有的）。

小型项目复现不了的原因是：编译器的优化行为会受代码上下文影响，复杂项目的代码结构可能刚好触发了这个特定的优化Bug，而简单项目没有。

解决方法 #

• 最直接的：升级到Visual Studio 2019 16.8或更高版本，这个Bug在后续版本中已经被修复了。
• 临时 workaround：像你的第二个代码片段那样，先把std::array赋值给一个命名变量，再用范围for循环遍历，避免直接在范围表达式中构造临时对象。

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