徐小疼1. 类型槽位到底是什么：先补上类型系统的“占位逻辑”
1.1 从字符串格式化想起的比喻
如果你用过 Python 的字符串格式化，对“槽位”这个词应该不陌生。"Hello, {}!".format(name) 里的 {} 就是一个槽位，它在写代码时是空的，等程序运行到这一行时才把 name 的值填进去。类型系统里也有类似的机制，只不过槽位里填的不是字符串、整数，而是“类型本身”。比如 list[int]、dict[str, float]，方括号里的 int、str、float 就是填进类型槽位的具体类型。
我在实际项目里第一次被“类型槽位”难住，是在做一个通用缓存组件的时候。组件需要支持任意类型的数据缓存，但我不想写死成 dict[str, Any]，否则所有调用方的类型提示全都失效。我得让使用方在实例化时把缓存的数据类型“传”进来，让类型检查工具知道这个缓存对象里装的到底是什么。这就是类型槽位的典型场景：先占住一个位置，等使用者来填。
1.2 Python 里的类型都是一种对象
想理解类型槽位，得先接受一个基础事实：在 Python 里，类本身也是对象。int 是一个类对象，str 是一个类对象，你自己定义的 class User 也是一个类对象。它们可以被赋值给变量、放进列表、作为参数传递。
当你写 list[int] 的时候，list 这个类对象接收了参数 int，通过 __class_getitem__ 这个魔术方法返回了一个新的“泛型别名”对象。这个对象本质上描述的是“一个列表，里面元素的类型是 int”。类型槽位就是在这个机制里留出来的参数位置，它可以接收任意满足约束的类型对象。
这一点和很多人的直觉不一样：类型槽位不是一个运行时的“空盒子”，它更像一个提供给类型检查器和 IDE 的元信息声明。Python 解释器本身并不阻止你往 list[str] 里塞整数，但 mypy、pyright、pylance 这些工具会基于槽位判断出“这里类型不匹配”，从而在写代码阶段就发现问题。
1.3 为什么大家会被“类型槽位”四个字绕晕
“类型槽位”不是一个官方术语，官方文档里叫“类型参数”（type parameter）或“泛型参数”（generic parameter）。中文社区里把它叫“槽位”，是因为这个位置确实承担着“先占位、后填充”的职责。
绕晕的点主要在于：类型参数有两个存在层面。一个是声明层面——你定义一个 class Box[T]，这里的 T 是槽位本身；另一个是使用层面——你写 Box[int]，这里的 int 是填充进槽位的具体类型。同一个符号 T，在定义处是占位，在被继承或被实例化的地方就成了具体的类型引用。如果你没理清这两层，后面看泛型代码基本是看天书。
我的建议是：先记住一句话——类型槽位就是“写给类型检查工具看的参数声明”，它的核心作用是让工具在代码编译前，就能帮你检查出类型不匹配的问题。理解了这一点，再往下学就顺了。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 旧时代的填槽方式：TypeVar 与 Generic 的组合拳
2.1 TypeVar：先造一个“类型变量”
在 Python 3.12 之前，想声明一个类型槽位，默认工具是 typing.TypeVar。它的作用就是创建一个“类型变量”，这个变量可以被当作类型标注使用，但它是泛化的、未确定的。
python复制from typing import TypeVar
T = TypeVar("T")
def pick_first(items: list[T]) -> T:
return items[0]
这里 T 就是一个类型槽位。函数被调用时，mypy 会根据传入的实参推断出具体的类型。比如 pick_first([1, 2, 3])，mypy 会自动把 T 推断为 int，于是返回值的类型标注也是 int。如果你传入 ["a", "b"]，T 就被推断成 str。
注意，TypeVar("T") 的字符串参数 "T" 是必须写的，而且通常要和变量名保持一致。这个字符串既用于运行时显示，也用于某些内省场景。你要是写成 TypeVar("X") 再赋给变量 T，不会报错，但会影响类型检查器的可读性，我也见过有库因为这个操作符名对不上而出现奇怪告警。
2.2 Generic[T]：让类拥有类型槽位
函数签名里用 T 只解决“这一个函数的参数和返回值类型要关联”的问题。如果你想要一个类整体持有类型槽位，比如一个缓存类、一个队列类、一个响应包装类，就需要让类继承 Generic[T]。
python复制from typing import Generic, TypeVar, Optional
T = TypeVar("T")
class Cache(Generic[T]):
def __init__(self) -> None:
self._data = {}
def set(self, key: str, value: T) -> None:
self._data[key] = value
def get(self, key: str) -> Optional[T]:
return self._data.get(key)
这样定义之后，使用方可以写 Cache[int] 或 Cache[User]。mypy 会检查 set 方法接收的类型是否和实例化时传入的类型一致，get 方法的返回值也会带上这些类型信息。这比 Optional[Any] 强太多了，至少调用方不用再做手工类型断言。
我第一次用 Generic[T] 写这种东西时，最常犯的错误是忘了 T 到底绑定了没有。如果我在一个非泛型类里直接写 def get(self) -> T，mypy 立刻就会报“Type variable is unbound”。原因很简单：槽位必须先在类或函数层面声明，才能继续使用。泛型类的继承列表里的 Generic[T] 就是“声明槽位存在”的最主要方式之一。
2.3 多类型槽位与约束
一个类或函数也可以有多个类型槽位。比如一个成对容器 Pair[A, B]，或者一个“键值对”模型 KeyValue[K, V]。写法就是在 TypeVar