[] = ()、() = () 和 {} = () '作业'

Question

我惊讶地发现，在 Python 3 中，前两个没有任何问题：

>>> [] = ()
>>> () = ()
>>> {} = ()
  File "<stdin>", line 1
SyntaxError: can't assign to literal

在 Python 2.7 中，只有第一个不会引发任何问题：

>>> [] = ()
>>> () = ()
  File "<stdin>", line 1
SyntaxError: can't assign to ()
>>> {} = ()
  File "<stdin>", line 1
SyntaxError: can't assign to literal

这里发生了什么？为什么其中任何一个都不会引发错误？为什么() = () 可能被添加为在 Python 3 中有效？

*注意，您可以将右侧替换为任何空的可迭代对象（例如[] = set()），我只是为插图选择了一个空元组

Answer 1

根据Issue23275，这些基本上是怪癖，不会造成真正的伤害，但也没有实用性。请注意，[] = () 不会改变 list 文字：

>>> [] = ()
>>> type([])
<class 'list'>

[] = x 语句基本上断言x 是可迭代的并且x 是空的（尽管没有人会建议以这种方式使用它们），例如

>>> [] = (1)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: 'int' object is not iterable
>>> [] = (1,)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ValueError: too many values to unpack

作为John Y cmets，最好将[] = () 视为不是赋值，而是与Python 的可迭代解包语法保持一致的一种方式。

作为ArrowCase cmets，这个语法也扩展到多个赋值：

>>> a = [] = ()
>>> a
()

查看多重赋值的 CPython 字节码说明此操作类似于普通的可迭代解包语法，使用 UNPACK_SEQUENCE 指令：

>>> dis.dis('a = [] = ()')
  1           0 BUILD_TUPLE              0
              2 DUP_TOP
              4 STORE_NAME               0 (a)
              6 UNPACK_SEQUENCE          0
              8 LOAD_CONST               0 (None)
             10 RETURN_VALUE
>>> dis.dis('[a, b] = (1, 2)')
  1           0 LOAD_CONST               3 ((1, 2))
              2 UNPACK_SEQUENCE          2
              4 STORE_NAME               0 (a)
              6 STORE_NAME               1 (b)
              8 LOAD_CONST               2 (None)
             10 RETURN_VALUE

同样的 Issue23275 指出 () = () 已作为有效语法添加到 Python 3 以保持一致。决定删除[] = () 会不必要地破坏代码，因为它不会造成任何伤害并且符合可迭代的解包逻辑。 {} = () 仍然无效，因为在这种带有大括号的上下文中，解包语法没有意义。

如果有人想知道，像list() = () 这样的语法在语法上是无效的，因为你永远不能分配给函数调用。

Answer 2

赋值语句的左侧不是表达式，它是target list。简短总结：

• 如果目标列表是标识符，则名称仅绑定到右侧。
• 如果目标列表是逗号分隔的目标列表，则右侧是解包的，解包后的元素将分配给列出的目标。
• 目标列表可以用圆括号或方括号括起来。特别是，这允许创建空目标列表，如您的示例中所示。

这就解释了为什么[] 和() 是赋值的有效左侧：它们是有效的目标列表。但是，{} 不是，因为它不是有效的目标列表。

当然，{} 可能是目标的一部分，例如作为订阅的主要部分：{}[()] = 0 是有效的 Python（当然，完全没用）。

Answer 3

这是将一个包含两个元素的可迭代对象解压缩为两个赋值目标的语法：

[x, y] = whatever

这可以概括三个或更多目标，但也可以向下概括：

[x] = whatever

将一个单元素可迭代对象解包到一个赋值目标中，并且

[] = whatever

将一个零元素可迭代对象解包到零赋值目标中（如果whatever 是一个零元素可迭代对象，则不执行任何操作，否则抛出异常）。

() = whatever 也解包一个零元素可迭代，但{} = whatever 没有；没有涉及大括号的解包赋值语法。

Answer 4

有一种方法可以从可迭代对象中分配变量：

>>> a, b = iter((1, 2))
>>> a
1
>>> b
2
>>> [c, d] = iter((4, 5))
>>> c
4
>>> d
5

[] = … 和 () = … 分配似乎是这些的特例。