Python 3.11 有什么新变化

编者

Pablo Galindo Salgado

这篇文章介绍了 Python 3.11 相比 3.10 增加的新特性。 Python 3.11 发布于 2022 年 10 月 24 日。 要了解更详细的信息,可参阅 更新日志

摘要 — 发布重点

  • Python 3.11 的速度比 Python 3.10 快 10-60%。在平均状况下,在标准基准测试(standard benchmark suite)中可见1.25倍的加速效果。更多细节请参见 更快的 CPython 一节。

新的语法特性:

新的内置特性:

新的标准库模块:

解释器的改进:

新的类型标注特性:

重要的弃用、移除或限制:

新的特性

PEP 657:回溯信息中标注更详细的错误位置

在打印回溯信息(traceback)时,解释器现在不仅会指出错误所在行,还会进一步指出引发错误的表达式在哪里。例如:

  1. Traceback (most recent call last):
  2. File "distance.py", line 11, in <module>
  3. print(manhattan_distance(p1, p2))
  4. ^^^^^^^^^^^^^^^^^^^^^^^^^^
  5. File "distance.py", line 6, in manhattan_distance
  6. return abs(point_1.x - point_2.x) + abs(point_1.y - point_2.y)
  7. ^^^^^^^^^
  8. AttributeError: 'NoneType' object has no attribute 'x'

先前版本的解释器只会指出该行存在错误,我们不清楚哪个对象是这里的 None。在深度嵌套的 dict 对象以及连用多个函数调用的场景下,这些增强的错误也会大有裨益:

  1. Traceback (most recent call last):
  2. File "query.py", line 37, in <module>
  3. magic_arithmetic('foo')
  4. File "query.py", line 18, in magic_arithmetic
  5. return add_counts(x) / 25
  6. ^^^^^^^^^^^^^
  7. File "query.py", line 24, in add_counts
  8. return 25 + query_user(user1) + query_user(user2)
  9. ^^^^^^^^^^^^^^^^^
  10. File "query.py", line 32, in query_user
  11. return 1 + query_count(db, response['a']['b']['c']['user'], retry=True)
  12. ~~~~~~~~~~~~~~~~~~^^^^^
  13. TypeError: 'NoneType' object is not subscriptable

在复杂的算数表达式中同样有用:

  1. Traceback (most recent call last):
  2. File "calculation.py", line 54, in <module>
  3. result = (x / y / z) * (a / b / c)
  4. ~~~~~~^~~
  5. ZeroDivisionError: division by zero

此外,增强的回溯信息功能使用的信息通过通用 API 提供,该 API 可用于将 bytecode 指令 与源代码位置相关联。 可以使用以下方式获取此信息:

更多细节请参见 PEP 657。(由Pablo Galindo、Batuhan Taskaya 和 Ammar Askar 在 bpo-43950 中贡献)

备注

该特性需要在 代码对象 中存储列位置,这可能会导致解释器内存占用和经过编译的 Python 文件的文件大小略有增加。 要避免存储额外的信息同时取消打印额外的回溯信息,请使用 -X no_debug_ranges 命令行选项或 PYTHONNODEBUGRANGES 环境变量。

PEP 654:异常组与 except*

PEP 654 引入了若干语言特性,从而让程序能够同时引发和处理多个不相关的异常。内置类型 ExceptionGroupBaseExceptionGroup 使得将异常划分成组并一起引发成为可能,新添加的 except* 是对 except 的泛化语法,这一语法能够匹配异常组的子组。

更多细节请参见 PEP 654

(由 Irit Katriel 在 bpo-45292 中贡献,PEP 由 Irit Katriel、Yury Selivanov 和 Guido van Rossum 编写)

PEP 678:可用注释丰富异常

add_note() 方法已被添加到 BaseException 中。如果存在引发异常时不可用的上下文信息,使用该方法可以手动附加这些信息来丰富异常。添加的备注会显示在默认的回溯信息中。

更多细节请参见 PEP 678

(由 Irit Katriel 在 bpo-45607 中贡献,PEP 由 Zac Hatfield-Dodds 编写)

Windows 下的 py.exe 启动器改进

包括在 Python 3.11 中的 适用于Windows的Python启动器 的副本已进行了重大更新。 现在它支持 PEP 514 所定义的 company/tag 语法即使用 -V:_<company>_/_<tag>_ 参数代替受限的 -_<major>_._<minor>_。 这允许启动托管在 python.org 上的 PythonCore 以外的其他发行版。

当使用 -V: 选择器时,可以省略 company 或 tag,此时会搜索所有的安装。例如,-V:OtherPython/ 会选择 OtherPython 所注册的“最佳”标签,而 -V:3.11-V:/3.11 则会选择标签为 3.11 的“最佳”发行版。

在使用旧式的 -_<major>_-_<major>_._<minor>_-_<major>_-_<bitness>_-_<major>_._<minor>_-_<bitness>_ 参数时,应保留过去版本的所有已有行为,并只选择从 PythonCore 发布的版本。 不过,-64 后缀现在表示“非 32 位”(不一定是 x86-64),因为有多种受支持的 64 位平台。 32 位运行时是通过检查运行时的标签是否有 -32 后缀来检测的。 自 Python 3.5 以来的所有版本都在其 32 位编译中包括了这个后缀。

有关类型提示的新增特性

本节介绍了涉及 PEP 484 类型提示和 typing 模块的主要更改。

PEP 646:可变参数泛型

之前的 PEP 484 引入了 TypeVar,其支持创建带单一类型参数的泛型。PEP 646 新引入了 TypeVarTuple,其支持 任意 数量的类型的参数化。换言之,TypeVarTuple可变参数(variadic) 类型变量,支持 可变参数 泛型。

该泛型的引入让相当多的代码写法成为可能。特别是在诸如 NumPy 和 TensorFlow 这样的数值计算库中,这种泛型让类数组(array-like)结构类型可以用数组的 形状(shape) 来参数化。这样一来,静态类型检查器就能够在使用这些库的代码中捕获与形状有关的错误了。

更多细节请参见 PEP 646

(由 Matthew Rahtz 在 bpo-43224 中贡献,共同贡献的还有 Serhiy Storchaka 和 Jelle Zijlstra,PEP 由 Mark Mendoza、Matthew Rahtz、Pradeep Kumar Srinivasan 以及 Vincent Siles 编写)

PEP 655:将单个 TypedDict 项标记为必填或非必填项

RequiredNotRequired 提供了一种简单明了的方式来标记 TypedDict 中的单个项是否必须存在。而在之前的版本中,这只能通过使用继承来实现。

默认情况下,所有字段仍然是必填的,除非 total 参数设置为 False,在这种情况下,默认情况下所有字段则是非必填的。例如,下面指定了一个 TypedDict,其中有一个必填的键和一个非必填的键:

  1. class Movie(TypedDict):
  2. title: str
  3. year: NotRequired[int]
  4. m1: Movie = {"title": "Black Panther", "year": 2018} # OK
  5. m2: Movie = {"title": "Star Wars"} # OK (year is not required)
  6. m3: Movie = {"year": 2022} # ERROR (missing required field title)

而以下的定义和上述定义等价:

  1. class Movie(TypedDict, total=False):
  2. title: Required[str]
  3. year: int

更多细节请参见 PEP 655

(由 David Foster 和 Jelle Zijlstra 在 bpo-47087 中贡献,PEP 由 David Foster 编写)

PEP 673:Self 类型

新的 Self 注解提供了一种简单而又直观的方法来标注返回其类实例的方法。这一注解的行为与 PEP 484 中指定的基于 TypeVar 的方法是一致的,但更简洁、更易于遵循。

常见的用法包括以 classmethod() 形式提供的替代构造函数,以及返回 self__enter__() 方法:

  1. class MyLock:
  2. def __enter__(self) -> Self:
  3. self.lock()
  4. return self
  5. ...
  6. class MyInt:
  7. @classmethod
  8. def fromhex(cls, s: str) -> Self:
  9. return cls(int(s, 16))
  10. ...

Self 也可以用来标注与其封闭类类型相同的方法参数或属性。

更多细节请参见 PEP 673

(由 James Hilton-Balfe 在 bpo-46534 中贡献,PEP 由 Pradeep Kumar Srinivasan 和 James Hilton-Balfe 编写)

PEP 675:任意字面值字符串类型

新的 LiteralString 注解能用于注明函数参数可为任何字面值字符串类型。这允许函数接受任意字面值字符串类型,以及从其他字面值字符串创建的字符串。这样一来,类型检查器就可以强制对此敏感的函数(例如执行 SQL 语句或 shell 命令的函数)只以静态的实参来调用,从而提供对注入攻击的保护。

