如何用数组解构快速交换两个变量的值而无需中间变量

如何用数组解构快速交换两个变量的值而无需中间变量

直接用 [a, b] = [b, a] 就行，这是目前最安全、最可读、也最符合现代 JS 语义的写法。

解构赋值 [a, b] = [b, a] 是最安全、可读且符合现代 JS 语义的变量交换写法，其右侧先计算并缓存当前值，左侧按序赋值，不依赖中间变量；但要求 a、b 已声明且右侧非 null/undefined。

为什么解构赋值能直接交换

关键在于赋值操作的顺序。右侧的 [b, a] 会先被计算，引擎会立刻“记住”此刻 a 和 b 各自的值，并生成一个全新的数组。然后，左侧的解构模式 [a, b] 才登场，它按顺序将这个新数组的元素分别赋给对应的变量。整个过程一气呵成，不依赖任何中间变量，也完全不会打乱原始值的计算逻辑。

不过，一个常见的坑是：如果变量还没“出生”就急着交换，肯定会出问题。比如 let a, b; [a, b] = [b, a]; 这行代码会直接抛出 ReferenceError: Cannot access 'b' before initialization 错误，原因就在于右侧试图访问那个尚未初始化的 b。

• 所以，前提是确保 a 和 b 都已经声明好了（用 let 或 const 都行）。
• 另外，右侧绝不能是 null 或 undefined，否则会触发 TypeError: undefined is not iterable。
• 对于只声明未赋初值的变量（如 let a, b;），也不能立刻进行解构交换，需要先给它们赋上初始值，或者调整声明和赋值的顺序。

和加减法、异或法比，解构有什么优势

过去，为了不用临时变量，人们想出了不少“奇技淫巧”，比如加减法（a = a + b; b = a - b; a = a - b）和异或法（a ^= b; b ^= a; a ^= b）。但这些方法都有明显的硬伤：

• 加减法：面对大数时存在溢出风险。虽然在Ja vaScript里数字是双精度浮点数，但一旦超过 2^53 的精度上限，计算就会丢失精度，结果自然不准。
• 异或法：适用范围更窄，只对整数有效。一旦碰上 NaN、Infinity、字符串或者对象，要么直接报错，要么静默地给出错误结果，调试起来非常头疼。
• 解构赋值：优势就在于它的“与类型无关”。数字、字符串、布尔值、对象，甚至是 null 和 undefined，它都能照换不误——只要右侧是个可迭代对象就行。这种通用性大大降低了心智负担。

至于性能，完全不用担心。现代Ja vaScript引擎（如V8、SpiderMonkey）早已对解构赋值做了深度优化。实际测试表明，它的耗时与使用临时变量的传统方法基本处在同一水平线上，没有任何明显的性能劣势。

容易被忽略的边界情况

解构交换的语法虽然简洁，但魔鬼藏在细节里。有几个边界情况特别容易被忽略：

• const 变量也能换？ 是的，const a = 1; const b = 2; [a, b] = [b, a]; 这句代码是合法的。这里并不是对 const 变量进行“重新赋值”，而是通过解构绑定了一个新值，语法层面是允许的。
• 嵌套交换要谨慎：像 [arr[0], obj.x] = [obj.x, arr[0]] 这样的写法虽然可行，但可读性会急剧下降。更重要的是，如果 arr[0] 是 undefined 或者对应的属性不可写，操作会静默失败。这种情况下，拆分成两步操作反而更清晰、更安全。
• 想给交换加个“保险”？ 可以尝试 [a, b] = [b ?? 0, a ?? 0]。但要注意，空值合并运算符 ?? 只处理 null 和 undefined，对于 0、false、空字符串这些 falsy 值，它是不会进行替换的。

说到底，真正需要思考的往往不是“怎么写”，而是“什么时候不该用”。举个例子，如果在循环里需要高频交换数组中的两个元素，写成 [arr[i], arr[j]] = [arr[j], arr[i]] 看起来是很酷，但每次迭代都会创建一个新的临时数组，无形中增加了垃圾回收（GC）的压力。在这种对性能极其敏感的场景下，返璞归真，老老实实用一个 temp 临时变量，反而是更稳健的选择。