为什么Mypy试图在Python中实例化我的抽象课程？

Question

如果我有一个像这样的Python模块：

from abc import ABC, abstractmethod

class AbstractClass(ABC):
    @abstractmethod
    def method(self):
        pass

class ConcreteClass1(AbstractClass):
    def method(self):
        print("hello")

class ConcreteClass2(AbstractClass):
    def method(self):
        print("hello")

class ConcreteClass3(AbstractClass):
    def method(self):
        print("hello")

classes = [
    ConcreteClass1,
    ConcreteClass2,
    ConcreteClass3,
]

for c in classes:
    c().method()

并且我用mypy test.py将其击中，我得到了：

test.py:27: error: Cannot instantiate abstract class "AbstractClass" with abstract attribute "method"

不过，代码在没有任何问题的情况下运行，我看不到逻辑上的任何问题。 我绝不会直接尝试实例化AbstractClass。

我注意到的一些奇怪的行为：

如果，我这样做是这样做的：

...
ConcreteClass1().method()
ConcreteClass2().method()
ConcreteClass3().method()

Mypy很高兴。

而不是在循环中进行3堂课

classes = [
    ConcreteClass1,
    ConcreteClass2,
    #ConcreteClass3,
]

for c in classes:
    c().method()

另外，如果我做2： Mypy也对此感到满意， 。 这是怎么回事？这是一个mypy错误吗？如果是这样，我可以告诉Mypy忽略这个“问题”吗？

Answer 1

该问题似乎类似于摘要类和词典的mypy问题某些原因，Mypy不能在列表上没有类型注释的情况下正确打字：（

classes: list[Type[AbstractClass]] = [
    ConcreteClass1,
    ConcreteClass2,
    ConcreteClass3,
]

更改list to list如果您在Python 3.8或以下）

您可能想要要在Mypy Github上提出此错误的问题。