.NET垃圾回收：非托管资源

迷南。 2022-05-09 06:36 204阅读 0赞

其实在C\#开发中，大部分资源都可以通过.NET垃圾回收机制进行回收，只用当我们使用非托管资源（原始的操作系统文件句柄，原始的非托管数据库连接，非托管内存等等）的时候，我们才需要实现自己的资源清理代码。

.NET提供了两种释放非托管资源的方式，类型自己的Finalize方法和IDisposable接口的Dispose方法。

下面就来看看这两个跟垃圾回收相关的方法。

## Finalize方法 ##

在.NET的基类System.Object中，定义了名为Finalize()的虚方法，这个方法默认什么都不做。

我们可以为自定义的类型重写Finalize方法，在该方法中加入必要的非托管资源清理逻辑。当要从内存中删除这个类型的对象时，垃圾回收器会调用对象的Finalize方法。所以，无论.NET进行一次自发的垃圾回收，还是我们通过GC.Collect()进行强制垃圾回收，Finalize方法总是会被调用。另外，当承载应用程序的AppDomain从内存中移除时，同样会调用Finalize方法。

### 重写Finalize方法 ###

假设我们现在有一个使用非托管资源的类型，那么我们就需要重写Finalize方法来进行非托管资源的清理，但是当通过下面的方式重写Finalize方法的时候，我们会得到一个编译错误。

C\#

class MyResourceWrapper \{ protected override void Finalize() \{ \} \}

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 </td> 
 <td> class MyResourceWrapper { &nbsp;&nbsp;&nbsp;&nbsp;protected override void Finalize() &nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;} } </td> 
 </tr> 
 </tbody> 
</table>

![6941baebgw1eqibq1ats0j20nc034dg6.jpg][]

其实，当我们想要重写Finalize方法时，C\#为我们提供了（类似C++）析构函数语法（C\#终结器）来重写该方法。C\#终结器和构造函数语法类似，方法名称都和类型名称一样；不同的是，终结器具有~前缀，并且不能使用访问修饰符，不接受参数，也不能重载，所以一个类只能有一个终结器。

C\#

class MyResourceWrapper \{ ~MyResourceWrapper() \{ Console.WriteLine("release unmanaged resources"); Console.Beep(); \} \}

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 </td> 
 <td> class MyResourceWrapper { &nbsp;&nbsp;&nbsp;&nbsp;~MyResourceWrapper() &nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Console.WriteLine("release unmanaged resources"); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Console.Beep(); &nbsp;&nbsp;&nbsp;&nbsp;} } </td> 
 </tr> 
 </tbody> 
</table>

之所以C\#只支持这种方式进行Finalize方法的重写，是因为C\#编译器会为Finalize方法隐式地加入一些必需的基础代码。下面就是我们通过ILSpy查看到了IL代码，**Finalize方法作用域内的代码被放在了一个try块中，然后不管在try块中是否遇到异常，finally块保证了Finalize方法总是能够被执行**。

