CodeContracts: Warunek logiczny jest wartością stałą, dlaczego?

Question

Dostaję to ostrzeżenie, ale nie można dowiedzieć się problem ...

CodeContracts: ostrzeżenie: Boolean stan d1.Count = d2.Count zawsze ma wartość stałą wartość. Jeśli to (lub jego negacja) pojawiają się w kodzie źródłowym, można mieć pewne martwego kodu lub redundantny czek

Kod jest w następujący sposób:

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 część może być tak jest lub zastąpione przez a proper implementation i wciąż otrzymuję to samo ostrzeżenie.

Answer 1

To po prostu błąd w umowach Code. Łatwo jest wymyślić dane wejściowe, które sprawiają, że ten warunek jest prawdziwy lub fałszywy. Ostrzeżenie jest fałszywe.

Z własnego doświadczenia Wiem, że błędy w CC nie są rzadkie.

Jak naprawić? Ponieważ jest to błąd, nie ma oficjalnego/zamierzonego kierunku działania. Zgłoś błąd. Przekręcaj kod do momentu, aż ostrzeżenie zniknie (na przykład spróbuj ReferenceEquals, co i tak jest lepszym stylem). Pomiń ostrzeżenie. Rzeczy jak te.