本文深入探讨javascript中运算符的优先级、赋值运算符（如`+=`）与自增运算符（如`++`）的求值顺序。通过解析复杂表达式中的副作用，结合ecmascript规范，揭示了赋值操作中左侧变量初始值与右侧表达式完整计算后进行最终赋值的机制，帮助开发者理解此类表达式的实际行为，避免潜在的逻辑错误。
在JavaScript编程中，理解运算符的优先级和表达式的求值顺序对于编写正确且可预测的代码至关重要，尤其当表达式中包含具有副作用的运算符（如赋值运算符+=或自增/自减运算符++/--）时。一个常见的误解是，运算符优先级决定了所有操作的执行顺序，但实际上，它主要决定了表达式的分组方式，而实际的求值顺序，特别是涉及副作用时，遵循更复杂的规则。
运算符优先级与求值顺序的混淆
考虑以下JavaScript代码片段：
let i = 1; let j = (i+=2) * (i+=3 + ++i); console.log(j); // 打印 30
初看起来，这个表达式的结果可能令人困惑。开发者可能会直觉地认为i+=2先执行，然后i的新值被用于后续的i+=3和++i。但如果只是简单地按顺序计算，结果似乎难以达到30。例如，如果i+=2后i变为3，然后i+=3后i变为6，++i后i变为7，那么3 * (6 + 7)显然不是30。
要正确理解这类表达式的行为，我们需要区分运算符优先级和实际的求值步骤。
立即学习“Java免费学习笔记（深入）”；
ECMAScript规范解析赋值运算符
ECMAScript规范明确了赋值运算符（如+=）的求值过程。当执行LeftHandSideExpression AssignmentOperator RightHandSideExpression形式的表达式时，其运行时语义如下：
- 求值左侧表达式 (LeftHandSideExpression)： 首先，对赋值运算符左侧的表达式进行求值，以获取一个引用（Reference）。这个引用指向将要被赋值的变量。重要的是，在进行最终赋值之前，这个引用所指向变量的当前值会被保存下来，用于后续的计算。
- 求值右侧表达式 (RightHandSideExpression)： 接下来，对赋值运算符右侧的表达式进行求值，得到一个值。
- 执行二元操作并赋值： 最后，使用步骤1中保存的左侧变量的原始值，与步骤2中求得的右侧表达式的值，执行相应的二元操作（例如，对于+=，就是加法），然后将结果赋值给步骤1中获取的引用所指向的变量。
这个过程是理解上述复杂表达式的关键。
逐步解析示例代码
让我们应用上述规范来逐步解析let j = (i+=2) * (i+=3 + ++i);：
初始化:let i = 1;
第一部分：(i+=2)
- 求值左侧表达式 i： 获取到变量i的引用。此时i的值为1。
- 求值右侧表达式 2： 得到值2。
- 执行操作并赋值： 使用i的原始值1与右侧值2进行加法操作：1 + 2 = 3。将结果3赋值给i。
-
表达式结果： (i+=2)这个子表达式的求值结果是3。
- 此时，i的值变为3。
- 表达式变为 j = 3 * (i+=3 + ++i);
第二部分：(i+=3 + ++i)
这个子表达式等价于 i += (3 + ++i)，因为+的优先级高于+=。
- 求值左侧表达式 i： 获取到变量i的引用。此时i的值为3。这个值会被保存下来用于后续的加法操作。
-
求值右侧表达式 (3 + ++i)：
-
内部求值 ++i： ++运算符的优先级高于+。
- i的当前值为3。
- ++i将i递增到4。
- ++i表达式的值为4。
- 内部求值 3 + 4： 得到结果7。
- 所以，右侧表达式 (3 + ++i) 的求值结果是7。
-
内部求值 ++i： ++运算符的优先级高于+。
- 执行操作并赋值： 使用步骤1中保存的i的原始值3与右侧表达式结果7进行加法操作：3 + 7 = 10。将结果10赋值给i。
-
表达式结果： (i+=3 + ++i)这个子表达式的求值结果是10。
- 此时，i的值变为10。
- 表达式变为 j = 3 * 10;
最终计算:j = 3 * 10;j = 30;
这与console.log(j)打印出的30完全吻合。
简化示例加深理解
为了进一步巩固理解，我们来看一个更简单的例子：
let i = 1; let j = i += 3 + ++i; console.log(j); // 打印 6
解析过程：
- 初始化: i = 1;
- 表达式 i += 3 + ++i 等价于 i += (3 + ++i)。
- 求值左侧表达式 i： 获取i的引用。此时i的值为1。这个1被保存下来。
-
求值右侧表达式 (3 + ++i)：
- 内部求值 ++i： i的当前值为1。++i将i递增到2。++i的值为2。
- 内部求值 3 + 2： 得到结果5。
- 所以，右侧表达式 (3 + ++i) 的求值结果是5。
- 执行操作并赋值： 使用步骤3中保存的i的原始值1与右侧表达式结果5进行加法操作：1 + 5 = 6。将结果6赋值给i。
- 表达式结果： i += (3 + ++i) 这个表达式的求值结果是6。
- 赋值给 j： j被赋值为6。
注意事项与最佳实践
避免复杂表达式： 尽管JavaScript允许编写这类包含多重副作用的复杂表达式，但在实际开发中应尽量避免。它们极大地降低了代码的可读性和可维护性，并容易引入难以发现的错误。
-
使用临时变量： 当一个变量在同一个表达式中既被修改又被读取时，使用临时变量来存储中间结果，或者将表达式拆分为多个独立的语句，可以使代码逻辑更清晰。
// 避免 // let j = (i+=2) * (i+=3 + ++i); // 推荐 let i = 1; let temp1 = (i += 2); // i 现在是 3, temp1 是 3 let original_i_for_second_assignment = i; // 保存 i 的当前值 3 i++; // i 现在是 4 let temp2 = 3 + i; // 3 + 4 = 7 i = original_i_for_second_assignment + temp2; // i = 3 + 7 = 10 let j = temp1 * i; // j = 3 * 10 = 30 console.log(j); // 30
虽然上面为了展示规范而拆分得非常细致，实际代码中可以更简洁地拆分：
let i = 1; const firstPartResult = (i += 2); // i is now 3, firstPartResult is 3 // For the second part (i+=3 + ++i) // The spec says the LHS (i) is evaluated first and its value (3) is saved. const iBeforeSecondAssignment = i; // Save 3 i++; // i becomes 4 const rhsValue = 3 + i; // 3 + 4 = 7 i = iBeforeSecondAssignment + rhsValue; // i = 3 + 7 = 10 const j = firstPartResult * i; // j = 3 * 10 = 30 console.log(j); // 30
理解优先级与求值顺序的区别： 运算符优先级决定了操作数的绑定关系（例如，a + b * c中b和c先与*绑定），而求值顺序（Evaluation Order）则规定了表达式中各个子表达式实际计算的先后。对于赋值运算符，其特殊的求值语义是理解复杂行为的关键。
总结
JavaScript中包含赋值和自增/自减运算符的复杂表达式，其求值顺序并非简单地从左到右或严格遵循优先级。特别是赋值运算符，它会先保存左侧变量的当前值，然后完整计算右侧表达式，最后才将两者结合并赋回给左侧变量。深入理解ECMAScript规范中的这些细节，对于编写健壮、可预测的JavaScript代码至关重要。在实践中，为了代码的清晰性和可维护性，强烈建议避免在单个表达式中对同一变量进行多次具有副作用的操作。
