C# Using与Try..Finally 语句探究
以前看书上说Using实质是编译器生成Try{} Finally{},保证Finally始终执行。一直没太仔细想这个问题。今天写代码，碰到一段程序如下：
1 SqlDataReader Func()
2 {
3
4 using (SqlConnection conn=new SqlConnection())
5 {
6 conn.Open();
7 using (SqlCommand comm=new SqlCommand())
8 {
9 //............省略若干初始化
10 SqlDataReader dr= comm.ExecuteReader();
11 return dr;
12 }
13
14 }
15 }
本以为return了之后using就不会dispose对象了，没想到返回的SqlDataReader已经关闭连接了。于是查了查MSDN看到下面一段示例：
代码
使用using语句实际上生成的IL代码中是一个try, finally代码块，在finally代码块里释放资源。
比如这样一段代码：
using (SqlConnection conn = new SqlConnection())
{
conn.Open();
throw new Exception("Exception!!");//抛出异常之后能回收SqlConnection对象的资源吗？
}
IL 代码可为：
// Code size 42 (0x2a)
.maxstack 2
.locals init ([0] class [System.Data]System.Data.SqlClient.SqlConnection conn,
[1] bool CS$4$0000)
IL_0000: nop
IL_0001: newobj instance void [System.Data]System.Data.SqlClient.SqlConnection::.ctor()
IL_0006: stloc.0
.try
{
IL_0007: nop
IL_0008: ldloc.0
IL_0009: callvirt instance void [System.Data]System.Data.Common.DbConnection::Open()
IL_000e: nop
IL_000f: ldstr "Exception!!"
IL_0014: newobj instance void [mscorlib]System.Exception::.ctor(string)
IL_0019: throw
} // end .try
finally
{
IL_001a: ldloc.0
IL_001b: ldnull
IL_001c: ceq
IL_001e: stloc.1
IL_001f: ldloc.1
IL_0020: brtrue.s IL_0029
IL_0022: ldloc.0
IL_0023: callvirt instance void [mscorlib]System.IDisposable::Dispose()
IL_0028: nop
IL_0029: endfinally
} // end handler
可以看到调用了SqlConnection的Dispose方法释放了资源。
说明using语句不论语句块里面是否return，均会生成资源释放的代码。Try。。Finally块也一样，也是先执行完Finally，再执行try里面可能有的return;
下面的代码证实了这一点：
代码
class Program
{
static void Main(string[] args)
{
using (UsingTest ut= testFunc())
{
}
}
static UsingTest testFunc()
{
try{
UsingTest ut = new UsingTest();
return ut;
}
finally
{
Console.WriteLine("finally...");
}
return null;//这里的代码始终无法访问到，说明try里面的return实际上是执行完finally后立即执行的
}
}
internal class UsingTest:IDisposable
{
public UsingTest()
{
Console.WriteLine("Constructing...");
}
public void Dispose()
{
Console.Write("Disposing.....");
}
}
程序输出：
"Constructing..."
"finally..."
"Disposing....."
