Python 3.9 有什么新变化¶

字典合并与更新运算符¶

合并 (|) 与更新 (|=) 运算符已被加入内置的 dict 类。 它们为现有的 dict.update 和 {**d1, **d2} 字典合并方法提供了补充。

示例:

>>> x = {"key1": "value1 from x", "key2": "value2 from x"}
>>> y = {"key2": "value2 from y", "key3": "value3 from y"}
>>> x | y
{'key1': 'value1 from x', 'key2': 'value2 from y', 'key3': 'value3 from y'}
>>> y | x
{'key2': 'value2 from x', 'key3': 'value3 from y', 'key1': 'value1 from x'}

详见 PEP 584。（Brandt Bucher 在 bpo-36144 中的贡献。）

新增用于移除前缀和后缀的字符串方法¶

增加了 str.removeprefix(prefix) 和 str.removesuffix(suffix) 用于方便地从字符串移除不需要的前缀或后缀。 也增加了 bytes, bytearray 以及 collections.UserString 的对应方法。 请参阅 PEP 616 了解详情。 （由 Dennis Sweeney 在 bpo-39939 中贡献。）

标准多项集中的类型标注泛型¶

在类型标注中现在你可以使用内置多项集类型例如 list 和 dict 作为通用类型而不必从 typing 导入对应的大写形式类型名 (例如 List 和 Dict)。 标准库中的其他一些类型现在同样也是通用的，例如 queue.Queue。

示例:

def greet_all(names: list[str]) -> None:
    for name in names:
        print("Hello", name)

详见 PEP 585。（由 Guido van Rossum、Ethan Smith 和 Batuhan Taşkaya 在 bpo-39481 中贡献。）

新的解析器¶

Python 3.9 使用于基于 PEG 的新解析器替代 LL(1)。 新解析器的性能与旧解析器大致相当，但 PEG 在设计新语言特性时的形式化比 LL(1) 更灵活。 我们将在 Python 3.10 及之后版本中开始使用这种灵活性。

ast 模块会使用新解析器并会生成与旧解析器一致的 AST。

在 Python 3.10 中，旧解析器将被移除，依赖于它的所有功能也将被移除（主要是 parser 模块，它早已被弃用）。 只有 在 Python 3.9 中，你可以使用命令行开关 (-X oldparser) 或环境变量 (PYTHONOLDPARSER=1) 切换回 LL(1) 解析器。

请参阅 PEP 617 了解详情。 （由 Guido van Rossum, Pablo Galindo 和 Lysandros Nikolaou 在 bpo-40334 中贡献。）

zoneinfo¶

zoneinfo 模块为标准库引入了 IANA 时区数据库。 它添加了 zoneinfo.ZoneInfo，这是一个基于系统时区数据的实体 datetime.tzinfo 实现。

示例:

>>> from zoneinfo import ZoneInfo
>>> from datetime import datetime, timedelta

>>> # Daylight saving time
>>> dt = datetime(2020, 10, 31, 12, tzinfo=ZoneInfo("America/Los_Angeles"))
>>> print(dt)
2020-10-31 12:00:00-07:00
>>> dt.tzname()
'PDT'

>>> # Standard time
>>> dt += timedelta(days=7)
>>> print(dt)
2020-11-07 12:00:00-08:00
>>> print(dt.tzname())
PST

作为不包含 IANA 数据库的平台的一个回退数据源，还以第一方软件包的形式发布了 tzdata 模块 -- 通过 PyPI 发行并由 CPython 核心团队维护。

graphlib¶

添加了新的 graphlib 模块，其中包含 graphlib.TopologicalSorter 类来提供图的拓扑排序功能。 （由 Pablo Galindo, Tim Peters 和 Larry Hastings 在 bpo-17005 中贡献。）

ast¶

将 indent 选项添加到 dump()，这允许它产生多行缩进的输出。 （由 Serhiy Storchaka 在 bpo-37995 中贡献。）

添加了 ast.unparse() 作为 ast 模块中的一个函数，它可被用来反解析 ast.AST 对象并产生相应的代码字符串，当它被解析时将会产生一个等价的 ast.AST 对象。 （由 Pablo Galindo 和 Batuhan Taskaya 在 bpo-38870 中贡献。）

为 AST 节点添加了文档字符串，其中包含 ASDL 签名，可被用来构造对应的节点。 （由 Batuhan Taskaya 在 bpo-39638 中贡献。）

asyncio¶

出于重要的安全性考量，asyncio.loop.create_datagram_endpoint() 的 reuse_address 形参不再被支持。 这是由 UDP 中的套接字选项 SO_REUSEADDR 的行为导致的。 更多细节请参阅 loop.create_datagram_endpoint() 的文档。 （由 Kyle Stanley, Antoine Pitrou 和 Yury Selivanov 在 bpo-37228 中贡献。。）

