mypy v0.910在Python 3.9中拒绝抽象数据类。这是一个最小可重现的示例:
from abc import ABC, abstractmethod
from dataclasses import dataclass
@dataclass
class Liquid(ABC):
@abstractmethod
def drip(self) -> None:
pass
这是错误信息:
$ mypy --python-version 3.9 so.py
so.py:4: error: Only concrete class can be given where "Type[Liquid]" is expected
Found 1 error in 1 file (checked 1 source file)
我该如何让这段代码通过 mypy?
注
我从mypy问题#5374中了解到,这是一个在2018年首次注意到并仍未得到纠正的mypy错误。但我认为人们必须使用mypy与抽象数据类,因此必须有一种解决方法或正确的定义或注释类的方式。有何建议?
错误消息的基础似乎是mypy假定任何类型为Type
的对象都可以实例化,但是抽象类不能实例化。由于Type
被定义为意味着一个类对象,并不一定是一个具体的类对象(即可以实例化的对象),这似乎是错误的原因。
在包含class Liquid
的行中添加# type: ignore
无法阻止错误消息。由于代码中不包含Type[Liquid]
,我认为它必须是dataclass
生成的代码中。在Python 3.9中,Type
已弃用,但显然dataclass
代码生成器仍会生成它。