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

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

花韻仙語

发布： 2025-09-14 20:34:22

原创

506人浏览过

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

本文深入探讨了 Python 3.12 中 typing 模块引入的 override 函数及其背后的泛型类型定义新语法。我们将解析 def override[F: type](method: F, /) -> F: 中 [F: type] 的含义，阐述 PEP-695 提案中关于泛型类型定义的改进，并提供清晰的示例代码，帮助读者理解和应用这一新特性。

Python 3.12 引入了更简洁的泛型类型定义语法，旨在提高代码的可读性和可维护性。 typing 模块中的 override 函数就是一个很好的例子，它利用了这种新的语法特性。让我们深入了解这种新语法的含义和用法。

理解 [F: type]

在 Python 3.12 之前，定义泛型函数通常需要使用 typing 模块中的 TypeVar。例如：

from typing import TypeVar

_T = TypeVar("_T")

def func(a: _T, b: _T) -> _T:
    """一个使用 TypeVar 定义的泛型函数"""
    return a

登录后复制

而现在，Python 3.12 引入了一种更简洁的语法，允许直接在函数定义中使用方括号 [] 来声明泛型类型。在 def override[F: type](method: F, /) -> F: 中，[F: type] 定义了一个名为 F 的泛型类型变量，并且指定了它的上界 (bound) 为 type。这意味着 F 可以代表任何类型。

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

示例：

以下代码展示了新旧两种泛型定义方式的对比：

码哩写作

最懂作者的AI辅助创作工具

查看详情

from typing import TypeVar

# 旧的方式
_T = TypeVar("_T")

def old_func(a: _T, b: _T) -> _T:
    return a

# 新的方式
def new_func[T](a: T, b: T) -> T:
    return a

print(old_func(1, 2)) # 输出：1
print(new_func(1, 2)) # 输出：1

print(old_func("hello", "world")) # 输出：hello
print(new_func("hello", "world")) # 输出：hello

登录后复制

可以看到，两种方式实现的功能是相同的，但新的语法更加简洁明了。

上界 (Bound) 的概念

在泛型类型定义中，上界 (bound) 用于限制泛型类型变量可以代表的类型范围。在 [F: type] 中，type 是 F 的上界，表示 F 可以是任何类型。可以指定更具体的类型作为上界，例如 int 或自定义类。

示例：

from typing import TypeVar

# 定义一个泛型类型变量，其上界为 int
def int_func[T: int](a: T) -> T:
    return a

# 错误示例：传入字符串会导致类型错误
# print(int_func("hello")) #  TypeError: Type argument "str" to "int_func" violates upper bound "int"

print(int_func(10)) # 输出：10

class MyClass:
    pass

# 定义一个泛型类型变量，其上界为 MyClass
def my_class_func[T: MyClass](a: T) -> T:
    return a

instance = MyClass()
print(my_class_func(instance)) # 输出：<__main__.MyClass object at 0x...>

登录后复制