添加了新的 coroutine shutdown_default_executor()，它可为等待 ThreadPoolExecutor 结束关闭的默认执行器安排关闭日程操作。 此外，asyncio.run() 已被更新以使用新的 coroutine。 （由 Kyle Stanley 在 bpo-34037 中贡献。）

添加了 asyncio.PidfdChildWatcher，这是一个 Linux 专属的子监视器实现，它负责轮询进程的文件描述符。 (bpo-38692)

添加了新的 coroutine asyncio.to_thread()。 它主要被用于在单独线程中运行 IO 密集型函数以避免阻塞事件循环，实质上就相当于是 run_in_executor() 的高层级版本，可直接接受关键字参数。 （由 Kyle Stanley 和 Yury Selivanov 在 bpo-32309 中贡献。）

当由于超时而取消任务时，asyncio.wait_for() 现在将会等待直到也在 timeout 值 <= 0 的情况下完成取消。 就像 timeout 值为正数时一样。 （由 Elvis Pranskevichus 在 bpo-32751 中贡献。）

当附带 ssl.SSLSocket 套接字调用不兼容的方法时 asyncio 现在会引发 TyperError。 （由 Ido Michael 在 bpo-37404 中贡献。）

compileall¶

为重复的 .pyc 文件添加了使用硬软件的可能性: hardlink_dupes 形参以及 --hardlink-dupes 命令行选项。 （由 Lumír 'Frenzy' Balhar 在 bpo-40495 中贡献。）

新增了一些用于在结果 .pyc 文件中操纵路径的选项: stripdir, prependdir, limit_sl_dest 形参以及 -s, -p, -e 命令行选项。 并使得为优化等级多次指定选项成为可能。 （由 Lumír 'Frenzy' Balhar 在 bpo-38112 中贡献。）

concurrent.futures¶

将新的 cancel_futures 形参添加到 concurrent.futures.Executor.shutdown()，可以取消尚未开始运行的所有挂起的 Future，而不必等待它们完成运行再关闭执行器。 （由 Kyle Stanley 在 bpo-39349 中贡献。）

从 ThreadPoolExecutor 和 ProcessPoolExecutor 中移除了守护线程。 这改善与与子解释器的兼容性及它们在关闭进程时的可预测性。 （由 Kyle Stanley 在 bpo-39812 中贡献。）

现在 ProcessPoolExecutor 中的工作进程仅会在没有可重用的空闲工作进程时按需产生。 这优化了启动开销并减少了由空闲工作进程导致的 CPU 时间损失。 （由 Kyle Stanley 在 bpo-39207 中贡献。）

curses¶

增加了 curses.get_escdelay(), curses.set_escdelay(), curses.get_tabsize() 以及 curses.set_tabsize() 函数。（由 Anthony Sottile 在 bpo-38312 中贡献。）

datetime¶

datetime.date 的 isocalendar() 以及 datetime.datetime 的 isocalendar() 等方法现在将返回 namedtuple() 而不是 tuple。 （由 Dong-hee Na 在 bpo-24416 中贡献。）

distutils¶

upload 命令现在会创建 SHA2-256 和 Blake2b-256 哈希摘要。 它会在禁用 MD5 摘要的平台上跳过 MD5。 （由 Christian Heimes 在 bpo-40698 中贡献。）

fcntl¶

增加了 F_OFD_GETLK, F_OFD_SETLK 和 F_OFD_SETLKW 等常量。 （由 Dong-hee Na 在 bpo-38602 中贡献。）

ftplib¶

现在 FTP 和 FTP_TLS 当它们的构造器所给定的超时参数为零以防止创建非阻塞套接字时会引发 ValueError。 （由 Dong-hee Na 在 bpo-39259 中贡献。）

gc¶

当垃圾回收器进行某些复活对象的收集时（在终结器被执行之后这些对象可以在隔离周期之外被访问），不会阻止对所有仍然无法访问的对象的收集。 （由 Pablo Galindo 和 Tim Peters 在 bpo-38379 中贡献。）

增加了一个新的函数 gc.is_finalized() 用来检测一个对象是否已被垃圾回收器所终结。 （由 Pablo Galindo 在 bpo-39322 中贡献。）

hashlib¶

hashlib 模块现在会在可能的情况下使用 OpenSSL 中的 SHA3 哈希和 SHAKE XOF。 （由 Christian Heimes 在 bpo-37630 中贡献。）

内置的哈希模块现在可通过 ./configure --without-builtin-hashlib-hashes 禁用或通过 ./configure --with-builtin-hashlib-hashes=sha3,blake2 这样的形式有选择地启用以强制使用基于 OpenSSL 的实现。 （由 Christian Heimes 在 bpo-40479 中贡献）

http¶

添加 HTTP 状态码 103 EARLY_HINTS, 418 IM_A_TEAPOT 和 425 TOO_EARLY 到 http.HTTPStatus。 （由 Dong-hee Na 在 bpo-39509 以及 Ross Rhodes 在 bpo-39507 中贡献。）

