typevar 是类型变量占位符，用于泛型中保持类型一致性；普通类型注解是固定类型，无法实现输入输出类型联动。
什么是 TypeVar，它和普通类型注解有什么区别
TypeVar 不是具体类型，而是一个类型变量占位符，用来在泛型函数或类中“记住”某个类型在调用时的实际值。比如你写一个函数，希望它能接受 int 并返回 int，或者接受 str 并返回 str，但不希望它接受 int 却返回 str——这时候就得靠 TypeVar 建立类型关联。
普通注解如 def f(x: int) -> int: 是固定死的；而泛型函数必须让类型“可变但一致”，否则类型检查器（如 mypy）无法验证逻辑正确性。
常见错误现象：def identity(x): return x 加了 -> Any 或干脆不加提示，mypy 就没法推断出输入输出类型一致；强行写 def identity(x: T) -> T: 会报错，因为 T 还没被定义。
- 必须先用
from typing import TypeVar导入 -
T = TypeVar('T')中的字符串'T'只是调试显示用，实际起作用的是变量名T - 如果限制类型范围，可以写
T = TypeVar('T', int, str)，这时T只能是int或str的子类型 - 用
bound=SomeClass（如bound=Iterable）比枚举更灵活，表示“只要是该类型的子类或实现即可”
怎么写一个带 TypeVar 的泛型函数并让 mypy 正确检查
关键在于：函数签名里所有出现该类型变量的位置，都要用同一个 TypeVar 实例，且不能混用字符串字面量或不同变量。
from typing import TypeVar
<p>T = TypeVar('T')</p><p>def first(items: list[T]) -> T:
return items[0]
</p>
这个函数告诉类型检查器：“你传进来的 list 是什么类型，我就返回那个类型的元素”。调用时：
-
first([1, 2, 3])→ 返回类型被推为int -
first(['a', 'b'])→ 返回类型被推为str -
first([1, 'x'])→ mypy 报错，因为list类型本身已是list[object]，违反了list[T]对齐约束
容易踩的坑：
- 漏掉
list[T]中的方括号泛型参数，写成list或List（旧式写法），会导致T失效 - 在函数体里对
T做假设操作（比如调用.upper()），mypy 不会报错，但运行时可能崩——TypeVar不提供运行时行为约束 - Python 3.12+ 支持简写语法
def first[T](items: list[T]) -> T:，但旧版本不支持，混用会导致 mypy 或 IDE 解析失败
多个 TypeVar 怎么共存？什么时候需要 Contravariant 或 Covariant
多个 TypeVar 可以同时存在，只要名字不同、语义清晰。例如实现一个键值映射函数：
from typing import TypeVar, Callable
<p>K = TypeVar('K')
V = TypeVar('V')</p><p>def map_dict(d: dict[K, V], f: Callable[[V], V]) -> dict[K, V]:
return {k: f(v) for k, v in d.items()}
</p>
这里 K 和 V 独立变化，互不影响。但要注意：默认所有 TypeVar 都是不变的（invariant），即 dict[str, int] 和 dict[str, object] 之间不能自动协变转换。
真正需要 Covariant/Contravariant 的场景极少，基本只出现在自定义泛型容器类中（比如你写了一个只读序列类，想让它支持子类型协变）。函数参数几乎从不需要显式标注变型——mypy 会根据使用方式自动推导。
- 别为了“看起来高级”而加
covariant=True，99% 的泛型函数用不到 -
Contravariant几乎只用于回调函数参数类型，日常开发极少手动指定 - 多个
TypeVar之间不要试图用等号约束（如T == U），Python 类型系统不支持这种逻辑表达
运行时有没有办法拿到 TypeVar 的实际类型
没有。Python 的类型提示在运行时被完全擦除，TypeVar 对象本身不携带任何调用时的类型信息。下面这段代码会让人误以为能“取出类型”：
from typing import TypeVar
T = TypeVar('T')
<p>def bad_example(x: T) -> T:
print(T) # 输出的是 TypeVar 对象本身，不是 int/str 等实际类型
return x
</p>
结果永远是 ~T，跟调用无关。如果你真需要运行时类型分发，得靠 typing.get_args() + __orig_class__（仅限泛型类实例），或显式传参（如 def func(x, type_hint: type[T])）。
这点特别容易被忽略：很多人以为加了 TypeVar 就能做运行时类型路由，其实不能。类型提示纯粹服务于静态分析，和 isinstance、type() 完全无关。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
