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

直接用 [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 临时变量,反而是更稳健的选择。
