for循环名称列表表达式合法吗？

Question

在CPython 2.7.10和3.4.3以及PyPy 2.6.0（Python
2.7.9）中，在for循环中将表达式（或其中的一些子集）用于名称列表显然是合法的。这是一个典型的for循环：

>>> for a in [1]: pass
...
>>> a
1

但是您也可以使用对象的属性：

>>> class Obj(object): pass
...
>>> obj = Obj()
>>> for obj.b in [1]: pass
...
>>> obj.b
1

您甚至可以使用表达式中的属性：

>>> for Obj().c in [1]: pass
...

但是，并非所有的表达式都起作用：

>>> for (True and obj.d) in [1]: pass
...
  File "<stdin>", line 1
SyntaxError: can't assign to operator

但是，只要属性在外面，它们就起作用了吗？

>>> for (True and obj).e in [1]: pass
...
>>> obj.e
1

还是可以分配的？

>>> for {}['f'] in [1]: pass
...

我很惊讶这些都是Python中的合法语法。我希望只允许使用名字。这些甚至应该起作用吗？这是疏忽吗？这是PyPy也恰好实现的CPython的实现细节吗？

Answer 1

这些甚至应该起作用吗？

是

这是疏忽吗？

没有

这是PyPy也恰好实现的CPython的实现细节吗？

没有

如果可以分配给它，则可以将其用作for循环中的自由变量。

对于这样的问题，值得直接学习语法：

for_stmt ::=  "for" target_list "in" expression_list ":" suite
              ["else" ":" suite]

Atarget_list只是一堆target：

target_list     ::=  target ("," target)* [","]
target          ::=  identifier
                     | "(" target_list ")"
                     | "[" [target_list] "]"
                     | attributeref
                     | subscription
                     | slicing
                     | "*" target

如果仔细观察，您会发现您给出的所有工作示例都不是反例。请注意，解析器中的错误并不是闻所未闻的，因此，如果您发现合法的语法异常，则可以提交票证-这些错误会很快得到解决。

您给出的最有趣的一对是(True and obj.d)和(True and obj).d，它们在逻辑上似乎相同，但解析方式不同：

>>> ast.dump(ast.parse('(True and obj.d)'), annotate_fields=False)
"Module([Expr(BoolOp(And(), [Name('True', Load()), Attribute(Name('obj', Load()), 'd', Load())]))])"
>>> ast.dump(ast.parse('(True and obj).d'), annotate_fields=False)
"Module([Expr(Attribute(BoolOp(And(), [Name('True', Load()), Name('obj', Load())]), 'd', Load()))])"

注意： (True and obj).d是attributeref语法中的一个。