ユーザ定義された一般的なタイプとcollections.abc

Question

Iはcollections.abc（ETC マッピング、シーケンス）によって提供される基礎知識に基づいて、コレクションの様々な定義Pythonパッケージを有しています。私はPython 3.5で導入されたヒンティング・タイプの機能を利用したいと思っていますが、私はそれについての最善の方法が何であるかについて疑問を抱いています。

これらのクラスの1つを例として取り上げます。

from typing import TypeVar, Hashable, Mapping 

K = TypeVar("K", bound=Hashable) 
V = TypeVar("V") 

class MyMapping(Mapping[K, V]): 
    ... 

しかし、これは二つの問題提起：

を documentationはこのような何かをやって提案し、ジェネリック型にこれを有効にするには

from collections.abc import Mapping 

class MyMapping(Mapping): 
    ... 

：今まで、私はこれを似た何か を持っていました

• クラスは、すべてのmixinメソッドをcollections.abc.Mappingから削除します。私はこれを自分で実装することに対処できますが、それは最初にABCを使用する目的の一部を破ります。

• isinstance(MyMapping(), collections.abc.Mapping)はFalseを返します。また、collections.abc.Mapping.register(MyMapping)を呼び出すと、RuntimeError（ "継承サイクルの作成を拒否する"）が呼び出されます。これらの問題を解決する

私の最初の試みは collections.abc.Mapping の延長に戻っていた。

from typing import TypeVar, Hashable 
from collections.abc import Mapping 

K = TypeVar("K", bound=Hashable) 
V = TypeVar("V") 

class MyMapping(Mapping[K, V]): 
    ... 

をしかし、それはがをcollections.abc.Mappingとして、機能しません。ジェネリック型ではなく、サブスクリプション演算子をサポートしていません。だから私はこれを試した：

from typing import TypeVar, Hashable, Mapping 
from collections.abc import Mapping as MappingABC 

K = TypeVar("K", bound=Hashable) 
V = TypeVar("V") 

class MyMapping(MappingABC, Mapping[K, V]): 
    ... 

しかし、これは魚臭い。インポートとエイリアシングは煩雑で、結果として生じるクラスには曲がりくねったMROがあり、ABCによって提供されるミックスインメソッドにはタイピング情報はありません...

カスタムジェネリックタイプコレクションに基づいてABC？

Answer 1

[Personal Opinion™]：新しいtyping機能の作成は実際にはサポートされていません。これらは、コードの変更を必要としないように一般的なものでなければなりません。あなたのマッピングクラスは、それが任意の共通マッピング（のようなdict）で置き換えることができないので、洗練されている場合は、あなただけの自分自身を使用したほうが良いです：

def foo(bar: MyMapping) -> List: 
    pass 

代わりの

def foo(bar: Mapping[K, V]) -> List: 
    pass 

さて、あなたがしたい場合「タイプ」はtyping.Mappingであなたのクラスをチェックすることができるようにするユーザーが、あなただけのcollections.Mapping

class MyMapping(collections.abc.Mapping): 
    ... # define required methods 

isinstance(MyMapping(), typing.Mapping[K, V]) # --> True 

Answer 2

あなたの元のコードは、トンで正常に動作をサブクラス化する必要があります彼は現在のバージョンのpythonとmypyを使用しています（実装を再利用することも含めてcollections.abc.Mappingから）。

それはnot fully supported yetですので、当分の間、あなたは、bound=Hashableを削除する必要があります。

from typing import TypeVar, Hashable, Mapping 

K = TypeVar("K") 
V = TypeVar("V") 

class MyMapping(Mapping[K, V]): 
    ...