为什么Python总是不需要关键字空格？

Question

为什么在关键词之前和之后有时会省略空格？例如，为什么表达式2if-1e1else 1有效？

似乎在CPython 2.7和3.3中都有效：

$ python2
Python 2.7.3 (default, Nov 12 2012, 09:50:25) 
[GCC 4.2.1 Compatible Apple Clang 4.1 ((tags/Apple/clang-421.11.66))] on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>> 2if-1e1else 1
2

$ python3
Python 3.3.0 (default, Nov 12 2012, 10:01:55) 
[GCC 4.2.1 Compatible Apple Clang 4.1 ((tags/Apple/clang-421.11.66))] on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>> 2if-1e1else 1
2

甚至在PyPy中：

$ pypy
Python 2.7.2 (341e1e3821ff, Jun 07 2012, 15:42:54)
[PyPy 1.9.0 with GCC 4.2.1] on darwin
Type "help", "copyright", "credits" or "license" for more information.
And now for something completely different: ``PyPy 1.6 released!''
>>>> 2if-1e1else 1
2

Answer 1

python中的标识符描述为：

identifier ::= (letter|"_") (letter | digit | "_")* 

因此，2if不能是标识符，因此必须是2，if。类似的逻辑适用于表达式的其余部分。

基本上解释2if-1e1else 1会是这样的（完整的解析会非常复杂）：

2if无效的标识符，2匹配数字digit ::= "0"..."9"，if匹配关键字。 -1e1else，-1是：的一元否定（u_expr ::= power | "-" u_expr | "+" u_expr | "~" u_expr）1与intpart中的exponentfloat ::= (intpart | pointfloat) | exponent匹配  ，e1是指数exponent ::= ("e" | "E") ["+" | "-"] digit+。）您可以看到Ne+|-x形式的表达式从中产生浮点数：

>>> type(2e3)
<type 'float'>

然后else被视为关键字，-1等等。

您可以仔细阅读gammar以了解更多信息。