1. 程式人生 > >【C語言】malloc()和free()函式的講解以及相關記憶體洩漏問題

【C語言】malloc()和free()函式的講解以及相關記憶體洩漏問題

1、函式原型及說明:

void *malloc(long NumBytes):該函式分配了NumBytes個位元組,並返回了指向這塊記憶體的指標。如果分配失敗,則返回一個空指標(NULL)。

關於分配失敗的原因,應該有多種,比如說空間不足就是一種。

void free(void *FirstByte): 該函式是將之前用malloc分配的空間還給程式或者是作業系統,也就是釋放了這塊記憶體,讓它重新得到自由。

2、函式的用法:

其實這兩個函式用起來倒不是很難,也就是malloc()之後覺得用夠了就甩了它把它給free()了,舉個簡單例子:

// Code...

char *Ptr = NULL;

Ptr = (char *)malloc(100 * sizeof(char));

if (NULL == Ptr)
    {
        exit (1);
    }

gets(Ptr);

// code...

free(Ptr);

Ptr = NULL;

// code...

就是這樣!當然,具體情況要具體分析以及具體解決。比如說,你定義了一個指標,在一個函式裡申請了一塊記憶體然後通過函式返回傳遞給這個指標,那麼也許釋放這塊記憶體這項工作就應該留給其他函數了。

3、關於函式使用需要注意的一些地方:

A、申請了記憶體空間後,必須檢查是否分配成功。

B、當不需要再使用申請的記憶體時,記得釋放;釋放後應該把指向這塊記憶體的指標指向NULL,防止程式後面不小心使用了它。

C、這兩個函式應該是配對。如果申請後不釋放就是記憶體洩露(什麼叫記憶體洩漏:簡單的說就是申請了一塊記憶體空間,使用完畢後沒有釋放掉。它的一般表現方式是程式執行時間越長,佔用記憶體越多,最終用盡全部記憶體,整個系統崩潰。由程式申請的一塊記憶體,且沒有任何一個指標指向它,那麼這塊記憶體就洩露了)

;如果無故釋放那就是什麼也沒有做。釋放只能一次,如果釋放兩次及兩次以上會出現錯誤(釋放空指標例外,釋放空指標其實也等於啥也沒做,所以釋放空指標釋放多少次都沒有問題)。

D、雖然malloc()函式的型別是(void *),任何型別的指標都可以轉換成(void *),但是最好還是在前面進行強制型別轉換,因為這樣可以躲過一些編譯器的檢查。


二、malloc()到底從哪裡得來了記憶體空間:

1、malloc()到底從哪裡得到了記憶體空間?答案是從堆裡面獲得空間。也就是說函式返回的指標是指向堆裡面的一塊記憶體。作業系統中有一個記錄空閒記憶體地址的連結串列。當作業系統收到程式的申請時,就會遍歷該連結串列,然後就尋找第一個空間大於所申請空間的堆結點,然後就將該結點從空閒結點連結串列中刪除,並將該結點的空間分配給程式。

說到這裡,不得不另外插入一個小話題,相信大家也知道是什麼話題了。什麼是堆?說到堆,又忍不住說到了棧!什麼是棧?下面就另外開個小部分專門而又簡單地說一下這個題外話:

2、什麼是堆:堆是大家共有的空間,分全域性堆和區域性堆。全域性堆就是所有沒有分配的空間,區域性堆就是使用者分配的空間。堆在作業系統對程序初始化的時候分配,執行過程中也可以向系統要額外的堆,但是記得用完了要還給作業系統,要不然就是記憶體洩漏。

什麼是棧:棧是執行緒獨有的,儲存其執行狀態和區域性自動變數的。棧線上程開始的時候初始化,每個執行緒的棧互相獨立。每個函式都有自己的棧,棧被用來在函式之間傳遞引數。作業系統在切換執行緒的時候會自動的切換棧,就是切換SS/ESP暫存器。棧空間不需要在高階語言裡面顯式的分配和釋放。

這下子大家知道學作業系統的重要性了吧。

