如何正确子类化Python tuple以通过类型检查？

问题根源在于你定义的tuple子类未声明泛型参数，静态类型检查工具（如mypy）无法识别它是tuple[int, int, int]这类具体泛型tuple的子类型；而你子类化list时用了泛型list[T]，所以类型检查能正常通过。

解决核心是给自定义tuple子类添加泛型支持，让它和原生泛型tuple的类型体系对齐，具体实现如下：

基础泛型子类实现（Python 3.9+） #

from typing import TypeVar, Generic

T = TypeVar('T')

class MyTuple(tuple[T, ...], Generic[T]):
    pass

# 类型检查通过
b: tuple[int, int, int] = MyTuple((1, 2, 3))
# 也可直接指定泛型参数
c: tuple[str, str] = MyTuple[str](("a", "b"))

带自定义__new__方法的实现 #

因为tuple是不可变类型，初始化逻辑需放在__new__方法中，泛型支持同样适用：

from typing import TypeVar, Generic

T = TypeVar('T')

class MyTuple(tuple[T, ...], Generic[T]):
    def __new__(cls, *args: T) -> 'MyTuple[T]':
        # 自定义逻辑示例：校验元素类型
        for arg in args:
            if not isinstance(arg, (int, str)):
                raise TypeError("仅允许int或str类型元素")
        return super().__new__(cls, args)

# 类型检查通过
d: tuple[int, int] = MyTuple(1, 2)
e: tuple[str, str] = MyTuple("x", "y")

为什么list的例子能正常工作？ #

你子类化list时显式使用了泛型参数T，定义了class a(list[T])，这让类型检查器明确a[int]是list[int]的子类型，所以赋值给list[int]类型变量时不会报错。而最初的tuple子类无泛型声明，类型检查器只能将其视为独立的非泛型类型，无法与tuple[int, int, int]兼容。

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