重构代码时能否将`if (!x) x=true`直接替换为`x=true`？

结论 #

两种写法在绝大多数常规场景下语义完全等价，仅在少数特殊场景存在差异，是否可以替换需要结合你的代码上下文判断：

可以直接替换的场景 #

如果满足以下全部条件，直接替换为x = true;是完全安全的，且确实可以减少分支指令，避免分支预测失败带来的性能损耗：

• x是单线程环境下的原生bool类型变量，无volatile修饰
• x未自定义运算符重载（C++等支持运算符重载的语言场景）
• 没有调试逻辑依赖该if分支的触发断点

不建议替换的场景 #

如果存在以下任意一种情况，直接替换会导致语义变化或性能下降：

• 多线程/volatile场景：如果x是多线程共享变量或被volatile修饰，写操作本身附带内存屏障语义。原写法仅在x为false时触发写操作的内存屏障，替换后无论x原有取值都会触发写屏障，可能改变多线程同步逻辑的行为。
• 自定义类型场景：如果x是重载了operator!、operator=的自定义类类型，且运算符实现附带额外副作用，原写法仅在判定为false时执行赋值逻辑，替换后会无条件执行赋值运算符的副作用，逻辑行为会发生变化。
• 读多写少热点场景：如果该代码处于热点路径，且x绝大多数时候取值为true，原写法仅执行读操作，不需要修改缓存行状态，不会触发缓存一致性开销；替换后会无条件执行写操作，频繁修改缓存行状态反而会导致性能下降。
• 调试依赖场景：如果你的调试流程依赖该if分支的触发来定位x被修改的时机，直接替换会丢失分支判断的断点触发条件。

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