malloc（）是C語言中動態存儲管理的一組標準庫函數之一。其作用是在內存的動態存儲區中分配一個長度為size的連續空間。其參數是一個無符號整形數，返回值是一個指向所分配的連續存儲域的起始地址的指針。

　　動態內存分配就是指在程序執行的過程中動態地分配或者回收存儲空間的分配內存的方法。動態內存分配不像數組等靜態內存分配方法那樣需要預先分配存儲空間，而是由系統根據程序的需要即時分配，且分配的大小就是程序要求的大小。本文簡單介紹動態內存分配函數malloc（）及幾種實現方法。

　　1． 簡介

　　malloc（）是C語言中動態存儲管理的一組標準庫函數之一。其作用是在內存的動態存儲區中分配一個長度為size的連續空間。其參數是一個無符號整形數，返回值是一個指向所分配的連續存儲域的起始地址的指針。還有一點必須注意的是，當函數未能成功分配存儲空間（如內存不足）就會返回一個NULL指針。所以在調用該函數時應該檢測返回值是否為NULL并執行相應的操作。

　　2． 函數說明

　　C語言的動態存儲管理由一組標準庫函數實現，其原型在標準文件<stdlib.h>里描述，需要用這些功
能時應包含這個文件。與動態存儲分配有關的函數共有四個，其中就包括存儲分配函數malloc（）。函數原型是：void *malloc (size_t n);這里的size_t是標準庫里定義的一個類型，它是一個無符號整型。這個整型能夠滿足所有對存儲塊大小描述的需要，具體相當于哪個整型由具體的C系統確定。malloc的返回值為(void *)類型（這是通用指針的一個重要用途），它分配一片能存放大小為n的數據的存儲塊，返回對應的指針值；如果不能滿足申請（找不到能滿足要求的存儲塊）就返回NULL。在使用時，應該把malloc的返回值轉換到特定指針類型，賦給一個指針。

　　注意，雖然這里的存儲塊是通過動態分配得到的，但是它的大小也是確定的，同樣不允許越界使用。例如上面程序段分配的塊里能存n個雙精度數據，隨后的使用就必須在這個范圍內進行。越界使用動態分配的存儲塊，尤其是越界賦值，可能引起非常嚴重的后果，通常會破壞程序的運行系統，可能造成本程序或者整個計算機系統垮臺。

　　下例是一個動態分配的例子：
　　#include <stdlib.h>

　　main()
　　{
　　int count,*array; /*count是一個計數器，array是一個整型指針，也可以理解為指向一個整型數組的首地址*/
　　if((array(int *) malloc (10*sizeof(int)))==NULL)
　　{
　　printf("不能成功分配存儲空間。");
　　exit(1);
　　}
　　for (count=0;count〈10;count++) /*給數組賦值*/
　　array[count]=count;
　　for(count=0;count〈10;count++) /*打印數組元素*/
　　printf("%2d",array[count]);
　　}

　　上例中動態分配了10個整型存儲區域，然后進行賦值并打印。例中if((array(int *) malloc (10*sizeof(int)))==NULL)語句可以分為以下幾步：
　　1）分配10個整型的連續存儲空間，并返回一個指向其起始地址的整型指針
　　2）把此整型指針地址賦給array
　　3）檢測返回值是否為NULL

　　3． malloc（）工作機制

　　malloc函數的實質體現在，它有一個將可用的內存塊連接為一個長長的列表的所謂空閑鏈表。調用malloc函數時，它沿連接表尋找一個大到足以滿足用戶請求所需要的內存塊。然后，將該內存塊一分為二（一塊的大小與用戶請求的大小相等，另一塊的大小就是剩下的字節）。接下來，將分配給用戶的那塊內存傳給用戶，并將剩下的那塊（如果有的話）返回到連接表上。調用free函數時，它將用戶釋放的內存塊連接到空閑鏈上。到最后，空閑鏈會被切成很多的小內存片段，如果這時用戶申請一個大的內存片段，那么空閑鏈上可能沒有可以滿足用戶要求的片段了。于是，malloc函數請求延時，并開始在空閑鏈上翻箱倒柜地檢查各內存片段，對它們進行整理，將相鄰的小空閑塊合并成較大的內存塊。

