垃圾回收机制 详谈.net中的垃圾回收机制

1. 自动内存管理和GC
　　在原始程序中堆的内存分配是这样的：找到第一个有足够空间的内存地址（没被占用的），然后将该内存分配。当程序不再需要此内存中的信息时程序员需要手动将此内存释放。堆的内存是公用的，也就是说所有进程都有可能覆盖另一进程的内存内容，这就是为什么很多设计不当的程序甚至会让操作系统本身都down掉。我们有时碰到的程序莫名其妙的死掉了（随机现象），也是因为内存管理不当引起的（可能由于本身程序的内存问题或是外来程序造成的）。另一个常见的实例就是大家经常看到的游戏的Trainer，他们通过直接修改游戏的内存达到"无敌"的效果。明白了这些我们可以想象如果内存地址被用混乱了的话会多么危险，我们也可以想象为什么C++程序员（某些）一提起指针就头疼的原因了。另外，如果程序中的内存不被程序员手动释放的话那么这个内存就不会被重新分配，直到电脑重起为止，也就是我们所说的内存泄漏。所说的这些是在非托管代码中，CLR通过AppDomain实现代码间的隔离避免了这些内存管理问题，也就是说一个AppDomain在一般情况下不能读/写另一AppDomain的内存。托管内存释放就由GC（Garbage Collector）来负责。我们要进一步讲述的就是这个GC，但是在这之前要先讲一下托管代码中内存的分配，托管堆中内存的分配是顺序的，也就是说一个挨着一个的分配。这样内存分配的速度就要比原始程序高，但是高出的速度会被GC找回去。为什么？看过GC的工作方式后你就会知道答案了。
2. GC工作方式
　　首先我们要知道托管代码中的对象什么时候回收我们管不了（除非用GC.Collect**GC回收，这不推荐，后面会说明为什么）。GC会在它"高兴"的时候执行一次回收（这有许多原因，比如内存不够用时。这样做是为了提高内存分配、回收的效率）。那么如果我们用Destructor呢？同样不行，因为.NET中Destructor的概念已经不存在了，它变成了Finalizer，这会在后面讲到。目前请记住一个对象只有在没有任何引用的情况下才能够被回收。为了说明这一点请看下面这一段代码：

　　这里objA引用的对象并没有被回收，因为这个对象还有另一个引用，ObjB。对象在没有任何引用后就有条件被回收了。
　　当GC回收时，它会做以下几步：
　　1、确定对象没有任何引用。
　　2、检查对象是否在Finalizer表上有记录。如果在Finalizer表上有记录，那么将记录移到另外的一张表上，在这里我们叫它Finalizer2。如果不在Finalizer2表上有记录，那么释放内存。在Finalizer2表上的对象的Finalizer会在另外一个low priority的线程上执行后从表上删除。当对象被创建时GC会检查对象是否有Finalizer，如果有就会在Finalizer表中添加纪录。我们这里所说的记录其实就是指针。如果仔细看这几个步骤，我们就会发现有Finalizer的对象第一次不会被回收，也就是，有Finalizer的对象要一次以上的Collect操作才会被回收，这样就要慢一步，所以作者推荐除非是绝对需要不要创建Finalizer。
　　GC为了提高回收的效率使用了Generation的概念，原理是这样的，第一次回收之前创建的对象属于Generation 0，之后，每次回收时这个Generation的号码就会向后挪一，也就是说，第二次回收时原来的Generation 0变成了Generation 1，而在第一次回收后和第二次回收前创建的对象将属于Generation 0。GC会先试着在属于Generation 0的对象中回收，因为这些是最新的，所以最有可能会被回收，比如一些函数中的局部变量在退出函数时就没有引用了（可被回收）。如果在Generation 0中回收了足够的内存，那么GC就不会再接着回收了，如果回收的还不够，那么GC就试着在Generation 1中回收，如果还不够就在Generation 2中回收，以此类推。Generation也有个最大限制，根据Framework版本而定，可以用GC.MaxGeneration获得。在回收了内存之后GC会重新排整内存，让数据间没有空格，这样是因为CLR顺序分配内存，所以内存之间不能有空着的内存。现在我们知道每次回收时都会浪费一定的CPU时间，这就是我说的一般不要手动GC.Collect的原因。
　　当我们用Destructor的语法时，编译器会自动将它写为protected virtual void Finalize()，这个方法就是我所说的Finalizer。就象它的名字所说，它用来结束某些事物，不是用来摧毁（Destruct）事物。在Visual Basic中它就是以Finalize方法的形式出现的，所以Visual Basic程序员就不用操心了。C#程序员得用Destructor的语法写Finalizer，不过千万不要弄混了，.NET中已经没有Destructor了。C++中我们可以准确的知道什么时候会执行Destructor，不过在.NET中我们不能知道什么时候会执行Finalizer，因为它是在第一次对象回收操作后才执行的。我们也不能知道Finalizer的执行顺序，也就是说同样的情况下，A的Finalize可能先被执行，B的后执行，也可能A的后执行而B的先执行。也就是说，在Finalizer中我们的代码不能有任何的时间逻辑。下面我们以计算一个类有多少个实例为示例，指出Finalizer与Destructor的不同并指出在Finalizer中有时间逻辑的错误：

