공유 된 임의 유형으로 결합 된 추상 클래스에 대한 유형 주석

(저는 Python의 유형 주석 및 mypy에 익숙하지 않으므로 XY 문제가 발생하지 않도록 내 문제를 자세히 설명하고 있습니다)

임의이지만 고정 된 유형의 값을 교환하는 두 개의 추상 클래스가 있습니다.

from __future__ import annotations

from abc import ABC, abstractmethod
from typing import Generic, TypeVar


T = TypeVar('T')  # result type


class Command(ABC, Generic[T]):
    @abstractmethod
    def execute(self, runner: Runner[T]) -> T:
        raise NotImplementedError()


class Runner(ABC, Generic[T]):
    def run(self, command: Command[T]) -> T:
        return command.execute(self)

이 인터페이스의 구현에서 Command하위 클래스는 내 Runner하위 클래스 의 속성에 액세스해야합니다 (명령이 다른 기능을 가진 실행기에 적응할 수 있다고 상상해보십시오).

class MyCommand(Command[bool]):
    def execute(self, runner: Runner[bool]) -> bool:
        # Pseudo code to illustrate dependency on runner's attributes
        return runner.magic_level > 10


class MyRunner(Runner[bool]):
    magic_level: int = 20

이것은 예상대로 작동하지만 mypy를 만족시키지 않습니다.

mypy_sandbox.py:24: error: "Runner[bool]" has no attribute "magic_level"  [attr-defined]

분명히 mypy는 정확합니다. magic_level속성은에 정의되어 MyRunner있지만에 정의되어 있지 않습니다 Runner(에 대한 인수 유형 execute). 따라서 인터페이스가 너무 일반적입니다. 명령은 러너와 함께 작동 할 필요가없고 일부 러너에서만 작동합니다. 따라서 Command지원되는 러너 클래스를 캡처하기 위해 두 번째 유형 var에서 제네릭을 만들어 보겠습니다 .

R = TypeVar('R')  # runner type
T = TypeVar('T')  # result type


class Command(ABC, Generic[T, R]):
    @abstractmethod
    def execute(self, runner: R) -> T:
        raise NotImplementedError()


class Runner(ABC, Generic[T]):
    def run(self, command: Command[T, Runner[T]]) -> T:
        return command.execute(self)


class MyCommand(Command[bool, MyRunner]):
    def execute(self, runner: MyRunner) -> bool:
        # Pseudo code to illustrate dependency on runner's attributes
        return runner.magic_level > 10


# MyRunner defined as before

이것은 mypy를 만족하지만 코드를 사용하려고하면 mypy가 다시 불평합니다.

if __name__ == '__main__':
    command = MyCommand()
    runner = MyRunner()
    print(runner.run(command))

mypy_sandbox.py:35: error: Argument 1 to "run" of "Runner" has incompatible type "MyCommand"; expected "Command[bool, Runner[bool]]"  [arg-type]

이번에는 오류를 이해하지 못합니다. MyCommandis a subclass of Command[bool, MyRunner], MyRunneris a subclass of Runner[bool], so is MyCommandin compatible with Command[bool, Runner[bool]]?

그리고 mypy가 만족 스러웠다면 mypy 불평없이 (에 묶여 있지 않기 때문에 ) "다른 값"을 사용 Command하는 Runner서브 클래스를 가진 서브 클래스를 구현할 수있을 것입니다 . 시도 했지만 또 다른 오류가 발생합니다.TRTR = TypeVar('R', bound='Runner[T]')

error: Type variable "mypy_sandbox.T" is unbound  [valid-type]

위에서 설명한 확장이 가능하지만 올바르게 유형 검사되도록하려면 어떻게 유형 주석을 달 수 있습니까?