Python 各版本主要变化速览

# Now
f"{user=}"

• TypedDict – PEP 589
• Literal – PEP 586
• Final – PEP 591
• Protocol – PEP 544

# Now
thing: str | list[str] | None = None

P = ParamSpec("P")
R = TypeVar("R")

def add_logging(f: Callable[P, R]) –> Callable[P, Awaitable[R]]:
async def inner(*args: P.args, **kwargs: P.kwargs) –> R:
await log_to_database()
return f(*args, **kwargs)
return inner

@add_logging
def takes_int_str(x: int, y: str) –> int:
return x + 7

await takes_int_str(1, "A") # Accepted
await takes_int_str("B", 2) # Correctly rejected by the type checker

def is_two_element_tuple(val: Tuple[_T, ...]) –> TypeGuard[Tuple[_T, _T]]:
return len(val) == 2

def func(names: Tuple[str, ...]):
if is_two_element_tuple(names):
reveal_type(names) # Tuple[str, str]
else:
reveal_type(names) # Tuple[str, …]

with (
CtxManager1(), CtxManager2()
):
...

with (CtxManager1() as example, CtxManager2()):
...

with (CtxManager1(), CtxManager2() as example):
...

with (
CtxManager1() as example1,
CtxManager2() as example2,
):
...

• kw_only=True 则 __init__ 中的所有参数都将被标记为仅限关键字参数。
• slots=True 生成的数据类将使用 __slots__ 来存储数据。

Tomllib tomllib – 标准库TOML解析器

异常组（PEP 654） PEP 654引入了一些语言特性，使程序能够同时引发和处理多个不相关的异常。内置类型ExceptionGroup和BaseExceptionGroup使得对异常进行分组并一起引发成为可能，而新的except*语法则对except进行了扩展，以匹配异常组的子组。

用注释丰富异常（PEP 678） add_note()方法被添加到BaseException中。它可用于为异常添加在异常抛出时无法获取的上下文信息。添加的注释会出现在默认的回溯中。

try:
do_something()
except BaseException as e:
e.add_note("this happened during do_something")
raise

类型提示：Self（PEP 673）

class MyClass:
@classmethod
def from_hex(cls, s: str) –> Self: # Self means instance of cls
return cls(int(s, 16))

def frobble(self, x: int) –> Self: # Self means this instance
self.y >> x
return self

类型标注：LiteralString（PEP 675） 新的LiteralString注解可用于表明函数参数可以是任何字面量字符串类型。这使得函数能够接受任意的字面量字符串类型，以及由其他字面量字符串创建的字符串。这样，类型检查器就可以确保像执行SQL语句或shell命令这类敏感函数只能通过静态参数调用，从而提供针对注入攻击的保护。

类型提示：将TypedDict条目标记为[非]必需项（PEP 655）

# default is required
class Movie(TypedDict):
title: str
year: NotRequired[int]

# default is not-required
class Movie(TypedDict, total=False):
title: Required[str]
year: int

类型提示：通过TypeVarTuple实现可变参数泛型（PEP 646） PEP 484 之前引入了 TypeVar，支持创建用单一类型参数化的泛型。PEP 646 新增了 TypeVarTuple，支持用任意数量的类型进行参数化。换句话说，TypeVarTuple 是一种可变类型变量，支持可变泛型。

这实现了各种各样的用例。特别是，它允许NumPy和TensorFlow等数值计算库中的类数组结构通过数组形状进行参数化。静态类型检查器现在能够捕获使用这些库的代码中与形状相关的错误。

类型标注：@dataclass_transform（PEP 681） dataclass_transform可用于修饰类、元类或本身是装饰器的函数。@dataclass_transform()的存在会告知静态类型检查器，被修饰的对象会执行运行时“魔术”来转换类，使其具有dataclass般的行为。

# The create_model decorator is defined by a library.
@typing.dataclass_transform()
def create_model(cls: Type[T]) –> Type[T]:
cls.__init__ = ...
cls.__eq__ = ...
cls.__ne__ = ...
return cls

