Python字典推导式是否为增量求值？及与列表推导式的语义差异分析

首先给出这段代码的实际运行输出：
[2, 5, 3, 7, 2, 6, 2, 5, 2, 1, 7] [2, 5, 3, 7, 6, 1]
二者结果差异的核心原因是混淆了容器固有特性与推导式、赋值运算符的运行语义，你观察到的“d在推导式中逐步构建”属于误解。

1. 观察到的行为是否符合Python实际运行逻辑？ #

不符合。实际运行逻辑如下：

• purge函数中，海象运算符 :=会先完整求值右侧的列表推导式，再把推导结果赋值给外部的l。推导式执行全程，外部提前定义的l始终是初始空列表，因此x not in l永远为真，列表本身无去重特性，最终返回原输入序列。
• purge2函数中，推导式执行全程外部的d始终是初始空字典，x not in d也永远为真。你看到的去重效果完全来自 Python3.7+字典的固有特性：键唯一且按插入顺序排序，和推导式的if条件无关——临时字典在迭代过程中自动丢弃重复键，最终生成的字典自然只保留每个元素第一次出现的映射。

可以通过修改外部初始d的内容验证：若把d = {}改为d = {2: "init"}，purge2会直接过滤掉所有2，返回[5, 3, 7, 6, 1]，这说明if条件引用的始终是外部初始的d，而非推导式正在构建的临时字典。

2. 是否可通过这段示例推导字典推导式与列表推导式的核心语义差异？ #

不能。这段示例的差异完全来自列表与字典两种容器的固有特性，而非推导式本身的语义差异：

• 字典推导式生成的临时容器是字典，天生键唯一；列表推导式生成的临时容器是列表，允许重复元素。
• 二者的核心语义规则完全一致：推导式拥有独立的隐式作用域，执行过程中仅读取外部变量的初始值，不会同步临时容器的状态到外部变量；直到整个推导式执行完成后，才会把生成的临时对象通过海象运算符赋值给左侧变量。

3. 推导过程中引用待赋值对象的生效场景范围？ #

首先澄清：你以为的“引用待赋值对象”，实际引用的是外部提前定义的同名变量，而非推导式即将生成的临时容器——后者在推导式执行完成前还不存在，无法被引用。

如果要在推导式执行过程中实现“逐步更新容器”的效果，本质是直接修改外部已有可变对象的内部状态（比如调用append、update等可变方法），这种场景并非推导式独有：

• 只要是引用外部已存在的可变对象，无论在推导式、生成器表达式、普通for循环中，只要直接修改该对象的内部状态，都会即时生效。
• 例如实现列表去重的正确推导式写法为：[x for x in a if (l.append(x) or x not in l[:-1])]，这里l.append(x)是对外部可变列表l的直接修改，副作用会即时生效。

4. 相关行为的正式语义规范查阅位置？ #

相关规则都明确定义在Python官方参考手册的以下章节：

• 「执行模型-作用域」：说明推导式的隐式作用域规则
• 「表达式语法-推导式」：说明列表/字典/集合推导式的执行逻辑
• 「表达式语法-赋值表达式（海象运算符）」：说明海象运算符的求值顺序

5. 该行为是否为未文档化的实现细节？ #

完全不是。所有上述行为都是符合官方规范的标准语义，不存在依赖解释器内部实现的情况。你之前的误解来自对容器特性、运算符求值顺序的混淆，而非规范的缺失。

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