本文详解为何 mypy 无法从 union[type[a], type[b]] 推导出 homogenous list[a] 或 list[b]，并提供基于 typevar 的泛型解决方案，确保类型安全且语义清晰。
本文详解为何 mypy 无法从 union[type[a], type[b]] 推导出 homogenous list[a] 或 list[b]，并提供基于 typevar 的泛型解决方案，确保类型安全且语义清晰。
在 Python 类型检查（尤其是 mypy）中，一个常见误区是认为 Union[type[A], type[B]] 参数能“动态决定”返回值的具体类型。例如，当函数签名声明返回 Union[list[A], list[B]]，而内部仅调用一次 a() 构造实例时，开发者直觉上期望：若传入 A，则返回 list[A]；若传入 B，则返回 list[B]。但 mypy 的静态类型系统不执行运行时路径分析——它仅基于类型注解做保守推断。
关键问题在于：a: Union[type[A], type[B]] 表示 a 可能是 A 的类对象，也可能是 B 的类对象，但类型检查器无法确定具体是哪一个。因此，表达式 a() 的类型被保守推断为 Union[A, B]（即 A | B），进而导致列表推导式 [a() for x in items] 的结果类型为 list[A | B]，而非所需的 list[A] | list[B]。注意：list[A | B] 与 Union[list[A], list[B]] 在类型系统中完全不等价——前者表示“元素可混杂 A 和 B 的列表”，后者表示“要么是纯 A 列表，要么是纯 B 列表”。
✅ 正确解法：使用约束型 TypeVar（Constrained TypeVar）
通过引入 TypeVar('T', A, B)，我们将函数建模为泛型重载行为，而非单一宽泛联合类型。mypy 将据此为每个具体类型实参生成独立的类型签名：
立即学习“Python免费学习笔记（深入）”；
from typing import TypeVar, List, Type
class A: pass
class B: pass
T = TypeVar('T', A, B)
def f(items, t: Type[T]) -> List[T]:
return [t() for _ in items]此时，调用行为获得精确类型推断：
- f([1, 2], A) → 返回 List[A]
- f([1, 2], B) → 返回 List[B]
- f([1, 2], int) → 类型错误（int 不在 T 的约束范围内）
⚠️ 注意事项：
- 避免使用 Union[type[A], type[B]] 作为参数类型来表达“二选一”的构造器意图——这本质上是类型建模失配；
- 若需支持更多类（如 C, D），只需扩展 TypeVar('T', A, B, C, D)；
- Type[T] 明确表示“T 的类对象”，比裸 type[T] 更符合 PEP 484 规范（后者在较新 mypy 版本中已弃用）；
- 此方案天然兼容类型检查器的泛型推导逻辑，无需 # type: ignore 或复杂类型断言。
总结：静态类型检查依赖显式、可推导的类型结构。当语义上要求“输入类型决定输出容器元素类型”时，TypeVar 是标准、健壮且可扩展的解决方案；而 Union 适用于真正需要运行时混合类型的场景（如 Union[int, str]），不应滥用作多态分发的替代品。
