如何通过泛型指定子类方法返回类型，使PyCharm与mypy正确推断？

要让PyCharm和mypy正确推断子类调用add_value方法时返回自身类型而非Mixin类型，你可以通过以下两种方案实现：

方案一：兼容Python 3.8+的泛型绑定方案 #

你的原代码问题在于子类继承Mixin时未指定泛型参数，导致TypeVar默认绑定到Mixin本身。调整后代码如下：

from typing import TypeVar, Generic

# 定义绑定到MyMixin子类的TypeVar
T = TypeVar('T', bound='MyMixin')

class MyMixin(Generic[T]):
    value: int

    # 标注self的类型为T，返回类型也为T
    def add_value(self: T, value: int) -> T:
        # 确保子类的__init__能接收int参数，否则类型检查会报错
        return type(self)(self.value + value)

# 子类继承时显式指定泛型参数为自身
class MyMixinUser(MyMixin['MyMixinUser'], object):
    def __init__(self, value: int):
        self.value = value

关键调整说明： #

• 子类MyMixinUser继承MyMixin时，必须显式传入自身类型作为泛型参数MyMixin['MyMixinUser']，这样TypeVarT会被绑定到子类类型。
• add_value方法中self: T的标注让类型检查工具明确知道调用该方法的实例是子类类型，返回值也对应子类类型。

方案二：Python 3.11+的Self类型方案 #

Python 3.11引入了Self类型，无需泛型参数即可直接指代当前实例的类型，代码更简洁：

from typing import Self

class MyMixin:
    value: int

    def add_value(self, value: int) -> Self:
        return type(self)(self.value + value)

class MyMixinUser(MyMixin, object):
    def __init__(self, value: int):
        self.value = value

说明： #

• Self类型会自动关联到调用方法的实例所属类型，子类调用add_value时，返回类型会被推断为子类本身，无需额外配置。

注意事项 #

无论哪种方案，都要确保子类的__init__方法能接收add_value中传入的参数（示例中是int类型），否则mypy会抛出类型不匹配的错误。如果子类有额外初始化参数，需要调整add_value的实现逻辑以兼容。

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