¿Por qué usar (nulo) un caso válido en C#?

Question

¿Podría alguien explicarme por qué el código que se muestra a continuación es válido en C# y ejecuta la llamada al Console.WriteLine?

using (null) 
{ 
    Console.WriteLine ("something is here") 
} 

Se compila en (finalmente se muestra el bloque). Como puede ver, el compilador decide no ejecutar el método Dispose() y salta a la instrucción endfinally.

IL_0013: ldnull 
IL_0014: ceq 
IL_0016: stloc.1 
IL_0017: ldloc.1 
IL_0018: brtrue.s IL_0021 // branches here and decide not to execute Dispose() 
IL_001a: ldnull 
IL_001b: callvirt instance void [mscorlib]System.IDisposable::Dispose() 
IL_0020: nop 
IL_0021: endfinally 

Sin embargo, si se me acaba el código siguiente, se producirá un error con un NullReferenceException (que se espera):

((IDisposable)null).Dispose(); 
IL_0023: ldnull 
IL_0024: callvirt instance void [mscorlib]System.IDisposable::Dispose() 

Por qué se compila la primera versión? ¿Por qué el compilador decide no ejecutar Dispose()? ¿Hay algún otro caso en el que el compilador decida no llamar al Dispose() en un bloque using?

Answer 1

La especificación idioma afirma explícitamente (8,13) que el valor capturado se prueba para nulo si es necesario, es decir, el finally es esencialmente (con salvedades alrededor de tipos no anulable)

if(tmp != null) tmp.Dispose(); 

frecuencia Lo utilizo para mi ventaja, para cosas que podría ser nulo, pero cuando no lo son: necesita deshacerse. De hecho, aquí hay un escenario útil (enumerar manualmente IEnumerable):

IEnumerable blah = ...; // note non-generic version 
IEnumerator iter = blah.GetEnumerator(); 
using(iter as IDisposable) 
{ 
    // loop 
} 

como la versión no genérica de IEnumerator no es necesariamente IDisposable, pero cuando lo es, debe desecharse.

Answer 2

Creo que es un resultado natural del caso más general de using(some_expression), donde some_expressionis allowed to evaluate to null.

Habría requerido una regla especial para distinguir este caso del más general.

Answer 3

ignorará si el objeto es nulo - http://msdn.microsoft.com/en-us/library/yh598w02.aspx