Python 语法：函数参数中的 `for`

Question

以下部分复制自官方的完整 Python 3 语法。

arglist: argument (',' argument)*  [',']

argument: ( test [comp_for] |
            test ':=' test |
            test '=' test |
            '**' test |
            '*' test )

comp_iter: comp_for | comp_if
sync_comp_for: 'for' exprlist 'in' or_test [comp_iter]
comp_for: [ASYNC] sync_comp_for
comp_if: 'if' test_nocond [comp_iter]

（ arglist用于将参数传递给函数调用或类定义的多个地方）。

我对规则argument : test [comp_for]感到困惑argument : test [comp_for] 。 作为. for . in . . for . in . 生成器已经是test有效派生类，这似乎意味着for作为函数参数具有特殊含义。

my_function(x for x in range(3))

然而，只是玩弄这个定义总是将它解释为由所描述的语法创建的通常的生成器对象。

y = (x for x in range(3))
my_function(y)

那么，这种语法实际上有什么特别之处吗？ 或者它只是遗留/未来的保留代码？

Answer 1

(x for x in range(3))是一个生成器表达式，它源自test非终结符。 但是x for x in range(3)不是从test派生的； 括号是必要的。 因此，如果没有argument : test [comp_for]生产， sum((x for x in range(3)))将是一个有效的函数调用，但不是sum(x for x in range(3)) 。

另一方面， sum(x for x in range(3))不能以任何其他方式解析，并且语法似乎没有带有额外括号的版本那么混乱。 因此，当 Python 2.4 中引入生成器表达式时，修改了参数列表的语法以使语法糖成为可能——但前提是生成器表达式是唯一的参数。

您可以在PEP 289 中找到有关更改的详细说明。