collections.abc 的实现不一致

Question

我正在尝试理解collections.abc 源代码。

我们来看看Hashableclass'__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__ 可以被标记为不适用。