以前看書上說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....."