深入理解Python多重赋值：从LeetCode谜题到语言机制解析

Python中的多重赋值语句，尤其是在交换变量时，其行为并非完全“原子性”或“同步”。当赋值目标中的索引依赖于同一语句中被修改的其他变量时，Python从左到右的赋值顺序会产生意想不到的结果，可能导致无限循环或逻辑错误，而非简单的变量交换。

引言

在Python编程中，我们经常使用简洁的多重赋值语句（如 a, b = b, a）来交换两个变量的值。这种语法糖因其优雅和高效而广受欢迎。然而，当涉及到更复杂的场景，例如列表元素的交换，并且其中一个索引本身就是列表元素时，其行为可能出乎意料，甚至导致程序陷入无限循环或超时（TLE）。本文将深入探讨Python多重赋值的内部机制，并通过一个具体的LeetCode问题示例来揭示其潜在陷阱。

问题的提出：看似相同的交换语句为何表现迥异？

考虑以下在解决LeetCode“41. First Missing Positive”问题时遇到的场景。该问题的一个常见解法是使用循环将数组中的元素放置到其“正确”的位置上，即如果数字 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处理多重赋值语句的两个关键阶段：

1. 右侧表达式评估 (Evaluation of Right-Hand Side): 在进行任何赋值之前，赋值语句右侧的所有表达式都会完全评估。这些评估结果被收集并存储在一个临时的元组中。

2. 左侧目标赋值 (Assignment to Left-Hand Side Targets): 接下来，Python会按照从左到右的顺序，将临时元组中的值逐一赋给左侧的赋值目标。

这个“从左到右”的赋值顺序是问题的核心。如果左侧某个赋值目标（例如一个列表索引）依赖于同一语句中早前已被修改的另一个变量，那么该索引的计算将使用新值，而非原始值。

让我们用一个具体的例子来分析两种交换语句：