通過上面對概念的描述,可以知道:

棧是由編譯器自動分配釋放,存放函式的引數值、區域性變數的值等。操作方式類似於資料結構中的棧。

堆一般由程式設計師分配釋放,若不釋放,程式結束時可能由OS回收。注意這裡說是可能,並非一定。所以,一定記得要釋放!

注意它與資料結構中的堆是兩回事,分配方式倒是類似於連結串列。


   所以,舉個例子,如果你在函式上面定義了一個指標變數,然後在這個函式裡申請了一塊記憶體讓指標指向它。實際上,這個指標的地址是在棧上,但是它所指向的內容卻是在堆上面的!這一點要注意!所以,再想想,在一個函式裡申請了空間後,比如說下面這個函式:

// code...

void Function(void)
       {
        char *p = (char *)malloc(100 * sizeof(char));
    }
  
   就這個例子,千萬不要認為函式返回後,函式所在的棧被銷燬指標也跟著銷燬,申請的記憶體也就一樣跟著銷燬了!這絕對是錯誤的!因為申請的記憶體在上,而函式所在的被銷燬跟堆完全沒有啥關係。所以,還是那句話:記得釋放!

3、free()到底釋放了什麼

free()釋放的是指標指向的記憶體!注意!釋放的是記憶體,不是指標!這點非常非常重要!指標是一個變數,只有程式結束時才被銷燬。例如你用free( p )釋放了記憶體空間後,原來指向這塊空間的指標還是存在!此時原本指向剛剛釋放掉了空間的指標p仍然指向了該記憶體空間,這樣一旦這段記憶體已經被別的變數使用的話,就可能誤用p來修改這裡的值,這不是我們所期望的,所以free(p)之後一定要將p = NULL;,這樣就萬無一失了。

因此,釋放記憶體後把指標指向NULL,防止指標在後面不小心又被引用了。非常重要啊這一點!

相關推薦

C語言malloc()free()函式講解以及相關記憶體洩漏問題

1、函式原型及說明: void *malloc(long NumBytes):該函式分配了NumBytes個位元組,並返回了指向這塊記憶體的指標。如果分配失敗,則返回一個空指標(NULL)。 關於分配失敗的原因,應該有多種,比如說空間不足就是一種。 void free(void *FirstByte): 該

C語言巨集函式的區別

由之前的巨集的引入我們知道,巨集函式可以完成一些簡單的運算。那是不是巨集函式就可以取代函式呢?巨集函式和函式到底有哪些區別呢? 下面我們來分析他們其中的區別。 1.程式碼長度:   對於巨集,每次使用時,巨集程式碼都被插入到程式中。除了非常小的巨集之外,程式的長度將大幅度增

C語言definetypedef的區別

#define是 巨集定義命令,#define DINT int相當於將程式碼中的int可以寫為DINT,DINT等價於int。typedef int TINT; 是型別定義,TINT型別的變數就是int型別的變數。 1.typedef int TINT; 和#define

C語言malloc,calloc,realloc的區別

很多小夥伴都不知道malloc、calloc、realloc的區別,所以這次小編蒐集點乾貨給大家分享。 C語言跟記憶體分配方式 <1>從靜態儲存區域分配. 記憶體在程式編譯的時候就已經分配好,這塊記憶體在程式的整個執行期間都存在.例如全域性變數、static變數

C語言第三章-函式-2

第2節 函式呼叫   函式呼叫一般有兩種方式,一種是形參不會影響實參的傳值呼叫,另一種是形參會影響實參的傳址呼叫。 傳值呼叫   傳值呼叫是將實參的值傳入函式體中,傳入的不過是實參的副本,不會改變實參。這個在上一節已經講過其中的原因正式因為C語言副本傳參的這個特

C語言指標陣列的區別聯絡

1.指標    int  *  p     ( 這裡定義一個指標      p為指標變數     指向的是某一個地址)                2.陣列      int  arr [10]         這裡定義了10個int 型別的資料  可以通過arr[0] 

C語言模擬實現strchr函式.即在一個字串中查詢一個字元第一次出現的位置並返回

