【发布时间】：2021-06-03 20:06:00
【问题描述】：
我正在尝试输入提示海象运算符表达式，即
while (var: int := some_func()): ...
我该怎么做？
【问题讨论】：
【发布时间】：2021-06-03 20:06:00
【问题描述】：
【讨论】：
-
= 0有必要吗？看来var: int就足够了。 -
如果不使用整数初始化，则需要
var: Optional[int]，这样才不会违反类型。 -
有趣。
var: int实际上并没有创建var，所以它永远不会有None的值。为什么会违反类型？ -
我只是按照 PEP 所说的去做。它建议
var: Optional[int] = None -
我认为不需要
Optional提示；这只是一个例子。单独var: int应该没问题，只要保证some_func返回int。
我不相信你可以。
一个变量可以被注释，因为赋值的语法规则是
assignment:
| NAME ':' expression ['=' annotated_rhs ]
...
请注意，类型提示在名称后面的 : 和 = 之间是显式的。
另一方面，赋值表达式仅在:=之前提供名称，没有类型提示：
named_expression:
| NAME ':=' ~ expression
| expression !':='
【讨论】：
-
这似乎是一个疏忽？我希望这个运算符可以通过正确的输入来实现
-
故意限制 Python 的语法，以便它可以被 LL(1) 解析器解析。我对细节很模糊（自从我研究解析器以来已经 很长时间 了），但我认为像
if x: int := f(y):这样的东西不能用 LL(1) 语法来表达；判断x后面的:是否引入类型提示或完成条件所需的前瞻对LL(1) 解析器根本不可用。 Python 现在使用 PEG 解析器，我认为它更加灵活，但:=早于新解析器的引入。