重载方法并调用 super

问题描述

我有一个带有方法 Animal 的类 foo，其返回类型取决于 inplace 的值。

同样，对于子类 Cat。

到目前为止，一切都很好。但是，如果我在 super().foo 中调用 Cat，则会出现错误。

from __future__ import annotations

from typing import Optional,overload,Literal,TypeVar

CatOrDog = TypeVar('CatOrDog',bound='Animal')


class Animal:

    @overload
    def foo(self: CatOrDog,inplace: Literal[False]=...) -> CatOrDog: ...

    @overload
    def foo(self: CatOrDog,inplace: Literal[True]) -> None: ...

    def foo(
        self: CatOrDog,inplace: bool = False
    ) -> Optional[CatOrDog]:
        ...


class Cat(Animal):

    @overload
    def foo(self,inplace: Literal[False]=...) -> Cat: ...

    @overload
    def foo(self,inplace: Literal[True]) -> None: ...

    def foo(self,inplace: bool = False):
        return super().foo(inplace=inplace)

main.py:31: error: No overload variant of "foo" of "Animal" matches argument type "bool"
main.py:31: note: Possible overload variants:
main.py:31: note:     def foo(self,inplace: Literal[False] = ...) -> Cat
main.py:31: note:     def foo(self,inplace: Literal[True]) -> None
Found 1 error in 1 file (checked 1 source file)

https://mypy-play.net/?mypy=latest&python=3.9&gist=49da369f6343543769eed2060fa61639

我不明白为什么会失败 - Animal 确实有一个 foo 的重载变体，它与参数类型 bool 匹配。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

mypy python static-typing