Python 3.12 类型注解新特性：override 函数中的泛型类型定义-Python教程-PHP中文网

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

心靈之曲

发布： 2025-09-14 21:11:01

原创

360人浏览过

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 必须是一个类型。

影像之匠PixPretty

商业级AI人像后期软件，专注于人像精修，色彩调节及批量图片编辑，支持Windows、Mac多平台使用。适用于写真、婚纱、旅拍、外景等批量修图场景。

299

查看详情

类型绑定 (Bound)

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

例如，我们可以定义一个函数，它只接受 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。