　　注意以上代码要是改用C++写的话会发生内存泄漏，因为我们没有用delete操作符手动清理内存，但是在托管代码中却不会发生内存泄漏，因为GC会自动检测没有引用了的对象并回收。这里作者推荐你只在实现IDisposable接口时配合使用Finalizer，在其他的情况下不要使用（可能会有特殊情况）。
3. 对象的复活
　　什么？回收的对象也可以"复活"吗？没错，虽然这么说的定义不准确。让我们先来看一段代码：

　　你可能会问："既然这个对象能复活，那么这个对象在程序结束后会被回收吗？"。会，"为什么？"。让我们按照GC的工作方式走一遍你就明白是怎么回事了。
　　1、执行Collect。检查引用。没问题，对象已经没有引用了。
　　2、创建新实例时已经在Finalizer表上作了纪录，所以我们检查到了对象有Finalizer。
　　3、因为查到了Finalizer，所以将记录移到Finalizer2表上。
　　4、在Finalizer2表上有记录，所以不释放内存。
　　5、Collect执行完毕。这时我们用了GC.WaitForPendingFinalizers，所以我们将等待所有Finalizer2表上的Finalizers的执行。
　　6、Finalizer执行后我们的Instance就又引用了我们的对象。（复活了）
　　7、再一次去除所有的引用。
　　8、执行Collect。检查引用。没问题。
　　9、由于上次已经将记录从Finalizer表删除，所以这次没有查到对象有Finalizer。
　　10、在Finalizer2表上也不存在，所以对象的内存被释放了。
　　非托管资源的释放到现在为止，我们说了托管内存的管理，那么当我们利用如数据库、文件等非托管资源时呢？这时我们就要用到.NET Framework中的标准：IDisposable接口。按照标准，所有有需要手动释放非托管资源的类都得实现此接口。这个接口只有一个方法，Dispose()，不过有相对的Guidelines指示如何实现此接口，在这里我向大家说一说。实现IDisposable这个接口的类需要有这样的结构：

