本文将介绍以下内容：
对象的创建过程
内存分配分析
内存布局研究
1.引言
了解.NET的内存管理机制，首先应该从内存分配开始，也就是对象的创建环节。对象的创建，是个复杂的过程，主要包括内存分配和初始化两个环节。例如，对象的创建过程可以表示为：
FileStream fs = new FileStream(@"C:"temp.txt", FileMode.Create);
通过new关键字操作，即完成了对FileStream类型对象的创建过程，这一看似简单的操作背后，却经历着相当复杂的过程和周折。
本篇全文，正是对这一操作背后过程的详细讨论，从中了解.NET的内存分配是如何实现的？
2.内存分配
关于内存的分配，首先应该了解分配在哪里的问题。CLR管理内存的区域，主要有三块，分别为：
·线程的堆栈，用于分配值类型实例。堆栈主要由操作系统管理，而不受垃圾收集器的控制，当值类型实例所在方法结束时，其存储单位自动释放。栈的执行效率高，但存储容量有限。
·GC堆，用于分配小对象实例。如果引用类型对象的实例大小小于85000字节，实例将被分配在GC堆上，当有内存分配或者回收时，垃圾收集器可能会对GC堆进行压缩，详情见后文讲述。
·LOH（Large Object Heap）堆，用于分配大对象实例。如果引用类型对象的实例大小不小于85000字节时，该实例将被分配到LOH堆上，而LOH堆不会被压缩，而且只在完全GC回收时被回收。
本文讨论的重点是.NET的内存分配机制，因此下文将不加说明的以GC堆上的分配为例来展开。关于值类型和引用类型的论述，请参见[第八回：品味类型---值类型与引用类型（上）－内存有理]。
了解了内存分配的区域，接着我们看看有哪些操作将导致对象创建和内存分配的发生，关于实例创建有多个IL指令解析，主要包括：
·newobj，用于创建引用类型对象。
·ldstr，用于创建string类型对象。
·newarr，用于分配新的数组对象。
·box，在值类型转换为引用类型对象时，将值类型字段拷贝到托管堆上发生的内存分配。
在上述论述的基础上，下面从堆栈的内存分配和托管堆的内存分配两个方面来分别论述.NET的内存分配机制。
2.1 堆栈的内存分配机制
对于值类型来说，一般创建在线程的堆栈上。但并非所有的值类型都创建在线程的堆栈上，例如作为类的字段时，值类型作为实例成员的一部分也被创建在托管堆上；装箱发生时，值类型字段也会拷贝在托管堆上。
对于分配在堆栈上的局部变量来说，操作系统维护着一个堆栈指针来指向下一个自由空间的地址，并且堆栈的内存地址是由高位到低位向下填充。以下例而言：