//模擬實現strchr函式.即在一個字串中查詢一個字元第一次出現的位置並返回 #include <stdio.h> //#include <string.h> #includ

C語言標準庫字串函式整理

strcmp 字串比較 函式原型 extern int strcmp(const char *s1,const char *s2); 說明 C/C++函式,比較兩個字串 設這兩個字串為str1,str2, 若str1==str2,則返回零; 若str1<

C語言 使用回撥函式實現氣泡排序

實現功能:既能排序整型數,也可以排序字串 程式碼如下: #include <stdio.h> #include <string.h> int int_cmp(const v

c語言模擬實現strchr函式,功能:在一個字串中查詢一個字元第一次出現的位置,如果沒有出現返回NULL

// 模擬實現strchr函式,功能:在一個字串中查詢一個字元第一次出現的位置,如果沒有出現返回NULL #include <stdio.h> #include <assert.h> char const* my_strchr(char cons

c語言模擬實現strcat函式

簡介:strcat函式是連線兩個字串。例如:有char *str1 = “abcd”,char *str2 = “efg”,strcat (str1,str2)可以將efg連線到abcd後面,結果是abcdefg,並且存放在str1中。 函式原型:extern

c語言實現翻轉字串函式reverse_string

函式reverse_string(char * string) 實現:將引數字串中的字元反向排列。 要求:不能使用C函式庫中的字串操作函式。 #include <stdio.h> #in

C語言用遞迴函式是實現函式功能的幾個例子

1.問題描述:寫一個遞迴函式DigitSum(n),輸入一個非負整數,返回組成它的數字之和。例如,呼叫DigitSum(1729),則應該返回1+7+2+9,它的和是19。 思路:這個題比較類似於求拆分整數,一個一個輸出。這個題多得一步是在拆分後,將這些數字加

C語言返回指標的函式與指向函式的指標

一、返回指標的函式  指標也是C語言中的一種資料型別,因此一個函式的返回值肯定可以是指標型別的。 返回指標的函式的一般形式為:型別名 * 函式名(引數列表)  比如下面這個函式,返回一個指向char型別變量的指標 1 // 將字串str中的小寫字母變成大寫字母,並返回

C語言記憶體分配函式malloc/ calloc/ realloc及記憶體釋放free

前言: 記憶體區域劃分與分配: 1、棧區(stack)——程式執行時由編譯器自動分配,存放函式的引數值,區域性變數的值等,程式結束時由編譯器自動釋放。 2、堆區(heap) —— 在記憶體開闢另一塊儲存區域。一般由程式設計師分配釋放, 若程式設計師不釋放,程式結束時可

C語言動態記憶體分配(malloc,realloc,calloc,free)的基本理解區別

#include<Windows.h> #include<stdio.h> #include<malloc.h> int main() { int* p = NULL; printf("%x\n", p); p = (int*)malloc(sizeof(int)*

c語言巨集(#define、###)與函式比較

#define -定義識別符號 ef:#define在預處理階段替代所有的Max #define Max 100 int main() { printf("%d\n", Max); system("pause"); return 0

C語言函式指標陣列指向函式指標陣列的指標

一、函式指標陣列1.1函式指標陣列的宣告      函式指標陣列的宣告如下,所謂函式指標陣列就是在之前的函式指標的基礎上增加了[],由於[]的優先順序高於*,故 pf先與[]結合,說明它是一個數組,再與*結合說明陣列中的元素的型別是指標,再看後面的引數列表,說明每一個指標都指

C語言printf函式scanf函式典型例子

<span style="font-size:18px;">#include <stdio.h> void main() { int i; char c; for(i=

轉載淺談C中的mallocfree

在C語言的學習中,對記憶體管理這部分的知識掌握尤其重要!之前對C中的malloc()和free()兩個函式的瞭解甚少,只知道大概該怎麼用——就是malloc然後free就一切OK了。當然現在對這兩個函式的體會也不見得多,不過對於本文章第三部分的內容倒是有了轉折性的認識,所