（クラスインスタンスではなく）型インスタンスに注釈を付けるにはどうすればよいですか？

Question

クラスのインスタンスではなくクラスオブジェクトが必要な関数の引数にアノテーションを付ける適切な方法は何ですか？

以下の例では、some_class引数は（WICHがクラスである）型のインスタンスであると予想されるが、ここでの問題はtypeが広すぎるということである：

some_classがA期待場合

def construct(some_class: type, related_data:Dict[str, Any]) -> Any: 
    ... 

タイプオブジェクトの特定のセットは、typeを使用してまったく助けません。 typingモジュールは、これを行い、一般的なクラスを必要としているかもしれない：上記の例で

def construct(some_class: Class[Union[Foo, Bar, Baz]], related_data:Dict[str, Any]) -> Union[Foo, Bar, Baz]: 
    ... 

は、 some_classは Foo、 Barまたは Fazクラスではなく、それのインスタンスです。 some_class: Class[Foo]も有効なケースである必要があるため、クラスツリー内の位置は関係ありません。したがって、

# classes are callable, so it is OK 
inst = some_class(**related_data) 

または

# instances does not have __name__ 
clsname = some_class.__name__ 

または

# an operation that only Foo, Bar and Baz can perform. 
some_class.a_common_classmethod() 

は、PyCharmをpytypeをmypyためにOKであるべき、など

これは、（現在の実装で行うことができますどのようにPython 3.6以前）？

Answer 1

クラスであるオブジェクトに注釈を付けるには、typing.Typeを使用します。 Type[Union[Foo, Bar, Baz]]とUnion[Type[Foo], Type[Bar], Type[Baz]]が完全に等価であること

from typing import Type 
class Foo: ... 
class Bar(Foo): ... 
class Baz: ... 
some_class: Type[Foo] 
some_class = Foo # ok 
some_class = Bar # ok 
some_class = Baz # error 
some_class = Foo() # error 

注：例えば、これは、some_classクラスFooまたはそのサブクラスのいずれかであること型チェッカーを言うだろう。

some_classが複数のクラスのいずれかである場合は、それらがすべて同じ基本クラスから継承され、Type[BaseClass]を使用することができます。継承は今は非仮想でなければならないことに注意してください（仮想継承のためのmypyサポートはbeing discussedです）。

Type[Union[...が許可されていることを確認して編集しました。