我设法在Python 3.4和3.7上重现了这一点。
考虑:
class Comparable:
def _key(self):
raise NotImplementedError
def __hash__(self):
return hash(self._key())
def __eq__(self, other):
...
def __lt__(self, other):
...
class A(Comparable): pass
class B(A):
def __str__(self):
return "d"
def __eq__(self, other):
return isinstance(self, type(other))
def _key(self):
return str(self),
b = B()
很显然,我们希望在这里定义b.__hash__
,因为它是在Comparable
下定义的,B
是其子类。
Lo并已定义,但计算结果为None
。有什么作用?
>> b
<__main__.B object at 0x00000183C9734978>
>> '__hash__' in dir(b)
True
>> b.__hash__
>> b.__hash__ is None
True
>> B.__mro__
(<class '__main__.B'>, <class '__main__.A'>, <class '__main__.Comparable'>, <class 'object'>)
>> isinstance(b, Comparable)
True
如果在__init__
和super().__init__()
中将Comparable
实现为A
,则会再现相同的行为。