一行中有多个Python赋值语句

Question

（不用担心，这不是关于拆开元组的另一个问题。）

在python中，类似这样的语句foo = bar = baz = 5将变量foo，bar和baz分配给5。它可以从左到右分配这些变量，这可以通过诸如nastier的例子来证明

>>> foo[0] = foo = [0]
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
NameError: name 'foo' is not defined
>>> foo = foo[0] = [0]
>>> foo
[[...]]
>>> foo[0]
[[...]]
>>> foo is foo[0]
True

但是python语言参考指出赋值语句具有以下形式

(target_list "=")+ (expression_list | yield_expression)

并在分配时expression_list首先评估，然后进行分配。

那么foo = bar = 5，如果bar = 5不是，该行如何有效expression_list？如何解析和评估一行上的这些多个分配？我阅读的语言参考书是否错误？

Answer 1

所有功劳归@MarkDickinson，后者在评论中回答了此问题：

请注意+in中(target_list "=")+，它表示一个或多个副本。在中foo = bar = 5，有两个(target_list "=")作品，而expression_list部分只是5

赋值语句中的所有target_list产生式（即看起来像的东西foo =）在被评估expression_list后，expression_list会从左到右分配到语句的右端。

当然，通常的“ tuple-unpacking”赋值语法也可以在这种语法下工作，让您可以执行以下操作

>>> foo, boo, moo = boo[0], moo[0], foo[0] = moo[0], foo[0], boo[0] = [0], [0], [0]
>>> foo
[[[[...]]]]
>>> foo[0] is boo
True
>>> foo[0][0] is moo
True
>>> foo[0][0][0] is foo
True