Python中in操作符底层机制：自定义类对象比较细节

让我们一步步拆解这个问题，从in操作符的通用行为，到自定义类实例的比较逻辑，再到底层的方法调用细节。

一、in操作符的核心行为 #

in操作符的作用是检查某个元素是否存在于可迭代对象中，但它的实现逻辑取决于容器的类型：

• 序列容器（列表、元组、字符串等）：采用线性遍历的方式，逐个取出容器中的元素，与目标对象执行==比较。只要有一个元素与目标对象相等，in就返回True；遍历完所有元素都不匹配时返回False。这个过程完全不依赖哈希（__hash__）方法。
• 哈希容器（集合、字典的键、frozenset等）：利用哈希表实现快速查找。步骤是：
  1. 先计算目标对象的哈希值（通过调用__hash__方法）；
  2. 根据哈希值找到对应的哈希桶；
  3. 在桶内用==比较元素（调用__eq__方法），判断是否存在匹配项。
     这种方式的时间复杂度是O(1)（平均情况），远快于序列容器的O(n)。

二、你的代码背后的比较逻辑（自定义类A的情况） #

你的代码中A(1) in my_list返回True，A(-3) in my_list返回False，这说明类A一定重写了__eq__方法——因为Python自定义类的默认行为不是这样的。

1. 默认的自定义类行为（未重写__eq__） #

如果类A没有重写__eq__，Python会使用默认的实现：比较两个对象的内存地址（等价于is操作符）。此时：

class A:
    def __init__(self, val):
        self.val = val

my_list = [A(1), A(2), A(3)]
print(A(1) in my_list)  # 输出False，因为A(1)是新实例，内存地址和列表里的A(1)不同

这种情况下，in操作会遍历列表，但每个==比较都返回False，所以最终结果是False。

2. 重写__eq__后的行为（你的代码场景） #

你的代码返回True，说明类A应该重写了__eq__方法，基于实例的属性（比如val）来判断相等性。例如：

class A:
    def __init__(self, val):
        self.val = val
    
    def __eq__(self, other):
        # 先判断other是否是A的实例，避免和其他类型对象比较出错
        if not isinstance(other, A):
            return False
        # 基于val属性判断相等
        return self.val == other.val

此时，当执行A(1) in my_list时：

• 遍历列表中的第一个元素A(1)（列表里的实例）；
• 执行A(1) == A(1)（新实例 vs 列表里的实例），调用重写的__eq__方法，比较两者的val都是1，返回True；
• in操作立即返回True，无需继续遍历。

而A(-3) in my_list时，遍历所有元素后，没有任何一个实例的val等于-3，所以==比较全为False，最终返回False。

3. 关于__hash__方法的细节 #

这里需要注意：如果你的类要用到哈希容器（比如把实例放到集合里，或者作为字典的键），那么重写__eq__时必须同时重写__hash__，否则会导致行为异常。

Python的规则是：如果两个对象通过__eq__判断相等，它们的__hash__返回值必须相等；反之，哈希值相等的对象不一定相等（哈希冲突）。

例如，正确的重写方式：

class A:
    def __init__(self, val):
        self.val = val
    
    def __eq__(self, other):
        if not isinstance(other, A):
            return False
        return self.val == other.val
    
    def __hash__(self):
        # 基于val的哈希值，保证相等实例的哈希值相同
        return hash(self.val)

如果只重写__eq__不重写__hash__，默认的__hash__会基于内存地址，导致两个==相等的实例哈希值不同，放到集合里会被当成两个不同的元素，无法正确查找。

但在你的代码中，因为用的是列表（序列容器），in操作不依赖__hash__，所以即使没有重写__hash__，也能得到正确的结果——不过从规范角度来说，重写__eq__时还是应该同步重写__hash__。

总结 #

• 列表中的in操作是线性遍历，逐个用==比较，依赖__eq__方法；
• 你的代码返回True，是因为类A重写了__eq__，基于实例属性判断相等；
• 哈希容器的in操作需要__hash__和__eq__配合，序列容器只需要__eq__；
• 重写__eq__时务必同步重写__hash__，遵循Python的哈希一致性规则。

内容的提问来源于stack exchange，提问作者quester