Как избежать повторения подсказков типа при переоценке родительского метода? ⇐ Python

[Anonymous]

У меня есть этот код: < /p>

Код: Выделить всё

class A:
def f(self, a: int) -> int:
raise NotImplementedError

class B(A):
def f(self, a):
return a

Однако Mypy -Strict говорит мне, что B.F "отсутствует аннотацию типа". Мне кажется очевидным, что B.F имеет те же типы, что и A.F , особенно с учетом того, что Mypy показывает мне ошибку, если я попытаюсь поместить разные:

Код: Выделить всё

class B(A):
def f(self, a: bool) -> str:
return str(a)
< /code>
error: Return type "str" of "f" incompatible with return type "int" in supertype "A"  [override]
error: Argument 1 of "f" is incompatible with supertype "A"; supertype defines the argument type as "int"  [override]
note: This violates the Liskov substitution principle
note: See https://mypy.readthedocs.io/en/stable/common_issues.html#incompatible-overrides
< /code>
Since mypy already knows the expected types of B.f

, почему это заставляет меня переоборудовать их? Есть ли способ избежать этого?


Подробнее здесь: https://stackoverflow.com/questions/797 ... ent-method