CodeContracts: la condizione booleana viene valutata a un valore costante, perché?

Question

sto ottenendo questo avvertimento, ma non riesco a capire il problema ...

CodeContracts: Attenzione: La condizione booleana d1.Count = d2.Count restituisce sempre un valore costante. Se esso (o la sua negazione) appaiono nel codice sorgente, si può avere qualche codice morto o ridondante controllo

Il codice è il seguente:

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; 
} 

La parte // Equality check goes here può essere così com'è , o sostituito da a proper implementation e ho ancora lo stesso avviso.

Answer 1

Questo è semplicemente un bug nei contratti di codice. È facile inventare input che rendono questa condizione vera o falsa. L'avviso è fasullo.

Per esperienza personale, so che i bug in CC non sono rari.

Come risolvere? Poiché si tratta di un bug, non esiste una linea di condotta ufficiale/prevista. Segnala l'errore. Far ruotare il codice fino a quando l'avviso non scompare (ad esempio, prova con lo ReferenceEquals che è comunque lo stile migliore). Sopprimi l'avvertimento. Cose così.