点评：典型的送分考验基础的题目，在其他编程语言中可以使用异或运算的方式来实现交换两个变量的值。

但是Python中有更为简单明了的 Pythonic 做法。

条件：不允许使用中间变量

@

• 方法一 使用异或（XOR）运算符
• 方法二 使用 Python 的解包特性 ( 元组解包 ) 来交换变量的值
  • 元组解包
  • ROT_TWO ROT_THREE 到 SWAP 字节指令
  • 通过字节码验证是否是元组解包

方法一 使用异或（XOR）运算符

a = a ^ b
b = a ^ b
a = a ^ b

首先，将 a 与 b 异或并将结果赋值给 a，这样 a 中存储了 a 和 b 的异或结果。

接下来，将 a （ab异或结果） 与 b 的原始值异或并将结果赋值给 b，这样 b 中存储了原始的 a 值。

最后，将 a 与 b 的异或结果与 b 的值异或，并将结果赋值给 a，这样 a 中存储了原始的 b 值。最终，a 和 b 的值完成了交换。

• 这个方法局限于整数类型

方法二 使用 Python 的解包特性 ( 元组解包 ) 来交换变量的值

a, b = b, a

需要注意的是，这个操作并不是元组解包，而是直接在内存中交换了两个变量的值。

元组解包

元组解包通常在多变量赋值时使用，例如 a, b, c, d = b, c, d, a，才会涉及元组的创建和解包。

ROT_TWO ROT_THREE 到 SWAP 字节指令

Python 字节码指令中有 ROT_TWO 指令来支持这个操作，类似的还有 ROT_THREE，对于3个以上的元素，如 a, b, c, d = b, c, d, a，才会用到创建元组和元组解包。

Python在 3.11 版本中引入了"SWAP"字节码指令,用于交换栈顶的两个元素。在此之前,Python使用"ROT_TWO"字节码指令来实现相同的功能, 但是效率较低。

• https://docs.python.org/3/whatsnew/3.11.html#cpython-bytecode-changes
  • https://docs.python.org/3/library/dis.html#opcode-COPY
• 代码变动 Commit
  • https://github.com/python/cpython/commit/85483668647e7840c7b9a1877caaf2ef14a4443f

通过字节码验证是否是元组解包

想知道你的代码对应的字节码指令，可以使用Python标准库中 dis 模块的 dis 函数来反汇编你的 Python 代码。

import dis  
  
code_to_inspect = """  
a, b = b, a  
"""  
  
dis.dis(code_to_inspect)  
  
code_to_inspect = """  
a, b, c, d = c, d, b, a  
"""  
  
dis.dis(code_to_inspect)