例如,SQL 查询函数可按照如下方式注解:

  1. def run_query(sql: LiteralString) -> ...
  2. ...
  3. def caller(
  4. arbitrary_string: str,
  5. query_string: LiteralString,
  6. table_name: LiteralString,
  7. ) -> None:
  8. run_query("SELECT * FROM students") # ok
  9. run_query(query_string) # ok
  10. run_query("SELECT * FROM " + table_name) # ok
  11. run_query(arbitrary_string) # type checker error
  12. run_query( # type checker error
  13. f"SELECT * FROM students WHERE name = {arbitrary_string}"
  14. )

请参阅 PEP 675 了解详情。

(由 Jelle Zijlstra 在 bpo-47088 中贡献,PEP 由 Pradeep Kumar Srinivasan 和 Graham Bleaney 编写)

PEP 681:数据类变换

dataclass_transform 可用于修饰类、元类或本身是装饰器的函数。使用 @dataclass_Transform() 就能让静态类型检查器知道被修饰的对象会在运行时执行对类的变换专业的“魔法”,从而让它具有类似 dataclass 的行为。

例如:

  1. # The create_model decorator is defined by a library.
  2. @typing.dataclass_transform()
  3. def create_model(cls: Type[T]) -> Type[T]:
  4. cls.__init__ = ...
  5. cls.__eq__ = ...
  6. cls.__ne__ = ...
  7. return cls
  8. # The create_model decorator can now be used to create new model classes:
  9. @create_model
  10. class CustomerModel:
  11. id: int
  12. name: str
  13. c = CustomerModel(id=327, name="Eric Idle")

更多细节请参见 PEP 681

(由 Jelle Zijlstra 在 gh-91860 中贡献,PEP 由 Erik De Bonte 和 Eric Traut 编写)

未来版本可能不再实现 PEP 563

原计划随 Python 3.10 发布的 PEP 563 延迟注解求值(from __future__ import annotationsfuture 语句)已被无限期搁置。 更多信息请参见 指导委员会(Steering Council)邮件列表中的讨论

其他语言特性修改

其他 CPython 实现的改变

  • 实现了用于 complex__complex__() 和用于 bytes__bytes__() 特殊方法以支持 typing.SupportsComplextyping.SupportsBytes 协议。 (由 Mark Dickinson 和 Donghee Na 在 bpo-24234 中贡献。)

  • 添加了新的内部哈希算法 siphash13。它与 siphash24 有类似的安全特性,但是对于长输入,它的速度略快。strbytes 和其他一些类型现在使用它作为 hash() 的默认算法。PEP 552 基于哈希的 .pyc 文件 现在也使用 siphash13。(由 Inada Naoki 在 bpo-29410 中贡献)

  • 当使用没有参数的 raise 语句重新引发活动的异常时,被附加在此异常上的回溯现在始终为 sys.exc_info()[1].__traceback__。这意味着在当前 except 子句中对回溯的修改将被反映到重新引发的异常。(由 Irit Katriel 在 bpo-45711 中贡献)

  • 解释器状态对已处理异常(又名 exc_info_PyErr_StackItem )的表示现在只有 exc_value 字段;exc_typeexc_traceback 已被移除,因为它们可以派生自 exc_value 。(由 Irit Katriel 在 bpo-45711 中贡献)

  • WIndows 安装程序添加了一个新的 命令行选项 AppendPath。它的行为类似于 PrependPath,但是会追加安装和脚本目录而不是前加。(由 Bastian Neuburger 在 bpo-44934 中贡献)

  • 为了使用 PyConfig.module_search_paths 初始化 sys.pathPyConfig.module_search_paths_set 字段现在必须使用``1`` 作初始化,否则,该初始化行为会重新计算路径并替换任何加入到 module_search_paths 的值。

  • --help 选项的输出现在将适应于50行/80列。有关 Python environment variables-X 选项的信息可以分别使用 --help-env--help-xoptions 标志获得,并可以使用新的标志 --help-all。(由 Éric Araujo 在 bpo-46142 贡献。)

  • 使用十进制以外的底,如 2(二进制)、4、8(八进制)、16(十六进制)、32 以外作为基数在 intstr 之间进行转换,如果字符串形式的数字数量超过一个限制,会抛出 ValueError,以避免因算法复杂而导致的潜在拒绝服务攻击。这是对 CVE-2020-10735 的缓解方案。这个限制可以通过环境变量、命令行旗标或 sys API 进行配置或禁用。参见 integer string conversion length limitation 文档。默认限制是字符串形式的 4300 位数字。

新增模块

改进的模块

asyncio

contextlib

  • 增加了非并行安全的 chdir() 上下文管理器用来改变当前工作目录并在退出时恢复它。 是 chdir() 的简单包装器。 (由 Filipe Laíns 在 bpo-25625 中贡献))

dataclasses

  • 修改了字段默认的可变性检查,默认仅允许 hashable 而非任何不为 dict, listset 实例的对象。 (由 Eric V. Smith 在 bpo-44674 中贡献。)

datetime

enum

  • EnumMeta 重命名为 EnumType (EnumMeta 作为别名保留)。

  • 增加了 StrEnum,其成员可以(且必须)作为字符串使用。

  • 增加了 ReprEnum,它只是在为 __str__()__format__() 方法(供 str(), format()f-string 使用)返回成员的字面值(而不是名称)时修改了它们的 __repr__()

  • 修改了 Enum.__format__() (为 format(), str.format()f-string 的默认值) 以便始终产生与 Enum.__str__() 相同的结果:对于继承自 ReprEnum 的枚举它将为其成员的值;对于所有其他枚举它将为枚举和成员名称 (例如 Color.RED)。

  • 将新的 boundary 类形参连同其选项添加到 Flag 枚举和 FlagBoundary 枚举中,以控制超范围旗标值的处理方式。

  • 增加了 verify() 枚举装饰器和 EnumCheck 枚举及其选项,以基于特定约束条件来检查枚举类。

  • 增加了 member()nonmember() 装饰器,用于确保被装饰的对象是/否会被转换为枚举成员。

  • 增加了 property() 装饰器,它类似于 property() 但是专门针对枚举。 请使用它来代替 types.DynamicClassAttribute()

  • 增加了 global_enum() 枚举装饰器,它会调整 __repr__()__str__() 以将值显示为其模块的成员而不是枚举类的成员。 例如,'re.ASCII're.RegexFlagASCII 成员而不是 'RegexFlag.ASCII'

  • 增强了 Flag 以支持针对其成员的 len(),迭代和 in/not in。 例如,现在可以使用下面的代码: len(AFlag(3)) == 2 and list(AFlag(3)) == (AFlag.ONE, AFlag.TWO)

  • 修改了 EnumFlag 使得成员的定义是在 __init_subclass__() 被调用之前;dir() 现在将包括来自混入数据类型的方法等。

  • Flag 修改为只考虑规范的基本值(即二的乘方)而复合值(如 3, 6, 10 等)则被视为别名;逆向旗标将被强制转换为对应的正向旗标。

fcntl

  • 在 FreeBSD 上,F_DUP2FDF_DUP2FD_CLOEXEC 旗标分别受到支持,前者等价于 dup2 用法而后者额外设置了 FD_CLOEXEC 旗标。

fractions

  • 支持基于字符串执行 PEP 515 网络的 Fraction 初始化。 (由 Sergey B Kirpichev 在 bpo-44258 中贡献。)

  • Fraction 现在实现了一个 __int__ 方法,因而 isinstance(some_fraction, typing.SupportsInt) 检测将会通过。 (由 Mark Dickinson 在 bpo-44547 中贡献。)

functools

  • functools.singledispatch() 现在支持以 types.UnionTypetyping.Union 作为 dispatch 参数的标注。:

    1. >>> from functools import singledispatch
    2. >>> @singledispatch
    3. ... def fun(arg, verbose=False):
    4. ... if verbose:
    5. ... print("Let me just say,", end=" ")
    6. ... print(arg)
    7. ...
    8. >>> @fun.register
    9. ... def _(arg: int | float, verbose=False):
    10. ... if verbose:
    11. ... print("Strength in numbers, eh?", end=" ")
    12. ... print(arg)
    13. ...
    14. >>> from typing import Union
    15. >>> @fun.register
    16. ... def _(arg: Union[list, set], verbose=False):
    17. ... if verbose:
    18. ... print("Enumerate this:")
    19. ... for i, elem in enumerate(arg):
    20. ... print(i, elem)
    21. ...

    (由 Yurii Karabas 在 bpo-46014 中贡献。)

