Python dict推导式用PEP572 :=运算符触发UnboundLocalError的成因

第一个报错（UnboundLocalError）的本质 #

Python 推导式的执行顺序和书写顺序并不完全一致，严格按照「计算最外层可迭代源 → 绑定循环变量 → 逐次判断过滤条件 → 计算返回元素」的流程执行。
你写的示例代码：

retval = {names[idx]:idx for idx in range(len(names)) if (names := list(columns))}

实际执行流程是：

1. 先计算可迭代源 range(len(names))：这一步需要读取names变量的值，但此时你对names的赋值操作（names := list(columns)）还在后面的if分支里，根本没被执行
2. 等可迭代源计算完、循环开始逐次迭代时，才会走到if条件里执行海象赋值，给names绑定值

加上推导式本身拥有独立的局部作用域（和函数作用域类似），海象赋值的names属于这个推导式的局部变量，跨顺序读取自然会触发“赋值前引用”的报错。

第二个报错（SyntaxError）的本质 #

这个报错是PEP572为了避免语法歧义特意设计的限制：裸的海象赋值表达式，不能直接作为推导式for ... in <可迭代源>位置的顶层内容。
如果直接把海象赋值跟在in后面，语法解析器无法区分这个赋值是属于可迭代源本身，还是后面嵌套的推导式子句，会产生歧义，因此直接触发语法错误。比如以下写法就会触发你遇到的报错：

# 裸的海象赋值直接跟在in后面，无额外括号包裹
retval = [x for x in names := list(columns)]

要在可迭代源位置使用海象，必须把整个赋值表达式包裹在圆括号、函数调用括号等其他语法结构里，让解析器明确识别这是可迭代源的一部分，比如以下写法是合规的：

# 把海象赋值用圆括号包裹，明确属于可迭代源部分
retval = [x for x in (names := list(columns))]
# 海象被包含在len()的函数括号内，同样属于合规写法
retval = {names[idx]: idx for idx in range(len(names := list(columns)))}

• 顺序优先：必须保证海象赋值的执行时机，早于后续所有引用该变量的逻辑，不能把赋值语句写在引用位置的后面
• 语法合规：不能把裸的海象赋值直接放在in后面的可迭代位置，需要用其他括号结构包裹
• 场景匹配：海象在推导式里的核心价值是避免重复计算，适合需要在过滤条件里临时存储计算结果、供后续逻辑复用的场景，不推荐用来做跨作用域的变量传递

1. 合法使用海象完成原需求：把赋值逻辑包裹在len()的函数括号内，符合语法要求

   columns = {'idx', 'class_name'}
   retval = {names[idx]: idx for idx in range(len(names := list(columns)))}
   

2. 更符合Python习惯的写法：不需要手动计算长度和索引，用enumerate直接获取索引和元素

   retval = {item: idx for idx, item in enumerate(list(columns))}
   

3. 海象的典型适用场景：避免重复计算的逻辑
   不使用海象时，同样的计算要重复执行两次：

   # 过滤和返回逻辑都要调用calibrate，多一次无意义的计算
   results = [calibrate(x) for x in raw_data if calibrate(x) > 0.8]
   

   使用海象只需要计算一次，把结果存在临时变量valid_val里复用：

   results = [valid_val for x in raw_data if (valid_val := calibrate(x)) > 0.8]
   

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