CodeContracts: Điều kiện Boolean đánh giá thành một giá trị không đổi, tại sao?

Question

Tôi nhận được cảnh báo này nhưng không thể tìm ra vấn đề ...

CodeContracts: cảnh báo: Tình trạng Boolean d1.Count = d2.Count luôn đánh giá một giá trị không đổi. Nếu nó (hoặc phủ định của nó) xuất hiện trong mã nguồn, bạn có thể có một số mã đã chết hoặc thừa séc

Mã này được như sau:

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

Phần // Equality check goes here có thể như là hoặc thay thế bằng a proper implementation và tôi vẫn nhận được cảnh báo tương tự.

Answer 1

Đây đơn giản là lỗi trong Hợp đồng mã. Nó rất dễ dàng để pha trộn đầu vào mà làm cho điều kiện này đúng hay sai. Cảnh báo là không có thật.

Từ kinh nghiệm cá nhân tôi biết rằng các lỗi trong CC không phải là hiếm.

Cách khắc phục? Vì đây là lỗi nên không có khóa học hành động chính thức/dự định. Báo cáo lỗi. Chuyển mã xung quanh cho đến khi cảnh báo biến mất (ví dụ: hãy thử ReferenceEquals là kiểu tốt hơn). Ngăn chặn cảnh báo. Những thứ như thế.