为什么我不能比较 KeyValuePair和 KeyValuePair默认情况下

Question

在 .Net 2.5 中，我通常可以在值与其默认类型之间进行相等比较 (==)

if (myString == default(string))

运行相等比较时，出现以下异常：

但是，当我尝试对默认 KeyValuePair 和 KeyValuePair代码示例（来自预编译） 扩展方法，原型 lambda 静态 ListUtilities 类 :) )

public static TKey 
        FirstKeyOrDefault<TKey, TValue>(Dictionary<TKey, TValue> lookups, 
                   Predicate<KeyValuePair<TKey, TValue>> predicate)
{
    KeyValuePair<TKey, TValue> pair = FirstOrDefault(lookups, predicate);

    return pair == default(KeyValuePair<TKey, TValue>) ? 
                   default(TKey) : pair.Key;
}

异常：

运算符“==”不能应用于 类型的操作数 'System.Collections.Generic.KeyValuePair<字符串，对象>' 和 'System.Collections.Generic.KeyValuePair<字符串，对象>'

是因为作为一个结构体，KeyValuePair 不可为空吗？如果是这种情况，为什么默认是为了处理不可为空的类型而实现的？

编辑郑重

声明，我选择@Chris Hannon作为选定的答案，因为他给了我我正在寻找的东西、最优雅的选项和简洁的解释，但是我确实鼓励阅读@Dasuraga关于为什么会出现这种情况的非常全面的解释

Answer 1

发生这种情况是因为 KeyValuePair 未定义自定义 == 运算符，并且未包含在可以使用它的值类型的预定义列表中。

以下是 MSDN 文档的链接 对于该操作员。

对于预定义值类型，如果操作数的值相等，则相等运算符 (==) 返回 true，否则返回 false。

在这种情况下，进行相等性检查的最佳选择是调用 default(KeyValuePair).Equals(pair) ，因为这不是您可以控制的结构。

Answer 2

（如果您不关心与此错误相关的泛型讨论，您可以跳到末尾以获得“真实”答案）

正如错误所示，没有对 KeyValuePairs 进行相等性测试（即没有内置的比较法）。这样做的原因是为了避免对 KeyValuePairs 的类型施加限制（在很多情况下永远不会进行键、值比较）。

显然，如果您想比较这些 KeyValuePairs，我想您想要的是检查键和值是否相等。但这意味着一团糟，特别是 TKey 和 TValue 都是可比较的类型（即它们实现了 IComparable 接口）。

您可以在键值对之间编写自己的比较函数，例如：（

static bool KeyValueEqual<TKey , TValue>(KeyValuePair<TKey, TValue> fst, 
                                          KeyValuePair<TKey, TValue> snd) 
                                         where  TValue:IComparable
                                         where  TKey:IComparable
        {
            return (fst.Value.CompareTo(snd.Value)==0)
                     && (snd.Key.CompareTo(fst.Key)==0);
        }

请原谅糟糕的缩进）

这里我们强加 TKey和 TValue 都是可比较的（通过 CompareTo 成员函数）。

当两个对象相等时，CompareTo 函数（如预定义类型的定义）返回 0，类似于 strcmp 。 a.ComparesTo(b)==0 表示 a 和 b 是“相同”（在值上，不是同一个对象）。

所以这个函数将采用两个 KVP (k,v) 和 (k',v')，并且当且仅当 k==k' 和 v==v' （直观意义上）才会返回 true。

---

但这有必要吗？看来您遇到问题的测试是基于对 FirstOrDefault 返回的某种验证。

但是您的函数被称为 FirstOrDefault 是有原因的：

返回第一个元素
满足条件或的序列
如果没有这样的元素，则为默认值
找到了。

（强调我的）

此函数如果未找到某些内容，则返回默认值，这意味着如果您的谓词未经过验证，您将获得一个等于 (default(TKey) 因此，您的代码（打算

）检查是否pair.Key==default(TKey)，只是为了返回default(TKey)，这不是更有意义吗？返回pair.Key从一开始？

Answer 3

为了在任何类或结构上使用“==”相等运算符，需要重写该运算符： http://msdn.microsoft.com/en-us/library/ms173147(v=vs.80).aspx

KeyValuePair没有，因此您会收到编译错误。请注意，如果您尝试这样做，您将得到相同的错误：

var k1 = new KeyValuePair<int,string>();
var k2 = new KeyValuePair<int,string>();

bool b = k1 == k2; //compile error

编辑：正如 Eric Lippert 在评论中纠正我一样，类显然不需要覆盖“==”的相等运算符是有效的。它将很好地编译并进行引用相等性检查。我的错误。

Answer 4

它失败的原因如下：

var kvp = new KeyValuePair<string,string>("a","b");
var res = kvp == kvp;

线索自然就在错误消息中。 （它与default无关）。

Operator '==' cannot be applied to operands of type 'System.Collections.Generic.KeyValuePair<string,string>' and 'System.Collections.Generic.KeyValuePair<string,string>'

未为 KeyValuePair 定义运算符 ==。

错误消息 FTW。

快乐编码。

Answer 5

默认值是针对标量类型的。

问自己这个问题：KVP 具有默认值意味着是什么？

对于非标量，默认值是调用 nil 构造函数得到的任何值。假设 KVP Equals 执行实例身份比较，我希望它返回 false，因为每次调用构造函数时都会得到一个新对象。

Answer 6

这方向略有不同，但我假设您查询字典来获取此结果，然后您想要检查它是否返回有效结果。

我发现更好的方法是查询实际值而不是整个 KeyValuePair，如下所示：

var valitem = MyDict.Values.FirstOrDefault(x=> x.Something == aVar);

现在您可以检查 valitem 是否为空。同样，它并没有直接回答您的问题，而是提供了实现您的预​​期目标的替代方法。