重载方法并调用 super

如何解决重载方法并调用 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 匹配。