IDLE 与 idlelib¶

添加了切换光标闪烁停止的选项。 （由 Zackery Spytz 在 bpo-4603 中贡献。）

Esc 键现在会关闭 IDLE 补全提示窗口。 （由 Johnny Najera 在 bpo-38944 中贡献。）

添加关键字到模块名称补全列表。 （由 Terry J. Reedy 在 bpo-37765 中贡献。）

New in 3.9 maintenance releases

Make IDLE invoke sys.excepthook() (when started without '-n'). User hooks were previously ignored. (Contributed by Ken Hilton in bpo-43008.)

上述修改已被反向移植到 3.8 维护发行版中。

Rearrange the settings dialog. Split the General tab into Windows and Shell/Ed tabs. Move help sources, which extend the Help menu, to the Extensions tab. Make space for new options and shorten the dialog. The latter makes the dialog better fit small screens. (Contributed by Terry Jan Reedy in bpo-40468.) Move the indent space setting from the Font tab to the new Windows tab. (Contributed by Mark Roseman and Terry Jan Reedy in bpo-33962.)

Apply syntax highlighting to .pyi files. (Contributed by Alex Waygood and Terry Jan Reedy in bpo-45447.)

imaplib¶

现在 IMAP4 和 IMAP4_SSL 的构造器具有可选的 timeout 形参。 并且，现在 open() 方法也具有可选的 timeout 形参提供同样的修改。 IMAP4_SSL 和 IMAP4_stream 中被重载的方法也应用了这个修改。 （由 Dong-hee Na 在 bpo-38615 中贡献。）

增加了 imaplib.IMAP4.unselect()。 imaplib.IMAP4.unselect() 会释放关联到选定邮箱的服务器资源并将服务器返回到已认证状态。 此命令会执行与 imaplib.IMAP4.close() 相同的动作，区别在于它不会从当前选定邮箱中永久性地移除消息。 （由 Dong-hee Na 在 bpo-40375 中贡献。）

importlib¶

为提升与 import 语句的一致性，现在 importlib.util.resolve_name() 对于无效的相对导入尝试会引发 ImportError 而不是 ValueError。 （由 Ngalim Siregar 在 bpo-37444 中贡献。）

发布不可变模块对象的导入加载器除了发布单独模块以外现在也可以发布不可变包。 （由 Dino Viehland 在 bpo-39336 中贡献。）

添加了带有对包数据中子目录支持的 importlib.resources.files() 函数，与 importlib_resources 1.5 版的反向端口相匹配。（由 Jason R. Coombs 在 bpo-39791 中贡献。）

来自 importlib_metadata 1.6.1 版的已更新 importlib.metadata。

inspect¶

inspect.BoundArguments.arguments 已从 OrderedDict 改为常规字典。 （由 Inada Naoki 在 bpo-36350 和 bpo-39775 中贡献。）

ipaddress¶

ipaddress 现在支持 IPv6 作用域地址（即带有 %<scope_id> 前缀的 IPv6 地址）。

IPv6 作用域地址可使用 ipaddress.IPv6Address 来解析。 作用域的区 ID 如果存在，可通过 scope_id 属性来获取。 （由 Oleksandr Pavliuk 在 bpo-34788 中贡献。）

从 Python 3.9.5 开始 ipaddress 模块不再接受 IPv4 地址字符串中有任何前缀的零。 （由 Christian Heimes 在 bpo-36384 中贡献。）

math¶

对 math.gcd() 函数进行了扩展以处理多个参数。 在之前版本中，它只支持两个参数。 （由 Serhiy Storchaka 在 bpo-39648 中贡献。）

增加了 math.lcm(): 返回指定参数的最小公倍数。 （由 Mark Dickinson, Ananthakrishnan 和 Serhiy Storchaka 在 bpo-39479 和 bpo-39648 中贡献。）

增加了 math.nextafter(): 返回从 x 往 y 方向的下一个浮点数值。 （由 Victor Stinner 在 bpo-39288 中贡献。）

增加了 math.ulp(): 返回一个浮点数的最小有效比特位。 （由 Victor Stinner 在 bpo-39310 中贡献。）

multiprocessing¶

multiprocessing.SimpleQueue 类新增了 close() 方法用来显式地关闭队列。 （由 Victor Stinner 在 bpo-30966 中贡献。）

nntplib¶

现在 NNTP 和 NNTP_SSL 当它们的构造器所给定的超时参数为零以防止创建非阻塞套接字时会引发 ValueError。 （由 Dong-hee Na 在 bpo-39259 中贡献。）

os¶

增加了 CLD_KILLED 和 CLD_STOPPED 作为 si_code。 （由 Dong-hee Na 在 bpo-38493 中贡献。）

对外公开了 Linux 专属的 os.pidfd_open() (bpo-38692) 和 os.P_PIDFD (bpo-38713) 用于文件描述符的进程管理。

