Python 3.12+中如何无需重复约束即可子类化带限制的泛型类？

在Python 3.12的新泛型语法（PEP 695）中，你遇到的是当前类型检查器（如mypy 1.15.0）的实现限制，暂时无法自动继承基类类型变量的约束，必须通过显式方式处理。

为什么class Sub[T](Base[T])会报错？ #

这里的T是子类中新定义的无约束类型变量，和基类Base中带int | float约束的T并非同一个类型变量。类型检查器会判定这个无约束的T不满足基类对类型参数的要求，因此抛出错误。

可行的解决方案 #

1. 显式重复类型约束 #

这是目前最直接的兼容方式，虽然繁琐，但能正常通过类型检查：

class Base[T: (int, float)]:
    pass

class Sub[T: (int, float)](Base[T]):
    pass

2. 复用传统TypeVar定义（兼容新旧语法） #

如果可以接受混合使用新旧语法，你可以用传统的TypeVar定义带约束的类型变量，子类就能直接复用该变量而无需重复约束：

from typing import TypeVar

T = TypeVar("T", int, float)

class Base[T]:  # 采用3.12简洁语法，复用传统TypeVar的约束
    pass

class Sub[T](Base[T]):
    pass

这种方式既利用了3.12泛型语法的简洁性，又避免了重复约束的麻烦。

现状说明 #

截至mypy 1.15.0，纯PEP 695语法下确实无法自动继承基类类型变量的约束。这并非Python语法本身的限制，而是类型检查器的实现尚未支持该特性。未来的mypy版本可能会添加自动推导约束的功能，但目前只能通过上述两种方式解决。

内容的提问来源于stack exchange，提问作者Daniel Konečný