.method family hidebysig virtual instance void Finalize () cil managed \{ // Method begins at RVA 0x2050 // Code size 31 (0x1f) .maxstack 1 .try \{ IL\_0000: nop IL\_0001: ldstr "release unmanaged resources" IL\_0006: call void \[mscorlib\]System.Console::WriteLine(string) IL\_000b: nop IL\_000c: call void \[mscorlib\]System.Console::Beep() IL\_0011: nop IL\_0012: nop IL\_0013: leave.s IL\_001d \} // end .try finally \{ IL\_0015: ldarg.0 IL\_0016: call instance void \[mscorlib\]System.Object::Finalize() IL\_001b: nop IL\_001c: endfinally \} // end handler IL\_001d: nop IL\_001e: ret \} // end of method MyResourceWrapper::Finalize

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 </td> 
 <td> .method family hidebysig virtual &nbsp;&nbsp;&nbsp;&nbsp;instance void Finalize () cil managed { &nbsp;&nbsp;&nbsp;&nbsp;// Method begins at RVA 0x2050 &nbsp;&nbsp;&nbsp;&nbsp;// Code size 31 (0x1f) &nbsp;&nbsp;&nbsp;&nbsp;.maxstack 1 &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;.try &nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_0000: nop &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_0001: ldstr "release unmanaged resources" &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_0006: call void [mscorlib]System.Console::WriteLine(string) &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_000b: nop &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_000c: call void [mscorlib]System.Console::Beep() &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_0011: nop &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_0012: nop &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_0013: leave.s IL_001d &nbsp;&nbsp;&nbsp;&nbsp;} // end .try &nbsp;&nbsp;&nbsp;&nbsp;finally &nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_0015: ldarg.0 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_0016: call instance void [mscorlib]System.Object::Finalize() &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_001b: nop &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IL_001c: endfinally &nbsp;&nbsp;&nbsp;&nbsp;} // end handler &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;IL_001d: nop &nbsp;&nbsp;&nbsp;&nbsp;IL_001e: ret } // end of method MyResourceWrapper::Finalize </td> 
 </tr> 
 </tbody> 
</table>

当我们执行下面代码时，我们就可以听到系统蜂鸣声，像我们前面介绍的一样AppDomain被移除内存，类型终结器将被调用。

C\#

static void Main(string\[\] args) \{ MyResourceWrapper mr = new MyResourceWrapper(); \}

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 </td> 
 <td> static void Main(string[] args) { &nbsp;&nbsp;&nbsp;&nbsp;MyResourceWrapper mr = new MyResourceWrapper(); } </td> 
 </tr> 
 </tbody> 
</table>

### Finalize的工作机制 ###

Finalize的工作机制还是比较复杂的，这里只是简单的介绍，更多的原理大家可以自己网上查查。

当在托管堆上分配对象空间时，运行库会自动确定该对象是否提供一个自定义的Finalize方法。如果是这样，对象被标记为可终结的，同时一个指向这个对象的指针被保存在名为**终结队列**的内部队列中。终结队列是一个由垃圾回收器维护的表，它指向每一个在从堆上删除之前必须终结的对象。

当垃圾回收器确定到了从内存中释放一个对象的时间时，它检查终结队列上的每一个项，并将对象从堆上复制到另一个称作**终结可达表**（finalization reachable table的托管结构上。此时，下一个垃圾回收时将产生另外一个线程，为每一个在可达表中的对象调用Finalize方法。因此，为了真正终结一个对象，至少要进行两次垃圾回收。

从上面可以看到，Finalize方法的调用是相当消耗资源的。Finalize方法的作用是保证.NET对象能够在垃圾回收时清理非托管资源，如果创建了一个不使用非托管资源的类型，实现终结器是没有任何作用的。所以说，如果没有特殊的需求应该避免重写Finalize方法。

## IDisposable接口 ##

当垃圾回收生效时，可以利用终结器来释放非托管资源。然而，很多非托管资源都非常宝贵（如数据库和文件句柄），所以它们应该尽可能快的被清除，而不能依靠垃圾回收的发生。除了重写Finalize之外，类还可以实现IDisposable接口，然后在代码中主动调用Dispose方法来释放资源。

看一个例子：

C\#

class MyResourceWrapper:IDisposable \{ public void Dispose() \{ Console.WriteLine("release resources with Dispose"); Console.Beep(); \} \} class Program \{ static void Main(string\[\] args) \{ MyResourceWrapper mr = new MyResourceWrapper(); mr.Dispose(); \} \}

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 </td> 
 <td> class MyResourceWrapper:IDisposable { &nbsp;&nbsp;&nbsp;&nbsp;public void Dispose() &nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Console.WriteLine("release resources with Dispose"); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Console.Beep(); &nbsp;&nbsp;&nbsp;&nbsp;} } &nbsp; class Program { &nbsp;&nbsp;&nbsp;&nbsp;static void Main(string[] args) &nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;MyResourceWrapper mr = new MyResourceWrapper(); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;mr.Dispose(); &nbsp;&nbsp;&nbsp;&nbsp;} } </td> 
 </tr> 
 </tbody> 
</table>

同样，当我们显示的调用Dispose方法的时候，可以听到系统的蜂鸣声。

**注意**，通过Dispose进行资源的释放也是有潜在的风险的，因为Dispose方法需要被程序员显示的调用，如果代码中漏掉了Dispose的调用或者在Dispose调用之前产生了异常从而没有指定Dispose，那么有些资源可能就一直留在内存中了。

所以我们应该使用下面的方式保证Dispose方法可以被调用到：

C\#