# The create_model decorator can now be used to create new model classes:
@create_model
class CustomerModel:
id: int
name: str

星号解包表达式允许用于for语句中 这是官方支持的语法

for x in *a, *b:
print(x)

类型标注：类型参数语法（PEP 695） 泛型类和函数的简洁注解

def max[T](args: Iterable[T]) –> T:
...

class list[T]:
def __getitem__(self, index: int, /) –> T:
...

def append(self, element: T) –> None:
...

能够使用type语句声明类型别名（生成TypeAliasType）

type Point = tuple[float, float]

# Type aliases can also be generic
type Point[T] = tuple[T, T]

F字符串的变化（PEP 701） f字符串中的表达式组件现在可以是任何有效的Python表达式，包括与包含该f字符串使用相同引号的字符串、多行表达式、注释、反斜杠和Unicode转义序列。

## Can re-use quotes
f"This is the playlist: {", ".join(songs)}"

f"{f"{f"{f"{f"{f"{1+1}"}"}"}"}"}" # '2'

## Multiline f-string with comments
f"This is the playlist: {", ".join([
'Take me back to Eden', # My, my, those eyes like fire
'Alkaline', # Not acid nor alkaline
'Ascensionism' # Take to the broken skies at last
])}"

## Backslashes / Unicode
f"This is the playlist: {"\\n".join(songs)}"

f"This is the playlist: {"\\N{BLACK HEART SUIT}".join(songs)}"

缓冲区协议（PEP 688） PEP 688 引入了一种从 Python 代码中使用 缓冲区协议 的方法。实现了 __buffer__() 方法的类现在可用作缓冲区类型。

新的collections.abc.Buffer ABC提供了一种表示缓冲区对象的标准方式，例如在类型注解中。新的inspect.BufferFlags枚举表示可用于自定义缓冲区创建的标志。

类型提示：用于kwargs类型提示的Unpack（PEP 692）

from typing import TypedDict, Unpack

class Movie(TypedDict):
name: str
year: int

def foo(**kwargs: Unpack[Movie]):
...

类型提示：override 装饰器（PEP 698） 确保子类重写的方法确实存在于父类中。

from typing import override

class Base:
def get_color(self) –> str:
return "blue"

class GoodChild(Base):
@override # ok: overrides Base.get_color
def get_color(self) –> str:
return "yellow"

class BadChild(Base):
@override # type checker error: does not override Base.get_color
def get_colour(self) –> str:
return "red"

注意：这与@overload装饰器不同。

自由线程（PEP 703）、即时编译（PEP 744） 虽然这并非语言层面的变更，但对大多数人而言，这是一个具有头条新闻价值的变化。

CPython 3.13 具备无需全局解释器锁（GIL）运行或使用即时编译器（JIT compiler）运行的能力。

static_attributes（静态属性） 存储通过类体中任何函数内的self.<name>访问的属性名称。

class A:
def __init__(self, x: int, y: int):
self.items = [x,y]
self.max = max(x, y)
return

# A.__static_attributes__ = ("items", "max")

文档字符串：常见的前导空白已去除

def spam():
"""
This is a docstring with
leading whitespace.

It even has multiple paragraphs!
"""
# ^^^^ This white space is stripped
# spam.__doc__ = '\\nThis is a docstring with\\n leading whitespace.\\n\\nIt even has multiple paragraphs!\\n'

类型标注：类型参数默认值（PEP 696） 允许为TypeVar、ParamSpec、TypeVarTuple设置默认值。更多示例请参见PEP。

DefaultBoolT = TypeVar("DefaultBoolT", default=bool)
T = TypeVar("T")

class OneDefault(Generic[T, DefaultBoolT]): ...

OneDefault[float] == OneDefault[float, bool] # Valid

