赋值前检查变量是否已为目标值是否更优？布尔变量条件赋值的性能对比及跨语言差异

先明确两种实现的代码示例：

方式一：直接赋值 #

// something that changes 'a'
if (cond) {
  a = true;
}

方式二：先判断再赋值 #

// something that changes 'a'
if (cond) {
  if (!a) {
    a = true;
  }
}

首先给出核心结论：绝大多数场景下，方式一的执行效率更高，下面具体拆解原因和不同语言的差异：

为什么方式一更高效？ #

方式二比方式一多了一层!a的条件判断——只要cond为真，就必须多执行一次布尔值读取、逻辑非运算和分支判断。而方式一直接执行赋值，省去了这额外的一步。

可能有人会想：如果a本来就是true，方式二能省掉一次赋值操作？但实际上，现代编程语言的编译器/解释器对这种冗余操作的优化能力极强：给一个已经是true的布尔变量赋值true，几乎是零成本的——很多时候编译器会直接把这行冗余赋值代码删掉，根本不会执行实际的写操作。

哪怕没有优化，布尔变量的赋值操作本身也非常轻量，远比不上多一层条件判断带来的开销。

不同编程语言的性能差异 #

编译型语言（C/C++、Rust、Go等） #

这类语言的编译器优化能力极强，会自动处理冗余赋值。比如当编译器检测到a已经是true时，方式一中的a = true会被直接优化掉。这时候两种方式的性能几乎没有区别，但方式一因为少一层分支判断，实际执行效率反而略胜一筹。

解释型语言（Python、JavaScript、PHP等） #

解释器的优化能力不如编译器，但布尔赋值的开销依然远低于额外的条件判断。比如在JavaScript中，读取变量值、做逻辑非、分支跳转这几步的总开销，比直接给布尔变量赋值要大得多。所以方式一依然是更优的选择。

特殊场景例外 #

如果a是带有复杂逻辑的属性（比如Java的volatile变量、Python的@property setter），或者需要跨线程同步访问，这时候赋值操作的开销会显著增加。如果a经常处于true状态，方式二可能会有极其微小的性能优势，但这种场景非常罕见，而且代码可读性的优先级远高于这点微乎其微的性能提升。

额外建议：优先考虑可读性 #

不管性能差异如何，方式一的代码更简洁直观，维护成本更低。除非你通过性能测试明确证明方式二能带来显著的性能提升，否则完全没必要为了那点可能不存在的优化，增加代码的复杂度。

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