कोडकंट्रैक्ट्स: बूलियन की स्थिति निरंतर मूल्य का मूल्यांकन करती है, क्यों?

Question

मैं इस चेतावनी हो रही है, लेकिन समस्या को समझ नहीं सकता ...

CodeContracts: चेतावनी: बूलियन हालत d1.Count = d2.Count हमेशा एक निरंतर मूल्य के लिए मूल्यांकन करता है। यदि यह (या उसका निषेध) स्रोत कोड में दिखाई देते हैं, तो आप कुछ मृत कोड या निरर्थक जाँच हो सकता है

कोड इस प्रकार है: के रूप में

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

यह कोड अनुबंधों में बस एक बग है। इनपुट को concoct करना आसान है जो इस स्थिति को सच या गलत बनाता है। चेतावनी फर्जी है।

व्यक्तिगत अनुभव से मुझे पता है कि सीसी में कीड़े दुर्लभ नहीं हैं।

कैसे ठीक करें? चूंकि यह एक बग है क्योंकि कार्रवाई का कोई आधिकारिक/इच्छित पाठ्यक्रम नहीं है। बग की रिपोर्ट करें। चेतावनी दूर होने तक कोड को चारों ओर घुमाएं (उदाहरण के लिए, ReferenceEquals आज़माएं जो कि वैसे भी बेहतर शैली है)। चेतावनी दबाओ। इस तरह बातें।