Đánh giá tuyên bố mạch ngắn - điều này có được đảm bảo không? [C#]

Question

Câu hỏi nhanh ở đây về các câu lệnh ngắn mạch trong C#. Với một câu lệnh if như thế này:

if (MyObject.MyArray.Count == 0 || MyObject.MyArray[0].SomeValue == 0) 
{ 

//.... 
} 

Có đảm bảo đánh giá đó sẽ dừng lại sau khi phần "MyArray.Count", với điều kiện phần là đúng? Nếu không, tôi sẽ nhận được một ngoại lệ null trong phần thứ hai.

Answer 1

Có, điều này được đảm bảo.

C# Language Specification - 7.11 Conditional logical operators:

Các && và || nhà khai thác này được gọi là các toán tử logic có điều kiện. Chúng cũng được gọi là toán tử logic "ngắn mạch".

Do đó họ sẽ hỗ trợ logic ngắn circuiting theo định nghĩa - bạn có thể dựa vào hành vi này.

Bây giờ điều quan trọng là để thực hiện một sự phân biệt giữa một có điều kiện điều hành và một nhà điều hành logic:

• Chỉ các nhà khai thác có điều kiện hỗ trợ ngắn mạch, khai thác hợp lý thì không.
• Các toán tử logic của C# trông giống như các đối tác có điều kiện của chúng, nhưng với một ký tự ít hơn nên OR hợp lý là | và logic AND là &.
• Các toán tử logic có thể bị quá tải nhưng các toán tử điều kiện không thể (điều này là một chút kỹ thuật khi đánh giá điều kiện có liên quan đến độ phân giải quá tải và độ phân giải quá tải này có thể giải quyết được quá tải tùy chỉnh của toán tử logic của loại. giới hạn ở một mức độ nhất định).

Answer 2

Có, nó được đảm bảo.

http://msdn.microsoft.com/en-us/library/6373h346%28v=VS.80%29.aspx

Các điều kiện-OR (||) thực hiện một logic-OR của toán hạng bool của nó, nhưng chỉ đánh giá toán hạng thứ hai của nó nếu cần thiết.

Answer 3

Vâng, nó được đảm bảo, nhưng bạn vẫn có thể có được một ngoại lệ tham chiếu null nếu myArray là null (hoặc MyObject cho rằng vấn đề rõ ràng).

Answer 4

Tôi thích sử dụng các nhà điều hành & &, bởi vì bạn sau đó kiểm tra một dương tính (mảng của tôi chứa items), chứ không phải là tiêu cực (lỗi của tôi không chứa items):

if (MyObject.MyArray.Count > 0 && MyObject.MyArray[0].SomeValue == 0) 
{ 

//.... 
} 

này cũng được đảm bảo ngắn mạch.

Answer 5

Chỉ cần một quan sát nhỏ.

Bạn nói điều này:

Nếu không tôi sẽ nhận được một rỗng ngoại lệ trong phần thứ hai. (nhấn mạnh mỏ)

Điều này không đúng. Nếu ngắn mạch không được bảo đảm, bạn có thể nhận được một IndexOutOfRangeException trong phần thứ hai.

Đó là vẫn có thể bạn có thể nhận được một NullReferenceException, nếu mục đầu tiên trong đối tượng của bạn thực sự là null (hoặc nếu bất kỳ của các đối tượng khác trong biểu có).

Các chỉ hoàn toàn kiểm tra an toàn sẽ là:

bool conditionHolds = 
    MyObject == null || 
    MyObject.MyArray == null || 
    MyObject.MyArray.Count == 0 || 
    MyObject.MyArray[0] == null || 
    MyObject.MyArray[0].SomeValue == 0; 

if (conditionHolds) 
{ 
    //.... 
} 

Answer 6

Vâng,

Đối VÀ hoạt động nếu một trong các toán hạng được đánh giá là false thì tổng biểu đánh giá là false thì sẽ có không cần đánh giá các biểu thức còn lại, Và trong trường hợp HOẶC hoạt động nếu bất kỳ toán hạng nào được đánh giá là đúng thì đánh giá còn lại có thể bị bỏ qua

Vì vậy, bằng cách sử dụng & & hoặc || toán tử, toàn bộ biểu thức có thể được đánh giá là đúng hoặc sai mà không đánh giá tất cả các biểu thức con.

Nhưng cũng xem xét số side effect của nó. This article có thể hữu ích để hiểu đánh giá ngắn mạch theo chiều sâu với một số ví dụ thực tế.