函数内static constexpr变量绑定引用引发的编译运行异常排查

• 代码存在明确问题：问题出在FrameRowView的构造逻辑与成员变量m_width的绑定上

  • foo函数中，static constexpr auto Width = 16;的类型是int（整数字面量默认类型为int）
  • 调用FrameRowView<PixelRGBui8> { Width }时，构造函数参数是const uint32_t& width，会触发隐式类型转换，创建一个临时的uint32_t对象存储转换后的16
  • m_width作为引用绑定到这个临时对象，但临时对象在构造函数执行完毕后立即销毁，导致frameRowPrev.m_width成为悬垂引用。后续对该引用的访问属于C++标准定义的未定义行为——编译器可产生任何结果，包括看似正确的输出、垃圾值或运行时错误

• 不同编译器/优化选项下的表现差异：

  • Clang在-O0和-O3下输出“正确”，只是临时对象的内存尚未被其他数据覆盖，属于未定义行为下的巧合；ASAN专门检测内存越界与悬垂引用，触发stack-use-after-scope错误是准确检测，并非误报
  • MSVC在/O0下临时对象内存未被重用，输出正常；但/O2优化后编译器会更高效利用栈空间，bar函数中的arrayA占用了原临时对象的内存区域，导致访问view.m_width时读取到垃圾值；当arrayA大小改为1时，栈内存布局变化，未覆盖原临时对象地址，再次出现“正常”输出，这仍是未定义行为的表现，并非MSVC的bug

• 修复方案：

  • 调整Width的类型为uint32_t，避免临时对象创建：static constexpr uint32_t Width = 16;
  • 或者将FrameRowView的m_width改为值存储而非引用，彻底规避悬垂引用风险：把const uint32_t& m_width;改为uint32_t m_width;

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