　　4． malloc（）在操作系統中的實現

　　在 C 程序中，多次使用malloc () 和 free()。不過，您可能沒有用一些時間去思考它們在您的操作系統中是如何實現的。本節將向您展示 malloc 和 free 的一個最簡化實現的代碼，來幫助說明管理內存時都涉及到了哪些事情。

　　在大部分操作系統中，內存分配由以下兩個簡單的函數來處理：

　　void *malloc (long numbytes)：該函數負責分配 numbytes 大小的內存，并返回指向第一個字節的指針。

　　void free(void *firstbyte)：如果給定一個由先前的 malloc 返回的指針，那么該函數會將分配的空間歸還給進程的“空閑空間”。

　　malloc_init 將是初始化內存分配程序的函數。它要完成以下三件事：將分配程序標識為已經初始化，找到系統中最后一個有效內存地址，然后建立起指向我們管理的內存的指針。這三個變量都是全局變量：

　　清單 1. 我們的簡單分配程序的全局變量

　　int has_initialized = 0;
　　void *managed_memory_start;
　　void *last_valid_address;


　　如前所述，被映射的內存的邊界（最后一個有效地址）常被稱為系統中斷點或者 當前中斷點。在很多 UNIX? 系統中，為了指出當前系統中斷點，必須使用 sbrk(0) 函數。 sbrk 根據參數中給出的字節數移動當前系統中斷點，然后返回新的系統中斷點。使用參數 0 只是返回當前中斷點。這里是我們的 malloc 初始化代碼，它將找到當前中
斷點并初始化我們的變量：


　　清單 2. 分配程序初始化函數
　　/* Include the sbrk function */

　　#include
　　void malloc_init()
　　{
　　/* grab the last valid address from the OS */
　　last_valid_address = sbrk(0);
　　/* we don't have any memory to manage yet, so
　　*just set the beginning to be last_valid_address
　　*/
　　managed_memory_start = last_valid_address;
　　/* Okay, we're initialized and ready to go */
　　has_initialized = 1;
　　}


　　現在，為了完全地管理內存，我們需要能夠追蹤要分配和回收哪些內存。在對內存塊進行了 free 調用之后，我們需要做的是諸如將它們標記為未被使用的等事情，并且，在調用 malloc 時，我們要能夠定位未被使用的內存塊。因此， malloc 返回的每塊內存的起始處首先要有這個結構：


　　清單 3. 內存控制塊結構定義
　　struct mem_control_block {
　　int is_available;
　　int size;
　　};


　　現在，您可能會認為當程序調用 malloc 時這會引發問題 —— 它們如何知道這個結構？答案是它們不必知道；在返回指針之前，我們會將其移動到這個結構之后，把它隱藏起來。這使得返回的指針指向沒有用于任何其他用途的內存。那樣，從調用程序的角度來看，它們所得到的全部是空閑的、開放的內存。然后，當通過 free() 將該指針傳遞回來時，我們只需要倒退幾個內存字節就可以再次找到這個結構。


　　在討論分配內存之前，我們將先討論釋放，因為它更簡單。為了釋放內存，我們必須要做的惟一一件事情就是，獲得我們給出的指針，回退 sizeof(struct mem_control_block) 個字節，并將其標記為可用的。這里是對應的代碼：


　　清單 4. 解除分配函數
　　void free(void *firstbyte) {
　　struct mem_control_block *mcb;
　　/* Backup from the given pointer to find the
　　* mem_control_block
　　*/
　　mcb = firstbyte - sizeof(struct mem_control_block);
　　/* Mark the block as being available */
　　mcb->is_available = 1;
　　/* That's It! We're done. */
　　return;
　　}


　　如您所見，在這個分配程序中，內存的釋放使用了一個非常簡單的機制，在固定時間內完成內存釋放。分配內存稍微困難一些。以下是該算法的略述：


　　清單 5. 主分配程序的偽代碼
　　1. If our allocator has not been initialized, initialize it.
　　2. Add sizeof(struct mem_control_block) to the size requested.
　　3. start at managed_memory_start
4. Are we at last_valid address?
　　5. If we are:
　　A. We didn't find any existing space that was&nbs