free在釋放內存的時候，為什么不需要指定內存的大小？

這個是學生前兩天面大疆的時候，面試官提出的問題。

這個問題不難，比起malloc申請內存的過程要簡單的多。

malloc在申請內存的時候，需要指定內存的大小，申請成功則返回這塊內存的地址，但是free的時候，只需要指定釋放的內存的起始地址，系統就知道從這個地址開始需要釋放多少個字節。

char*ptr = (char *)malloc(128);
free(ptr);

原因也很簡單，malloc在申請內存的時候，申請到的內存往往比我們需要的內存大，也就是在我們能使用的內存前面會多出一塊內存存放頭部信息，這個信息就包含了接下來這塊內存的大小。

?

所以在釋放內存的時候，只要根據我們提供的地址，向前再移動一些字節，就能知道需要釋放的內存大小。

《unix環境高級編程》一書中也提到：

大多數實現所分配的存儲空間比所要求的要稍大一些，額外的空間用來記錄管理信息——分配塊的長度，指向下一個分配塊的指針等等。

當然，這個所謂的頭部信息，不同的平臺存放的內容也不太一樣。

《C程序設計語言》這本書中就提到了一種結構：

union header_t
{
  struct 
  {
     unsigned size;
unionheader_t*next;
  };


  long align;
};

聯合體中嵌套了結構體，結構體中包含了兩個成員：一個是指向下一個頭部的指針，一個表示堆內存的大小。

寫個代碼驗證一下。

char*ptr=(char*)malloc(128);
memset(ptr - 16, 0, 16);
free(ptr);

先用malloc申請一塊內存，然后從返回的地址開始，向前16個字節，全部清空成0，然后再用free釋放內存。

編譯沒有問題，但是運行的時候，提示free出錯。 這只是個演示代碼，實際情況不一定是16個字節。

所以在寫代碼的時候，一定不要越界訪問，一旦出了問題，很難去定位問題的出處。






審核編輯：劉清