python - 为什么 mypy 不理解这个对象实例化？

Question

我正在尝试定义一个将另一个类作为属性_model并实例化该类的对象的类。

from abc import ABC
from typing import Generic, TypeVar, Any, ClassVar, Type

Item = TypeVar("Item", bound=Any)


class SomeClass(Generic[Item], ABC):
    _model: ClassVar[Type[Item]]

    def _compose_item(self, **attrs: Any) -> Item:
        return self._model(**attrs)

我认为self._model(**attrs)返回 , 的实例应该很明显Item，因为_model它被显式声明为Type[Item]并且attrs被声明为Dict[str, Any]。

但我得到的mypy 0.910是：

test.py: note: In member "_compose_item" of class "SomeClass":
test.py:11: error: Returning Any from function declared to return "Item"
            return self._model(**attrs)
            ^

我究竟做错了什么？

Answer 1

MyPy 有时可能对类的类型有点滑稽。您可以通过指定为（毕竟这不是谎言）而不是：_modelCallable[..., Item]Type[Item]

from abc import ABC
from typing import Generic, TypeVar, Any, ClassVar, Callable

Item = TypeVar("Item")


class SomeClass(Generic[Item], ABC):
    _model: ClassVar[Callable[..., Item]]

    def _compose_item(self, **attrs: Any) -> Item:
        return self._model(**attrs)