¿Qué sucede si regreso antes del final de la declaración de uso? ¿Se llamará a la disposición?

Tengo el siguiente código

using(MemoryStream ms = new MemoryStream())
{
     //code
     return 0;
}

El dispose()método se llama al final de las usingllaves de declaración, }¿verdad? Dado que returnantes del final de la usingdeclaración, ¿el MemoryStreamobjeto se eliminará correctamente? ¿Qué pasa aquí?

Sí, Disposese llamará. Se llama tan pronto como la ejecución abandona el alcance del usingbloque, independientemente de los medios que tomó para abandonar el bloque, ya sea el final de la ejecución del bloque, una returndeclaración o una excepción.

Como @Noldorin señala correctamente, el uso de un usingbloque en el código se compila en try/ finally, con la Disposellamada en el finallybloque. Por ejemplo, el siguiente código:

using(MemoryStream ms = new MemoryStream())
{
     //code
     return 0;
}

efectivamente se convierte en:

MemoryStream ms = new MemoryStream();
try
{
    // code
    return 0;
}
finally
{
    ms.Dispose();
}

Por lo tanto, porque finallyse garantiza que se ejecutará después de que el trybloque haya finalizado la ejecución, independientemente de su ruta de ejecución, Disposese garantiza que se llamará, pase lo que pase.

Para obtener más información, consulte este artículo de MSDN .

Apéndice:
Solo una pequeña advertencia para agregar: debido a que Disposese garantiza que se llamará, casi siempre es una buena idea asegurarse de que Disposenunca se produzca una excepción cuando se implementa IDisposable. Por desgracia, hay algunas clases en la biblioteca central que hacen un tiro en ciertas circunstancias cuando Disposese llama - que estoy mirando a ti, proxy de servicio WCF Referencia / cliente! - y cuando eso sucede, puede ser muy difícil rastrear la excepción original si Disposese llamó durante un desenrollado de la pila de excepciones, ya que la excepción original se traga a favor de la nueva excepción generada por la Disposellamada. Puede resultar tremendamente frustrante. ¿O es eso frustrantemente enloquecedor? Uno de los dos. Tal vez ambos.

usingLas declaraciones se comportan exactamente como try ... finallybloques, por lo que siempre se ejecutarán en cualquier ruta de salida de código. Sin embargo, creo que están sujetos a muy pocas y raras situaciones en las que finallyno se llaman bloques. Un ejemplo que puedo recordar es si el subproceso en primer plano sale mientras los subprocesos en segundo plano están activos: todos los subprocesos, excepto el GC, están en pausa, lo que significa que los finallybloques no se ejecutan.

Edición obvia: se comportan igual aparte de la lógica que les permite manejar objetos IDisposable, d'oh.

Contenido adicional: se pueden apilar (donde los tipos difieren):

using (SqlConnection conn = new SqlConnection("string"))
using (SqlCommand comm = new SqlCommand("", conn))
{

}

Y también delimitado por comas (donde los tipos son los mismos):

using (SqlCommand comm = new SqlCommand("", conn), 
       SqlCommand comm2 = new SqlCommand("", conn))
{

}

Su objeto MemoryStream se eliminará correctamente, no hay necesidad de preocuparse por eso.

Con la usingdeclaración, el objeto se eliminará independientemente de la ruta de finalización.

Otras lecturas...

• http://aspadvice.com/blogs/name/archive/2008/05/22/Return-Within-a-C_2300_-Using-Statement.aspx
• http://csharpfeeds.com/post/8451/Return_Within_a_Csharp_Using_Statement.aspx

Eche un vistazo a su código en reflector después de compilarlo. Verá que el compilador refactoriza el código para asegurarse de que se llame a dispose en la secuencia.