谈谈.net对象生命周期(垃圾回收)

不用程序员操心的堆 ―托管堆

程序在计算机上跑着，就难免会占用内存资源来存储在程序运行过程中的数据，我们按照内存资源的存取方式将内存划分为堆内存和栈内存。

　 栈内存，通常使用的场景是：对存取速度要求较高且数据量不大。

　 典型的栈内存使用的例子就是函数栈，每一个函数被调用时都会被分配一块内存，这块内存被称为栈内存，以先进后出的方式存取数据，在函数执行过程中不断往函数栈中压入（PUSH）数据（值类型数据：int、float、对象的引用...），函数执行完后又将函数栈中的数据逐个弹出（POP）,由于是以操作栈的形式来存取，所以访问速度快。

堆内存，从字面意思上理解就好像是仓库里面可以存一堆破烂，你若是需要存点什么东西就尽管往里面一扔，仓库里有的是空间。事实确实也是如此，堆内存中可以存放大规格的数据（比如对象资源），这些数据是不适合存放在栈中的，因为栈空间的容量有限，这就是堆内存相对于栈内存的好处：容量大。但是它的缺点也是显而易见的，那就是存取堆内存的数据相较于存取栈内存是非常慢的，试想一下，让你在仓库里的一堆破烂里去找你想要的东西是什么感觉。

从内存分配方式上看，堆内存不同于栈内存，函数栈是在每一个函数被执行的时候被自动分配并且函数执行完成后自动回收，而如果你想使用堆内存，就得自己动手丰衣足食。

　 所以你会看到c语言程序员会这样去使用堆内存：

int *p = (int*)malloc(sizeof(int)); //在堆内存中申请一块字节数为int字节数的堆内存，并返回指向该内存区域的指针
*p = 10; 
free(p); //释放堆内存资源

你还会看见c++程序员这样写：

Car* bmw = new Car(); //创建一个Car类对象，在堆内存中存放对象数据，并返回指向对象资源的指针
delete bmw; //释放堆内存资源

当然，没有接触过c/c++的小伙伴也不用惊慌，上面只不过是想让你知道在c/c++语言中，程序员要是想使用堆内存，那就必须显式地编写分配和释放堆内存资源的代码。

　 有人问：使用完堆内存资源后没有手动释放它会有什么后果吗？

　 答案是：由于堆内存资源使用者未及时释放内存会导致内存无法再次使用，从而造成内存资源的泄漏（浪费）。

　 就在这个时候，c#程序员笑了，只见他的手指非常轻盈优雅地在屏幕上敲出了下面这行代码：

　Car bmw = new Car();

一旁围观的c程序员和c++程序员惊呆了，他们不知道自己在敲代码的时候有没有像这样轻松过。c++程序员用手抚摸着他那锃光瓦亮的额头，突然眼睛里闪着光，喊道：“你还没有释放堆内存的资源呢，你这样是很危险的，会内存泄漏的，快，把释放堆内存的代码写上！”

c#程序员似乎并不为所动，舒舒服服地靠在椅子上，用余光瞟了c++程序员一眼，说：“不用慌，不用慌，这个对象在托管堆上放的好好的呢，不用我操心”，于是，c#程序员便娓娓道来（呼呼大睡）...

在.NET的世界，使用new关键字创建一个对象，首先对象资源被分配在托管堆中，然后new会返回一个指向堆上对象的引用，而不是真正的对象本身。如果在方法作用域中将引用变量声明为本地变量，这个引用变量保存在栈内，以供应用程序以后使用。

托管堆，顾名思义，就是托给别人管的堆，那么是谁在管理着这个堆上的对象资源呢？

答案是：CLR(Common Lanauage Runtime)，对象的实例化结束以后，GC(垃圾回收器)将会在对象不再需要时将其销毁。

也就是说，通过允许垃圾收集器负责销毁对象，内存管理的麻烦就都交给CLR了，万事大吉。

看似问题好像都已水落石出，无非就是将堆内存资源回收交给了CLR去承担。难道你就不想知道的更多一点？比如接着而来的问题：

1、垃圾回收器如何判断一个对象什么时候不再需要？

2、垃圾回收器又在什么时候会执行垃圾清理的操作？

别急，带着问题慢慢往下看。

CIL的new指令― 垃圾回收的触发者

c#中的new关键字最终会被编译器翻译成CIL的newobj指令，让我们仔细查看一下CIL newobj指令的作用。

首先，需要明白托管堆不仅仅是一个可由CLR访问的随机内存块。.NET垃圾回收器是堆的“清洁工”，出于优化的目的它会压缩空闲的内存块（当需要时）。为了辅助压缩，托管堆会维护一个指针(通常被叫做下一个对象指针或者是新对象指针），这个指针用来标识下一个对象在堆中分配的地址。

此外，newobj指令通知CLR来执行下列的核心任务：

(1)计算要分配的对象所需的全部内存（包括这个类型的数据成员和类型的基类所需的内存）。

(2)检查托管堆来确保有足够的空间来放置所申请的对象。如果有足够的空间，会调用这个类型的构造函数，构造函数会返回一个指向内存中这个新对象的引用，这个新对象的地址刚好就是下一个对象指针上一次所指向的位置。

(3)最后，在把引用返回给调用者之前，让下一个对象指针指向托管堆中下一个可用的位置。

下面的图解释了在托管堆上分配对象的细节。

在c#中分配对象是一个很频繁的操作，照这样下去托管堆上的空间迟早会被挥霍完，所以，重点来了，如果CLR 发现托管堆没有足够空间分配请求的类型时，它会执行一次垃圾回收来释放内存。

当执行垃圾回收时，垃圾收集器临时挂起当前进程中的所有的活动线程来保证在回收过程中应用程序不会访问到堆。（一个线程是一个正在执行的程序中的执行路径）。一旦垃圾回收完成，挂起的线程又可以继续执行了。还好，.NET 垃圾回收器是高度优化过的，所以用户很少能察觉到应用程序中的短暂中断。

通过对CIL的new指令作用的解读，我们知道了:如果托管堆没有足够的空间分配一个请求的对象，则会执行一次垃圾回收。

（讲到这里c#程序员停了下来，喝了口保温杯里的枸杞红枣大补茶