现在 os.unsetenv() 函数在 Windows 上也已可用。 （由 Victor Stinner 在 bpo-39413 中贡献。）

现在 os.putenv() 和 os.unsetenv() 函数将总是可用。 （由 Victor Stinner 在 bpo-39395 中贡献。）

增加了 os.waitstatus_to_exitcode() 函数：将等待状态转换为退出码。 （由 Victor Stinner 在 bpo-40094 中贡献。）

pathlib¶

增加了 pathlib.Path.readlink()，其行为类似于 os.readlink()。 （由 Girts Folkmanis 在 bpo-30618 中贡献。）

pdb¶

在 Windows 上 Pdb 现在支持 ~/.pdbrc。 （由 Tim Hopper 和 Dan Lidral-Porter 在 bpo-20523 中贡献。）

poplib¶

现在 POP3 和 POP3_SSL 当它们的构造器所给定的超时参数为零以防止创建非阻塞套接字时会引发 ValueError。 （由 Dong-hee Na 在 bpo-39259 中贡献。）

pprint¶

现在 pprint 能美化打印 types.SimpleNamespace。 （由 Carl Bordum Hansen 在 bpo-37376 中贡献。）

pydoc¶

文档字符串的显示现在不仅针对类、函数、方法等，也针对任何具有自己的 __doc__ 属性的对象。 （由 Serhiy Storchaka 在 bpo-40257 中贡献。）

random¶

增加了新的 random.Random.randbytes 方法：生成随机字节串。 （由 Victor Stinner 在 bpo-40286 中贡献。）

signal¶

对外公开了 Linux 专属的 signal.pidfd_send_signal() 用于向使用文件描述符而非 pid 的进程发送信号。 (bpo-38712)

smtplib¶

现在 SMTP 和 SMTP_SSL 当它们的构造器所给定的超时参数为零以防止创建非阻塞套接字时会引发 ValueError。 （由 Dong-hee Na 在 bpo-39259 中贡献。）

现在 LMTP 构造器具有可选的 timeout 形参。 （由 Dong-hee Na 在 bpo-39329 中贡献。）

socket¶

socket 模块现在会在 Linux 4.1 或更高版本上导出 CAN_RAW_JOIN_FILTERS 常量。 （由 Stefan Tatschner 和 Zackery Spytz 在 bpo-25780 中贡献。）

现在 socket 模块会在支持的平台上支持 CAN_J1939 协议。 （由 Karl Ding 在 bpo-40291 上贡献。）

现在 socket 模块具有 socket.send_fds() 和 socket.recv_fds() 函数。 （由 Joannah Nanjekye, Shinya Okano 和 Victor Stinner 在 bpo-28724 中贡献。）

time¶

On AIX, thread_time() is now implemented with thread_cputime() which has nanosecond resolution, rather than clock_gettime(CLOCK_THREAD_CPUTIME_ID) which has a resolution of 10 milliseconds. (Contributed by Batuhan Taskaya in bpo-40192)

sys¶

增加了新的 sys.platlibdir 属性：平台专属库目录的名称。 它被用于构建标准库的路径以及已安装扩展模块的路径。 它在大多数平台上等于 "lib"。 在 Fedora 和 SuSE 上，它等于 64 位平台上的 "lib64"。 （由 Jan Matějek, Matěj Cepl, Charalampos Stratakis 和 Victor Stinner 在 bpo-1294959 中贡献。）

之前的版本中，sys.stderr 在非交互模式时是带块缓冲的。 现在 stderr 默认总是为行缓冲的。 （由 Jendrik Seipp 在 bpo-13601 中贡献。）

tracemalloc¶

增加了 tracemalloc.reset_peak() 用于将跟踪的内存块峰值大小设为当前大小，以测量特定代码段的峰值。 （由 Huon Wilson 在 bpo-40630 中贡献。）

typing¶

PEP 593 引入了一种 typing.Annotated 类型以使用上下文专属的元数据来装饰现有类型，并将新的 include_extras 形参添加到 typing.get_type_hints() 以在运行时访问元数据。 （由 Till Varoquaux 和 Konstantin Kashin 贡献。）

unicodedata¶

Unicode 数据库已更新到 13.0.0 版。 (bpo-39926)。

venv¶

由 venv 所提供的激活脚本现在总是会使用 __VENV_PROMPT__ 设置的值来一致地指明它们的自定义提示符。 在之前版本中某些脚本会无条件地使用 __VENV_PROMPT__，而另一些脚本只在其恰好被设置时（这是默认情况）才会使用，还有的脚本会改用 __VENV_NAME__。 （由 Brett Cannon 在 bpo-37663 中贡献。）

xml¶

当把 xml.etree.ElementTree 序列化为 XML 文件时属性内部的空白字符现在将被保留。 不同的行结束符不会再被正规化为 "n"。 这是对于如何解读 XML 规范 2.11 节的相关讨论的最终结果。 （由 Mefistotelis 在 bpo-39011 中贡献。）

