.NET中堆栈与堆的特点和差异究竟有何本质区别？

本文共计1469个文字，预计阅读时间需要6分钟。

一、前言

.NET 提供了垃圾回收机制，让程序员从内存管理中解放出来。然而，这并不意味着程序员无需关心对象是如何被回收的。更重要的是，一些非托管资源仍然需要程序员小小心心地管理。

一、前言

.NET提供了垃圾回收机制，使程序员从内存管理中被解放出来。但这并不代表程序员就无须了解分配的对象是如何被回收的。更重要的是，一些非托管的资源仍然需要程序员小心地分配与回收。

理解堆和堆栈是理解内存管理的基础。每一个.NET程序都最终会运行在一个操作系统进程中，假设这个操作系统是传统的32位的，那每个.NET程序都可以拥有一个4GB的虚拟内存。.NET会在这个4GB的内存块中开辟出三块内存分别作为堆栈、受托管的堆和非托管的堆。

二、.NET中的堆栈

.NET中的堆栈用来存储值类型的对象和引用类型对象的引用，堆栈的分配是连续的，在.NET程序中，始终存储了一个特殊的指针指向堆栈的尾部，这样一个堆栈内存的分配就直接从这个指针指向的内存位置开始向下分配。下图展示了.NET的堆栈分配方式。

如上图所示，堆栈上的地址从高位开始往低位分配内存，.NET只需要保存一个堆栈指针指向下一个未分配内存的内存地址。对于所有需要分配的对象，依次分配到堆栈中，其释放也严格按照栈的逻辑，依次进行退栈。这里提到的“依次”，是指按照变量的作用域进行的。考虑下面的代码：

ClassA a = new ClassA(); a.intA = 1; a.intB = 2;

这里假设ClassA是一个引用类型，则堆栈中依次需要分配的是a的引用、a.intA和a.intB。当a的作用域结束后，这三个变量则从堆栈中依次退出：a.intB、a.intA，然后才是a。