PyCharm调用继承BaseRepository的方法时出现同名类型不匹配警告如何解决

问题根源 #

你遇到的两个警告本质都是混淆了类本身和类的实例的类型定义，PyCharm的提示没有明确区分二者，才会出现两个相同类型名不匹配的诡异情况：

1. 最初T = TypeVar('T', bound=Type[BaseModel])时，T代表的是BaseModel子类的类对象，不是实例类型。update方法要求入参是类对象，你传入的是实例，类型不匹配。
2. 改为T = TypeVar('T', bound=BaseModel)后，T代表的是BaseModel子类的实例类型，但BaseRepository的__init__参数声明要求传入实例，你实际传入的是SpecificModel类对象，自然类型不匹配。

解决方案 #

绝大多数场景下Repository是绑定模型类用来做全局查询、实例操作的，只需要调整BaseRepository构造函数的参数类型即可：

from typing import Type, TypeVar, Generic

T = TypeVar('T', bound=BaseModel)

class BaseRepository(Generic[T]):
    # 将入参类型改为 Type[T]，明确接收的是模型类对象而非实例
    def __init__(self, model: Type[T]):
        self._model = model

    def update(self, record: T, *args, **kwargs):
        return record.update(*args, **kwargs)

class SpecificRepository(BaseRepository[SpecificModel]):
    def __init__(self):
        # 这里传入SpecificModel类对象完全符合类型要求
        super().__init__(SpecificModel)

修改后两处警告都会消失：

• update方法入参record: T明确要求传入模型实例，和服务层传入的SpecificModel实例类型匹配
• 构造函数入参model: Type[T]明确要求传入模型类，和你传入的SpecificModel类对象类型匹配

如果你的业务场景是Repository绑定单个模型实例，不需要修改构造函数参数类型，只需要将SpecificRepository的构造函数调用改为传入实例即可：

class SpecificRepository(BaseRepository[SpecificModel]):
    def __init__(self):
        super().__init__(SpecificModel())

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