hashlib

  • hashlib.blake2b()hashlib.blake2s() 现在将优先使用 libb2 而不是 Python 自带的副本。 (由 Christian Heimes 在 bpo-47095 中贡献。)

  • 包含 SHA3 和 SHAKE 的内部 _sha3 模块现在会使用 tiny_sha3 而不是 Keccak Code Package 来减小代码和二进制文件的大小。 hashlib 模块将首选来自 OpenSSL 的优化版 SHA3 和 SHAKE 实现。 这个改变将只影响不带 OpenSSL 支持的安装版。 (由 Christian Heimes 在 bpo-47098 中贡献。)

  • 增加了 hashlib.file_digest(),一个针对文件或文件类对象高效哈希运算的辅助函数。 (由 Christian Heimes 在 gh-89313 中贡献。)

IDLE 与 idlelib

  • .pyi 文件应用语法高亮。 (由 Alex Waygood 和 Terry Jan Reedy 在 bpo-45447 中贡献。)

  • 当附带输入和输出地保存 Shell 时将包括提示符。 (由 Terry Jan Reedy 在 gh-95191 中贡献。)

inspect

locale

logging

math

  • 增加了 math.exp2(): 返回 2 的 x 次幂。 (由 Gideon Mitchell 在 bpo-45917 中贡献。)

  • 增加了 math.cbrt(): 返回 x 的立方根。 (由 Ajith Ramachandran 在 bpo-44357 中贡献。)

  • 两个 math.pow() 边界情况的行为已改变,以便与 IEEE 754 规范保持一致。 math.pow(0.0, -math.inf)math.pow(-0.0, -math.inf) 等运算现在将返回 inf。 在此之前它们会引发 ValueError。 (由 Mark Dickinson 在 bpo-44339 中贡献。)

  • 现在 math.nan 值将总是可用。 (由 Victor Stinner 在 bpo-46917 中贡献。)

operator

  • 增加了一个新函数 operator.call,使得 operator.call(obj, *args, **kwargs) == obj(*args, **kwargs)。 (由 Antony Lee 在 bpo-44019 中贡献。)

os

  • 在 Windows 上,os.urandom() 现在将使用 BCryptGenRandom(),而不是已被弃用的 CryptGenRandom()。 (由 Donghee Na 在 bpo-44611 中贡献。)

pathlib

re

  • 正则表达式现已支持原子化分组 ((?>...)) 和占有型数量限定符 (*+, ++, ?+, {m,n}+)。 (由 Jeffrey C. Jacobs 和 Serhiy Storchaka 在 bpo-433030 中贡献。)

shutil

socket

  • 为 NetBSD 添加了 CAN Socket 支持。 (由 Thomas Klausner 在 bpo-30512 中贡献。)

  • create_connection() 具有一个在连接失败的情况下引发包含所有错误而的 ExceptionGroup 不是只引发最后的错误的选项。 (由 Irit Katriel 在 bpo-29980 中贡献。)

sqlite3

string

sys

  • sys.exc_info()typetraceback 字段现在是派生自 value (异常实例),因此当一个异常在处理期间被修改时,其变化会在后续对 exc_info() 的调用结果中反映出来。 (由 Irit Katriel 在 bpo-45711 中贡献。)

  • 增加了返回激活的异常实例的 sys.exception() (等价于 sys.exc_info()[1])。 (由 Irit Katriel 在 bpo-46328 中贡献。)

  • 增加了 sys.flags.safe_path 旗标。 (由 Victor Stinner 在 gh-57684 中贡献。)

sysconfig

  • 增加了三个新的 安装方案 (posix_venv, nt_venv and venv) 并将在 Python 创建新虚拟环境或从虚拟环境运行时使用。 前两个方案 (posix_venvnt_venv) 是用于非 Windows 和 Windows 的 OS 专属方案,venv 实际上是根据 Python 运行所在的 OS 来确定的前两者之一。 这对于要修改 sysconfig.get_preferred_scheme() 的下游分发者来说很有用处。 创建新虚拟环境的第三方代码应当使用新的 venv 安装方案来确定路径,就像 venv 所做的那样。 (由 Miro Hrončok 在 bpo-45413 中贡献。)

tempfile

threading

time

  • 在 Unix 上,如果有可能,time.sleep() 现在将使用 clock_nanosleep()nanosleep() 函数,其精度为 1 纳秒 (10-9 秒),而不是使用精度为 1 微秒 (10-6 秒) 的 select()。 (由 Benjamin Szőke 和 Victor Stinner 在 bpo-21302 中贡献。)

  • 在 Windows 8.1 或更新版本上,现在 time.sleep() 会使用一个基于 高精度计时器 的可等待计时器,其精度为 100 纳秒 (10-7 秒)。 在之前版本中,其精度为 1 毫秒 (10-3 秒)。 (由 Benjamin Szőke, Donghee Na, Eryk Sun 和 Victor Stinner 在 bpo-21302bpo-45429 中贡献。)

tkinter

  • 增加了将 Tcl 库的准确版本号作为类似 sys.version_info 的命名元组返回的方法 info_patchlevel()。 (由 Serhiy Storchaka 在 gh-91827 中贡献。)

traceback — 回溯

typing

主要的变化,请参阅 有关类型提示的新增特性

  • 增加了 typing.assert_never()typing.Nevertyping.assert_never() 适用于要求类型检查器确认某一行代码是不可达的。 在运行时,它会引发 AssertionError。 (由 Jelle Zijlstra 在 gh-90633 中贡献。)

  • 增加了 typing.reveal_type()。 它适用于让类型检查器推理出给定表达式的类型。 在运行时它会打印所接收的值的类型。 (由 Jelle Zijlstra 在 gh-90572 中贡献。)

  • 增加了 typing.assert_type()。 它适用于让类型检查器确认推理出的给定表达式的类型与给定的类型相匹配。 在运行时它将简单地返回所接收的值。 (由 Jelle Zijlstra 在 gh-90638 中贡献。)

  • 现在 typing.TypedDict 类型可以是泛型。 (由 Samodya Abeysiriwardane 在 gh-89026 中贡献。)

  • 现在 NamedTuple 类型可以是泛型。 (由 Serhiy Storchaka 在 bpo-43923 中贡献。)

  • 允许 typing.Any 子类化。 这适用于避免关联到高度动态类的类型检查器错误,例如 mock 类。 (由 Shantanu Jain 在 gh-91154 中贡献。)

  • 现在 typing.final() 装饰器可在被装饰的对象上设置 __final__ 属性。 (由 Jelle Zijlstra 在 gh-90500 中贡献。)

  • typing.get_overloads() 函数可被用来内省一个函数的重载。 typing.clear_overloads() 可被用来清理一个函数所有的重载。 (由 Jelle Zijlstra 在 gh-89263 中贡献。)

  • 现在 Protocol 子类的 __init__() 方法将被保留。 (由 Adrian Garcia Badarasco 在 gh-88970 中贡献。)

  • 空元组类型 (Tuple[()]) 的表示形式已被简化。 这将影响内省操作,例如 get_args(Tuple[()]) 现在将被求值为 () 而不是 ((),)。 (由 Serhiy Storchaka 在 gh-91137 中贡献。)

  • 通过移除私有 typing._type_check 函数的回调检查放松了类型标注的运行时要求。 (由 Gregory Beauregard 在 gh-90802 中贡献。)

  • 现在 typing.get_type_hints() 支持将字符串求值为 PEP 585 泛型别名 中的前向引用。 (由 Niklas Rosenstein 在 gh-85542 中贡献。)

  • typing.get_type_hints() 将不再添加 Optional 到形参并以 None 作为默认值。 (由 Nikita Sobolev 在 gh-90353 中贡献。)

  • 现在 typing.get_type_hints() 支持与纯字符串化的 ClassVar 标注进行求值。 (由 Gregory Beauregard 在 gh-90711 中贡献。)

  • typing.no_type_check() 将不再修改外部类和函数。 现在它还会正确地将类方法标记为不进行类型检查。 (由 Nikita Sobolev 在 gh-90729 中贡献。)

unicodedata

  • Unicode 数据库已更新到 14.0.0 版。 (由 Benjamin Peterson 在 bpo-45190 中贡献。)

unittest

