小编Sot*_*oto的帖子

背景：我使用的是 PyCharm 2019.1 和 Python 3.7

问题：我想创建一个泛型抽象类，这样当我从它继承并将泛型类型设置为具体类型时，我希望继承的方法能够识别具体类型并在类型不匹配时显示警告。

带有子类的通用 ABC

from abc import ABC, abstractmethod
from typing import TypeVar, Generic

T = TypeVar("T")


class FooGenericAbstract(ABC, Generic[T]):

    @abstractmethod
    def func(self) -> T:
        pass


class Foo(FooGenericAbstract[dict]):  # I am specifying T as type dict

    def func(self) -> dict:  # I would like the return type to show a warning, if the type is incorrect
        pass

没有错误类型的警告

我预计这里会出现错误，因为返回类型list与具体类型参数不匹配dict。

class Foo(FooGenericAbstract[dict]):  # I am specifying T as type dict …