Python API 的变化¶

• __import__() 和 importlib.util.resolve_name() 现在会引发 ImportError 取代之前所引发的 ValueError。 捕获特定异常类型并同时支持 Python 3.9 和更早版本的调用者将需要使用 except (ImportError, ValueError): 来同时捕获两者。

• venv 激活脚本不再将 __VENV_PROMPT__ 被设为 "" 的情况作为特例处理。

• select.epoll.unregister() 方法不会再忽略 EBADF 错误。 （由 Victor Stinner 在 bpo-39239 中贡献。）

• bz2.BZ2File 的 compresslevel 形参已成为仅限关键字形参，因为 buffering 形参已被移除。 （由 Victor Stinner 在 bpo-39357 中贡献。）

• 简化了 AST 的抽取操作。 简单索引将以它们的值来代表，扩展切片将以元组形式来代表。 Index(value) 将返回 value 本身，ExtSlice(slices) 将返回 Tuple(slices, Load())。 （由 Serhiy Storchaka 在 bpo-34822 中贡献。）

• 当使用了 -E 或 -I 命令行参数时 importlib 模块现在会忽略 PYTHONCASEOK 环境变量。

• encoding 形参已作为仅限关键字形参被添加到 ftplib.FTP 和 ftplib.FTP_TLS 类，并且默认编码格式由 Latin-1 改为 UTF-8 以遵循 RFC 2640。

• asyncio.loop.shutdown_default_executor() 已被添加到 AbstractEventLoop，这意味着继承自它的替代事件循环应当定义此方法。 （由 Kyle Stanley 在 bpo-34037 中贡献。）

• 更新了 __future__ 模块中未来特性旗标的常量值以防止与编译器旗标相冲突。 在之前版本中 PyCF_ALLOW_TOP_LEVEL_AWAIT 会与 CO_FUTURE_DIVISION 发生冲突。 （由 Batuhan Taskaya 在 bpo-39562 中贡献。）

• array('u') 现在使用 wchar_t 作为 C 类型而不是 Py_UNICODE。 这个改变不会影响其行为，因为自 Python 3.3 起 Py_UNICODE 是 wchar_t 的别名。 （由 Inada Naoki 在 bpo-34538 中贡献。）

• 现在 logging.getLogger() API 当传入名称 'root' 时将返回根日志记录器，而在之前它则返回一个名为 'root' 的非根日志记录器。 这可能会影响到用户代码明确希望使用一个名为 'root' 的非根日志记录器，或在某个名为 'root.py' 的最高层级模块中使用 logging.getLogger(__name__) 来实例化日志记录器的情况。 （由 Vinay Sajip 在 bpo-37742 中贡献。）

• 现在 PurePath 的拆分处理当传入 str 或 PurePath 的实例以外的对象时会返回 NotImplemented 而不是引发 TypeError。 这将允许创建不继承自上述类型的兼容类。 （由 Roger Aiudi 在 bpo-34775 中贡献。）

• 从 Python 3.9.5 开始 ipaddress 模块不再接受 IPv4 地址字符串中有任何前缀的零。 前缀的零有歧义且会被某些库解读为八进制数字。 例如旧版函数 socket.inet_aton() 就瘵前缀的零视为八进制数字。 最新 inet_pton() 的 glibc 实现则不接受任何前缀的零。 （由 Christian Heimes 在 bpo-36384 中贡献）。

• codecs.lookup() 现在会以与 encodings.normalize_encoding() 相同的方式正规化编码格式名称，不同之处在于 codecs.lookup() 还会将名称转换为小写形式。 例如``"latex+latin1"`` 编写格式名称现在会被正规化为 "latex_latin1"。 （由 Jordon Xu 在 bpo-37751 中贡献。）

C API 的变化¶

• Instances of 堆分配类型 的实例（例如使用 PyType_FromSpec() 和类似 API 创建的实例）自 Python 3.8 起会带有一个对其类型对象的引用。 正如 Python 3.8 的 "C API 的变化" 部分所述，对于大多数情况来说，这应当不会有任何副作用，但对于具有自定义 tp_traverse 函数的类型来说，则要确保所有堆分配类型的自定义 tp_traverse 函数可访问对象的类型。

  示例:

  int
  foo_traverse(foo_struct *self, visitproc visit, void *arg) {
  // Rest of the traverse function
  #if PY_VERSION_HEX >= 0x03090000
      // This was not needed before Python 3.9 (Python issue 35810 and 40217)
      Py_VISIT(Py_TYPE(self));
  #endif
  }
  

  如果你的遍历函数委托给了其基类（或其他类）的 tp_traverse，则要确保 Py_TYPE(self) 只被访问一次。 请注意应当只有 堆类型 可访问 tp_traverse 中的类型。

  举例来说，如果你的 tp_traverse 函数包括以下内容:

  base->tp_traverse(self, visit, arg)
  

  则要添加:

  #if PY_VERSION_HEX >= 0x03090000
      // This was not needed before Python 3.9 (bpo-35810 and bpo-40217)
      if (base->tp_flags & Py_TPFLAGS_HEAPTYPE) {
          // a heap type's tp_traverse already visited Py_TYPE(self)
      } else {
          Py_VISIT(Py_TYPE(self));
      }
  #else
  

  （参阅 bpo-35810 和 bpo-40217 了解更多信息。）

