为何看似存在循环依赖的Python列表推导式能够正常运行？

核心原因非常简单：Python的赋值语句严格遵循「先完整计算等号右侧的表达式，得到最终结果后，才会把结果绑定到等号左侧的变量名」的执行顺序，整个过程根本不存在真正的循环依赖。

这个逻辑和大家熟悉的a = a + 1完全一致，没人会觉得这行有循环依赖——本质都是先拿变量的旧值计算，算完再把新值绑定回原变量名，只是列表推导式的写法更长，容易让人产生“自己引用自己”的错觉。

基础示例执行逻辑拆解 #

先看最简单的平方计算示例：

nums = [1, 2, 3]
nums = [num*num for num in nums]

第二行赋值的执行步骤是完全线性的，没有任何交叉：

• 计算等号右侧的列表推导式时，解释器会查找当前上下文里已经存在的nums变量——也就是第一行绑定的初始列表[1,2,3]，此时等号左侧的新赋值还完全没有生效。
• 基于找到的旧nums列表，遍历每个元素计算平方，生成一个全新的列表[1,4,9]，这个新列表会先存在独立的内存空间里。
• 等右侧的新列表完全生成完毕后，解释器才会把nums这个变量名的指向，从原来的旧列表切换到新生成的平方列表上。

整个过程里，旧列表只要还在被遍历引用就不会被内存回收，完全不会影响遍历逻辑。等赋值完成后，如果旧列表没有其他变量引用，才会被自动回收。

二叉树层序遍历示例逻辑 #

你提到的更复杂的列表推导式来自二叉树层序遍历实现，完整代码如下：

# Definition for a binary tree node.
# class TreeNode:
#     def __init__(self, val=0, left=None, right=None):
#         self.val = val
#         self.left = left
#         self.right = right

def levelOrder(root: Optional[TreeNode]) -> List[List[int]]:
    if not root:
        return
    nodes0 = [root]
    while nodes0:
        yield map(attrgetter('val'), nodes0)
        nodes0 = [node1 for node0 in nodes0 for node1 in (node0.left, node0.right) if node1]

运行这段代码处理示例二叉树时，会正确返回层序遍历结果[[3], [9, 20], [15, 7]]，其中看起来有循环依赖的nodes0赋值行，执行逻辑和前面的简单示例完全一致：

• 右侧推导式读取的nodes0，是当前轮次循环开头就存在的「当前层所有节点」的旧列表。
• 遍历旧列表里的每个节点，筛选出非空的左右子节点，攒成一个全新的「下一层所有节点」列表。
• 新列表完全生成后，才把nodes0绑定到新的下一层列表上，供下一轮循环使用。

反例验证 #

如果把赋值顺序反过来，在右侧用到变量之前没有提前绑定初始值，就会直接报错，这也刚好印证了上面的执行规则：

# 执行时右侧查找nums找不到已绑定的值，直接抛出NameError
nums = [num*num for num in nums]
nums = [1,2,3]

补充说明：Python3中列表推导式会生成独立的内部作用域，推导式里定义的临时变量（比如例子里的num/node0/node1）不会泄露到外部作用域，但这一机制和「看似循环依赖实际可运行」的现象没有直接关系，核心影响因素还是赋值语句的执行顺序。

内容的提问来源于stack exchange，提问作者joseville