为什么不能使用 Python 的海象运算符来设置实例属性？

Question

我刚刚了解到新的海象运算符 (:=) 不能用于设置实例属性，它应该是无效的语法（引发 SyntaxError）。

为什么会这样？（你能提供一个提到这个的官方文档的链接吗？）

我查看了 PEP 572，但找不到是否/在哪里记录了这一点。

---

研究

This answer 在没有解释或来源的情况下提到了这个限制：

您不能在对象属性上使用海象运算符

---

示例代码

class Foo:
    def __init__(self):
        self.foo: int = 0

    def bar(self, value: int) -> None:
        self.spam(self.foo := value)  # Invalid syntax

    def baz(self, value: int) -> None:
        self.spam(temp := value)
        self.foo = temp

    def spam(self, value: int) -> None:
        """Do something with value."""

尝试导入Foo 会导致SyntaxError：

    self.spam(self.foo := value)
              ^
SyntaxError: cannot use assignment expressions with attribute

Answer 1

PEP 572 描述了这个目的（强调我的）：

这是一个提议，用于创建一种使用符号 NAME := expr 分配给表达式中的变量的方法。

self.foo 不是变量，它是对象的属性。

Syntax and semantics 部分进一步指定：

NAME 是一个标识符。

self.foo 不是标识符，它是由. 运算符分隔的两个标识符。

虽然我们经常类似地使用变量和属性，有时会草率地将self.foo 称为变量，但它们并不相同。赋值给self.foo其实只是一个简写形式

setattr(self, 'foo', temp)

这允许您为属性定义 getter 和 setter。如果它必须使用具有自定义设置器的属性，它将使赋值表达式的规范和实现变得复杂。

例如，如果 setter 转换了被赋值的值，那么赋值表达式的值应该是原始值还是转换后的值？

另一方面，变量不能自定义。分配给变量始终具有相同的简单语义，并且表达式很容易计算出所分配的值。

同样，您不能将海象运算符与切片分配一起使用。这是无效的：

foo1[2:4] := foo2[1:3]

Answer 2

有趣的是，禁止 walrussing object.attributes 似乎只存在于 Python 的解析器中，该解析器将文本代码解析为抽象语法树 (ast)，然后将被编译和执行。如果你手动创建一个 ast 语法树，用self.foo 代替(var := temp) 中的var，然后compile 或exec 那棵树，它会按照你的直觉编译和执行。

显然，底层功能是允许将海象分配给 object.attributes，他们只是选择不让我们使用它，因为他们担心这会使人们编写混乱的代码或其他东西。非常感谢...

所以无论如何，一个极端的（完全不推荐！）解决方案是让你做一些预编译 ast-surgery 将你的 object.attribute 目标拼接到你的海象运算符中，然后它可能会运行如你所料。 （我发现了这一点，因为我已经在做 ast-surgery，将简单的变量替换为 object.attributes 出于其他原因，我很高兴发现海象分配仍然有效！）