• PyEval_CallObject, PyEval_CallFunction, PyEval_CallMethod 和 PyEval_CallObjectWithKeywords 函数已被弃用。 请改用 PyObject_Call() 及其变化形式。 （详情参见 bpo-29548。）

CPython 字节码的改变¶

• 添加了 LOAD_ASSERTION_ERROR 操作码用于处理 assert 语句。 在之前的版本中，如果 AssertionError 异常被屏蔽则 assert 语句将不能正常运作。 （由 Zackery Spytz 在 bpo-34880 中贡献。）

• COMPARE_OP 操作码已被拆分为四个单独指令:

  • COMPARE_OP 用于富比较

  • IS_OP 用于 'is' 和 'is not' 检测

  • CONTAINS_OP 用于 'in' 和 'not in' 检测

  • JUMP_IF_NOT_EXC_MATCH 用于检查 'try-except' 语句中的异常。

  （由 Mark Shannon 在 bpo-39156 中贡献。）

新的特性¶

• PEP 573: 添加了 PyType_FromModuleAndSpec() 用于通过类来关联一个模块；PyType_GetModule() 和 PyType_GetModuleState() 用于获取模块及其状态；以及 PyCMethod 和 METH_METHOD 用于允许一个方法访问其定义所在的类。 （由 Marcel Plch 和 Petr Viktorin 在 bpo-38787 中贡献。）

• 增加了 PyFrame_GetCode() 函数：获取帧代码。 增加了 PyFrame_GetBack() 函数：获取帧的下一个外部帧。 （由 Victor Stinner 在 bpo-40421 中贡献。）

• 将 PyFrame_GetLineNumber() 添加到受限的 C API。 （由 Victor Stinner 在 bpo-40421 中贡献。）

• 增加了 PyThreadState_GetInterpreter() 和 PyInterpreterState_Get() 函数用于获取解释器。 增加了 PyThreadState_GetFrame() 函数用于获取 Python 线程状态的当前帧。 增加了 PyThreadState_GetID() 函数：获取 Python 线程状态的唯一标识符。 （由 Victor Stinner 在 bpo-39947 中贡献。）

• 将新的公有 PyObject_CallNoArgs() 函数添加到 C API，该函数可不带任何参数调用一个 Python 可调用对象。 它是不带参数调用 Python 可调用对象最有效率的方式。 （由 Victor Stinner 在 bpo-37194 中贡献。）

• 受限 C API 中的改变（如果定义了 Py_LIMITED_API 宏）:

  • 提供 Py_EnterRecursiveCall() 和 Py_LeaveRecursiveCall() 作为常规函数用于受限 API。 在之前版本中是使用宏定义，但这些宏不能与无法访问 PyThreadState.recursion_depth 字段的受限 C API 一同编译（该结构体在受限 C API 中是不透明的）。

  • PyObject_INIT() 和 PyObject_INIT_VAR() 已成为常规“不透明”函数以隐藏实现细节。

  （由 Victor Stinner 在 bpo-38644 和 bpo-39542 中贡献。）

• 增加了 PyModule_AddType() 函数以协助将类型加入到模块中。 （由 Dong-hee Na 在 bpo-40024 中贡献。）

• 将 PyObject_GC_IsTracked() 和 PyObject_GC_IsFinalized() 函数添加到公有 API 以允许分别查询 Python 对象当前是正在被追踪还是已经被垃圾回收器所终结。 （由 Pablo Galindo Salgado 在 bpo-40241 中贡献。）

• 增加了 _PyObject_FunctionStr() 以获取函数类对象的用户友好的表示形式。 （由 Jeroen Demeyer 在 bpo-37645 中修正。）

• 增加了 PyObject_CallOneArg() 用于调用具有一个位置参数的对象（由 Jeroen Demeyer 在 bpo-37483 中修正。）

移植到 Python 3.9¶

• PyInterpreterState.eval_frame (PEP 523) 现在需要有新的强制性形参 tstate (PyThreadState*)。 （由 Victor Stinner 在 bpo-38500 中贡献。）

• 扩展模块: PyModuleDef 的 m_traverse, m_clear 和 m_free 等函数在模块状态被请求但尚未被分配时将不会再被调用。 这种情况出现在模块被创建之后且模块被执行 (Py_mod_exec 函数) 之前的时刻。 更准确地说，这些函数在 m_size 大于 0 并且模块状态（即 PyModule_GetState() 的返回值）为 NULL 时将不会被调用。

  没有模块状态的扩展模块 (m_size <= 0) 不会受到影响。