类型提示：warnings支持类型弃用（PEP 702） warnings模块中新增了一个新的装饰器@deprecated()。这个装饰器可用于类、函数或方法，以标记它们为已过时。这包括typing.TypedDict和typing.NamedTuple的定义。对于重载函数，该装饰器可应用于各个重载，表明特定的重载已过时。该装饰器也可应用于重载实现函数，表明整个函数已过时。

类型提示：TypedDict ReadOnly（PEP 705） 类型限定符typing.ReadOnly用于表示在TypedDict定义中声明的项不得被修改（添加、修改或删除）：

class Band(TypedDict):
name: str
members: ReadOnly[list[str]]

blur: Band = {"name": "blur", "members": []}
blur["name"] = "Blur" # OK: "name" is not read-only
blur["members"] = ["Damon Albarn"] # Type check error: "members" is read-only
blur["members"].append("Damon Albarn") # OK: list is mutable

类型标注：TypeIs（PEP 742） TypeGuard的替代方案，用于对执行类型收窄的函数进行注解。

TypeIs和TypeGuard在以下方面有所不同：

• TypeIs要求缩小后的类型是输入类型的子类型，而TypeGuard则不要求。主要原因是为了允许将list[object]缩小为list[str]之类的操作，尽管后者并不是前者的子类型，因为list是不变的。
• 当TypeGuard函数返回True时，类型检查器会将变量的类型精确地收窄为TypeGuard类型。当TypeIs函数返回True时，类型检查器可以结合变量先前已知的类型和TypeIs类型，推断出更精确的类型。（从技术上讲，这被称为交集类型。）
• 当TypeGuard函数返回False时，类型检查器完全无法缩小变量的类型范围。当TypeIs函数返回False时，类型检查器可以缩小变量的类型范围，以排除TypeIs类型。

class Parent: ...
class Child(Parent): ...
class Unrelated: ...

def is_parent(val: object) –> TypeIs[Parent]:
return isinstance(val, Parent)

def run(arg: Child | Unrelated):
if is_parent(arg):
# Type of ``arg`` is narrowed to the intersection
# of ``Parent`` and ``Child``, which is equivalent to
# ``Child``.
assert_type(arg, Child)
else:
# Type of ``arg`` is narrowed to exclude ``Parent``,
# so only ``Unrelated`` is left.
assert_type(arg, Unrelated)

模板字符串（PEP 750） 模板字符串字面量（t字符串）会生成Template对象，这些对象随后可以被单独操作。

from string.templatelib import Template

name = "World"
template: Template = t"Hello {name}!"

print(template.strings)
('Hello ', '!')

print(template.values)
('World',)

注解的延迟求值（PEP 649、PEP 749） 注解不再被立即计算，而是存储在专用的注解函数中。新添加的annotationlib模块允许与这些函数进行交互。请注意，使用from __future__ import annotations会对此产生影响。

这意味着从Python 3.14开始，对于使用前向引用的注解，你不再需要添加引号或使用future导入。

## BEFORE
# String Quoting
class A:
def some_func(self, *args) –> 'B | None':
...

class B:
...

# future import
from __future__ import annotations

class A:
def some_func(self, *args) –> B | None:
...

class B:
...

## PYTHON 3.14
class A:
def some_func(self, *args) –> B | None: # Just Works (TM)
...

class B:
...

允许不带括号的except和except（PEP 758）* 现在，except和except*表达式在存在多个异常类型且未使用as子句时，允许省略括号。例如，以下表达式现在是有效的：

try:
connect_to_server()
except TimeoutError, ConnectionRefusedError:
print("Network issue encountered.")

# The same applies to except* (for exception groups):
try:
connect_to_server()
except* TimeoutError, ConnectionRefusedError:
print("Network issue encountered.")

其他变更

• 自由线程Python现已正式支持（但仍是可选的）。
• 现在有多个解释器可用，它们位于concurrent.interpreters模块中。过去，这些解释器只能通过C语言API获取。
• 当return、break或continue语句退出finally块时，编译器会发出SyntaxWarning。（PEP 765）