考虑这个简单的问题:
class Number:
def __init__(self, number):
self.number = number
n1 = Number(1)
n2 = Number(1)
n1 == n2 # False -- oops
因此,默认情况下,Python使用对象标识符进行比较操作:
id(n1) # 140400634555856
id(n2) # 140400634555920
覆盖__eq__
函数似乎可以解决问题:
def __eq__(self, other):
"""Overrides the default implementation"""
if isinstance(other, Number):
return self.number == other.number
return False
n1 == n2 # True
n1 != n2 # True in Python 2 -- oops, False in Python 3
在Python 2中,请始终记住也要重写该__ne__
函数,如文档所述:
比较运算符之间没有隐含的关系。的真相x==y
并不意味着那x!=y
是错误的。因此,在定义时__eq__()
,还应该定义一个,__ne__()
以便操作符能够按预期运行。
def __ne__(self, other):
"""Overrides the default implementation (unnecessary in Python 3)"""
return not self.__eq__(other)
n1 == n2 # True
n1 != n2 # False
在Python 3中,不再需要这样做,因为文档指出:
默认情况下,除非为,否则将__ne__()
委托给__eq__()
结果并将其取反NotImplemented
。比较运算符之间没有其他隐含关系,例如,的真相(x<y or x==y)
并不意味着x<=y
。
但这不能解决我们所有的问题。让我们添加一个子类:
class SubNumber(Number):
pass
n3 = SubNumber(1)
n1 == n3 # False for classic-style classes -- oops, True for new-style classes
n3 == n1 # True
n1 != n3 # True for classic-style classes -- oops, False for new-style classes
n3 != n1 # False
注意: Python 2有两种类:
对于经典风格的类,比较操作始终调用第一个操作数的方法,而对于新风格的类,则始终调用子类操作数的方法,而不管操作数的顺序如何。
所以在这里,如果Number
是经典样式的类:
n1 == n3
电话n1.__eq__
;
n3 == n1
电话n3.__eq__
;
n1 != n3
电话n1.__ne__
;
n3 != n1
来电n3.__ne__
。
如果Number
是一个新式类:
- 双方
n1 == n3
并n3 == n1
打电话n3.__eq__
;
- 都
n1 != n3
和n3 != n1
打电话n3.__ne__
。
要解决Python 2经典样式类的==
和!=
运算符的不可交换性问题,当不支持操作数类型时,__eq__
和__ne__
方法应返回NotImplemented
值。该文档将NotImplemented
值定义为:
如果数字方法和丰富比较方法未实现所提供操作数的操作,则可能返回此值。(然后,解释程序将根据操作员尝试执行反射操作或其他回退。)其真实值是true。
在这种情况下操作者的代表的比较操作的反射的方法的的其他操作数。该文档将反映的方法定义为:
这些方法没有交换参数版本(当左参数不支持该操作但右参数支持该操作时使用);相反,__lt__()
and __gt__()
是彼此的反射,__le__()
and __ge__()
是彼此的反射,and
__eq__()
and __ne__()
是自己的反射。
结果看起来像这样:
def __eq__(self, other):
"""Overrides the default implementation"""
if isinstance(other, Number):
return self.number == other.number
return NotImplemented
def __ne__(self, other):
"""Overrides the default implementation (unnecessary in Python 3)"""
x = self.__eq__(other)
if x is NotImplemented:
return NotImplemented
return not x
如果操作数是不相关的类型(无继承),如果需要and 运算符的可交换性,那么即使对于新式类,也要返回NotImplemented
值而不是False
正确的做法。==
!=
我们到了吗?不完全的。我们有多少个唯一数字?
len(set([n1, n2, n3])) # 3 -- oops
集合使用对象的哈希值,默认情况下,Python返回对象标识符的哈希值。让我们尝试覆盖它:
def __hash__(self):
"""Overrides the default implementation"""
return hash(tuple(sorted(self.__dict__.items())))
len(set([n1, n2, n3])) # 1
最终结果如下所示(我在末尾添加了一些断言以进行验证):
class Number:
def __init__(self, number):
self.number = number
def __eq__(self, other):
"""Overrides the default implementation"""
if isinstance(other, Number):
return self.number == other.number
return NotImplemented
def __ne__(self, other):
"""Overrides the default implementation (unnecessary in Python 3)"""
x = self.__eq__(other)
if x is not NotImplemented:
return not x
return NotImplemented
def __hash__(self):
"""Overrides the default implementation"""
return hash(tuple(sorted(self.__dict__.items())))
class SubNumber(Number):
pass
n1 = Number(1)
n2 = Number(1)
n3 = SubNumber(1)
n4 = SubNumber(4)
assert n1 == n2
assert n2 == n1
assert not n1 != n2
assert not n2 != n1
assert n1 == n3
assert n3 == n1
assert not n1 != n3
assert not n3 != n1
assert not n1 == n4
assert not n4 == n1
assert n1 != n4
assert n4 != n1
assert len(set([n1, n2, n3, ])) == 1
assert len(set([n1, n2, n3, n4])) == 2
is
运算符来区分对象标识和值比较。