IDictionary<TKey, TValue> 替换值的实现和契约

Question

在使用this[key] = newValue 实现值替换时我应该遵循接口IDictionary<TKey, TValue> 的“合同”吗？一个例子：

IDictionary<MyKey, string> dict = CreateEmptyDict();
var k1 = new MyKey(123);
var k2 = new MyKey(123);  
dict.Add(k1, "foo");
dict[k2] = "bar";

k1 和 k2 是这样的 k1.Equals(k2) 并且它们具有相同的哈希码，但它们是引用类型，所以 ReferenceEquals(k1, k2) == false。

BCL Dictionary<TKey, TValue> 将包含 (k1, "bar")。 我的问题是：对于IDictionary<TKey, TValue> 的任何实现，我真的应该遵循这个“合同”吗？或者如果在底层数据结构中更容易这样做，我可以让我的实现包含(k2, "bar")？

Answer 1

至少在某种程度程度上是特定于实现的。例如，Dictionary<,> 允许您指定 IEqualityComparer<T> 用于检查键是否相等，而 SortedDictionary<,> 根本不使用 Equals 和 GetHashCode - 相反，它使用 IComparer<T> 来检查键排序。

创建一个依赖于单独引用相等性的字典是完全合理的 - 但请确保您非常仔细地记录它。我会注意到，您实际上并不需要自己实现IDictionary<,> 来执行此操作...您只需要使用Dictionary<,> 和使用引用相等和RuntimeHelpers.GetHashCode() 的自定义相等比较器来获取@987654331 的哈希码@ 如果没有被覆盖，就会使用它。

实现字典会非常非常奇怪，这样您就可以多次添加确切的 same 值作为键 - 但是您如何判断键实际上是否相等是不同的没关系，IMO。