mypy 在泛型函数中无法将 T: A | B | C 正确推导为具体单一类型，导致返回值类型不匹配；应改用元组形式的约束 T: (A, B, C)，使类型变量绑定精确的具体类型，从而保证 elem.dup() 返回 list[T] 而非联合类型。
mypy 在泛型函数中无法将 `t: a | b | c` 正确推导为具体单一类型，导致返回值类型不匹配；应改用元组形式的约束 `t: (a, b, c)`，使类型变量绑定精确的具体类型，从而保证 `elem.dup()` 返回 `list[t]` 而非联合类型。
在 Python 类型提示中，T: A | B | C 表示 联合上界（union upper bound），即 T 可以是 A、B 或 C 中的任意一个，但 mypy 在类型检查时仅将其视为“T 是 A | B | C 的子类型”，而不会在每次调用时将 T 具体化为某个确定类型。因此，elem.dup() 的返回类型被推导为 list[A] | list[B] | list[C]，而非 list[T] —— 这导致赋值 duplicated: list[T] = elem.dup() 失败，因为联合类型不能安全地赋给单一泛型容器。
正确做法是使用 约束类型变量（constrained type variable），即 T: (A, B, C)（注意括号，是元组字面量，非联合类型）：
from typing import Self, reveal_type, Protocol
class A:
def dup(self) -> list[Self]:
return [self, self]
class B:
def dup(self) -> list[Self]:
return [self, self]
class C:
def dup(self) -> list[Self]:
return [self, self]
def process[T: (A, B, C)](elem: T) -> list[T]:
reveal_type(elem.dup) # Revealed type is "def () -> builtins.list[T@process]"
duplicated: list[T] = elem.dup() # ✅ Now type-checks successfully
return duplicated
process(A()) # T bound to A → returns list[A]
process(B()) # T bound to B → returns list[B]
process(C()) # T bound to C → returns list[C]
✅ 关键区别：
-
T: A | B | C→T是一个可接受A/B/C实例的宽泛上界，类型系统不追踪实际传入的是哪一个； -
T: (A, B, C)→T必须精确等于A、B或C三者之一，每次调用时绑定唯一具体类型，支持精确的协变返回推导。
⚠️ 注意事项：
- 不要混淆
T: HasDup（协议约束）与T: (A, B, C)：前者依赖结构一致性（duck typing），后者要求显式继承或实例兼容性，且更严格、更易推理； -
Self在各dup方法中能正确与T对齐，前提是类未使用@overload或复杂继承链干扰Self解析； - 若未来需扩展支持新类型（如
D），只需更新约束元组：T: (A, B, C, D)，无需修改函数体逻辑。
总结：这不是 mypy 的 bug，而是对类型变量语义的合理设计——联合上界用于放宽输入限制，约束元组才用于确保类型精度。在需要“逐个具体化”的泛型场景中，始终优先选用 T: (X, Y, Z) 形式。