• 现在如果 Py_AddPendingCall() 是在子解释器内部被调用，该函数会被排入子解释器的调用日程，而不是由主解释器调用。 每个子解释器现在都拥有它们自己的调用日程列表。 （由 Victor Stinner 在 bpo-39984 中贡献。）

• 当 -E 选项被使用 (如果 PyConfig.use_environment 设为 0) 时将不再使用 Windows 注册表来初始化 sys.path。 这会影响在 Windows 上嵌入 Python 的操作。 （由 Zackery Spytz 在 bpo-8901 中贡献。）

• 全局变量 PyStructSequence_UnnamedField 现在为常量并且指向一个字符串常量。 （由 Serhiy Storchaka 在 bpo-38650 中贡献。）

• 现在 PyGC_Head 结构是不透明的。 它只在内部 C API (pycore_gc.h) 中定义。 （由 Victor Stinner 在 bpo-40241 中贡献。）

• Py_UNICODE_COPY, Py_UNICODE_FILL, PyUnicode_WSTR_LENGTH, PyUnicode_FromUnicode(), PyUnicode_AsUnicode(), _PyUnicode_AsUnicode 以及 PyUnicode_AsUnicodeAndSize() 在 C 中被标记为已弃用。 它们自 Python 3.3 起就已被 PEP 393 弃用。 （由 Inada Naoki 在 bpo-36346 中贡献。）

• Py_FatalError() 函数会被一个自动记录当前函数名称的宏所替代，除非已定义了 Py_LIMITED_API 宏。 （由 Victor Stinner 在 bpo-39882 中贡献。）

• vectorcall 协议现在要求调用者只传入字符串作为键名。 （请参阅 bpo-37540 了解详情。）

• 多个宏和函数的实现细节现在已被隐藏:

  • PyObject_IS_GC() 宏已被转换为函数。

  • PyObject_NEW() 宏已成为 PyObject_New() 宏的别名，而 PyObject_NEW_VAR() 宏已成为 PyObject_NewVar() 宏的别名。 它们将不再直接访问 PyTypeObject.tp_basicsize 成员。

  • PyObject_GET_WEAKREFS_LISTPTR() 宏已被转换为函数：该宏会直接访问 PyTypeObject.tp_weaklistoffset 成员。

  • PyObject_CheckBuffer() 宏已被转换为函数：该宏会直接访问 PyTypeObject.tp_as_buffer 成员。

  • 现在 PyIndex_Check() 总是被声明为不透明函数以隐藏实现细节；PyIndex_Check() 宏已被移除。 该宏会直接访问 PyTypeObject.tp_as_number 成员。

  （详情请参阅 bpo-40170。）

移除¶

• pyfpe.h 的 PyFPE_START_PROTECT() 和 PyFPE_END_PROTECT() 宏已从受限的 C API 中被排除。 （由 Victor Stinner 在 bpo-38835 中贡献。）

• PyTypeObject 的 tp_print 空位已被移除。 它在 Python 2.7 及之前的版本中被用来将对象打印到文件。 自 Python 3.0 起，它已被忽略并且不再使用。 （由 Jeroen Demeyer 在 bpo-36974 中贡献。）

• 受限 C API 中的改变（如果定义了 Py_LIMITED_API 宏）:

  • 以下函数已从受限 C API 中排除:

    • PyThreadState_DeleteCurrent() （由 Joannah Nanjekye 在 bpo-37878 中贡献。）

    • _Py_CheckRecursionLimit

    • _Py_NewReference()

    • _Py_ForgetReference()

    • _PyTraceMalloc_NewReference()

    • _Py_GetRefTotal()

    • 在受限 C API 中从未使用的垃圾箱机制。

    • PyTrash_UNWIND_LEVEL

    • Py_TRASHCAN_BEGIN_CONDITION

    • Py_TRASHCAN_BEGIN

    • Py_TRASHCAN_END

    • Py_TRASHCAN_SAFE_BEGIN

    • Py_TRASHCAN_SAFE_END

  • 已将下列函数和定义移至内部 C API:

    • _PyDebug_PrintTotalRefs()

    • _Py_PrintReferences()

    • _Py_PrintReferenceAddresses()

    • _Py_tracemalloc_config

    • _Py_AddToAllObjects() (Py_TRACE_REFS 构建专属)

  （由 Victor Stinner 在 bpo-38644 和 bpo-39542 中贡献。）

• 移除了 _PyRuntime.getframe 钩子并移除了 _PyThreadState_GetFrame 宏，该宏是 _PyRuntime.getframe 的一个别名。 它们仅由内部 C API 对外公开。 同样地移除了 PyThreadFrameGetter 类型。 （由 Victor Stinner 在 bpo-39946 中贡献。）

