为何__future__的barry_as_FLUFL特性在.py脚本文件中无法生效？

Python里有个恶搞的__future__特性barry_as_FLUFL，启用后可以用菱形运算符<>代替!=做不等比较，甚至会禁止使用!=。

REPL中的演示 #

>>> from __future__ import barry_as_FLUFL
>>> print(1 <> 2)
True
>>> 1 != 2
  File "<stdin>", line 1
    1 != 2
      ^^
SyntaxError: with Barry as BDFL, use '<>' instead of '!='

在exec/compile中也能工作 #

这个特性在eval、exec和compile这类动态执行场景里也能正常生效：

>>> import __future__
>>> exec(compile('print(1 <> 2)', 'foo', 'single', __future__.CO_FUTURE_BARRY_AS_BDFL))
True

脚本文件中完全失效 #

但把同样的代码放到.py脚本里，特性完全不会生效。比如创建script.py：

# script.py
from __future__ import barry_as_FLUFL
print(1 <> 2)

无论直接运行还是导入该文件，都会直接触发语法错误：

$ python3 script.py
  File ".../script.py", line 3
    print(1 <> 2)
            ^^
SyntaxError: invalid syntax

技术原因 #

它和其他__future__特性的核心差异在于Python的编译阶段处理逻辑：

• 普通.py脚本启动时会被一次性全文件语法解析+编译，而__future__语句需要在语法解析开始前就生效。但barry_as_FLUFL对应的语法规则（允许<>作为不等运算符）并没有被加入Python的主语法解析器——它只是在REPL、compile函数这类动态编译路径里做了临时的特殊处理。
• 处理脚本文件时，语法解析器看到<>会直接判定为无效语法（主语法规则早已经移除了<>作为不等运算符的定义），根本不会等到执行from __future__ import barry_as_FLUFL这行代码，自然无法启用特性。
• 而REPL是逐行编译，compile函数则可以通过参数直接传递__future__.CO_FUTURE_BARRY_AS_BDFL标识，让编译器临时切换到包含<>的特殊语法规则，绕过了主语法解析的限制。

内容的提问来源于stack exchange，提问作者wim