C#: Tìm Bugs: if (false)

Question

Tôi vừa tìm thấy một lỗi trong chương trình của tôi (sau khi một số lượng gỡ lỗi và xé tóc của tôi)

bool first = true; 

foreach (RdAbstractNode node in listNodes) 
{ 
    if (!first) 
    { 
     // do stuff (does not change first) 
    } 
    // do more stuff (does not change first) 
} 

Như bạn thấy first luôn là true - không bao giờ đã thay đổi. Vì vậy, if(!first) về cơ bản là if(false).
Trình biên dịch không tạo ra cảnh báo mặc dù nó được đặt ở cấp 4 (mức cao nhất).

Tôi làm cách nào để tìm lỗi tương tự if(false)?

Tôi đang sử dụng VS 2010, Net 4.0 trình biên dịch, dự án thiết Net 2.0

Answer 1

Với Resharper bạn sẽ nhận được cảnh báo như thế này

Answer 2

Tôi không biết của một tính năng biên dịch sẽ giúp bạn - bạn cần phải kiểm tra đơn vị.

Answer 3

Trình biên dịch sẽ cảnh báo cho bạn về những điều hiển nhiên như mã unreachable dựa trên một giá trị không đổi trong câu lệnh if - ví dụ "if (false)". Tuy nhiên, vì biến có thể bị thay đổi, điều này sẽ không xảy ra trong trường hợp này.

Answer 4

Tôi đồng ý rằng Resharper là một công cụ tốt để có, nhưng tôi muốn thêm rằng tôi nghĩ rằng điều này chứng minh một lý do KHÔNG sử dụng cấu trúc này.

Một thay thế có thể là:

EDIT:

//.net 4.0 
    var firstNode = listNodes.First(); 
     //do something special for first. 

    foreach(var node in listNodes.Skip(1)) 
    { 
     //do something for the rest. 
    } 

//.net 2.0 
using (IEnumerator<RdAbstractNode> enumerator = listNodes.GetEnumerator();) 
{ 
    if (!enumerator.MoveNext()) 
     return; 

    RdAbstractNode first = enumerator.Current; 
    //do something with first 
    while(enumerator.MoveNext()) 
    { 
     RdAbstractNode currentNode = enumerator.Current; 
     //do something with the node. 
    } 
} 

Chúng ta thường thấy mình cần phải có một số loại xử lý đặc biệt cho các phần tử đầu tiên, đôi khi nó tốt hơn để thay đổi logic và thực hiện tất cả các bộ đồng phục. Nếu chúng ta không thể thì tôi luôn muốn phân biệt rõ ràng việc xử lý trường hợp đặc biệt với phần còn lại của các phần tử thay vì làm tổ nó.