该语句看似混乱，实则遵循 python 的赋值链解析规则：它先构建元组 `(b, a)` 并赋值给 `a`，再将该元组解包回 `a` 和 `b`，最终实现变量交换——但 `a` 会经历“临时变元组→被解包覆盖”的过程。
在 Python 中，a = a, b = b, a 是一条复合赋值语句（compound assignment），而非两个独立赋值。它等价于：
a, b = b, a
但执行过程更复杂：Python 将其解析为 “先计算右侧表达式，再依次赋值” 的链式操作。关键在于，a, b = b, a 本身是原子性的解包赋值，而 a = a, b = b, a 实际上被解释为：
# 等效逻辑（非语法合法，仅示意执行顺序）： temp = (b, a) # 构建元组：(20, 10) a = temp # 此时 a 变为元组 (20, 10) a, b = temp # 解包 temp → a=20, b=10
可通过字节码验证这一行为（以 Python 3.11 为例）：
import dis
def swap_demo():
a = 10
b = 20
a = a, b = b, a
dis.dis(swap_demo)输出关键字节码片段：
立即学习“Python免费学习笔记（深入）”；
10 LOAD_FAST 1 (b) # 加载 b (20) 12 LOAD_FAST 0 (a) # 加载 a (10) 14 BUILD_TUPLE 2 # 构建元组 (20, 10) 16 COPY 1 # 复制该元组（为后续解包准备） 18 STORE_FAST 0 (a) # 将元组存入 a → a = (20, 10) 20 UNPACK_SEQUENCE 2 # 解包元组 24 STORE_FAST 0 (a) # 第一个元素 → a = 20 26 STORE_FAST 1 (b) # 第二个元素 → b = 10
可见：a 先被赋值为元组，紧接着又被解包覆盖——因此最终 a 不是元组，而是 20；b 变为 10。
⚠️ 重要提醒：
- 此写法属于未文档化、高度依赖实现细节的晦涩语法，CPython 解释器虽当前支持，但官方从未保证其稳定性；
- 它违反可读性原则，极易引发误解（如误以为 a 会保留元组）；
- 在 PyPy、Jython 或未来 CPython 版本中可能被禁用或行为变更；
- 绝对不应出现在生产代码中。标准、安全、清晰的交换写法永远是：
a, b = b, a # ✅ 推荐：原子性、可读、跨版本兼容
或显式使用临时变量：
temp = a a = b b = temp # ✅ 明确、易调试，适合复杂逻辑
总结：a = a, b = b, a 是字节码层面的“副作用巧合”，不是设计特性。理解其原理有助于深入掌握 Python 赋值机制，但实践中请坚决使用 a, b = b, a —— 简洁即强大，清晰即可靠。