　　为什么要这样设计呢？让我在后面解说一下。现在我们讲讲实现这个Dispose方法的几个准则：它不能扔出任何错误，重复的调用也不能扔出错误。也就是说，如果我已经调用了一个对象的Dispose，当我第二次调用Dispose的时候程序不应该出错，简单地说程序在第二次调用Dispose时不会做任何事。这些可以通过一个flag或多重if判断实现。一个对象的Dispose要做到释放这个对象的所有资源。拿一个继承类为例，继承类中用到了非托管资源所以它实现了IDisposable接口，如果继承类的基类也用到了非托管资源那么基类也得被释放，基类的资源如何在继承类中释放呢？当然是通过一个virtual/Overridable方法了，这样我们能保证每个Dispose都被调用到。这就是为什么我们的设计有一个virtual/Overridable的Dispose方法。注意我们首先要释放继承类的资源然后再释放基类的资源。因为非托管资源一定要被保障正确释放所以我们要定义一个Finalizer来避免程序员忘了调用Dispose的情况。上面的设计就采用了这种形式。如果我们手动调用Dispose方法就没有必要再保留Finalizer了，所以在Dispose中我们用了GC.SupressFinalize将对象从Finalizer表去掉，这样再回收时速度会更快。那么那个disposing和"托管类"是怎么回事呢？是这样：在"托管类"中写所有你想在调用Dispose时让其处于可释放状态的托管代码。还记得我们说过我们不知道托管代码是什么时候释放的吗？在这里我们只是去掉成员对象的引用让它处于可被回收状态，并不是直接释放内存。在"托管类"中这里我们也要写上所有实现了IDisposable的成员对象，因为他们也有Dispose，所以也需要在对象的Dispose中调用他们的Dispose，这样才能保证第二个准则。disposing是为了区分Dispose的调用方法，如果我们手动调用那么为了第二个准则"托管类"部分当然得执行，但如果是Finalizer调用的Dispose，这时候对象已经没有任何引用，也就是说对象的成员自然也就不存在了（无引用），也就没有必要执行"托管类"部分了，因为他们已经处于可被回收状态了。好了，这就是IDisposable接口的全部了。现在让我们来回想一下，以前我们可能认为有了Dispose内存就会马上被释放，这是错误的。只有非托管内存才会被马上释放，托管内存的释放由GC管理，我们不用管。
4. 弱引用的使用
　　 A = B，我们称这样的引用叫做强引用，GC就是通过检查强引用来决定一个对象是否是可以回收的。另外还有一种引用称作弱引用（WeakReference），这种引用不影响GC回收，这就是它的用处所在。你会问到底有什么用处。现在我们来假设我们有一个很胖的对象，也就是说它占用很多内存。我们用过了这个对象，打算将它的引用去掉好让GC可以回收内存，但是功夫不大我们又需要这个对象了，没办法，重新创建实例，怎么创建这么慢啊？有什么办法解决这样的问题？有，将对象留在内存中不就快了嘛！不过我们不想这样胖得对象总占着内存，而我们也不想总是创建这样胖的新实例，因为这样很耗时。那怎么办……？聪明的朋友一定已经猜到了我要说解决方法是弱引用。不错，就是它。我们可以创建一个这个胖对象的弱引用，这样在内存不够时GC可以回收，不影响内存使用，而在没有被GC回收前我们还可以再次利用该对象。这里有一个示例：

　　这里我们的Fat其实并不是很胖，但是可以体现示例的本意：如何使用弱引用。那如果Fat有Finalizer呢，会怎样？如果Fat有Finalizer那么我们可能会用到WeakReference的另一个构造函数，当中有一参数叫做TrackResurrection，如果是True，只要Fat的内存没被释放我们就可以用它，也就是说Fat的Finalizer执行后我们还是可以恢复Fat（相当于第一次回收操作后还可恢复Fat）；如果TrackResurrection是False，那么第一次回收操作后就不能恢复Fat对象了。
5. 总结
　　我在这里写出了正篇文章的要点：
一个对象只当在没有任何引用的情况下才会被回收。
一个对象的内存不是马上释放的，GC会在任何时候将其回收。一般情况下不要强制回收工作。
如果没有特殊的需要不要写Finalizer。
不要在Finalizer中写一些有时间逻辑的代码。
在任何有非托管资源或含有Dispose的成员的类中实现IDisposable接口。
按照给出的Dispose设计写自己的Dispose代码。
当用胖对象时可以考虑弱引用的使用。