基于元组赋值语句的原地交换（In-place swap）机制探究

求值机制 #

Go的元组赋值遵循固定执行顺序：

1. 先一次性计算右侧所有表达式的结果，按表达式顺序将结果暂存；
2. 再按左侧变量列表的顺序，把暂存的结果依次赋值给对应变量。

针对*a, *b = *b, *a这条语句，第一步会先读取*b的当前值、读取*a的当前值，将这两个值单独保存；第二步先把之前存的*b值赋值给*a，再把之前存的*a值赋值给*b。这种先全量计算右侧再赋值的逻辑，避免了赋值过程中覆盖原始值导致交换失败的问题。

是否隐式使用临时存储？ #

是的，一定会隐式用到临时存储。
代码里的“无需临时变量”只是语法层面的简洁写法，底层实现必须依赖临时存储来保存右侧表达式的计算结果。如果不暂存这些值，直接边赋值边读取，比如先把*b赋值给*a，之后读取*a时就已经是新值了，交换逻辑会完全错误。Go编译器会自动在底层分配临时空间完成暂存操作，只是不需要你在代码里显式声明临时变量而已。

补充说明你代码里两个函数的区别：

• swapActual通过指针操作结合元组赋值机制，真正完成了外部变量的原地交换；
• swapCopy里的a, b = b, a只是交换了函数内部的局部变量副本，不会影响main函数里的原始a和b。

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