• 从 C API 移除了下列函数。 请显式地调用 PyGC_Collect() 来清空所有自由列表。 （由 Inada Naoki 和 Victor Stinner 在 bpo-37340, bpo-38896 和 bpo-40428 中贡献。）

  • PyAsyncGen_ClearFreeLists()

  • PyContext_ClearFreeList()

  • PyDict_ClearFreeList()

  • PyFloat_ClearFreeList()

  • PyFrame_ClearFreeList()

  • PyList_ClearFreeList()

  • PyMethod_ClearFreeList() 和 PyCFunction_ClearFreeList(): 绑定方法对象的自由列表已被移除。

  • PySet_ClearFreeList(): 集合自由列表已在 Python 3.4 中被移除。

  • PyTuple_ClearFreeList()

  • PyUnicode_ClearFreeList(): Unicode 自由列表已在 Python 3.3 中被移除。

• 移除了 _PyUnicode_ClearStaticStrings() 函数。 （由 Victor Stinner 在 bpo-39465 中贡献。）

• 移除了 Py_UNICODE_MATCH。 它已被 PEP 393 所弃用，并自 Python 3.3 起不再可用。 可以改用 PyUnicode_Tailmatch() 函数。 （由 Inada Naoki 在 bpo-36346 中贡献。）

• 清除了已定义但未实现的接口的头文件。 被移除了公共 API 符号有: _PyBytes_InsertThousandsGroupingLocale, _PyBytes_InsertThousandsGrouping, _Py_InitializeFromArgs, _Py_InitializeFromWideArgs, _PyFloat_Repr, _PyFloat_Digits, _PyFloat_DigitsInit, PyFrame_ExtendStack, _PyAIterWrapper_Type, PyNullImporter_Type, PyCmpWrapper_Type, PySortWrapper_Type, PyNoArgsFunction。 （由 Pablo Galindo Salgado 在 bpo-39372 中贡献。）

typing¶

typing.Literal 的行为被改为遵循 PEP 586 并匹配该 PEP 所描述的静态类型检查器的行为。

1. Literal 现在将是去重复的形参。

2. Literal 对象间的相等性比较现在将是顺序无关的。

3. Literal 比较现在会考虑类型。 例如 Literal[0] == Literal[False] 之前的结果值为 True。 现在则为 False。 为支持此改变，内部使用的类型缓存现在也支持区分类型。

4. 现在如果有任何一个参数不为 hashable，Literal 对象将在相等性比较期间引发 TypeError。 请注意使用可变参数声明 Literal 将不会抛出异常:

   >>>

   >>> from typing import Literal
   >>> Literal[{0}]
   >>> Literal[{0}] == Literal[{False}]
   Traceback (most recent call last):
     File "<stdin>", line 1, in <module>
   TypeError: unhashable type: 'set'
   

（由 Yurii Karabas 在 bpo-42345 中贡献。）

macOS 11.0 (Big Sur) 与 Apple Silicon Mac 支持¶

对于 3.9.1 版来说，Python 现在完全支持在 macOS 11.0 (Big Sur) 和 Apple Silicon Macs (基于 ARM64 架构) 上构建和运行。 现在提供了一个新的通用构建类型 universal2，用于在一组可执行文件上原生支持 ARM64 和 Intel 64。 二进制文件现在也可以在当前版本的 macOS 上编译以部署到多种较旧的 macOS 版本上 (已测试 10.9)，同时会基于运行时所使用的操作系统版本让某些较新的 OS 功能和选项有条件地可用 ("弱链接") 。

（由 Ronald Oussoren 和 Lawrence D'Anna 在 bpo-41100 中贡献。）

collections.abc¶

现在 collections.abc.Callable 泛型会将类型形参展平，类似于 typing.Callable 当前所做的那样。 这意味着 collections.abc.Callable[[int, str], str] 的 __args__ 将为 (int, str, str)；之前则为 ([int, str], str)。 为了允许这个改变，types.GenericAlias 现在可以被子类化，并且在抽取 collections.abc.Callable 类型时将返回一个子类。 通过 typing.get_args() 或 __args__ 访问参数的代码需要考虑到这个改变。 对于无效的 collections.abc.Callable 参数化形式可能会发出 DeprecationWarning，这在 Python 3.9.1 中可能会静默地传递。 这个 DeprecationWarning 将在 Python 3.10 中变为 TypeError。 （由 Ken Jin 在 bpo-42195 中贡献。）

urllib.parse¶

早先的 Python 版本允许使用 ; 和 & 作为 urllib.parse.parse_qs() 和 urllib.parse.parse_qsl() 中 query 形参的分隔键。 出于安全考虑，也为了遵循更新的 W3C 推荐设置，这已被改为只允许单个分隔键，默认为 &。 这一改变还会影响 cgi.parse() 和 cgi.parse_multipart() 因为它们在内部使用了受影响的函数。 要了解更多细节，请查看它们各自的文档。 （由 Adam Goldschmidt, Senthil Kumaran 和 Ken Jin 在 bpo-42967 中贡献。）