如何为同泛型类型容器的元组列表添加静态类型注解？

错误原因 #

1. 泛型约束范围错误：你定义的ListOfSameContainerTuples[T]要求整个列表的所有元组都必须绑定同一个TypeVar T。但b是Container[B]，c是Container[C]，它们对应的T分别是B和C，无法统一为单一类型，因此mypy无法找到匹配的T，只能显示Container[<nothing>]。
2. 容器类型不变性：Container默认是不变类型，即Container[B]和Container[C]不属于同一个父类型（即使B和C都是A的子类），导致mypy只能把元组类型推断为最宽泛的object。

解决方案1：将Container声明为协变类型 #

如果Container的泛型参数T仅用于输出场景（比如有返回T的方法），可以将其声明为协变类型，这样Container[B]和Container[C]都会被视为Container[A]的子类，从而让mypy正确推断列表类型。

修改后的完整代码：

from typing import TypeVar, Generic

class A(): pass
class B(A): pass
class C(A): pass

# 声明T为协变类型
T = TypeVar("T", bound=A, covariant=True)

class Container(Generic[T]):
    def __init__(self, x: T):  # 修复漏写self的问题
        self.x = x

b: Container[B] = Container(B())
c: Container[C] = Container(C())

ListOfSameContainerTuples = list[tuple[Container[T], Container[T]]]

def foo(containers: ListOfSameContainerTuples[T]) -> None:
    pass

# 合法调用：通过类型检查
foo([(b, b), (c, c)])

# 非法调用：报错符合预期
foo([(c, b), (c, c)])

解决方案2：使用独立泛型约束每个元组 #

如果不想修改Container的变异性，可以用另一个TypeVar来约束每个元组内部的类型一致性，同时允许不同元组使用不同的A子类：

from typing import TypeVar, Generic

class A(): pass
class B(A): pass
class C(A): pass

T = TypeVar("T", bound=A)
# 新增TypeVar用于约束单个元组的类型
U = TypeVar("U", bound=A)

class Container(Generic[T]):
    def __init__(self, x: T):
        self.x = x

b: Container[B] = Container(B())
c: Container[C] = Container(C())

def foo(containers: list[tuple[Container[U], Container[U]]]) -> None:
    pass

# 合法调用：通过类型检查
foo([(b, b), (c, c)])

# 非法调用：报错符合预期
foo([(c, b), (c, c)])

总结 #

• 第一个报错的核心是原类型注解错误地约束了整个列表的泛型类型，而非每个元组内部的类型一致性。
• 通过调整泛型的变异性或使用独立泛型约束元组类型，即可实现需求中的类型检查逻辑。

内容的提问来源于stack exchange，提问作者TrakJohnson