# `__future__` --- Future 语句定义

源代码： Lib/__future__.py

`from __future__ import feature` 形式的导入被称为 future 语句。它们会被 Python 编译器当作特例，通过包含 future 语句来允许新的 Python 特性在该特性成为语言标准之前发布的模块中使用。

虽然这些 future 语句被 Python 编译器赋予了额外的特殊含义，但它们仍然像会其他导入语句一样被执行，而 `__future__` 的存在和被导入系统处理的方式与其他任何 Python 模块的相同。 这种设计有三个目的：

- 避免混淆已有的分析 import 语句并查找 import 的模块的工具。

- 记录不兼容的修改在何时被引入，以及在何时将会 --- 或是确定 --- 成为强制要求。 这是一种可执行的文件形式，并可通过导入 `__future__` 在程序中进行检测并获取其内容。

- 确保 future 语句 在 Python 2.1 之前的发布版上运行时至少会产生运行时异常（对 `__future__` 的导入会失败，因为 2.1 之前没有这个模块名称）。

## 模块内容

特性描述绝不会从 `__future__` 中删除。 自从在 Python 2.1 中引入以来已经使用这种机制将下列特性加入到语言之中：

特性 | 可选版本 | 强制加入版本 | 效果
--- | --- | --- | ---
__future__.nested_scopes | 2.1.0b1 | 2.2 | PEP 227: 静态嵌套作用域
__future__.generators | 2.2.0a1 | 2.3 | PEP 255: 简单生成器
__future__.division | 2.2.0a2 | 3.0 | PEP 238: 修改除法运算符
__future__.absolute_import | 2.5.0a1 | 3.0 | PEP 328: 导入：多行与绝对/相对
__future__.with_statement | 2.5.0a1 | 2.6 | PEP 343: “with”语句
__future__.print_function | 2.6.0a2 | 3.0 | PEP 3105: print 改为函数
__future__.unicode_literals | 2.6.0a2 | 3.0 | PEP 3112: Python 3000 中的字节字面值
__future__.generator_stop | 3.5.0b1 | 3.7 | PEP 479: 在生成器中处理 StopIteration
__future__.annotations | 3.7.0b1 | 从不 [1] | PEP 563: 延迟标注求值, PEP 649: 使用描述器的标注延迟求值

class __future__._Feature

  `__future__.py` 中的每一条语句都是以下格式的:

      FeatureName = _Feature(OptionalRelease, MandatoryRelease,
                             CompilerFlag)

  通常 OptionalRelease 要比 MandatoryRelease 小，并且都是和 `sys.version_info` 格式一致的 5 元素元组:

      (PY_MAJOR_VERSION, # 2.1.0a3 中的 2; 一个整数
       PY_MINOR_VERSION, # 1; 一个整数
       PY_MICRO_VERSION, # 0; 一个整数
       PY_RELEASE_LEVEL, # "alpha", "beta", "candidate" 或 "final"; 字符串
       PY_RELEASE_SERIAL # 3; 一个整数
      )

_Feature.getOptionalRelease()

  OptionalRelease 记录了一个特性首次发布时的 Python 版本。

_Feature.getMandatoryRelease()

  在 MandatoryRelease 还没有发布时，MandatoryRelease 表示该特性会变成语言的一部分的预测时间。

  其他情况下，MandatoryRelease 用来记录这个特性是何时成为语言的一部分的。从该版本往后，使用该特性将不需要 future 语句，不过很多人还是会加上对应的 import。

  MandatoryRelease 也可能为 `None`，表示计划中的特性被撤销或尚未确定。

_Feature.compiler_flag

  CompilerFlag 是一个（位）旗标，对于动态编译的代码应当将其作为第四个参数传给内置函数 `compile()` 以启用相应的特性。 该旗标存储在 `_Feature` 实例的 `_Feature.compiler_flag` 属性中。

[1]

`from __future__ import annotations` 曾计划在 Python 3.10 中强制执行，但这一更改被推迟并最终取消。 此特性最终将被弃用并移除。参见 PEP 649 和 PEP 749。

参见

future 语句

  编译器怎样处理 future import。

PEP 236 - 回到 __future__

  有关 __future__ 机制的最初提议。