Python语言(尤其是3.x)允许对迭代的非常一般的解包,其中一个简单的例子就是
a, *rest = 1, 2, 3
多年来,这种拆包已经逐渐推广(参见例如PEP 3132和PEP 448),允许它在越来越多的情况下使用 . 因此,我惊讶地发现以下是Python 3.6中的无效语法(并且在Python 3.7中仍然如此):
def f():
rest = [2, 3]
return 1, *rest # Invalid
我可以通过将返回的元组封装在括号中来使其工作,如下所示:
def f():
rest = [2, 3]
return (1, *rest) # Valid
我在 return
语句中使用它的事实似乎很重要,因为
t = 1, *rest
确实是合法的,无论有没有括号都会产生相同的结果 .
Python开发人员是否忘记了这种情况,或者有没有理由说明这种情况是无效的语法?
为什么我在意
这破坏了我认为我使用Python语言的重要 Contract . 考虑以下(也是有效的)解决方案:
def f():
rest = [2, 3]
t = 1, *rest
return t
通常,当我有这样的代码时,我认为 t
是一个临时名称,我应该能够摆脱简单地用它的定义替换底线中的 t
. 但在这种情况下,这会导致无效代码
def f():
rest = [2, 3]
return 1, *rest
当然,在返回值周围放置括号当然没什么大不了的,但通常需要额外的括号来区分几种可能的结果(分组) . 这不是这种情况,因为省略括号不会产生一些其他不需要的行为,而是根本没有行为 .
1 回答
我怀疑这是一个意外,基于来自this commit的Python 3.2的评论 .
该提交使赋值表达式能够生成
testlist_star_expr
(允许无表达式解压缩),但是将return语句保留为testlist
. 我怀疑提交错过了这个(可能还有其他地方,但我现在专注于return_stmt
生产环境 ) .我继续修改了Python Grammar / Grammar文件以允许这个 . 所有测试都继续通过,包括
test_grammar.py
文件中的测试(但这似乎并不十分详尽) .如果你很好奇,this is the change I made . 随意克隆或下载my fork .
UPDATE: 我已经提交bpo issue和pull request作为退货(和收益)拆包 .