怎样在Python中使用Generic与TypeVar编写通用类-Python教程-PHP中文网

Generic是Python中用于声明泛型类的基类，TypeVar是定义类型变量的占位符而非具体类型；二者必须配合使用，仅在静态检查（如mypy）和IDE提示中生效，运行时被擦除，不提供强制类型约束。

怎样在python中使用generic与typevar编写通用类

Generic 是什么，TypeVar 又不是类型

Python 的 Generic 和 TypeVar 不是用来运行时做类型检查的，它们只在静态类型检查（比如 mypy）或 IDE 提示中起作用。写错不会报错，但会失去类型安全提示，甚至让类型推导失效。

关键点：你得先理解 TypeVar 是一个“占位符”，不是具体类型；Generic 是告诉类型检查器“这个类支持泛型参数”。两者必须配合使用，缺一不可。

TypeVar('T') 创建一个类型变量，可加约束（如 bound=str）或协变标记（covariant=True），但多数场景默认即可
类继承 Generic[T] 后，类名后才能跟方括号，如 Stack[int]
类内部所有用到 T 的地方（参数、返回值、属性）都必须显式标注，否则类型检查器会忽略它

写一个带泛型的 Stack 类

这是最典型的入门例子，但容易漏掉几个关键细节：

from typing import Generic, TypeVar, List
<p>T = TypeVar('T')</p><p>class Stack(Generic[T]):
def <strong>init</strong>(self) -> None:
self._items: List[T] = []  # 必须标注 _items 类型为 List[T]，不能只写 List</p><pre class="brush:php;toolbar:false;">def push(self, item: T) -> None:  # 参数必须是 T，不是任意类型
    self._items.append(item)

def pop(self) -> T:  # 返回值必须声明为 T
    return self._items.pop()

def peek(self) -> T | None:  # Python 3.10+ 写法；3.9 用 Union[T, None]
    return self._items[-1] if self._items else None

常见错误：

忘记给 self._items 加类型注解 → mypy 会认为它是 List[Any]，后续 pop() 返回 Any，泛型失效
在 push 中写 item: object 或不标注 → 类型检查器无法绑定 T，调用 Stack[int].push('hello') 也不会报错
用 list 替代 List[T] → list 是运行时类型，不参与泛型推导

多个类型变量怎么处理

需要多个独立泛型参数时，别用 TypeVar('T', 'U') —— 那是定义联合类型，不是两个变量。正确做法是分别定义：

python-script-generator

快速生成专业的 Python 脚本和应用代码。一键创建完整项目结构，支持CLI、API、爬虫、Bot、Django等多种项目类型，包含完整的项目结构、配置文件、依赖管理、测试、README和文档。

下载

from typing import Generic, TypeVar
<p>K = TypeVar('K')
V = TypeVar('V')</p><p>class KeyValueStore(Generic[K, V]):
def <strong>init</strong>(self) -> None:
self._data: dict[K, V] = {}</p><pre class="brush:php;toolbar:false;">def set(self, key: K, value: V) -> None:
    self._data[key] = value

def get(self, key: K) -> V | None:
    return self._data.get(key)

注意点：

继承写 Generic[K, V]，顺序和使用位置要一致；KVStore[str, int] 表示 key 是 str、value 是 int
dict[K, V] 是必需的；写 dict 或 Dict（旧式）会导致类型丢失
如果 K 和 V 有逻辑关联（比如只允许 str→int 或 bytes→float），应改用 Protocol 或运行时校验，TypeVar 本身不支持条件约束

为什么继承 Generic 后 init 里不能用 T 做默认值

因为 T 在运行时是 ~T（一个占位符对象），不是真实类型，所以不能用于实例化或比较：

# ❌ 错误：T 是类型变量，不是值
def __init__(self, default: T = T()) -> None:  # TypeError: cannot instantiate TypeVar
<h1>✅ 正确：用 None + 类型注解，或提供具体类型默认值（此时已脱离泛型）</h1><p>def <strong>init</strong>(self, default: T | None = None) -> None:
self.default = default
</p>

更隐蔽的问题：

泛型类不能被 isinstance 检查 —— isinstance(s, Stack[int]) 总是 False，因为 Stack[int] 是类型构造结果，不是真实类
如果你需要运行时识别类型（比如序列化），得额外存一个 type_arg: type 字段，或用 get_args(get_origin(cls)) 解析，但非常脆弱
泛型类的子类如果也想泛型，必须显式继承 Generic[...] 并重传类型变量，不能靠父类自动传递

真正难的从来不是写出来，而是想清楚哪些逻辑必须靠运行时判断，哪些可以交给类型系统 —— 而这两者在 Python 里边界模糊，很容易一开始全塞进泛型，后来发现某处必须硬编码类型分支。