Python中空列表赋值给空列表这类语法的含义及设计逻辑是什么？

为什么作者选择a, [] = f()而非a, _ = f()的写法 #

两种写法的核心作用存在明显区别：

• a, _ = f()是常规解包写法，会将函数返回的第二个值直接绑定到变量_上，不会对第二个返回值做任何校验。需要注意_本身是合法的Python变量名，在部分场景下有特殊作用：比如交互式环境中_默认存储上一个表达式的执行结果，使用gettext做国际化的代码中_是翻译函数的常用别名，随意赋值可能引发意料外的问题。
• a, [] = f()相当于在解包的同时增加了一层强制校验：要求函数返回的第二个值必须是长度为0的可迭代对象。如果后续迭代中函数的返回逻辑被修改，第二个返回值变成了非空可迭代对象，该写法会直接抛出ValueError，避免静默错误的出现，更适合需要严格保证返回值结构的场景。

为什么[] = []这类赋值语法被判定为合法 #

这是Python序列解包（Sequence Unpacking）语法的通用设计延伸，核心逻辑是：赋值语句左侧的结构仅作为数据匹配的模式，不需要所有位置都声明要绑定的变量。
Python的解包规则要求左右两侧的结构完全对齐，左侧的[]属于“空序列模式”，仅要求右侧对应位置的值是长度为0的可迭代对象，匹配成功后不需要绑定任何变量，自然是合法语法。你提到的几个示例都完全符合该规则：

• [] = []：右侧是空可迭代对象，匹配左侧的空序列模式，无变量需要绑定，执行无报错
• a, [] = 444, []：右侧是长度为2的元组，第一个元素绑定给变量a，第二个元素是空列表，匹配左侧第二个位置的空序列模式，符合规则
  这种设计的好处是保证了解包语法的一致性，不管是要提取变量，还是要校验某个位置的数据结构，都可以用同一套规则实现，不需要单独为“不需要提取变量的位置”增加特殊语法限制。该设计思路也在Python 3.10推出的结构化模式匹配（match/case）语法中得到了延续。

相关权威资料查阅渠道 #

• Python官方语言参考的「赋值语句」章节：详细规定了所有解包赋值的语法规则、边界情况处理逻辑
• 对应的Python增强提案（PEP）：涉及序列解包的核心PEP包括PEP 200（序列解包初始设计）、PEP 3132（扩展可迭代解包）、PEP 634（结构化模式匹配），这些文档包含了完整的设计讨论、决策理由和取舍说明
• CPython源码的语法定义文件：源码目录下的Grammar/python.gram文件直接定义了赋值语句的语法规则，是最底层的权威依据

内容的提问来源于stack exchange，提问作者Tom B.