同一对象元素自赋值性能探究：V8优化及三元与if语句性能对比

首先直接回答你的核心问题：V8引擎的JIT编译器（比如TurboFan）足够智能，能识别并消除无副作用的obj.key = obj.key操作——也就是说，当obj.key是普通数据属性（没有自定义getter/setter）时，这种赋值在编译优化后不会产生任何实际执行开销。

接下来我们拆解你的两种使用场景，分析它们的性能差异：

1. 两种写法的核心逻辑差异 #

先看你的原代码：

Object.keys(otherObj).forEach(e => { 
  if(!obj[e]) { 
    obj[e] = foo(); 
  } 
});

它的语义非常明确：只有当obj[e]为假值（包括undefined、null、0、''等）时，才会调用foo()并赋值给obj[e]；否则什么都不做。

而三元运算符的写法：

Object.keys(otherObj).forEach(e => obj[e] = obj[e] ? obj[e] : foo());

它的逻辑是：无论obj[e]是真值还是假值，都会执行一次赋值操作——真值时是把obj[e]自身赋值给自身，假值时才调用foo()赋值。

2. 性能表现的细节对比 #

场景A：obj[e]是普通数据属性（无getter/setter） #

• 对于三元写法中的obj[e] = obj[e]，V8在热点编译（函数被多次调用后）会完全消除这个操作，不会产生任何内存或计算开销。
• 两种写法的性能差异微乎其微：原写法少了一次“无意义赋值”的编译判断，但这个差异在常规业务场景下几乎无法察觉。只有在处理超大规模数据（比如百万级以上的键遍历）时，原写法可能会有极其微弱的优势，但这种场景其实更应该考虑其他优化（比如提前缓存Object.keys结果、改用for...in等）。

场景B：obj[e]是访问器属性（有自定义getter/setter） #

这时候情况就完全不同了：

• 原写法只有在obj[e]为假值时，才会触发setter；而判断条件中的!obj[e]会触发一次getter。
• 三元写法无论真假都会触发一次getter（获取判断条件的值），如果是真值，还会再触发一次getter（获取赋值右边的值）和一次setter——这会带来明显的性能损耗，因为getter/setter可能包含副作用逻辑，V8无法优化这些操作。

3. 推荐方案 #

从语义清晰度和兼容性来看，更推荐使用原写法：

• 它的逻辑一目了然，维护成本更低；
• 在访问器属性场景下能避免不必要的getter/setter调用；
• 即使在普通数据属性场景，也不会有任何性能劣势。

如果想进一步优化原写法的性能，可以缓存obj[e]的取值，避免重复属性查找：

Object.keys(otherObj).forEach(e => {
  const val = obj[e];
  if (!val) {
    obj[e] = foo();
  }
});

这能减少一次属性查找的开销，在大规模遍历场景下效果更明显。

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