Python条件表达式中赋值表达式的语法错误原因及歧义解析

为什么第一种写法会报错？ #

Python的语法规则里，赋值表达式（:=）的优先级低于条件表达式（if...else）。当你写return r.group() if r := re.match(rx,l) else None时，解析器会按照优先级规则尝试拆分代码：
它会错误地把代码理解成 (return r.group() if r) := (re.match(rx,l) else None)——也就是试图把re.match的结果赋值给r.group() if r这个表达式的结果。但赋值表达式的左边必须是一个可被赋值的对象（比如变量名），而不是一个表达式的计算结果，这就违反了语法规则，所以触发SyntaxError。

加括号的写法return r.group() if (r := re.match(rx,l)) else None则明确告诉解析器：先执行括号里的赋值表达式，把结果作为条件表达式的判断条件，这样就符合语法逻辑了。

是否存在其他歧义解读？ #

不存在其他歧义解读。因为按照Python的语法优先级规则，赋值表达式的优先级比条件表达式低，解析器只会按照上述错误的方式去拆分代码，没有其他合法或非法的拆分方向。唯一的问题就是优先级导致的分组错误，用括号明确分组就能解决。

另外，除了加括号的写法，你也可以把赋值和返回逻辑分开写，同样能避免语法问题：

r = re.match(rx, l)
return r.group() if r else None

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