継承された型ヒントをPythonで持つ方法は？

Question

私の問題は、物事を行うタイプAのクラスを持っていて、それらの関数をサブクラス（B）として使用すると、それらはクラスAのために型付きされ、クラスBオブジェクトを引数として受け取りません。 。簡略化され

私の問題：

from typing import TypeVar, Generic, Callable 

T = TypeVar('T') 


class Signal(Generic[T]): 
    def connect(self, connector: Callable[[T], None]) -> None: 
     pass 

    def emit(self, payload: T): 
     pass 


class A: 
    def __init__(self) -> None: 
     self.signal = Signal[A]() 

    def do(self) -> None: 
     self.signal.emit(self) 

def handle_b(b: "B") -> None: 
    print(b.something) 

class B(A): 
    def __init__(self) -> None: 
     super().__init__() 
     self.signal.connect(handle_b) 

    @property 
    def something(self) -> int: 
     return 42 

は、私は同様に完全な信号クラスを提供することができますが、それは単に問題からそらします。これにより、mypy - >エラーに1つのエラーが表示されます。 "Signal"の "connect"への引数1に、互換性のない型Callable [[B]、None]があります。予想される呼び出し可能な[[A]、[なし]シグナル処理は、それが明確に問題ないはずにもかかわらず、B型のオブジェクトが返されることを期待することはできませんサブクラスBに実装されているため

...

Answer 1

タイプヒントのエラーは完全に正しいです。あなたはAの__init__方法では、タイプとしてAでSignalインスタンスを作成：サブクラスに渡す

self.signal = Signal[A]() 

は大丈夫ですが、そのSignalインスタンスと対話するすべてのコードは今だけAインスタンスのために働くを持っています。一方、handle_b()はBのインスタンスを必要とし、その代わりに要求をAに引き下げることはできません。

ドロップ制約：

self.signal = Signal() 

又は正しいタイプと各サブクラスでインスタンスを作成します。