Python中为何无法在比较中使用赋值表达式？

正确用法示例 #

先看几个海象运算符的合法使用场景及执行逻辑：

mystring = "hello, world"

#if 1
if x := mystring == "hello, world":
    print(x)

#if 2
if x := (mystring == "hello, world"):
    print(x)

#if 3
if (x := mystring) == "hello, world":
    print(x)

#if 4
if "hello, world" in (x := mystring):
    print(x)

输出结果：

True
True
hello, world
hello, world

对应的执行逻辑：

• #if1与#if2逻辑一致：先执行字符串比较mystring == "hello, world"得到布尔值True，再将该值赋值给x，最后判断x为真进入分支打印。
• #if3：先将mystring赋值给x，再判断x是否等于"hello, world"，条件成立则打印x。
• #if4：先将mystring赋值给x，再判断"hello, world"是否包含在x中，条件成立则打印x。

错误案例及报错 #

案例1：in操作符中未加括号的海象表达式 #

#if 5
if "hello, world" in x := mystring:
    print(x)

报错信息：

SyntaxError: cannot use assignment expressions with comparison

案例2：循环内错误的海象表达式写法 #

for file in folder.iterdir():
    x := file.stem == "mystring":
        print(x)

同样会触发语法错误。

错误原因及规则依据 #

这两类错误都和**PEP 572（赋值表达式规范）**中定义的语法限制直接相关：

PEP 572明确规定了赋值表达式的异常场景，其中关键规则包括：

未加括号的赋值表达式禁止出现在表达式语句的顶层，同时在某些运算符上下文（比如比较、成员检测操作符的右侧）中，未加括号的赋值表达式会引发语法歧义，因此被禁止使用。

具体到上述错误案例：

1. 对于"hello, world" in x := mystring：Python的语法解析器会将x := mystring视为比较/成员检测的一部分，但未加括号的赋值表达式在这里会产生歧义——解析器无法明确你是要先赋值再做成员检测，还是要执行其他逻辑，因此直接触发语法错误。必须给x := mystring加上括号明确优先级，就像#if4那样。
2. 对于循环内的x := file.stem == "mystring":：这里的写法本质是把赋值表达式当成了语句顶层的表达式，违反了PEP572中“未加括号的赋值表达式禁止出现在表达式语句顶层”的规则，同时多余的冒号也不符合语法规范，正确的写法应该是把赋值表达式放在if判断中（比如if x := file.stem == "mystring":）。

简单总结：海象运算符的使用必须明确优先级，在可能产生语法歧义的上下文（如成员检测、比较操作的右侧）中，必须用括号包裹赋值表达式；同时不能将未加括号的赋值表达式单独作为语句使用。

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