为什么在Python 3.8之前，在返回语句中加星号的iterable解包没有括号，语法无效？

Question

Python语言（尤其是3.x）允许对iterables进行非常通用的解包，一个简单的例子是

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/c>是一个临时名称，我应该能够用它的定义来简单地将它替换为<代码> t>代码>。但在这种情况下，这会导致无效代码

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

当然，在返回值周围加括号没什么大不了的，但通常只需要额外的括号来区分几个可能的结果（分组）。这里的情况并非如此，因为省略括号不会产生其他一些不想要的行为，而是根本不会产生任何行为。

自Python 3.8以来（参见列表中的第7项），上面讨论的广义语法现在是有效的。

Answer 1

根据这次Python 3.2提交的评论，我怀疑这是一次意外。

这个commit使赋值表达式能够进行testlist\u star\u expr生产（这允许进行未细化的解包），但让return语句进行testlist生产。我怀疑commit错过了这一点（可能还有其他地方，但我现在关注的是return\u stmt制作）。

我继续修改了Python语法/语法文件来允许这样做。所有的测试都继续通过，包括test_grammar.py文件中的测试（但这似乎不是非常详尽）。

如果你好奇的话，这就是我所做的改变。请随意克隆或下载我的叉子。

更新：我已经提交了一个bpo问题和一个退货（和产量）解包请求。