これらの派手なTypeVarのPyCharmは何を生成していますか？

Question

私はMyConstrainingClassからのものか、継承クラスに一般的な辞書マッピングテキストキーを実装したいので、次のように私はTypeVarとMyDictクラスを宣言：

from typing import Mapping, TypeVar 

T = TypeVar("T", MyConstrainingClass) 


class MyDict(Mapping[str, T]): 

私は抽象基底クラスのメソッドを実装するためのPyCharmの提案を受け入れると、それは次のような出力を生成します。

class MyList(Mapping[str, T]): 
    def __getitem__(self, k: _KT) -> _VT_co: 
     pass 

    def __iter__(self) -> Iterator[_T_co]: 
     pass 

    def __len__(self) -> int: 
     pass 

たもの_KT、_VT_co、_T_coジェネリック型VARSは何ですか？私はどこにでも自分を定義していないので、スーパークラスから取ったようです。

"KeyType"、 "ValueType covariant"、 "Type（？）共変"とはっきりしていますが、このような一般的なパラメータを作成しなければならない場合や、

Answer 1

PyCharmはMapping declaration in the typing module（またはファイルの独自の内部バージョン）からそれらを取っている：

class Mapping(Collection[KT], Generic[KT, VT_co], 
       extra=collections_abc.Mapping): 
    __slots__ =() 

（Iterableから、基底クラスまで、さらにから継承T_co共変で）。

私はあなたのより具体的なバージョンでこれらの提案を交換したい：私には多くの意味があります

class MyList(Mapping[str, T]): 
    def __getitem__(self, k: str) -> T: 
     pass 

    def __iter__(self) -> Iterator[str]: 
     pass 

    def __len__(self) -> int: 
     pass