Python判断两个对象相等的原理：__eq__、__ne__与__hash__机制解析

概述

大多数Python开发者在日常编码中较少关注对象相等性的底层逻辑，因为常规教程和实践经验表明，如1==1应返回True这类基础比较是理所当然的。然而，当我们需要自定义类或修改内置对象的行为时，若缺乏对原理的理解，极易引发各类难以排查的异常行为。

两个对象如何相等

判断两个对象是否相等比表面看起来更为复杂，其核心机制在于重写__eq__方法。若该方法返回True，则判定两个对象相等；否则视为不相等。反之，若需定义不相等逻辑，则应重写__ne__方法。若未显式实现这些方法，Python将调用父类object的默认实现。object类的默认实现通过比较对象的内存ID（可通过id()函数获取）来判断相等性，即仅当两个对象的ID相同时才判定为相等。这意味着在默认情况下，一个对象仅与自身相等。例如：

>>> class A(object):
...  pass
...
>>>
>>> a = A()
>>> b = A()
>>> a == a
True
>>> a == b
False
>>> id(a)
4343310992
>>> id(b)
4343310928

Python2开发者常犯的一个错误是仅重写__eq__而忽略__ne__，这可能导致不可预知的行为。值得注意的是，Python3已优化此机制，若用户未手动实现__ne__，解释器会自动根据__eq__的结果生成对应的__ne__逻辑。

对象的Hash方法

在Python中，所有可哈希（Hashable）的对象都拥有一个代表其值的数字ID，该ID由对象的__hash__方法返回。因此，若要使自定义对象具备可哈希性，必须同时实现__hash__方法和前文提到的__eq__方法。与相等性判断类似，若未自定义__hash__，对象将继承object类的默认实现，该实现仅计算并返回对象的内存ID。因此，无论两个对象在内容上多么相似，只要它们是不同的实例，其hash值（基于ID）必然不同。那么，当尝试将一个不可哈希的对象添加到set或dict中时，会发生什么？

>>> set().add({})
Traceback (most recent call last):
 File "<stdin>", line 1, in <module>
TypeError: unhashable type: 'dict'
unhashable type: 'dict'

原因在于，set()和dict()内部利用对象的hash值作为索引键，以实现快速查找。因此，确保同一对象在不同时刻返回相同的hash值至关重要。

对象的Hash值在它的生命周期内不能改变

若希望定义一个完善的对象，并实现了__eq__和__hash__方法来定义比较行为和哈希值，则必须保证参与哈希计算的相关属性在对象生命周期内不可变。否则，将导致难以察觉的错误，如下例所示。

>>> class C:
...  def __init__(self, x):
...   self.x = x
...  def __repr__(self):
...   return "C({"+str(self.x)+"})"
...  def __hash__(self):
...   return hash(self.x)
...  def __eq__(self, other):
...   return (
...    self.__class__ == other.__class__ and
...    self.x == other.x
...   )
>>> d = dict()
>>> s = set()
>>> c = C(1)
>>> d[c] = 42
>>> s.add(c)
>>> d, s
({C(1): 42}, {C(1)})
>>> c in s and c in d # c is in both!
True
>>> c.x = 2
>>> c in s or c in d # c is in neither!?
False
>>> d, s
({C(2): 42}, {C(2)}) # but...it's right there!

在修改对象属性（如c.x=2）之前，所有操作均符合预期。然而，当我们执行c.x=2修改属性后，再次执行c in s or c in d却返回False，尽管对象内容确实已更新。这种现象解释了为何str和tuple是可哈希的，而list和dict是不可哈希的。

由此可得出结论：若两个对象相等，则它们的hash值必然相等。

总结

理解上述机制的实际应用价值主要体现在两点：1. 当遇到Unhashable type异常时，能明确错误根源；2. 若定义了可比较的对象，务必确保参与哈希计算的属性在对象生命周期内保持不变，否则可能引发意想不到的逻辑错误。

以上所述是小编给大家介绍的Python判断两个对象相等的原理，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对本站网站的支持！