Evaluación de declaración de cortocircuito: ¿está garantizado? [C#]

Question

Pregunta rápida aquí sobre declaraciones de cortocircuito en C#. Con una sentencia if como esta:

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

//.... 
} 

¿Está garantizado que la evaluación se detendrá después de la parte "MyArray.Count", a condición de que la porción es cierto? De lo contrario, obtendré una excepción nula en la segunda parte.

Answer 1

Sí, esto está garantizado.

C# Language Specification - 7.11 Conditional logical operators:

Los && y || operadores son llamados los operadores lógicos condicionales. También se denominan operadores lógicos de "cortocircuito".

tanto que apoyarán lógica de cortocircuito por definición - Puede confiar en este comportamiento.

Ahora bien, es importante hacer una distinción entre un condicional operador y un operador lógico :

• Sólo operadores condicionales apoyar cortocircuitos, operadores lógicos no lo hacen.
• Los operadores lógicos de C# tienen el mismo aspecto que sus contrapartes condicionales, pero con un carácter menos, por lo que un OR lógico es | y un AND lógico es &.
• Los operadores lógicos pueden estar sobrecargados pero los operadores condicionales no (esto es un poco técnico ya que la evaluación de operador condicional implica resolución de sobrecarga y esta resolución de sobrecarga puede resolverse a una sobrecarga personalizada del operador lógico del tipo, por lo que puede evitar esto limitación en cierta medida).

Answer 2

Sí, está garantizado.

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

El condicional-operador OR (||) realiza una lógicas-OR de sus operandos BOOL, pero sólo evalúa su segundo operando si es necesario.

Answer 3

Sí, está garantizado, pero aún puede obtener una excepción de referencia nula si MyArray es nulo (o MyObject para el caso, obviamente).

Answer 4

yo prefiero usar el operador & &, porque entonces prueba un positivo (mi matriz contiene elementos), en lugar de negativo (mi error no contiene material):

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

//.... 
} 

Esto también se garantiza que cortocircuito.

Answer 5

Solo una pequeña observación.

Usted dijo lo siguiente:

De lo contrario, obtendrá una excepción nula en la segunda parte. (énfasis mío)

Esto no es cierto, en realidad. Si no se garantizaran los cortocircuitos, podría obtener un IndexOutOfRangeException en la segunda parte.

Es todavía posible que usted podría conseguir un NullReferenceException, si el primer elemento de la realidad objeto es nula (o si cualquiera de los otros objetos de esa expresión son).

La única totalmente comprobación segura sería la siguiente:

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

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

Answer 6

Sí,

a favor y en operaciones de si alguno de los operandos evaluadas para la expresión a continuación total de falsa evaluado como false entonces no es no es necesario evaluar las expresiones restantes, y en el caso de la operación OR si alguno de los operandos se evalúa como verdadero, la evaluación restante se puede omitir

Así que al usar & & o || operador, la expresión completa se puede evaluar como verdadera o falsa sin evaluar todas las sub expresiones.

Pero considere su side effect también. This article puede ser útil para comprender en profundidad la evaluación de cortocircuitos con algunos ejemplos del mundo real.