该语句看似混乱，实则遵循 python 赋值表达式的求值与绑定规则：先构建元组 `(b, a)` 并赋给 `a`，再将该元组解包回 `a` 和 `b`，最终完成交换——本质是“先存后拆”，而非原子化交换。
在 Python 中，a = a, b = b, a 是一条合法但高度误导性的复合赋值语句。它并非语法错误，而是利用了 Python 对多个目标赋值（target_list = expression_list）的特殊解析规则。关键在于：Python 将其解析为 a = (a, b = b, a) 吗？不；而是将其视为 a, b = b, a 的变体，但左侧多了一个 a = 前缀——这触发了“隐式元组构造 + 解包重绑定”的两阶段行为。
我们通过字节码（dis）可清晰看到执行流程（以 Python 3.11 为例）：
import dis
def swap_demo():
a = 10
b = 20
a = a, b = b, a # ← 这一行是核心
dis.dis(swap_demo)关键字节码步骤解读：
- LOAD_FAST 1 (b) → 加载 b（值为 20）
- LOAD_FAST 0 (a) → 加载 a（值为 10）
- BUILD_TUPLE 2 → 构建元组 (20, 10)
- COPY 1 → 复制该元组栈顶副本（为后续解包准备）
- STORE_FAST 0 (a) → 第一阶段：将 (20, 10) 赋给 a → 此时 a 变为元组 (20, 10)，b 仍为 20
- UNPACK_SEQUENCE 2 → 解包刚复制的元组（即 (20, 10)）
- STORE_FAST 0 (a) 和 STORE_FAST 1 (b) → 第二阶段：将解包结果依次赋给 a 和 b → a = 20, b = 10
因此，整条语句等价于以下显式过程：
立即学习“Python免费学习笔记（深入）”；
a = 10 b = 20 temp = (b, a) # (20, 10) a = temp # a 现在是 (20, 10) a, b = temp # 解包：a ← 20, b ← 10
⚠️ 重要提醒：
- 这不是推荐写法！它严重违背可读性原则，且依赖实现细节（如 COPY 指令行为）。
- 官方文档明确指出：复合赋值中混用简单目标与可解包目标（如 x = x, y = y, x）属于未定义行为的灰色地带，不同 Python 版本或解释器可能表现不一致。
- 标准、安全、可维护的变量交换写法永远是：a, b = b, a —— 简洁、高效、语义明确。
✅ 正确示例：
a, b = 10, 20 a, b = b, a # 清晰无歧义，推荐！ print(a, b) # 输出：20 10
❌ 危险示例（请勿模仿）：
a, b = 10, 20 a = a, b = b, a # 行为隐蔽、难以调试、未来可能失效
总结：Python 的赋值语句具有严格的求值顺序和绑定时机，a = a, b = b, a 的“成功交换”只是特定字节码实现下的巧合结果，绝非设计意图。作为开发者，应坚持使用 a, b = b, a 这一经过充分验证、语义直白的标准模式。
