Python继承场景下复用类成员类型作为函数返回类型提示的方法

首先需要先修正示例代码里的基础问题：你定义的ChildModel没有继承Model，本身就不符合类型约束，会直接触发类型报错。
你之前认为泛型不适用这个场景是误解：泛型是目前被MyPy、Pyright等主流Python类型检查器稳定支持的唯一方案，且不需要在实例化时显式传入泛型参数，类型检查器会自动完成推断，完全可以满足方法参数、局部变量、类成员的类型标注需求。 #

兼容所有Python 3.8+版本的通用实现 #

from typing import Type, TypeVar, Generic

class Model:
    pass

class ChildModel(Model):  # 必须继承Model，符合类型边界约束
    childvar = "Child Model"

# 定义绑定到Model子类的类型占位符
T = TypeVar("T", bound=Model)

class Base(Generic[T]):
    var: Type[T]

    def fn(self) -> Type[T]:
        return self.var

# 继承时传入子类绑定的具体Model类型
class Child(Base[ChildModel]):
    var = ChildModel

    def new_fn(self):
        x = self.fn()  # 类型检查器自动推断x为Type[ChildModel]类型
        print(x.childvar)  # 无报错，可正常识别childvar属性

Child().new_fn()  # 正常输出"Child Model"

方案说明 #

• 这个写法彻底解决了你遇到的两个问题：一是子类赋值var属性时不会再报类型不兼容错误，二是fn()的返回类型会和子类定义的var类型严格绑定，不会出现宽泛匹配任意Model子类的问题。
• 你不需要在实例化子类、调用方法时额外指定泛型参数，只需要在类继承阶段声明绑定的具体类型即可。如果使用Pyright作为类型检查器，甚至可以省略继承时的[ChildModel]声明，Pyright会根据子类中var的赋值自动推断泛型参数；但MyPy目前要求显式声明继承的泛型参数，为了跨工具兼容，建议显式写上。
• 所有需要和var类型保持一致的类成员、方法参数、局部变量，都可以直接使用类型变量T做标注，类型检查器会在子类场景下自动替换为对应的具体类型。

为什么直接写-> Type[Model]不生效 #

Type[Model]代表所有继承自Model的类的宽泛类型，类型检查器无法识别子类中var绑定的具体子类，自然无法推断返回值的独有属性（比如例子里的childvar）。同时因为类型检查默认对类属性采用不变性校验，父类宽泛的类型标注会导致子类赋值更具体的类型时触发不兼容报错。
Python 3.11引入的Self类型只能指代当前实例所属的类本身，无法直接引用类属性的类型，因此不能替代泛型实现这个需求。

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