为何Python字典能在列表推导式的变量部分被修改？

问题说明 #

运行以下代码后，已知return_value的值为999，但疑惑为何some_dict['x']会被改为42，这种语法的合法性及修改原理是什么：

some_dict = dict()
some_dict['x'] = 1
return_value = [999 for some_dict['x'] in [42]][0]

核心解析 #

1. 语法合法性：支持可赋值目标 #

Python的列表推导式（及普通for循环）的for后面的目标位置，并不限制为普通变量名——任何支持赋值操作的表达式都可以放在这里，比如字典键访问some_dict['x']、对象属性obj.attr等。这是Python语法规则明确允许的，因为for循环的本质就是将可迭代对象的元素依次赋值给目标。

2. 字典被修改的本质 #

执行for some_dict['x'] in [42]时，Python的执行逻辑是：

• 遍历列表[42]，取出唯一元素42；
• 将该值直接赋值给some_dict['x']，完全等价于单独执行some_dict['x'] = 42；
• 随后执行推导式的表达式部分，生成999加入结果列表。

整个过程可以拆解为等价的普通代码：

some_dict['x'] = 42
return_value = 999

3. return_value为999的原因 #

列表推导式的核心任务是生成由表达式（此处为999）组成的列表，循环中的赋值操作属于附带执行的逻辑，不会影响表达式的结果。这里循环仅执行一次，生成的列表是[999]，取第一个元素自然就是999。

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