collections.abcの一貫性のない実装

Question

私はcollections.abcソースコードを理解しようとしています。

のはHashableクラスの__subclasshook__実装に見てみましょう：

ここ

@classmethod 
def __subclasshook__(cls, C): 
    if cls is Hashable: 
     for B in C.__mro__: 
      if "__hash__" in B.__dict__: 
       if B.__dict__["__hash__"]: 
        return True 
       break 
    return NotImplemented 

私たちは、最初にすべての財産hashと、それは非偽の値を持っていることを確認するよりもがあることを確認してください。このロジックは、Awaitableクラスでも表示されます。

そしてAsyncIterableクラスの__subclasshook__：ここ

@classmethod 
def __subclasshook__(cls, C): 
    if cls is AsyncIterable: 
     if any("__aiter__" in B.__dict__ for B in C.__mro__): 
      return True 
    return NotImplemented 

我々はそこ__aiter___財産であり、このロジックは、このパッケージから、他のクラスで提示されていることを確認してください。

この論理的な違いは何かありますか？

Answer 1

__hash__ protocolは、明示的に、__hash__ = Noneを設定することによって、クラスにフラグを立てることができます。

クラス[...]がハッシュサポートを抑制したい場合は、クラス定義に__hash__ = Noneを含める必要があります。

理由はa == bは常にhash(a) == hash(b)を必要とすることです。それ以外の場合は、dict,setなどのデータ構造が破損します。子クラスが__eq__を明示的に変更する場合、これはもはや真実ではない可能性があります。したがって、__hash__には、該当しないとフラグを付けることができます。