Python 3.12 类型注解新特性：override 函数中的泛型类型定义

本文深入解析 Python 3.12 中 typing.override 函数定义中出现的 [F: type] 语法，揭示其作为 PEP-695 引入的泛型类型定义新方式的本质。通过对比新旧语法的差异，详细阐述了这种新语法的优势和用法，并解释了类型绑定（bound）的概念。

Python 3.12 引入了 PEP-695 中描述的新的泛型类型定义语法，这使得类型注解更加简洁和易读。在 typing 模块中的 override 函数定义中，我们可以看到这种新语法的应用，例如 def override[F: type](method: F, /) -> F:…。 理解这种新语法对于阅读和编写现代 Python 代码至关重要。

泛型类型定义的新语法

在 Python 3.12 之前，定义泛型类型通常需要使用 typing.TypeVar。例如：

from typing import TypeVar
_T = TypeVar("_T")
def func(a: _T, b: _T) -> _T:
...

这种方式相对繁琐，需要先定义一个 TypeVar，然后再在函数签名中使用它。

立即学习“Python免费学习笔记（深入）”；

Python 3.12 引入了一种更简洁的语法，允许直接在函数定义中使用方括号 [] 来声明泛型类型。例如：

def func[T](a: T, b: T) -> T:
...

这种新语法更加直观，减少了代码的冗余。在 override 函数的例子中，[F: type] 表示 F 是一个类型变量，并且它被绑定（bound）到 type。 这意味着 F 必须是一个类型。

类型绑定 (Bound)

在泛型类型定义中，类型绑定（bound）用于约束类型变量的取值范围。 [F: type] 中的冒号 : 后面的 type 就是一个类型绑定，它指定 F 必须是一个类型。 如果没有指定类型绑定，类型变量可以接受任何类型。

CreateWise AI

为播客创作者设计的AI创作工具，AI自动去口癖、提交亮点和生成Show notes、标题等

40

查看详情

例如，我们可以定义一个函数，它只接受 int 或 float 类型的参数：

from typing import Union
def process_number[N: Union[int, float]](number: N) -> N:
return number * 2

在这个例子中，N 被绑定到 Union[int, float]，这意味着 N 只能是 int 或 float 类型。 如果我们尝试传递其他类型的参数，类型检查器将会报错。

typing.override 函数示例

typing.override 函数通常用于指示一个方法覆盖了父类中的方法。 虽然其具体实现可能涉及更复杂的逻辑，但其类型注解部分使用了新的泛型类型定义语法，使代码更易于理解。

from typing import override
class Base:
def method(self) -> str:
return "Base"
class Derived(Base):
@override
def method(self) -> str:
return "Derived"

在这个例子中，@override 装饰器可以帮助类型检查器验证 Derived.method 是否正确地覆盖了 Base.method。

注意事项和总结

• Python 3.12 引入的泛型类型定义新语法更加简洁易读，推荐在新的代码中使用。
• 类型绑定可以用于约束类型变量的取值范围，提高代码的类型安全性。
• typing.override 函数可以用于指示方法覆盖，帮助类型检查器验证代码的正确性。

掌握这些新的类型注解特性可以帮助你编写更健壮、更易于维护的 Python 代码。 建议查阅 PEP-695 以获得更详细的说明。