Python元组在return语句中解压缩

Question

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语言的重要合同.考虑以下(也是有效的)解决方案:

def f():
    rest = [2, 3]
    t = 1, *rest
    return t

通常,当我有这样的代码时,我认为t是一个临时名称,我应该能够摆脱简单地t用它的定义替换底线.但在这种情况下,这会导致无效代码

def f():
    rest = [2, 3]
    return 1, *rest

当然,在返回值周围放置括号当然没什么大不了的,但通常需要额外的括号来区分几种可能的结果(分组).这不是这种情况,因为省略括号不会产生一些其他不需要的行为,而是根本没有行为.

Answer 1

我怀疑这是一个意外,基于Python 3.2 提交的评论.

该提交使赋值表达式能够testlist_star_expr生成(允许无表达式解包的内容),但是让return语句继续testlist生成.我怀疑提交错过了这个(可能还有其他地方,但我现在专注于return_stmt制作).

我继续修改了Python Grammar/Grammar文件以允许这个.所有测试都继续通过,包括test_grammar.py文件中的那些(但这似乎并不十分详尽).

如果你很好奇,这就是我所做的改变.随意克隆或下载我的分叉.

更新:我已经提交了一个bpo问题和一个关于return(和yield)解包的pull请求.