17370845950

该语句看似混乱，实则遵循 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

因此，整条语句等价于以下显式过程：

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 这一经过充分验证、语义直白的标准模式。