返回语句中的 Python 元组解包

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

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

更新

从 Python 3.8 开始（参见 this list 的第 7 项），上面讨论的通用语法现在有效。

Answer 1

我怀疑这是一个意外，基于来自 this commit 的 Python 3.2 的 cmets。

该提交使赋值表达式采用testlist_star_expr 产生式（允许无括号解包），但让return 语句采用testlist 产生式。我怀疑提交只是错过了这个（可能还有其他位置，但我现在专注于return_stmt 生产）。

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

如果你好奇，this is the change I made。随意克隆或下载my fork。

更新：我已经提交了 bpo issue 和 pull request 用于退货（和产量）拆包。