c# - CodeContracts : Boolean condition evaluates to a constant value, 为什么？

Question

我收到此警告但无法找出问题...

CodeContracts: warning: The Boolean condition d1.Count != d2.Count always evaluates to a constant value. If it (or its negation) appear in the source code, you may have some dead code or redundant check

代码如下:

public static bool DictionaryEquals<TKey, TValue>(IDictionary<TKey, TValue> d1, IDictionary<TKey, TValue> d2)
{
    if (d1 == d2) return true;
    if (d1 == null || d2 == null) return false;
    if (d1.Count != d2.Count) return false; // <-- warning here

    // Equality check goes here

    return true;
}

//Equality check goes here 部分可以保持原样，也可以替换为 a proper implementation我仍然收到相同的警告。

Answer 1

这只是代码契约中的一个错误。很容易编造使该条件为真或假的输入。警告是假的。

根据个人经验，我知道 CC 中的错误并不少见。

如何修复？由于这是一个错误，因此没有官方/预期的行动方案。报告错误。调整代码直到警告消失(例如，尝试 ReferenceEquals 无论如何这是更好的样式)。抑制警告。诸如此类。