Dart中Map与==运算符的工作机制及异常现象解析

这是语言特性，不是Bug #

你遇到的问题本质是违反了Dart中==运算符与hashCode的一致性规则：

• 核心规则：如果两个对象通过==判断为相等，它们的hashCode必须完全相同；反之，如果两个对象的hashCode不同，==必须返回false。
• 你的第一段代码中，==判断逻辑是other.x == -x，但如果hashCode是基于x本身计算的（比如hashCode = x.hashCode），那么x=5和x=-5的两个实例会出现「==返回true，但hashCode完全不同」的矛盾，破坏了一致性规则。此时Map会将它们判定为不同的键，自然不会覆盖原有值，而是重复添加新条目。

其他高级语言的类似情况 #

Java、C#等语言的哈希表实现（比如Java的HashMap、C#的Dictionary）都有完全相同的规则。如果违反相等性与哈希值的一致性，同样会出现键匹配失效、重复添加的问题。

Dart Map的键检查逻辑与复杂度 #

默认的Dart Map是HashMap实现，其键检查流程和复杂度如下：

1. 哈希分组：首先计算键的hashCode，根据哈希值定位到对应的哈希桶，这一步平均复杂度为O(1)。
2. 桶内匹配：在目标哈希桶中遍历元素，用==运算符逐个比较键，找到匹配项则更新值；若遍历完无匹配项，则添加新条目。这一步平均复杂度O(1)，最坏情况（所有键的哈希值冲突，落入同一个桶）为O(n)。

补充：如果没有重写==和hashCode，Dart默认使用引用相等（仅对象地址相同时视为相等），hashCode基于对象身份计算，此时Map确实是O(1)的引用映射。但一旦重写这两个方法，必须严格遵守一致性规则，否则会破坏Map的正常工作逻辑。

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