各種alloc傻傻分不清楚
很多新學C語言的童鞋在用到動態記憶體分配與使用的時候,對如何選擇各種分配函式及其底層區別搞不清楚,那麼下文就認真的講講它們的種種。
(1)C語言的記憶體分配方式
<1>從靜態儲存區域分配.
這種方式主要是系統用於自動分配給全域性變數、static變數記憶體資源的. 它們在程式編譯的時候就已經分配好,這塊記憶體在程式的整個執行期間都存在.
<2>在棧上分配
這種方式主要是用於系統自動分配給函式內部的區域性變數的,函式內區域性變數的儲存單元都可以在棧上建立,函式執行結束時這些儲存單元自動被釋放.棧記憶體分配運算內置於處理器的指令集中,效率很高,但是分配的記憶體容量有限.
<3>從堆上分配,亦稱動態記憶體分配.
程式在執行的時候用malloc類或new申請任意多少的記憶體,程式設計師自己負責在何時用free或delete釋放記憶體.動態記憶體的生存期由使用者決定,使用非常靈活,但問題也最多.
(2)C語言跟記憶體申請相關的函式主要有 alloca、calloc、malloc、realloc、free等.
<1>alloca是向棧申請記憶體,由系統管理,因此無需釋放.
<2>malloc分配的記憶體是位於堆中的,並且沒有初始化記憶體的內容,因此基本上malloc之後,需要呼叫函式memset來初始化這部分的記憶體空間.
<3>calloc則將初始化這部分的記憶體,設定為0.
<4>realloc則對malloc申請的記憶體進行大小的調整.
<5>申請的記憶體最終需要通過函式free來釋放.
當程式執行過程中malloc了,但是沒有free的話,會造成記憶體洩漏.一部分的記憶體沒有被使用,但是由於沒有free,因此係統認為這部分記憶體還在使用,造成不斷的向系統申請記憶體,使得系統可用記憶體不斷減少.但是記憶體洩漏僅僅指程式在執行時,程式退出時,OS將回收所有的資源.因此,適當的重起一下程式,有時候還是有點作用.
【attention 】
三個函式的申明分別是:
void* malloc(unsigned size);
void* realloc(void* ptr, unsigned newsize);
void* calloc(size_t numElements, size_t sizeOfElement);
都在stdlib.h函式庫內,它們的返回值都是請求系統分配的地址,如果請求失敗就返回NULL.
(1)函式malloc()
在記憶體的動態儲存區中分配一塊長度為size位元組的連續區域,引數size為需要記憶體空間的長度,返回該區域的首地址.
(2)函式calloc()
與malloc相似,引數sizeOfElement為申請地址的單位元素長度,numElements為元素個數,即在記憶體中申請numElements*sizeOfElement位元組大小的連續地址空間.
(3)函式realloc()
給一個已經分配了地址的指標重新分配空間,引數ptr為原有的空間地址,newsize是重新申請的地址長度.
區別:
(1)函式malloc不能初始化所分配的記憶體空間,而函式calloc能.如果由malloc()函式分配的記憶體空間原來沒有被使用過,則其中的每一位可能都是0;反之, 如果這部分記憶體曾經被分配過,則其中可能遺留有各種各樣的資料.也就是說,使用malloc()函式的程式開始時(記憶體空間還沒有被重新分配)能正常進行,但經過一段時間(記憶體空間還已經被重新分配)可能會出現問題.
(2)函式calloc() 會將所分配的記憶體空間中的每一位都初始化為零,也就是說,如果你是為字元型別或整數型別的元素分配記憶體,那麼這些元素將保證會被初始化為0;如果你是為指標型別的元素分配記憶體,那麼這些元素通常會被初始化為空指標;如果你為實型資料分配記憶體,則這些元素會被初始化為浮點型的零.
(3)函式malloc向系統申請分配指定size個位元組的記憶體空間.返回型別是 void*型別.void*表示未確定型別的指標.C,C++規定,void* 型別可以強制轉換為任何其它型別的指標.
(4)realloc可以對給定的指標所指的空間進行擴大或者縮小,無論是擴張或是縮小,原有記憶體的中內容將保持不變.當然,對於縮小,則被縮小的那一部分的內容會丟失.realloc並不保證調整後的記憶體空間和原來的記憶體空間保持同一記憶體地址.相反,realloc返回的指標很可能指向一個新的地址.
(5)realloc是從堆上分配記憶體的.當擴大一塊記憶體空間時,realloc()試圖直接從堆上現存的資料後面的那些位元組中獲得附加的位元組,如果能夠滿足,自然天下太平;如果資料後面的位元組不夠,問題就出來了,那麼就使用堆上第一個有足夠大小的自由塊,現存的資料然後就被拷貝至新的位置,而老塊則放回到堆上.這句話傳遞的一個重要的資訊就是資料可能被移動.
(3)C++關鍵字new和delete用法
如下幾行程式碼:
int *pi=new int;
int *pi=new int();
int *pi=new int(1024);
第一行這個new表示式在自由儲存區中分配建立了一個整形物件,並返回一個指向該物件的地址來初始化指標pi。第二行同一行,只是對指標pi指向的地址的值進行了初始化為0。第三行初始化為1024。
當動態建立的物件用完後必須釋放記憶體,避免造成記憶體洩漏,可以用delete來完成,new和delete是成對使用的,如下命令釋放pi指向的int型物件所佔用的記憶體空間:
delete pi;
此時pi儘管沒有定義,但仍然存放了它所指向物件的地址,然而pi所指向的記憶體已經被釋放,因此pi不再有效。建議一旦刪除指標所指向的物件,立即將指標置為0,這樣就清楚的表明指標不再指向任何物件。
p=NULL;
值得注意的是當執行下列表達式:
int pi=&i;
delete pi;
編譯器一般不會報錯,因為編譯器通常不能斷定一個指標指向什麼型別的物件,所以儘管這個語句是錯誤的,但在大多數編譯器上仍然能通過。
C++中允許動態建立const物件:
const int *pi=new const int(1024);
動態建立的const物件必須進行初始化,並且進行初始化後的值不能再改變。
當建立一個動態陣列物件和進行記憶體釋放時,執行以下語句:
int *pi=new int[]; //指標pi所指向的陣列未初始化
int *pi=new int[n]; //指標pi指向長度為n的陣列,未初始化
int *pi=new int[](); //指標pi所指向的地址初始化為0
delete [] pi; //回收pi所指向的陣列
(4).new和malloc的區別
a.屬性
new/delete是C++關鍵字,需要編譯器支援。malloc/free是庫函式,需要標頭檔案支援c。
b.引數
使用new操作符申請記憶體分配時無須指定記憶體塊的大小,編譯器會根據型別資訊自行計算。而malloc則需要顯式地指出所需記憶體的尺寸。
c.返回型別
new操作符記憶體分配成功時,返回的是物件型別的指標,型別嚴格與物件匹配,無須進行型別轉換,故new是符合型別安全性的操作符。而malloc記憶體分配成功則是返回void * ,需要通過強制型別轉換將void*指標轉換成我們需要的型別。
e. 分配失敗
new記憶體分配失敗時,會丟擲bac_alloc異常。malloc分配記憶體失敗時返回NULL。
f.自定義型別
new會先呼叫operator new函式,申請足夠的記憶體(通常底層使用malloc實現)。然後呼叫型別的建構函式,初始化成員變數,最後返回自定義型別指標。delete先呼叫解構函式,然後呼叫operator delete函式釋放記憶體(通常底層使用free實現)。
malloc/free是庫函式,只能動態的申請和釋放記憶體,無法強制要求其做自定義型別物件構造和析構工作。
g.過載
C++允許過載new/delete操作符,特別的,佈局new的就不需要為物件分配記憶體,而是指定了一個地址作為記憶體起始區域,new在這段記憶體上為物件呼叫建構函式完成初始化工作,並返回此地址。而malloc不允許過載。
h.記憶體區域
new操作符從自由儲存區(free store)上為物件動態分配記憶體空間,而malloc函式從堆上動態分配記憶體。自由儲存區是C++基於new操作符的一個抽象概念,凡是通過new操作符進行記憶體申請,該記憶體即為自由儲存區。而堆是作業系統中的術語,是作業系統所維護的一塊特殊記憶體,用於程式的記憶體動態分配,C語言使用malloc從堆上分配記憶體,使用free釋放已分配的對應記憶體。自由儲存區不等於堆,如上所述,佈局new就可以不位於堆中。
備註:
1.記憶體空間的初始化函式
memset(void* p, char x, size_t N)
以位元組(不是bit域)的方式從地址p開始,連續向N個位元組單元填充位元組x。例如,如果x為1的話,那麼每個位元組空間填充的值是0x00000001,而非0x11111111。
2. 在C++中,記憶體區分為5個區,分別是堆、棧、自由儲存區、全域性/靜態儲存區、常量儲存區;
在C中,C記憶體區分為堆、棧、全域性/靜態儲存區、常量儲存區;