为什么表达式字段中不允许在生成器中使用无保护的元组？

Question

# why is the following invalid
x = (k, v for k, v in some_dict.items())

# but if we wrap the expression part in parentheses it works
x = ((k, v) for k, v in some_dict.items())

我查看了文档并且似乎没有找到任何相关内容？ 什么可能使解析器混淆不允许语法？ 尽管工作更复杂：

# k, v somehow confuses the parser but this doesnt???
x = ('%s:%s:%s' % (k, v, k) for k, v in some_dict.items())

为什么我们不需要包装%s:%s:%s % (k, v, k)与周围的parantheses呢？

Answer 1

看看x = (k, v for k, v in some_dict.items()) ：

x = (k, v for k, v in some_dict.items())
x = ((k, v) for k, v in some_dict.items())
x = (k, (v for k, v in some_dict.items()))

需要括号来消除歧义。

x = ('%s:%s:%s' % (k, v, k) for k, v in some_dict.items())需要括号：

x = ('%s:%s:%s' % k, v, k for k, v in some_dict.items())
x = ('%s:%s:%s' % k, (v, k) for k, v in some_dict.items())
x = ('%s:%s:%s' % (k, v, k) for k, v in some_dict.items())

只是碰巧你已经有足够的括号来解决那里的歧义，使其能够以预期的方式运行。

Answer 2

Python的解析器解析了这个

x =  (k, v for k, v in some_dict.items())

作为包含k和生成器表达式的元组：

v for k, v in some_dict.items()

但这不是一个有效的生成器表达式：它需要，如PEP 289所说：

直接在一组括号内，并且两边都不能有逗号

什么Python看到作为发电机这里就不直接在圆括号内， 确实有一侧一个逗号，所以它是非法的。

---

之所以认为这是因为解析器（故意）非常简单。 特别是，它是一个LL（1）解析器，意思是：

• 从左到右扫描令牌;
• 考虑当前令牌和下一个令牌（前瞻的一个标记）; 和
• 尽快做出关于表达意味着什么的决定

因此，它将当前令牌变为k ，并看到下一个是逗号。 这是一个元组，它坚持这个决定 。 它只能看到for （当前令牌是v ），因此它成为元组内的生成器表达式。 解析器不会回溯以查看是否存在表达式的潜在合法解析（存在 - 您希望将元组置于生成器表达式中，但可能并不总是存在），它只会立即引发错误。