venv

  • 当新的 Python 虚拟环境被创建时,将使用 venv sysconfig 安装方案 来确定环境内部的路径。 当 Python 在虚拟环境中运行时,同一个安装方案将被设为默认。 这意味着下游分发方可以修改默认的 sysconfig 安装方案而不会改变虚拟环境的行为。 同样会创建新的虚拟环境的第三方代码也应当这样做。 (由 Miro Hrončok 在 bpo-45413 中贡献。)

warnings

zipfile

  • 增加了为在 ZipFile 的目录和文件头中读取元数据指定成员名称编码格式的支持。 (由 Stephen J. Turnbull 和 Serhiy Storchaka 在 bpo-28080 中贡献。)

  • 增加了 ZipFile.mkdir() 用于在 ZIP 归档中新建目录。 (由 Sam Ezeh 在 gh-49083 中贡献。)

  • zipfile.Path 增加了 stem, suffixsuffixes。 (由 Miguel Brito 在 gh-88261 中贡献。)

性能优化

本节列出的特定优化均不依赖于 更快的 CPython 项目,后者将在其专属章节中列出。

  • 编译器现在将优化只包含格式代码 %s, %r%a 的字符串字面值中的简单 printf 风格 % 格式化 并使其速度与对应的 f-string 表达式一样快。 (由 Serhiy Storchaka 在 bpo-28307 中贡献。)

  • 整除运算 (//) 已进行了更好的编译器微调。 在 x86-64 上现在将 int 除以小于 2**30 的值时能够提速 20%。 (由 Gregory P. Smith 和 Tim Peters 在 gh-90564 中贡献。)

  • sum() 现在对小于 2**30 的整数运算可提速将近 30%。 (由 Stefan Behnel 在 gh-68264 中贡献。)

  • 列表大小调整针对常见场景进行了优化,对于 list.append() 可提速 ≈15% 而对于简单的 list comprehension 可提速 20-30%。 (由 Dennis Sweeney 在 gh-91165 中贡献。)

  • 字典在所有键均为 Unicode 对象时将不保存哈希值,以缩减 dict 的大小。 例如,sys.getsizeof(dict.fromkeys("abcdefg")) 在 64 位平台上将从 352 字节缩减为 272 字节(减小 23%)。 (由 Inada Naoki 在 bpo-46845 中贡献。)

  • 现在使用 asyncio.DatagramProtocol 通过 UDP 传输大文件时速度将有成数量级的提升,对于 ≈60 MiB 的文件将可提速 100 倍以上。 (由 msoxzw 在 gh-91487 中贡献。)

  • 现在 math 中的函数 comb()perm() 对于大参数可提速 ≈10 倍(对于越大的 k 值提速幅度越大)。 (由 Serhiy Storchaka 在 bpo-37295 中贡献。)

  • 现在 statistics 中的函数 mean(), variance()stdev() 将会直接消耗迭代器而不是先将它们转换为 list。 这将使速度翻倍并能节省大量内存。 (由 Raymond Hettinger 在 gh-90415 中贡献。)

  • 现在 unicodedata.normalize() 将在固定时间内正规化纯 ASCII 字符串。 (由 Donghee Na 在 bpo-44987 中贡献。)

更快的 CPython

平均而言 CPython 3.11 比 CPython 3.10 快 25%,该数据是用 pyperformance 基准测试套件测得的,基于 Ubuntu Linux 上的 GCC 编译版。 根据工作负载的不同,总的提速效果可达 10-60%。

本项目聚焦于 Python 的两个主要领域: 更快的启动更快的运行时。 本项目未涉及的优化将在 性能优化 中单独列出。

更快的启动

冻结导入 / 静态代码对象

Python 会将 bytecode 缓存到 __pycache__ 目录以加快模型加载的速度。

在 3.10 版本时,Python 模块执行类似于这样:

  1. Read __pycache__ -> Unmarshal -> Heap allocated code object -> Evaluate

在 Python 3.11 中,对 Python 启动具有关键影响的核心模块已被“冻结”。 这意味着它们的 代码对象 (及字节码) 将由解释器静态地分配。 这使得模块执行过程的步骤减少为:

  1. Statically allocated code object -> Evaluate

现在 Python 3.11 解释器启动加快了 10-15%。 这对使用 Python 的短期运行程序具有显著的影响。

(由 Eric Snow, Guido van Rossum 和 Kumar Aditya 在许多问题事件中贡献。)

更快的运行时

开销更低、更为惰性的 Python 帧

存放执行信息的 Python 帧会在 Python 调用一个 Python 函数时被自动创建。 下面是新帧的优化操作:

  • 优化改进了帧创建进程。

  • 通过大量重用 C 栈上的帧空间来避免内存分配。

  • 将内部帧结构优化为仅包含关键信息。 在此之前的帧保存有额外的调试和内存管理信息。

现在旧式的 帧对象 仅在调试器或 Python 内省函数如 sys._getframe()inspect.currentframe() 发出请求时才会被创建。 对于大多数用户代码,将不会创建任何帧对象。 因此,几乎所有 Python 函数调用都有显著的提速。 我们在 pyperformance 中测得了 3-7% 的提速。

(由 Mark Shannon 在 bpo-44590 中贡献。)

内联的 Python 函数调用

在 Python 函数调用期间,Python 将调用一个评测 C 函数来解读该函数的代码。 这会有效地将纯 Python 递归限制在 C 栈的安全范围以内。

在 3.11 中,当 CPython 检测到 Python 代码调用了另一个 Python 函数时,它会设置一个新帧,并“跳转”到新帧内部的新代码。 这可以避免全部调用 C 解析函数。

大多数 Python 函数调用现在将不消耗任何 C 栈空间,这提升了它们的速度。 在简单的递归函数如斐波那契或阶乘函数中,我们测得了 1.7x 的提速。 这还意味着递归函数能够递归得更深(如果用户通过 sys.setrecursionlimit() 提升了递归限制的话)。 我们在 pyperformance 中测得了 1-3% 的提升。

(由 Pablo Galindo 和 Mark Shannon 在 bpo-45256 中贡献。)

PEP 659:专门化自适应解释器

PEP 659 是 Faster CPython 项目的关键部分之一。 基本理念在于虽然 Python 是一种动态语言,但大部分代码都存在对象和类型极少发生变化的区域。 这一理念被称为 类型稳定性

在运行时,Python 将尝试在所执行的代码中寻找常见模式和类型稳定性。 然后 Python 将把当前的操作替换为更加专门化的操作。 这种专门化的操作使用仅对这些应用场景/类型来说可用的快速路径,它们的性能通常都会超过其泛用型的对应物。 这还带来了名为 内联缓存 的另一项理念,即 Python 会将高消耗的操作的结果直接缓存在 bytecode 中。

这个特化程序还会将特定的常见指令对合并为一条超级指令,减少执行期间的开销。

Python 将只特化(会被多次执行的)“热门”代码。 这可以防止 Python 在只执行一次的代码上浪费时间。 Python 还可以在代码过于动态或用法发生变化时取消特化。 特化会定期地尝试,而特化尝试的开销也不高,这使得特化能够适应新的环境改变。

(PEP 由 Mark Shannon 撰写,部分想法由 Stefan Brunthaler 提供。 请参阅 PEP 659 了解详情。 由 Mark Shannon 和 Brandt Bucher 实现,并由 Irit Katriel 和 Dennis Sweeney 提供了额外的帮助。)

运算

形式

专门化

运行加速(最高)

贡献者

双目运算

x + x

x - x

x x

常见类型如 int, floatstr 的双目加法、乘法和减法将采用针对其下层类型专门定制的快速路径。

10%

Mark Shannon, Donghee Na, Brandt Bucher, Dennis Sweeney

下标

a[i]

对容器类型如 list, tupledict 的下标操作将直接索引下层数据结构。

对自定义 getitem() 的下标操作也是采用类似于 内联的 Python 函数调用 的内联方式。

10-25%

Irit Katriel, Mark Shannon

存储下标操作

a[i] = z

类似于上述的下标操作专门化。

10-25%

Dennis Sweeney

调用

f(arg)

C(arg)

对常用内置 (C) 函数和类型如 len()str 的调用将直接调用其下层 C 版本。 这将避免经历内部调用流程。

20%

Mark Shannon, Ken Jin

加载全局变量

print

len

对象在全局/内置命名空间中的索引会被缓存。 加载全局和内置变量将不需要命名空间查找过程。

1

Mark Shannon

加载属性

o.attr

类似于加载全局变量。 属性在类/对象命名空间中的索引会被缓存。 在大多数情况下,加载属性将不需要命名空间查找过程。

2

Mark Shannon

加载要调用的方法

o.meth()

方法的实际地址会被缓存。 加载方法现在将不需要命名空间查找过程 — 即使对于具有较长继承链的类来说也是如此。

10-20%

Ken Jin, Mark Shannon

存储属性

o.attr = z

类似于加载属性的优化。

2% 的运行效率

Mark Shannon

解包序列

seq

针对常见容器如 listtuple 进行了专门化。 避免内部调用流程。

8%

Brandt Bucher

1

类似的优化自 Python 3.8 起即已存在。 3.11 针对更多形式进行了专门化并减少了部分开销。

2

类似的优化自 Python 3.10 起即已存在。 3.11 针对更多形式进行了专门化。 此外,所有属性加载都应当通过 bpo-45947 获得了加速。

杂项

  • 现在由于惰性创建的对象命名空间对象需要的内存将会减少。 它们的命名空间现在还将更自由地共享键。 (由 Mark Shannon 在 bpo-45340bpo-40116 中贡献。)

  • 实现了“零消耗”的异常,可在未引发任何异常时消除 try 语句的开销。 (由 Mark Shannon 在 bpo-40222 中贡献。)

  • 解释器中更为简洁的异常表示形式使得捕获异常所需的时间减少了大约 10%。 (由 Irit Katriel 在 bpo-45711 中贡献。)

  • re 的正则表达式匹配引擎已被部分重构,现在会在受支持的平台上使用已计算的 goto(或“线程式代码”)。 因此,Python 3.11 执行 pyperformance 正则表达式基准测试 相比 Python 3.10 提速了 10%。 (由 Brandt Bucher 在 gh-91404 中贡献。)

常见问题

我要如何编写代码以便应用这些加速?

请编写遵循常见最佳实践的具有 Python 风格的代码;你不需要修改你的代码。 CPython 加速计划会针对我们观察到的常见代码模式进行优化。

CPython 3.11 会使用更多内存吗?

可能不会;我们预期内存占用的增加相比 3.10 不会超过 20%。 这是通过上文提及的帧对象和对象字典内存优化来平衡的。

我没有发现我的运行负载有任何加速。 为什么?

特定代码将不会有明显的收益。 如果你的代码大部时间消耗在 I/O 操作上,或者像 NumPy 那样大部分计算是在 C 扩展库中进行的就将如此。 目前这个项目将只针对纯 Python 的运行负载。

此外,pyperformance 分数是一个几何平均值。 即使在 pyperformance 基准测试内部,特定的基准测试也略有放缓,但其他的基准测试则有将近 2x 的加速!

是否有 JIT 编译器?

没有。 我们还在探索其他优化方式。

关于

CPython 加速项目探索针对 CPython 的优化。 项目主团队由 Microsoft 提供资助来支持全职工作。 Pablo Galindo Salgado 还由 Bloomberg LP 提供资助来兼职该项目。 此外,还有许多贡献者是来自社区的志愿者。

CPython 字节码的改变

字节码现在包含内联缓存条目,它采用新增的 CACHE 指令形式。 许多操作码都预期带有确切数量的缓存,并指示解释器在运行时跳过它们。 被填充的缓存看起来可以像是任意指令,因此在读取或修改包含加速的数据的原始自适应字节码时应当格外小心。

新的操作码

被替换的操作码

被替换的操作码

新增的操作码

备注

BINARY*
INPLACE

BINARYOP

用单个操作码替换所有数值类双目/原地操作码

CALL_FUNCTION
CALL_FUNCTION_KW
CALL_METHOD

对方法的参数变换与关键字参数的处理进行解偶;允许更好的调用特化

DUP_TOP
DUP_TOP_TWO
ROT_TWO
ROT_THREE
ROT_FOUR
ROT_N

栈操纵指令

JUMP_IF_NOT_EXC_MATCH

现在会执行检查但不会跳转

JUMP_ABSOLUTE
POP_JUMP_IF_FALSE
POP_JUMP_IF_TRUE
POP_JUMP_BACKWARD_IF
POPJUMP_FORWARD_IF*

参见 3; 针对每个方向的 TRUE, FALSE, NONENOT_NONE 变种

SETUP_WITH
SETUP_ASYNC_WITH

BEFORE_WITH

with 代码块设置

3

所有跳转操作码现在都是相对的,包括现有的 JUMP_IF_TRUE_OR_POPJUMP_IF_FALSE_OR_POP。 该参数现在是相对当前指令的偏移量而不是绝对位置。

修改/移除的操作码

  • 修改 MATCH_CLASSMATCH_KEYS 为不再推入额外的布尔值来指示成功/失败。 而是在失败时推入 None 来代替由被提取值组成的元组。

  • 修改配合异常使用的操作码以反映它们现在是由栈上的一个条目而非三个条目代表 (参见 gh-89874)。

  • 移除了 COPY_DICT_WITHOUT_KEYS, GEN_START, POP_BLOCK, SETUP_FINALLYYIELD_FROM

弃用

本小节列出了已在 Python 3.11 中弃用的 Python API。

已弃用的 C API 将 单独列出

语言/内置对象

  • 串连 classmethod 描述器(在 bpo-19072 中引入)现已被弃用。 它不能再被用来包装其他描述器如 property。 该特性的核心设计存在缺陷并导致了许多下游问题。 要“穿过”一个 classmethod,请考虑使用在 Python 3.10 中添加的 __wrapped__ 属性。 (由 Raymond Hettinger 在 gh-89519 中贡献。)

  • 数值大于 0o377 (十进制的 255) 的八进制转义符会产生 DeprecationWarning。 在未来的 Python 版本中,这将引发 SyntaxWarning 并最终改为 SyntaxError。 (由 Serhiy Storchaka 在 gh-81548 中贡献。)

  • 现在从 int()__trunc__() 的委托已被弃用。 当 type(a) 实现了 __trunc__() 但未实现 __int__()__index__() 时调用 int(a) 现在将引发 DeprecationWarning。 (由 Zackery Spytz 在 bpo-44977 中贡献。)

模块

标准库

计划在 Python 3.12 中移除

以下 Python API 已在之前的 Python 发布版中弃用,并将在 Python 3.12 中移除。

C API 的移除计划将 单独列出

  • asynchat 模块

  • asyncore 模块

  • 整个 distutils 包

  • imp 模块

  • typing.io 命名空间

  • typing.re 命名空间

  • cgi.log()

  • importlib.find_loader()

  • importlib.abc.Loader.module_repr()

  • importlib.abc.MetaPathFinder.find_module()

  • importlib.abc.PathEntryFinder.find_loader()

  • importlib.abc.PathEntryFinder.find_module()

  • importlib.machinery.BuiltinImporter.find_module()

  • importlib.machinery.BuiltinLoader.module_repr()

  • importlib.machinery.FileFinder.find_loader()

  • importlib.machinery.FileFinder.find_module()

  • importlib.machinery.FrozenImporter.find_module()

  • importlib.machinery.FrozenLoader.module_repr()

  • importlib.machinery.PathFinder.find_module()

  • importlib.machinery.WindowsRegistryFinder.find_module()

  • importlib.util.module_for_loader()

  • importlib.util.set_loader_wrapper()

  • importlib.util.set_package_wrapper()

  • pkgutil.ImpImporter

  • pkgutil.ImpLoader

  • pathlib.Path.link_to()

  • sqlite3.enable_shared_cache()

  • sqlite3.OptimizedUnicode()

  • PYTHONTHREADDEBUG 环境变量

  • The following deprecated aliases in unittest 中的下列已弃用别名:

    已弃用的别名

    方法名

    弃用于

    failUnless

    assertTrue()

    3.1

    failIf

    assertFalse()

    3.1

    failUnlessEqual

    assertEqual()

    3.1

    failIfEqual

    assertNotEqual()

    3.1

    failUnlessAlmostEqual

    assertAlmostEqual()

    3.1

    failIfAlmostEqual

    assertNotAlmostEqual()

    3.1

    failUnlessRaises

    assertRaises()

    3.1

    assert_

    assertTrue()

    3.2

    assertEquals

    assertEqual()

    3.2

    assertNotEquals

    assertNotEqual()

    3.2

    assertAlmostEquals

    assertAlmostEqual()

    3.2

    assertNotAlmostEquals

    assertNotAlmostEqual()

    3.2

    assertRegexpMatches

    assertRegex()

    3.2

    assertRaisesRegexp

    assertRaisesRegex()

    3.2

    assertNotRegexpMatches

    assertNotRegex()

    3.5

移除

本小节列出了已在 Python 3.11 中移除的 Python API。

已移除的 C API 将 单独列出

  • 移除了允许旧式基于生成器的协程兼容 async / await 代码的 @asyncio.coroutine() decorator。 该函数自 Python 3.8 起已被弃用并且原定在 Python 3.10 中移除。 请改用 async def。 (由 Illia Volochii 在 bpo-43216 中贡献。)

  • 移除了用于在调试模式下包装旧式基于生成器的协程对象的 asyncio.coroutines.CoroWrapper。 (由 Illia Volochii 在 bpo-43216 中贡献。)

  • 出于显著的安全性考量,自 Python 3.9 起已被禁用的 asyncio.loop.create_datagram_endpoint()reuse_address 形参现在已彻底移除。 这是因为在 UDP 中套接字选项 SO_REUSEADDR 的行为。 (由 Hugo van Kemenade 在 bpo-45129 中贡献。)

  • 移除了自 Python 3.9 起已弃用的 binhex 模块。 并移除了相关联的同样已弃用的 binascii 函数:

    • binascii.a2b_hqx()

    • binascii.b2a_hqx()

    • binascii.rlecode_hqx()

    • binascii.rldecode_hqx()

    binascii.crc_hqx() 函数仍然可用。

    (由 Victor Stinner 在 bpo-45085 中贡献。)

  • 移除了自 Python 3.9 起已弃用的 distutils bdist_msi 命令。 请改用 bdist_wheel (wheel 包)。 (由 Hugo van Kemenade 在 bpo-45124 中贡献。)

  • 移除了自 Python 3.9 起已弃用的 xml.dom.pulldom.DOMEventStream, wsgiref.util.FileWrapperfileinput.FileInput__getitem__() 方法。 (由 Hugo van Kemenade 在 bpo-45132 中贡献。)

  • 移除了已弃用的 gettext 函数 lgettext(), ldgettext(), lngettext()ldngettext()。 并移除了 bind_textdomain_codeset() 函数、NullTranslations.output_charset()NullTranslations.set_output_charset() 方法,以及 translation()install()codeset 形参 ,因为它们仅被用于 l*gettext() 函数。 (由 Donghee Na 和 Serhiy Storchaka 在 bpo-44235 中贡献。)

  • 已从 inspect 模块中移除:

    (由 Hugo van Kemenade 在 bpo-45320 中贡献。)

  • pathlib.PurePath 中移除了 __class_getitem__() 方法,因为它从未被使用而是在之前版本中误添加的。 (由 Nikita Sobolev 在 bpo-46483 中贡献。)

  • 移除了 smtpd 模块中的 MailmanProxy 类,因为它在没有外部 mailman 包时是无法使用的。 (由 Donghee Na 在 bpo-35800 中贡献。)。

  • 移除了 _tkinter.TkappType 中已被弃用的 split() 方法。 (由 Erlend E. Aasland 在 bpo-38371 中贡献。)

  • unittest 发现中移除了命名空间包支持。 它在 Python 3.4 中引入但自 Python 3.7 起已不可用。 (由 Inada Naoki 在 bpo-23882 中贡献。)

  • 移除了未写入文档的私有 float.__set_format__() 方法,之前在 Python 3.7 中名为 float.__setformat__()。 其文档字符串已写明:“你应该不需要使用此函数。 它的存在主要是用于 Python 的测试套件。” (由 Victor Stinner 在 bpo-46852 中贡献。)

  • --experimental-isolated-subinterpreters 配置旗标(和相应的 EXPERIMENTAL_ISOLATED_SUBINTERPRETERS 宏)已被移除。

  • Pynche —- The Pythonically Natural Color and Hue Editor —- 已被移出 Tools/scripts 并将脱离 Python 源代码树 独立开发

移植到 Python 3.11

本节列出了先前描述的更改以及 Python API 中可能需要修改你的 Python 代码的其他错误修正。

针对 C API 的移植说明将 单独列出

  • open(), io.open(), codecs.open()fileinput.FileInput 的文件模式中不再接受 'U' (“通用换行符”)。 在 Python 3 中,”通用换行符” 模式会在文件以文本模式打开时默认被使用,而 'U' 旗标自 Python 3.3 起已被弃用。 这些函数的 newline 形参 将控制如何使用通用换行符。 (由 Victor Stinner 在 bpo-37330 中贡献。)

  • 现在 ast.AST 节点位置在提供给 compile() 和其他相关函数时会进行验证。 如果检测到无效位置, 将会引发 ValueError。 (由 Pablo Galindo 在 gh-93351 中提供。)

  • 继在 Python 3.8 中弃用后,已禁止向 asyncio.loop.set_default_executor() 传入非 concurrent.futures.ThreadPoolExecutor 执行器。(由 Illia Volochii 在 bpo-43234 中贡献。)

  • calendar: 在未指定语言区域的情况下,calendar.LocaleTextCalendarcalendar.LocaleHTMLCalendar 类现在会使用 locale.getlocale(),而不是使用 locale.getdefaultlocale()。 (由 Victor Stinner 在 bpo-46659 中贡献。)

  • 现在 pdb 模块会使用 'UTF-8' 编码来读取 .pdbrc 配置文件。 (由 Srinivas Reddy Thatiparthy (శ్రీనివాస్ రెడ్డి తాటిపర్తి) 在 bpo-41137 中贡献。)

  • random.sample()population 形参必须是一个序列,不再支持将 set 自动转换为 list。 此外,如果样本大小大于总体大小,将会引发 ValueError 。 (由 Raymond Hettinger 在 bpo-40465 中贡献。)

  • 移除了 random.shuffle()random 可选形参。 在之前版本中重排操作是使用任意随机函数;现在,将始终使用 random.random() (之前的默认值)。

  • re 正则表达式语法 中,全局内联旗标 (例如 (?i)) 现在只能在正则表达式的开头使用。 自 Python 3.6 起在别处使用这些旗标的做法已被弃用。 (由 Serhiy Storchaka 在 bpo-47066 中贡献)。

  • re 模块中,修复了几个长期存在的错误,在极少数情况下,这些错误可能会导致捕获分组得到错误的结果。 因此,这可能会改变这些情况下的捕获输出。 (由 Ma Lin 在 bpo-35859 中贡献。)

构建变化

  • CPython 现已具有 PEP 11 Tier 3 support 以便交叉编译至 WebAssembly 平台 Emscripten (wasm32-unknown-emscripten 即浏览器版 Python) 和 WebAssembly System Interface (WASI) (wasm32-unknown-wasi)。 此计划的灵感来自前人的工作如 Pyodide。 这些平台提供了 POSIX API 的有限子集;与网络、进程、线程、信号、mmap 和用户/组相关的 Python 标准库特性和模块将不可用或无法正常工作。 (Emscripten 由 Christian Heimes 和 Ethan Smith 在 gh-84461 中贡献,WASI 由 Christian Heimes 在 gh-90473 中贡献;平台的推进在 gh-95085 中追踪。)

  • 构建 CPython 现在需要:

  • Py_NO_NAN 宏已被移除。 由于 CPython 现在要求 IEEE 754 浮点数,NaN 值将始终可用。 (由 Victor Stinner 在 bpo-46656 中贡献。)

  • tkinter 包现在需要 Tcl/Tk 8.5.12 或更新的版本。 (由 Serhiy Storchaka 在 bpo-46996 中贡献。)

  • 大多数标准库扩展模块的构建依赖、编译器旗标和链接器旗标现在将由 configure 来检测。 libffi, libnsl, libsqlite3, zlib, bzip2, liblzma, libcrypt, Tcl/Tk 和 uuid 旗标将由 pkg-config (如果可用) 来检测。 tkinter 现在需要由 pkg-config 命令来检测 Tcl/Tk 标头和库的开发设置。 (由 Christian Heimes 和 Erlend Egeberg Aasland 在 bpo-45847, bpo-45747bpo-45763 中贡献。)

  • libpython 不再与 libcrypt 链接。 (由 Mike Gilbert 在 bpo-45433 中贡献。)

  • 现在 CPython 可以通过向 --with-lto 传入 thin,即 --with-lto=thin 在编译时启用 ThinLTO 选项。 (由 Donghee Na 和 Brett Holman 在 bpo-44340 中贡献。)

  • 现在可以禁用对象结构体的自由列表。 新的 configure 选项 --without-freelists 可用于禁用除空元组单例之外的所有自由列表。 (由 Christian Heimes 在 bpo-45522 中贡献。)

  • Modules/SetupModules/makesetup 已获得改进并进行绑定。 扩展模块现在可以通过 makesetup 来构建。 除部分测试模块外所有模块都可以静态链接到主二进制文件或库中。 (由 Brett Cannon 和 Christian Heimes 在 bpo-45548, bpo-45570, bpo-45571bpo-43974 中贡献。)

    备注

    使用环境变量 TCLTK_CFLAGSTCLTK_LIBS 来手动指定 Tcl/Tk 头文件和库的位置。 configure 选项 --with-tcltk-includes--with-tcltk-libs 已被移除。

    在 RHEL 7 和 CentOS 7 上开发包将不提供 tcl.pctk.pc;请使用 TCLTK_LIBS="-ltk8.5 -ltkstub8.5 -ltcl8.5"Misc/rhel7 目录包含 .pc 文件以及如何使用 RHEL 7 和 CentOS 7 的 Tcl/Tk 和 OpenSSL 构建 Python 的说明。

  • CPython 现在将默认使用 30 比特位的数字来实现 Python int。 之前版本中,在 SIZEOF_VOID_P >= 8 的平台上默认使用 30 比特位数字,否则使用 15 位数字。 仍然有可能通过配置脚本的 --enable-big-digits 选项或 PC/pyconfig.h 中的 PYLONG_BITS_IN_DIGIT 变量(适用于 Windows)显式地要求使用 15 比特位数字,但该选项可能会在未来某个时候被移除。 (由 Mark Dickinson 在 bpo-45569 中贡献。)

C API 的变化

新的特性

移植到 Python 3.11

  • 部分宏已被转换为静态内联函数以避免 宏陷阱。 这项改变对用户来说应该是基本无感的,因为替代函数会将其参数强制转换为预期的类型以避免静态类型检查导致的编译器警告。 但是,当受限 C API 被设为 >=3.11 时,将不会执行这些强制转换,调用方将需要自行将参数强制转换为其预期的类型。 请参阅 PEP 670 了解详情。 (由 Victor Stinner 和 Erlend E. Aasland 在 gh-89653 中贡献。)

  • PyErr_SetExcInfo() 不再使用 typetraceback 参数,解释器现在将从异常实例( 即 value 参数)中获取这些值。 该函数仍会偷取对所有三个参数的引用。 (由 Irit Katriel 在 bpo-45711 中贡献。)

  • PyErr_GetExcInfo() 现在将从异常实例(即 value 字段)获取结果的 typetraceback 字段。 (由 Irit Katriel 在 bpo-45711 中贡献。)

  • _frozen 新增了 is_package 字段用来指明冻结模块是否为包。 之前,是将 size 字段设置负值作为指示符。 现在 size 将只使用非负值。 (由 Kumar Aditya 在 bpo-46608 中贡献。)

  • 现在 _PyFrameEvalFunction() 接受 _PyInterpreterFrame* 作为其第二个形参,而不是 PyFrameObject*。 请参阅 PEP 523 了解如何使用此函数指针类型的更多细节。

  • 现在 PyCode_New()PyCode_NewWithPosOnlyArgs() 接受一个额外的 exception_table 参数。 如果可能,应当必须使用这些函数。 获取自定义的代码对象:使用编译器创建一个代码对象,然后使用 replace 方法得到一个经过修改的版本。

  • PyCodeObject 不再具有 co_code, co_varnames, co_cellvarsco_freevars 字段。 请分别改用 PyCode_GetCode(), PyCode_GetVarnames(), PyCode_GetCellvars()PyCode_GetFreevars() 通过 C API 来访问它们。 (由 Brandt Bucher 在 bpo-46841 以及 Ken Jin 在 gh-92154gh-94936 中贡献。)

  • 旧的垃圾桶宏 (Py_TRASHCAN_SAFE_BEGIN/Py_TRASHCAN_SAFE_END) 现在已被弃用。 它们应该由新的宏 Py_TRASHCAN_BEGINPy_TRASHCAN_END 代替。

    带有旧版宏的 tp_dealloc 函数,例如:

    1. static void
    2. mytype_dealloc(mytype *p)
    3. {
    4. PyObject_GC_UnTrack(p);
    5. Py_TRASHCAN_SAFE_BEGIN(p);
    6. ...
    7. Py_TRASHCAN_SAFE_END
    8. }

    应当按照以下方式迁移到新版宏:

    1. static void
    2. mytype_dealloc(mytype *p)
    3. {
    4. PyObject_GC_UnTrack(p);
    5. Py_TRASHCAN_BEGIN(p, mytype_dealloc)
    6. ...
    7. Py_TRASHCAN_END
    8. }

    请注意 Py_TRASHCAN_BEGIN 的第二个参数应该是它所属的取消分配函数。

    要在同一代码库中支持旧版本的 Python,可以定义以下的宏并在整个代码中使用它们 (版权声明:这些宏是从 mypy 代码库中拷贝的):

    1. #if PY_VERSION_HEX >= 0x03080000
    2. # define CPy_TRASHCAN_BEGIN(op, dealloc) Py_TRASHCAN_BEGIN(op, dealloc)
    3. # define CPy_TRASHCAN_END(op) Py_TRASHCAN_END
    4. #else
    5. # define CPy_TRASHCAN_BEGIN(op, dealloc) Py_TRASHCAN_SAFE_BEGIN(op)
    6. # define CPy_TRASHCAN_END(op) Py_TRASHCAN_SAFE_END(op)
    7. #endif
  • 现在如果一个类型定义了 Py_TPFLAGS_HAVE_GC 旗标但没有遍历函数 (PyTypeObject.tp_traverse) 则 PyType_Ready() 函数将引发一个错误。 (由 Victor Stinner 在 bpo-44263 中贡献。)

  • 带有 Py_TPFLAGS_IMMUTABLETYPE 旗标的堆类型现在可以继承 PEP 590 vectorcall 协议。 在之前版本中,这只适用于 静态类型。(由 Erlend E. Aasland 在 bpo-43908 中贡献。)

  • 由于 Py_TYPE() 已改为内联静态函数,因此 Py_TYPE(obj) = new_type 必须换成 Py_SET_TYPE(obj, new_type): 参见 Py_SET_TYPE() 函数(自 Python 3.9 起可用)。 为保持向下兼容,可以使用这个宏:

    1. #if PY_VERSION_HEX < 0x030900A4 && !defined(Py_SET_TYPE)
    2. static inline void _Py_SET_TYPE(PyObject *ob, PyTypeObject *type)
    3. { ob->ob_type = type; }
    4. #define Py_SET_TYPE(ob, type) _Py_SET_TYPE((PyObject*)(ob), type)
    5. #endif

    (由 Victor Stinner 在 bpo-39573 中贡献。)

  • 由于 Py_SIZE() 已改为内联静态函数,因此 Py_SIZE(obj) = new_size 必须换成 Py_SET_SIZE(obj, new_size): 参见 Py_SET_SIZE() 函数(自 Python 3.9 起可用)。 为保持向下兼容,可以使用这个宏:

    1. #if PY_VERSION_HEX < 0x030900A4 && !defined(Py_SET_SIZE)
    2. static inline void _Py_SET_SIZE(PyVarObject *ob, Py_ssize_t size)
    3. { ob->ob_size = size; }
    4. #define Py_SET_SIZE(ob, size) _Py_SET_SIZE((PyVarObject*)(ob), size)
    5. #endif

    (由 Victor Stinner 在 bpo-39573 中贡献。)

  • Py_LIMITED_API 宏被设为 0x030b0000 (Python 3.11) 或更高版本时,<Python.h> 将不再包含头文件 <stdlib.h>, <stdio.h>, <errno.h><string.h>。 C 扩展应在 #include <Python.h> 之后显式地包括头文件。 (由 Victor Stinner 在 bpo-45434 中贡献。)

  • 非受限 API 文件 cellobject.h, classobject.h, code.h, context.h, funcobject.h, genobject.hlongintrepr.h 已被移至 Include/cpython 目录。 此外,还移除了 eval.h 头文件。 这些文件不能被直接包括,因为它们已经被包括在 Python.h 中了:参见 包括文件。如果它们已被直接包括,请考虑改为包括 Python.h。 (由 Victor Stinner 在 bpo-35134 中贡献。)

  • PyUnicode_CHECK_INTERNED() 宏已被排除在受限 C API 之外。 它从未在那里被使用,因为它使用了受限 C API 中不可用的内部结构体。 (由 Victor Stinner 在 bpo-46007 中贡献。)

  • 以下帧函数和类型现在可通过 #include <Python.h> 直接使用,不再需要添加 #include <frameobject.h>:

    (由 Victor Stinner 在 gh-93937 中贡献。)

  • PyFrameObject 结构体成员已从公有 C API 中被移除。

    虽然文档指出 PyFrameObject 字段可能随时更改,但这些字段长期以来一直保持稳定,并在多个流行的扩展中使用。

    在 Python 3.11 中,为了优化性能,对帧结构进行了重组。 一些字段被完全删除,因为它们属于旧实现的细节。

    PyFrameObject 字段:

    现在 Python 帧对象是惰性地创建的。 一个附带影响是 f_back 成员不可直接访问,因为它现在的值也是惰性地计算的。 必须改为调用 PyFrame_GetBack() 函数。

    直接访问 f_locals 的调试器 必须 改为调用 PyFrame_GetLocals()。 它们不再需要调用 PyFrame_FastToLocalsWithError()PyFrame_LocalsToFast(),实际上它们不应该调用这些函数。 现在帧所需要的更新将由虚拟机来管理。

    在 Python 3.8 及更旧版本上定义 PyFrame_GetCode() 的代码:

    1. #if PY_VERSION_HEX < 0x030900B1
    2. static inline PyCodeObject* PyFrame_GetCode(PyFrameObject *frame)
    3. {
    4. Py_INCREF(frame->f_code);
    5. return frame->f_code;
    6. }
    7. #endif

    在 Python 3.8 及更旧版本上定义 PyFrame_GetBack() 的代码:

    1. #if PY_VERSION_HEX < 0x030900B1
    2. static inline PyFrameObject* PyFrame_GetBack(PyFrameObject *frame)
    3. {
    4. Py_XINCREF(frame->f_back);
    5. return frame->f_back;
    6. }
    7. #endif

    或者使用 pythoncapi_compat 项目 在更旧版本的 Python 上获取这些函数。

  • PyThreadState 结构体成员的变化:

    在 Python 3.8 或更旧版本中定义 PyThreadState_GetFrame() 的代码:

    1. #if PY_VERSION_HEX < 0x030900B1
    2. static inline PyFrameObject* PyThreadState_GetFrame(PyThreadState *tstate)
    3. {
    4. Py_XINCREF(tstate->frame);
    5. return tstate->frame;
    6. }
    7. #endif

    在 Python 3.10 或更旧版本中定义 PyThreadState_EnterTracing()PyThreadState_LeaveTracing() 的代码:

    1. #if PY_VERSION_HEX < 0x030B00A2
    2. static inline void PyThreadState_EnterTracing(PyThreadState *tstate)
    3. {
    4. tstate->tracing++;
    5. #if PY_VERSION_HEX >= 0x030A00A1
    6. tstate->cframe->use_tracing = 0;
    7. #else
    8. tstate->use_tracing = 0;
    9. #endif
    10. }
    11. static inline void PyThreadState_LeaveTracing(PyThreadState *tstate)
    12. {
    13. int use_tracing = (tstate->c_tracefunc != NULL || tstate->c_profilefunc != NULL);
    14. tstate->tracing--;
    15. #if PY_VERSION_HEX >= 0x030A00A1
    16. tstate->cframe->use_tracing = use_tracing;
    17. #else
    18. tstate->use_tracing = use_tracing;
    19. #endif
    20. }
    21. #endif

    或者使用 pythoncapi-compat 项目 在旧版的 Python 函数上获取这些函数。

  • 推荐发行方使用优化的 Blake2 库 libb2 来构建 Python。

  • 现在初始化时 PyConfig.module_search_paths_set 字段必须设为 1 以使用 PyConfig.module_search_paths 来初始化 sys.path。 否则,初始化将重新计算路径并替换任何加入到 module_search_paths 的值。

  • PyConfig_Read() 将不会再计算初始搜索路径,并且不会将任何值填充到 PyConfig.module_search_paths。 要计算默认路径再修改它们,请结束初始化并使用 PySys_GetObject() 来将 sys.path 提取为一个 Python 列表对象并直接修改它。

弃用

  • 弃用以下配置 Python 初始化的函数:

    • PySys_AddWarnOptionUnicode()

    • PySys_AddWarnOption()

    • PySys_AddXOption()

    • PySys_HasWarnOptions()

    • PySys_SetArgvEx()

    • PySys_SetArgv()

    • PySys_SetPath()

    • Py_SetPath()

    • Py_SetProgramName()

    • Py_SetPythonHome()

    • Py_SetStandardStreamEncoding()

    • _Py_SetProgramFullPath()

    改用新的 Python 初始化配置PyConfig API (PEP 587)。 (由 Victor Stinner 在 gh-88279 中贡献。)

  • 弃用 PyBytesObjectob_shash 成员。 改用 PyObject_Hash()。 (由 Inada Naoki 在 bpo-46864 中贡献。).)

