.net中的using批注
一直习惯在使用ado.net中使用using语句,对于其总是一知半解。
那么假设使用using发生异常,using是否会释放资源呢?
查看msdn得知如下:
http://msdn.microsoft.com/zh-cn/library/htd05whh(VS.80).aspx
Using 块的工作方式类似于 Try...Finally 构造,在该构造中,Try 块使用资源,而 Finally 块释放资源。因此,不管您如何退出块,Using 块都可确保资源的释放。即使发生未处理的异常(除 StackOverflowException 外),也是如此。
Using 语句获取的每个资源变量的范围仅限于 Using 块。
那么实际如何,查看如下代码的反汇编代码:
{
string connectionString = "server=.;database=mytest;uid=sa;pwd=;";
using (SqlConnection conn = new SqlConnection(connectionString))
{
conn.Open();
}
}
查看MSIL代码如下:
// 代码大小 43 (0x2b)
.maxstack 2
.locals init ([0] string connectionString,
[1] class [System.Data]System.Data.SqlClient.SqlConnection conn,
[2] bool CS$4$0000)
IL_0000: nop
IL_0001: ldstr "server=.;database=mytest;uid=sa;pwd=;"
IL_0006: stloc.0
IL_0007: ldloc.0
IL_0008: newobj instance void [System.Data]System.Data.SqlClient.SqlConnection::.ctor(string)
IL_000d: stloc.1
.try
{
IL_000e: nop
IL_000f: ldloc.1
IL_0010: callvirt instance void [System.Data]System.Data.Common.DbConnection::Open()
IL_0015: nop
IL_0016: nop
IL_0017: leave.s IL_0029
} // end .try
finally
{
IL_0019: ldloc.1
IL_001a: ldnull
IL_001b: ceq
IL_001d: stloc.2
IL_001e: ldloc.2
IL_001f: brtrue.s IL_0028
IL_0021: ldloc.1
IL_0022: callvirt instance void [mscorlib]System.IDisposable::Dispose()
IL_0027: nop
IL_0028: endfinally
} // end handler
IL_0029: nop
IL_002a: ret
} // end of method Program::Main
可见using其实质相当于try..finally。当然,首先必须实现IDisposable接口。
其中<Effective C#>一书里面提到了:使用using和try/finally来做资源清理
使用非托管资源的类型必须实现IDisposable接口的Dispose()方法来精确的释放系统资源。.Net环境的这一规则使得释放资源代码的职责是类型的使用者,而不是类型或系统。因此,任何时候你在使用一个有Dispose()方法的类型时,你就有责任来调用Dispose()方法来释放资源。最好的方法来保证Dispose()被调用的结构是使用using语句或者try/finally块。
所有包含非托管资源的类型应该实现IDisposable接口,另外,当你忘记恰当的处理这些类型时,它们会被动的创建析构函数。如果你忘记处理这些对象,那些非内存资源会在晚些时候,析构函数被确切调用时得到释放。这就使得这些对象在内存时待的时间更长,从而会使你的应用程序会因系统资源占用太多而速度下降。
幸运的是,C#语言的设计者精确的释放资源是一个常见的任务。他们添加了一个关键字来使这变得简单了。
假设你写了下面的代码:
{
SqlConnection myConnection = new SqlConnection( connString );
SqlCommand mySqlCommand = new SqlCommand( commandString, myConnection );
myConnection.Open();
mySqlCommand.ExecuteNonQuery();
}
这个例子中的两个可处理对象没有被恰当的释放:SqlConnection和SqlCommand。两个对象同时保存在内存里直到析构函数被调用。(这两个类都是从System.ComponentModel.Component继承来的。)
解决这个问题的方法就是在使用完命令和链接后就调用它们的Dispose:
{
SqlConnection myConnection = new SqlConnection( connString );
SqlCommand mySqlCommand = new SqlCommand( commandString, myConnection );
myConnection.Open();
mySqlCommand.ExecuteNonQuery();
mySqlCommand.Dispose( );
myConnection.Dispose( );
}
这很好,除非SQL命令在执行时抛出异常,这时你的Dispose()调用就永远不会成功。using语句可以确保Dispose()方法被调用。当你把对象分配到using语句内时,C#的编译器就把这些对象放到一个try/finally块内:
{
using ( SqlConnection myConnection = new SqlConnection( connString ))
{
using ( SqlCommand mySqlCommand = new SqlCommand( commandString,myConnection ))
{
myConnection.Open();
mySqlCommand.ExecuteNonQuery();
}
}
}
当你在一个函数内使用一个可处理对象时,using语句是最简单的方法来保证这个对象被恰当的处理掉。当这些对象被分配时,会被编译器放到一个try/finally块中。下面的两段代码编译成的IL是一样的:
// Example Using clause:
using ( myConnection = new SqlConnection( connString ))
{
myConnection.Open();
}
// example Try / Catch block:
try {
myConnection = new SqlConnection( connString );
myConnection.Open();
}
finally {
myConnection.Dispose( );
}
(译注:就我个人对try/catch/finally块的使用经验而言,我觉得上面这样的做法非常不方便。可以保证资源得到释放,却无法发现错误。关于如何同时抛出异常又释放资源的方法可以参考一下其它相关资源,如Jeffrey的.Net框架程序设计,修订版)
如果你把一个不能处理类型的变量放置在using语句内,C#编译器给出一个错误,例如:
// String is sealed, and does not support IDisposable.
using( string msg = "This is a message" )
Console.WriteLine( msg );
using只能在编译时,那些支持IDispose接口的类型可以使用,并不是任意的对象:
// Object does not support IDisposable.
using ( object obj = Factory.CreateResource( ))
Console.WriteLine( obj.ToString( ));
如果obj实现了IDispose接口,那么using语句就会生成资源清理代码,如果不是,using就退化成使用using(null),这是安全的,但没有任何作用。如果你对一个对象是否应该放在using语句中不是很确定,宁可为了更安全:假设要这样做,而且按前面的方法把它放到using语句中。
这里讲了一个简单的情况:无论何时,当你在某个方法内使用一个可处理对象时,把这个对象放在using语句内。现在你学习一些更复杂的应用。还是前面那个例子里须要释放的两个对象:链接和命令。前面的例子告诉你创建了两个不同的using语句,一个包含一个可处理对象。每个using语句就生成了一个不同的try/finally块。等效的你写了这样的代码:
{
SqlConnection myConnection = null;
SqlCommand mySqlCommand = null;
try
{
myConnection = new SqlConnection( connString );
try
{
mySqlCommand = new SqlCommand( commandString,myConnection );
myConnection.Open();
mySqlCommand.ExecuteNonQuery();
}
finally
{
if ( mySqlCommand != null )
mySqlCommand.Dispose( );
}
}
finally
{
if ( myConnection != null )
myConnection.Dispose( );
}
}
每一个using语句生成了一个新的嵌套的try/finally块。我发现这是很糟糕的结构,所以,如果是遇到多个实现了IDisposable接口的对象时,我更愿意写自己的try/finally块:
{
SqlConnection myConnection = null;
SqlCommand mySqlCommand = null;
try {
myConnection = new SqlConnection( connString );
mySqlCommand = new SqlCommand( commandString,
myConnection );
myConnection.Open();
mySqlCommand.ExecuteNonQuery();
}
finally
{
if ( mySqlCommand != null )
mySqlCommand.Dispose();
if ( myConnection != null )
myConnection.Dispose();
}
}
(译注:作者里的判断对象是否为null是很重要的,特别是一些封装了COM的对象,有些时候的释放是隐式的,当你再释放一些空对象时会出现异常。例如:同一个COM被两个不同接口的变量引用时,在其中一个上调用了Dispose后,另一个的调用就会失败。在.Net里也要注意这样的问题,所以要判断对象是否为null)
然而,请不要自作聪明试图用as来写这样的using语句:
{
// Bad idea. Potential resource leak lurks!
SqlConnection myConnection =
new SqlConnection( connString );
SqlCommand mySqlCommand = new SqlCommand( commandString, myConnection );
using ( myConnection as IDisposable )
using (mySqlCommand as IDisposable )
{
myConnection.Open();
mySqlCommand.ExecuteNonQuery();
}
}
这看上去很清爽,但有一个狡猾的(subtle )的bug。 如果SqlCommand()的构造函数抛出异常,那么SqlConnection对象就不可能被处理了。你必须确保每一个实现了IDispose接口的对象分配在在using范围内,或者在try/finally块内。否则会出现资源泄漏。
目前为止,你已经学会了两种最常见的情况。无论何时在一个方法内处理一个对象时,使用using语句是最好的方法来确保申请的资源在各种情况下都得到释放。当你在一个方法里分配了多个(实现了IDisposable接口的)对象时,创建多个using块或者使用你自己的try/finally块。
对可处理对象的理解有一点点细微的区别。有一些对象同时支持Disponse和Close两个方法来释放资源。SqlConnection就是其中之一,你可以像这样关闭SqlConnection:
{
SqlConnection myConnection = null;
try {
myConnection = new SqlConnection( connString );
SqlCommand mySqlCommand = new SqlCommand( commandString,myConnection );
myConnection.Open();
mySqlCommand.ExecuteNonQuery();
}
finally
{
if ( myConnection != null )
myConnection.Close();
}
}
这个版本关闭了链接,但它确实与处理对象是不一样的。Dispose方法会释放更多的资源,它还会告诉GC,这个对象已经不再须要析构了(译注:关于C#里的析构,可以参考其它方面的书籍)。Dispose会调用GC.SuppressFinalize(),但Close()一般不会。结果就是,对象会到析构队列中排队,即使析构并不是须要的。当你有选择时,Dispose()比Colse()要好。你会在原则18里学习更更精彩的内容。
Dispose()并不会从内存里把对象移走,对于让对象释放非托管资源来说是一个hook。这就是说你可能遇到这样的难题,就是释放一个还在使用的对象。不要释放一个在程序其它地方还在引用的对象。
在某些情况下,C#里的资源管理比C++还要困难。你不能指望确定的析构函数来清理你所使用的所有资源。但垃圾回收器却让你更轻松,你的大从数类型不必实现IDisposable接口。在.Net框架里的1500多个类中,只有不到100个类实现了IDisposable接口。当你使用一个实现了IDisposeable接口的对象时,记得在所有的类里都要处理它们。你应该把它们包含在using语句中,或者try/finally块中。不管用哪一种,请确保每时每刻对象都得到了正确的释放。