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

如何解决为什么不能使用Python的walrus运算符设置实例属性？

我刚刚了解到，新的海象运算符（:=）不能用于设置实例属性，它被认为是无效的语法（引发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

解决方法

PEP 572描述了此目的（强调我的意思）：

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

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

Syntax and semantics部分进一步指定了它：

NAME是一个标识符。

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

虽然我们经常类似地使用变量和属性，有时有时会{昧地将self.foo称为变量，但它们并不相同。分配给self.foo实际上只是

的简写

setattr(self,'foo',temp)

这是允许您定义属性的获取器和设置器的内容。如果必须使用具有自定义设置程序的属性，它将使分配表达式的规范和实现复杂化。

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

另一方面，变量无法定制。分配给变量总是具有相同的简单语义，并且表达式很容易求出赋值。

类似地，您不能将walrus运算符与切片分配一起使用。这是无效的：

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

,

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

很明显，底层功能是允许对 object.attributes 进行 walrus 赋值，他们只是选择不让我们使用它，因为他们担心它会让人们编写令人困惑的代码或其他东西。非常感谢...

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