Python实现__hash__与__eq__的自定义类作字典键的匹配异常问题

出现这种完全矛盾的现象，本质是字典的哈希查找机制，和你依赖可变属性计算哈希值的自定义键实现，出现了状态不同步。 #

你默认的逻辑是：只要一个对象和字典里存的键满足「id相同、eq判断为真、hash值相等」，字典就一定能找到这个键。但这个逻辑成立有个非常关键的前提：字典在插入键的那一刻计算的哈希值，和你当前查询时为这个对象计算的哈希值，必须完全一致。

Python字典的查找流程从来不是遍历所有键做等值对比，它的固定两步逻辑是：

• 拿到你传入的查询对象，实时计算当前的哈希值，定位到这个哈希值对应的内存槽位
• 只在这个槽位关联的冲突链里，做等值校验，找到真正匹配的键

这个过程里，字典会把每个键插入时计算的哈希值存在自己的内部表项里，永远不会在后续主动重新计算键的哈希值更新槽位。 #

看你提供的类定义就能找到坑点：

• 你用@dataclass装饰了两个Path子类，没有设置frozen=True，所有类的属性都是可以被直接修改的可变状态
• 你手动实现的__hash__方法，完全依赖类的可变属性值：只要configurationName、configurationPath、specificationName这些属性改了，当前算出来的hash值就会变

你实际的执行流程大概率是这样的：

1. 创建问题对象path，在某个属性状态下，把它插入到thedict里——这时候字典会按当时状态下的hash值，把对象存在对应的哈希槽位里
2. 插入完成后，你在业务代码里不小心修改了这个path对象的属性值，导致它的hash值发生了变化，偏移到了另一个哈希区间
3. 你后续又把这个对象的属性改回了现在的状态——这时候对象的id、eq判断、当前计算的hash值都完全正常，但字典内部记住的插入时的那个旧哈希值，和你现在实时计算的hash值已经对不上了

这也是为什么你之前尝试用简单线性流程复现一直失败——复现场景需要满足「插入字典→修改对象属性让hash偏移→再把属性改回原值」的连贯步骤，少一步都触发不了这个错位的状态。

这时候你执行path in thedict的话，第一步计算当前hash找槽位，找到的位置和字典实际存的那个旧槽位完全不重叠，根本不会走到第二步的等值对比，自然就返回False、抛KeyError。 #

你之前的两个验证结果看起来冲突，本质是两个操作的逻辑完全不一样：

• path in list(thedict)返回True：把字典转成列表的时候，是直接遍历字典内部存的所有键引用，完全不经过哈希查找流程，哪怕字典的槽位和当前hash对不上，只要对象的引用确实存在字典的表项里，转成列表就能遍历到
• 从list(thedict.keys())里取出的other和self.path完全一致：因为list(dict.keys())同样是直接遍历内部表项取引用，拿到的本来就是同一个对象，自然id、eq、hash都完全相等
• 但self.path in pf.paths返回False：这一步走的是标准的哈希查找流程，因为对象被修改过，新旧hash值不匹配，槽位找错了，自然找不到

1. 验证根因：你可以直接对比当前对象的hash值，和字典内部存的对应表项的旧hash值——这两个值一定是不相等的，哪怕现在对象的属性和插入时看起来完全一样，只要中间被修改过一次，字典内部存的hash值就是旧的
2. 临时修复：把当前的path对象重新插入一次字典，让字典按当前的hash值重新定位槽位，这时候path in thedict就会立刻返回True
3. 长期规避：不要用可变对象当字典键，要么给Path子类加frozen=True让对象不可变，要么让__hash__依赖对象的不变属性（比如对象创建时生成的唯一id），不要依赖可以被修改的业务属性计算hash

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