抽丝剥茧，深入剖析 Python 如何实现变量交换

Python 程序员肯定知道 a,b = b,a，这句话用来交换两个变量。相较于其它语言需要引入一个 temp 来临时存储变量的做法，Python 的这种写法无疑非常优雅。

简洁优雅的 C 写法：

int a = 1; 
int b = 2; 
int temp; 
temp = a; 
a = b; 
b = temp; 

简洁优雅的 Python 写法：

a,b = 1,2 
a,bb = b,a 

虽然语法非常方便，但我们始终不曾想过：它是怎么运作的?背后支撑它的机制是什么?下面让我们一步步分析它。

通俗的说法

最常见的解释是：

a,b = b,a 中右侧是元组表达式，即 b,a 是一个两个元素的 tuple(a,b)。表达式左侧是两个待分配元素，而 = 相当于元组元素拆包赋值操作。

这种方法，理解起来最简单，但实际是这种情况么?

让我们从字节码上看下，是不是这种情况。

从字节码一窥交换变量

大家可能不太了解 Python 字节码。Python 解释器是一个基于栈的虚拟机。Python 解释器就是编译、解释 Python 代码的二进制程序。

虚拟机是一种执行代码的容器，相较于二进制代码具有方便移植的特点。而 Python 的虚拟机就是栈机器。

Python 中函数调用、变量赋值等操作，最后都转换为对栈的操作。这些对栈的具体操作，就保存在字节码里。