Python中的多重赋值语句，尤其是在交换变量时，其行为并非完全“原子性”或“同步”。当赋值目标中的索引依赖于同一语句中被修改的其他变量时，Python从左到右的赋值顺序会产生意想不到的结果，可能导致无限循环或逻辑错误，而非简单的变量交换。
引言
在Python编程中，我们经常使用简洁的多重赋值语句（如 a, b = b, a）来交换两个变量的值。这种语法糖因其优雅和高效而广受欢迎。然而，当涉及到更复杂的场景，例如列表元素的交换，并且其中一个索引本身就是列表元素时，其行为可能出乎意料，甚至导致程序陷入无限循环或超时（TLE）。本文将深入探讨Python多重赋值的内部机制，并通过一个具体的LeetCode问题示例来揭示其潜在陷阱。
问题的提出：看似相同的交换语句为何表现迥异？
考虑以下在解决LeetCode“41. First Missing Positive”问题时遇到的场景。该问题的一个常见解法是使用循环将数组中的元素放置到其“正确”的位置上，即如果数字 x 存在且 1 <= x <= n，则将其放置在索引 x-1 处。这通常涉及一个交换操作。
开发者观察到两种看似等价的交换语句，却产生了截然不同的结果：
立即学习“Python免费学习笔记（深入）”；
语句1 (导致超时/无限循环):
nums[i], nums[nums[i]-1] = nums[nums[i]-1], nums[i]
语句2 (正常工作):
nums[nums[i]-1], nums[i] = nums[i], nums[nums[i]-1]
这两种语句在逻辑上似乎都是将 nums[i] 和 nums[nums[i]-1] 进行交换。但在实际运行中，语句1会导致程序无限循环，而语句2则能顺利通过测试。这究竟是为什么？
Python多重赋值的内部机制
要理解这一现象，我们需要了解Python处理多重赋值语句的两个关键阶段：
右侧表达式评估 (Evaluation of Right-Hand Side): 在进行任何赋值之前，赋值语句右侧的所有表达式都会完全评估。这些评估结果被收集并存储在一个临时的元组中。
左侧目标赋值 (Assignment to Left-Hand Side Targets): 接下来，Python会按照从左到右的顺序，将临时元组中的值逐一赋给左侧的赋值目标。
这个“从左到右”的赋值顺序是问题的核心。如果左侧某个赋值目标（例如一个列表索引）依赖于同一语句中早前已被修改的另一个变量，那么该索引的计算将使用新值，而非原始值。
让我们用一个具体的例子来分析两种交换语句：
假设 nums = [5, 2, 3, 4, 1] 且 i = 0。我们期望将 nums[0] (值为 5) 交换到 nums[4] (值为 1) 的位置，同时将 nums[4] (值为 1) 交换到 nums[0] 的位置。
分析语句1 (导致无限循环)
nums[i], nums[nums[i]-1] = nums[nums[i]-1], nums[i]
-
右侧评估:
- nums[i] 是 nums[0]，其值为 5。
- nums[i]-1 是 5-1 = 4。
- nums[nums[i]-1] 是 nums[4]，其值为 1。
- 临时元组 temp = (1, 5)。
左侧赋值 (从左到右): a. nums[i] = temp[0]nums[0] = 1。此时 nums 变为 [1, 2, 3, 4, 1]。 b. nums[nums[i]-1] = temp[1]注意这里： 此时 nums[i] (即 nums[0]) 的值已经变成了 1 (在步骤a中被修改)。 所以，nums[i]-1 变成了 1-1 = 0。 这条赋值语句实际上是 nums[0] = temp[1]，即 nums[0] = 5。 此时 nums 变回 [5, 2, 3, 4, 1]。
结果： 数组 nums 最终变回了 [5, 2, 3, 4, 1]，与交换前完全一样！由于 nums[0] 仍然是 5，且循环条件可能依然满足，程序会反复执行这个“无效”的交换，从而陷入无限循环或导致超时。
分析语句2 (正常工作)
nums[nums[i]-1], nums[i] = nums[i], nums[nums[i]-1]
-
右侧评估:
- nums[i] 是 nums[0]，其值为 5。
- nums[i]-1 是 5-1 = 4。
- nums[nums[i]-1] 是 nums[4]，其值为 1。
- 临时元组 temp = (5, 1)。
左侧赋值 (从左到右): a. nums[nums[i]-1] = temp[0]注意这里： 此时 nums[i] (即 nums[0]) 的值仍然是右侧评估时的原始值 5。 所以，nums[i]-1 是 5-1 = 4。 这条赋值语句是 nums[4] = temp[0]，即 nums[4] = 5。 此时 nums 变为 [5, 2, 3, 4, 5]。 b. nums[i] = temp[1]nums[0] = 1。 此时 nums 变为 [1, 2, 3, 4, 5]。
结果： 数组 nums 成功地从 [5, 2, 3, 4, 1] 变成了 [1, 2, 3, 4, 5]。nums[0] 现在是 1。在下一次循环迭代中，i 会正常递增，算法得以继续执行。
Python官方文档示例
Python官方文档也用一个简洁的例子说明了这种左到右的赋值行为：
x = [0, 1]
i = 0
print(f"Initial: i={i}, x={x}") # Initial: i=0, x=[0, 1]
i, x[i] = 1, 2 # i is updated, then x[i] is updated
print(f"Final: i={i}, x={x}") # Final: i=1, x=[0, 2]解释：
- 右侧评估: temp = (1, 2)。
- 左侧赋值: a. i = temp[0]，所以 i 变为 1。 b. x[i] = temp[1]。此时，i 的值已经是 1，所以这条语句等同于 x[1] = 2。 最终 x 变为 [0, 2]。如果赋值顺序是 x[i], i = 2, 1，那么 x[0] 将被修改为 2。
总结与注意事项
Python多重赋值的“从左到右”赋值机制是一个重要的细节，尤其是在处理涉及索引或可变对象的操作时。
- 核心原理: 右侧表达式先全部评估，结果存入临时元组；左侧目标再从左到右依次赋值。
- 陷阱: 当左侧的某个赋值目标（例如 list[index]）的 index 本身依赖于同一语句中早前被赋值的变量时，index 将使用更新后的值，而非原始值，这可能导致逻辑错误。
-
最佳实践:
- 对于简单的变量交换，如 a, b = b, a，这种机制是安全的，因为 a 和 b 都是独立的变量，它们的赋值不会影响彼此的索引或引用。
- 当左侧目标中的索引或键依赖于同一语句中即将被修改的其他变量时，请务必谨慎。如果存在歧义或潜在风险，最好使用临时变量分步完成赋值，以确保清晰和正确的行为。
- 例如，将 nums[i], nums[nums[i]-1] = nums[nums[i]-1], nums[i] 改写为：
val_i = nums[i] val_target = nums[val_i - 1] nums[i] = val_target nums[val_i - 1] = val_i
虽然代码行数增加，但逻辑明确，避免了潜在的副作用。
理解Python的这些底层机制，有助于我们编写更健壮、更可预测的代码，尤其是在处理复杂的数据结构和算法时。