计划在 Python 3.12 中移除

以下 C API 在早期 Python 发行版中已经弃用,将在 Python 3.12 中移除。

  • PyUnicode_AS_DATA()

  • PyUnicode_AS_UNICODE()

  • PyUnicode_AsUnicodeAndSize()

  • PyUnicode_AsUnicode()

  • PyUnicode_FromUnicode()

  • PyUnicode_GET_DATA_SIZE()

  • PyUnicode_GET_SIZE()

  • PyUnicode_GetSize()

  • PyUnicode_IS_COMPACT()

  • PyUnicode_IS_READY()

  • PyUnicode_READY()

  • PyUnicode_WSTR_LENGTH()

  • _PyUnicode_AsUnicode()

  • PyUnicode_WCHAR_KIND

  • PyUnicodeObject

  • PyUnicode_InternImmortal()

移除

  • PyFrame_BlockSetup()PyFrame_BlockPop() 已被移除。 (由 Mark Shannon 在 bpo-40222 中贡献。)

  • 移除了下列使用 errno 变量的数学宏:

    • Py_ADJUST_ERANGE1()

    • Py_ADJUST_ERANGE2()

    • Py_OVERFLOWED()

    • Py_SET_ERANGE_IF_OVERFLOW()

    • Py_SET_ERRNO_ON_MATH_ERROR()

    (由 Victor Stinner 在 bpo-45412 中贡献。)

  • 移除 Py_UNICODE_COPY()Py_UNICODE_FILL() 宏,它们自 Python 3.3 起已被弃用。 改用 PyUnicode_CopyCharacters()memcpy() (wchar_t* 字符串) 和 PyUnicode_Fill() 函数。 (由 Victor Stinner 在 bpo-41123 中贡献。)

  • 移除 pystrhex.h 头文件。 它只包含私有函数。 C 扩展应当只包括主 <Python.h> 头文件。 (由 Victor Stinner 在 bpo-45434 中贡献。)

  • 移除了 Py_FORCE_DOUBLE() 宏,它曾经由 Py_IS_INFINITY() 宏使用。(由 Victor Stinner 在 bpo-45440 贡献。)

  • 以下项目在 Py_LIMITED_API 定义时不再可用:

    这些不是 受限 API 的组成部分。

    (由 Victor Stinner 在 bpo-45474 中贡献。)

  • PyWeakref_GET_OBJECT() 排除在受限 C API 之外。 由于 PyWeakReference 结构体在受限 C API 中是不透明的因此它从未正确发挥作用。 (由 Victor Stinner 在 d:issue:35134 中贡献。)

  • 移除了 PyHeapType_GET_MEMBERS() 宏。它错误地暴露在公开的 C API 中,且只能由 Python 在内部使用。请使用 PyTypeObject.tp_members 作为替代。(由 Victor Stinner 在 bpo-40170 贡献。)

  • 移除了 HAVE_PY_SET_53BIT_PRECISION 宏(移动到了内部 C API)。(由 Victor Stinner 在 bpo-45412 贡献。)

  • 移除了 Py_UNICODE 编码器 API,它们从 Python 3.3 起已经弃用,很少使用,而且相对于推荐的替代品来说,效率很低。

    被移除的函数有:

    • PyUnicode_Encode()

    • PyUnicode_EncodeASCII()

    • PyUnicode_EncodeLatin1()

    • PyUnicode_EncodeUTF7()

    • PyUnicode_EncodeUTF8()

    • PyUnicode_EncodeUTF16()

    • PyUnicode_EncodeUTF32()

    • PyUnicode_EncodeUnicodeEscape()

    • PyUnicode_EncodeRawUnicodeEscape()

    • PyUnicode_EncodeCharmap()

    • PyUnicode_TranslateCharmap()

    • PyUnicode_EncodeDecimal()

    • PyUnicode_TransformDecimalToASCII()

    请参阅 PEP 624 了解细节以及 迁移指引。 (由 Inada Naoki 在 bpo-44029 中贡献。)