Python 2.7与3中[]=()、()=()、{}=()赋值差异及原因问询

这个问题其实涉及到Python不同版本中赋值解包语法规则的变化，咱们一步步拆解来看：

为什么[] = ()在Python 2和3中都能正常执行？ #

这是Python最基础的序列解包场景：当赋值左侧是一个空列表字面量时，它本质是一个「空的目标列表」。右侧的空元组（或任意空可迭代对象）解包后没有任何元素，和左侧空目标的元素数量完全匹配，逻辑上完全自洽，所以不会触发报错。说白了就是“把空的东西分给空的位置”，自然没问题。

Python 2.7中() = ()和{} = ()报错的原因 #

关于() = () #

Python 2的语法规则对赋值目标的元组有严格限制：它要求元组作为赋值目标时至少包含一个元素（比如(a,) = (1,)是合法的），空元组()不被认定为合法的赋值目标。当时的语法设计没有考虑到空元组作为解包目标的场景，所以直接抛出SyntaxError。

关于{} = () #

字典字面量{}从始至终都不是合法的序列解包目标。Python的序列解包规则仅适用于列表、元组（Python 3后）或带*的扩展目标，而字典的赋值逻辑是基于键值对的——你无法直接把序列的解包结果赋值给字典字面量，这种写法完全不符合Python的语法逻辑，所以无论哪个版本都会报错。

Python 3新增() = ()合法性的原因 #

Python 3对赋值解包语法做了一致性完善：既然空列表可以作为目标接收空可迭代对象的解包，那空元组也应该享有同样的权利。这种修改让语法更对称，同时也能提升代码可读性——比如当你调用一个明确返回空元组的函数时，用() = func()可以清晰表达“我预期这个函数返回空结果”的意图。另外，Python 3引入的*扩展解包（比如a, *rest = iterable）让整个解包体系更灵活，空元组作为目标是这种语法完善的一部分。

补充：所有合法的空赋值，右侧必须是空可迭代对象。如果右侧有元素（比如[] = (1,)），不管哪个版本都会抛出ValueError，因为解包的元素数量和目标数量不匹配。

内容的提问来源于stack exchange，提问作者Chris_Rands