Безопасно ли полагаться на короткое замыкание && в .NET?

да. В C# && и || являются короткими замыканиями и, таким образом, оценивают правую часть только в том случае, если левая сторона еще не определяет результат. С другой стороны, операторы & и | не замыкаются и всегда оценивают обе стороны.

Спецификация говорит:

Операторы && и || называются условными логическими операторами. Их также называют «замыкающими» логическими операторами.
...
Операция x && y соответствует операции x & y, за исключением того, что y вычисляется, только если x равно true
...
Операция x && y оценивается как (bool)x ? (bool)y : false. Другими словами, x сначала оценивается и преобразуется в тип bool. Затем, если x равно true, y оценивается и преобразуется в тип bool, и это становится результатом операции. В противном случае результатом операции будет false.

(Спецификация языка C#, версия 4.0–7.12, условные логические операторы)

Одно интересное свойство && и || заключается в том, что они замыкаются накоротко, даже если оперируют не логическими значениями, а типами, в которых пользователь перегрузил операторы & или | вместе с операторами true и false.

Операция x && y оценивается как T.false((T)x) ? (T)x : T.&((T)x, y), где T.false((T)x) — это вызов operator false, объявленного в T, а T.&((T)x, y) — это вызов выбранного operator &. Кроме того, значение (T)x оценивается только один раз.

Другими словами, x сначала оценивается и преобразуется в тип T, а operator false вызывается для результата, чтобы определить, является ли x определенно false.
Затем, если x определенно является false, результатом операции является значение, ранее вычисленное для x преобразуется в тип T.
В противном случае вычисляется y, и выбранный оператор & вызывается для значения, ранее вычисленного для x, преобразованного в тип T, и значения, вычисленного для y, для получения результата операции.

(Спецификация языка C#, версия 4.0 — 7.12.2 Пользовательские условные логические операторы)

Да, C# использует логическое сокращение.

Обратите внимание, что хотя C# (и некоторые другие языки .NET) ведут себя таким образом, это свойство языка, а не среды CLR.

Я знаю, что опаздываю на вечеринку, но в C# 6.0 это тоже можно сделать:

if(myObj?.SomeString != null)

Что то же самое, что и выше.

Также см.: Что делает вопрос оператор отметки и точки ?. значит в C# 6.0?

Ваш код в безопасности - && и || оба короткозамкнуты. Вы можете использовать операторы без короткого замыкания & или |, которые оценивают оба конца, но я действительно не вижу этого в большом количестве производственного кода.

конечно, на С# это безопасно, если первый операнд ложный, то второй никогда не оценивается.

Это совершенно безопасно. C# — один из таких языков.

Да, C# и большинство языков вычисляют предложения if слева направо.

Кстати, VB6 вычислит все это и выдаст исключение, если оно равно нулю...

пример

if(strString != null && strString.Length > 0)

Эта строка вызовет нулевое исключение, если будут выполнены обе стороны.

Интересное примечание. Приведенный выше пример немного быстрее, чем метод IsNullorEmpty.

В C# && и || замкнуты накоротко, что означает, что оценивается первое условие, а остальные игнорируются, если ответ определен.

В VB.NET AndAlso и OrElse также закорочены.

В javaScript && и || тоже закорочены.

Я упоминаю VB.NET, чтобы показать, что у уродливого рыжеволосого приемного ребенка .net тоже иногда есть интересные вещи.

Я упоминаю javaScript, потому что если вы занимаетесь веб-разработкой, вы, вероятно, также можете использовать javaScript.