本文將介紹以下內容：
對象的創建過程
內存分配分析
內存布局研究
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 堆棧的內存分配機制
對於值類型來說，一般創建在線程的堆棧上。但並非所有的值類型都創建在線程的堆棧上，例如作為類的字段時，值類型作為實例成員的一部分也被創建在托管堆上；裝箱發生時，值類型字段也會拷貝在托管堆上。
對於分配在堆棧上的局部變量來說，操作系統維護著一個堆棧指針來指向下一個自由空間的地址，並且堆棧的內存地址是由高位到低位向下填充。以下例而言：
假設線程棧的初始化地址為50000，因此堆棧指針首先指向50000地址空間。代碼由入口函數Main開始執行，首先進入作用域的是整型局部變量x，它將在棧上分配4Byte的內存空間，因此堆棧指針向下移動4個字節，則值100將保存在49997~50000單位，而堆棧指針表示的下一個自由空間地址為49996，如圖所示：
接著進入下一行代碼，將為字符型變量c分配2Byte的內存空間，堆棧指針向下移動2個字節至49994單位，值’A’會保存在49995~49996單位，地址的分配如圖：
最後，執行到Main方法的右括號，方法體執行結束，變量x和c的作用域也隨之結束，需要刪除變量x和c在堆棧內存中的值，其釋放過程和分配過程剛好相反：首先刪除c的內存，堆棧指針向上遞增2個字節，然後刪除x的內存，堆棧指針繼續向上遞增4個字節，程序執行結束，此時的內存狀況為：
其他較復雜的分配過程，可能在作用域和分配大小上有所不同，但是基本過程大同小異。棧上的內存分配，效率較高，但是內存容量不大，同時變量的生存周期隨著方法的結束而消亡。
未完待續：托管堆的內存分配機制和必要的補充說明，近期發布，敬請關注。