static void Main(string\[\] args) \{ MyResourceWrapper mr = new MyResourceWrapper(); try \{ //do something wiht mr object \} finally \{ mr.Dispose(); \} \}

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 </td> 
 <td> static void Main(string[] args) { &nbsp;&nbsp;&nbsp;&nbsp;MyResourceWrapper mr = new MyResourceWrapper(); &nbsp;&nbsp;&nbsp;&nbsp;try &nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//do something wiht mr object &nbsp;&nbsp;&nbsp;&nbsp;} &nbsp;&nbsp;&nbsp;&nbsp;finally &nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;mr.Dispose(); &nbsp;&nbsp;&nbsp;&nbsp;} } </td> 
 </tr> 
 </tbody> 
</table>

但是，每次编写Dispose的代码都使用try块会觉得很麻烦，还好C\#中，我们可以重用using关键字来简化Dispose的调用。

### 重用using关键字 ###

在C\#中，using语句提供了一个高效的调用对象Dispose方法的方式。对于任何IDispose接口的类型，都可以使用using语句，而对于那些没有实现IDisposable接口的类型，使用using语句会导致一个编译错误。

C\#

static void Main(string\[\] args) \{ using (MyResourceWrapper mr = new MyResourceWrapper()) \{ //do something with mr object \} \}

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 </td> 
 <td> static void Main(string[] args) { &nbsp;&nbsp;&nbsp;&nbsp;using (MyResourceWrapper mr = new MyResourceWrapper()) &nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//do something with mr object &nbsp;&nbsp;&nbsp;&nbsp;} } </td> 
 </tr> 
 </tbody> 
</table>

在using语句块结束的时候，mr实例的Dispose方法将会被自动调用。using语句不仅免除了程序员输入Dispose调用的代码，它还保证Dispose方法被调用，无论using语句块顺利执行结束，还是抛出一个异常。事实上，C\#编译器为using语句自动添加了try/finally块。我们可以看看using的IL代码：

C\#

.try \{ IL\_0007: nop IL\_0008: nop IL\_0009: leave.s IL\_001b \} // end .try finally \{ IL\_000b: ldloc.0 IL\_000c: ldnull IL\_000d: ceq IL\_000f: stloc.1 IL\_0010: ldloc.1 IL\_0011: brtrue.s IL\_001a IL\_0013: ldloc.0 IL\_0014: callvirt instance void \[mscorlib\]System.IDisposable::Dispose() IL\_0019: nop IL\_001a: endfinally \} // end handler

## Dispose和Finalize的结合 ##

从前面的介绍了解到，Finalize可以通过垃圾回收进行自动的调用，而Dispose需要被代码显示的调用，所以，为了保险起见，对于一些非托管资源，还是有必要实现终结器的。也就是说，如果我们忘记了显示的调用Dispose，那么垃圾回收也会调用Finalize，从而保证非托管资源的回收。

其实，MSDN上给我们提供了一种很好的模式来实现IDisposable接口来结合Dispose和Finalize，例如下面的代码：

C\#

class MyResourceWrapper:IDisposable \{ private bool IsDisposed=false; public void Dispose() \{ Dispose(true); //tell GC not invoke Finalize method GC.SuppressFinalize(this); \} protected void Dispose(bool Disposing) \{ if(!IsDisposed) \{ if(Disposing) \{ //clear managed resources \} //clear unmanaged resources \} IsDisposed=true; \} ~MyResourceWrapper() \{ Dispose(false); \} \}

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 </td> 
 <td> class MyResourceWrapper:IDisposable { &nbsp;&nbsp;&nbsp;&nbsp;private bool IsDisposed=false;&nbsp;&nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;public void Dispose()&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Dispose(true);&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//tell GC not invoke Finalize method &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;GC.SuppressFinalize(this);&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;}&nbsp;&nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;protected void Dispose(bool Disposing)&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;if(!IsDisposed)&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;if(Disposing)&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//clear managed resources &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//clear unmanaged resources &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;}&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;IsDisposed=true;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;} &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;~MyResourceWrapper()&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Dispose(false);&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;} } </td> 
 </tr> 
 </tbody> 
</table>

在这个模式中，void Dispose(bool Disposing)函数通过一个Disposing参数来区别当前是否是被Dispose()调用。如果是被Dispose()调用，那么需要同时释放托管和非托管的资源。如果是被终结器调用了，那么只需要释放非托管的资源即可。Dispose()函数是被其它代码显式调用并要求释放资源的，而Finalize是被GC调用的。

另外，由于在Dispose()中已经释放了托管和非托管的资源，因此在对象被GC回收时再次调用Finalize是没有必要的，所以在Dispose()中调用GC.SuppressFinalize(this)避免重复调用Finalize。同样，因为IsDisposed变量的存在，资源只会被释放一次，多余的调用会被忽略。

所以这个模式的优点可以总结为：

1.  如果没有显示的调用Dispose()，未释放托管和非托管资源，那么在垃圾回收时，还会执行Finalize()，释放非托管资源，同时GC会释放托管资源
2.  如果调用了Dispose()，就能及时释放了托管和非托管资源，那么该对象被垃圾回收时，就不会执行Finalize()，提高了非托管资源的使用效率并提升了系统性能

## 总结 ##

本文介绍了.NET垃圾回收中两个相关的方法：Dispose和Finalize。Finalize的目的是用于释放非托管的资源，而Dispose是用于释放所有资源，包括托管的和非托管的。

Dispose需要在代码中进行显示的调用，而Finalize则是由垃圾回收自动调用，为了更有效的结合Dispose和Finalize，文中还介绍了MSDN中给出的实现IDisposable接口的一个模式。

[6941baebgw1eqibq1ats0j20nc034dg6.jpg]: /images/20220509/4190d621787440efb8dd650d1523162c.png