Оценка короткого замыкания гарантируется? [C #]

Да, это гарантировано.

Спецификация языка C # - 7.11 Условные логические операторы:

Операторы && и || называются условными логическими операторами. Их также называют логическими операторами "короткого замыкания".

Поэтому они будут поддерживать логическое замыкание по определению - на такое поведение можно положиться.

Теперь важно различать условный оператор и логический оператор:

• Только условные операторы поддерживают короткое замыкание, логические операторы - нет.
• Логические операторы C # выглядят так же, как их условные аналоги, но с одним символом меньше, поэтому логическое ИЛИ равно |, а логическое И равно &.
• Логические операторы могут быть перегружены, но условные операторы - нет (это небольшая техническая часть, поскольку оценка условного оператора включает разрешение перегрузки, и это разрешение перегрузки может разрешаться в настраиваемую перегрузку логического оператора типа, поэтому вы можете обойти это ограничение до определенной степени).

Да, это гарантировано.

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

Оператор условного ИЛИ (||) выполняет логическое ИЛИ своих логических операндов, но при необходимости оценивает только второй операнд.

Да, это гарантировано, но вы все равно можете получить исключение с нулевой ссылкой, если MyArray имеет значение null (или MyObject, если на то пошло, очевидно).

Небольшое наблюдение.

Вы сказали это:

В противном случае я получу нулевое исключение во второй части. (подчеркивает мой)

На самом деле это неправда. Если бы короткое замыкание не было гарантировано, вы могли бы получить IndexOutOfRangeException во второй части.

все еще возможно, что вы могли бы получить NullReferenceException, если первый элемент в вашем MyArray объекте на самом деле имеет значение null (или если какой-либо из других объектов в этом выражении имеет значение).

Единственная полностью безопасная проверка:

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

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

Да,

Для операций И, если какой-либо из операндов оценивается как ложь, тогда общее выражение оценивается как ложное, тогда нет необходимости оценивать оставшиеся выражения, а в случае операции ИЛИ, если какой-либо из операндов оценивается как истинное, оставшаяся оценка может быть пропущена

Итак, используя && или || оператор, все выражение может быть оценено как истинное или ложное без оценки всех подвыражений.

Но рассмотрите также его побочный эффект. Эта статья может быть полезна для понимания оценки короткого замыкания. подробно с некоторыми примерами из реального мира.

Я предпочитаю использовать оператор &&, потому что тогда вы проверяете положительный результат (мой массив содержит элементы), а не отрицательный (моя ошибка не содержит элементов):

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

//.... 
} 

Это также гарантирует короткое замыкание.