为何我的if分支会执行？是代码问题还是MSVC编译器问题？

核心原因：编译器优化导致的线程可见性问题 #

在Visual Studio的Release模式下，编译器默认开启了激进的优化选项（如/O2）。你的代码中，全局变量myvarriable既没有被声明为volatile，也没有使用C++标准的线程同步机制（如std::atomic），编译器会做出如下优化：

• 编译器认为在loop函数的执行上下文里，myvarriable的值永远不会被修改（当前线程没有修改它，编译器也不会主动考虑其他线程的修改，除非有明确的同步约束）。
• 基于这个假设，编译器会直接优化掉if (myvarriable == true)的条件判断，甚至直接将if分支内的代码提升到循环中执行，导致明明myvarriable是false，却持续输出hi。

断点显示异常的原因 #

Release模式下编译器会对代码进行重排、合并甚至删除冗余指令，调试信息和实际执行的机器码已经不完全对应。当你在std::string memory = "hi";处设置断点时，命中的实际机器码可能已经和源代码的位置脱节，此时显示的myvarriable值可能是缓存的旧值，或者代码已经被优化跳过了条件判断，导致变量显示和执行逻辑不符。

解决方法 #

有两种可靠的修复方式：

1. 使用volatile关键字声明变量：

volatile bool myvarriable = false;

volatile会强制编译器每次从内存中读取变量值，而不是缓存到寄存器或优化读取操作，保证变量的最新值能被线程看到。

2. 使用C++标准的原子变量（更推荐）：

#include <atomic>
std::atomic<bool> myvarriable = false;

std::atomic是C++专门为线程间共享变量设计的类型，不仅能保证变量的可见性，还能避免多线程修改时的竞态条件，是线程安全的正确做法。

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