使用vars()实现Python类的__eq__与__hash__是否符合哈希函数要求？

你当前的实现能满足基本语法要求，但作为通用基类时存在不少隐患，不符合良好哈希的严格要求，具体问题和优化思路如下：

现有实现的问题 #

1. __eq__方法的缺陷 #

• 不支持__slots__：如果子类使用__slots__节省内存，vars(self)会抛出TypeError（使用__slots__的实例没有__dict__属性）。
• 缺少类型检查：两个不同子类的实例，只要__dict__内容相同就会被判定为相等，但通常不同类型的对象不应被视为相等。
• 忽略父类/子类差异：父类实例和子类实例若__dict__内容一致，也会被误判为相等，不符合面向对象的类型逻辑。

2. __hash__方法的缺陷 #

• 字符串转换的不确定性：不同类型的值转字符串可能出现冲突，若实例包含可变对象（比如列表），str()的结果会随对象内容变化，导致实例哈希值动态改变，破坏哈希稳定性（放进集合或使用lru_cache后会出问题）。
• 仅基于值而非键值对：只取vars(self).values()排序哈希，会忽略属性名——比如实例A的a=1、b=2和实例B的a=2、b=1，值的排序结果相同，哈希值一致，但实际属性完全不同，会增加哈希冲突概率，降低缓存或集合的效率。

优化后的实现 #

作为通用基类，需要兼容__slots__、保证类型一致性，同时让__hash__与__eq__基于完全相同的判断依据：

def __eq__(self, other: object) -> bool:
    # 先判断类型是否一致
    if not isinstance(other, self.__class__):
        return False
    
    # 兼容__slots__和__dict__两种属性存储方式
    if hasattr(self, '__slots__'):
        self_attrs = {
            slot: getattr(self, slot) 
            for slot in self.__slots__ 
            if hasattr(self, slot)
        }
        other_attrs = {
            slot: getattr(other, slot) 
            for slot in other.__slots__ 
            if hasattr(other, slot)
        }
    else:
        self_attrs = vars(self)
        other_attrs = vars(other)
    
    return self_attrs == other_attrs

def __hash__(self) -> int:
    # 与__eq__使用完全一致的属性集合计算哈希
    if hasattr(self, '__slots__'):
        # 对slot名称排序，保证属性顺序不影响哈希值
        attrs = tuple(
            getattr(self, slot) 
            for slot in sorted(self.__slots__) 
            if hasattr(self, slot)
        )
    else:
        # 对键值对排序，避免__dict__插入顺序影响哈希
        attrs = tuple(sorted(vars(self).items()))
    
    return hash(attrs)

关键注意事项 #

• 子类属性的可变性：如果子类实例包含可变属性（比如列表、字典），必须确保这些属性不会被修改，或者将其排除在__eq__和__hash__的判断之外——否则实例哈希值会随属性变化而改变，导致集合、lru_cache等功能异常。
• 子类自定义逻辑：如果子类需要扩展__eq__，应先调用super().__eq__(other)，再添加子类特有的判断逻辑，保证基类的一致性规则被继承。
• 类型判断的灵活性：如果需要允许子类与父类实例比较相等，可以调整类型检查逻辑，但不建议随意放宽，避免逻辑混乱。

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