new和malloc的區別

new操作符從自由儲存區（free store）上為物件動態分配記憶體空間，而malloc函式從堆上動態分配記憶體。自由儲存區是c++基於new操作符的乙個抽象概念，凡是通過new操作符進行記憶體申請，該記憶體即為自由儲存區。而堆是作業系統中的術語，是作業系統所維護的一塊特殊記憶體，用於程式的記憶體動態分配，c語言使用malloc從堆上分配記憶體，使用free釋放已分配的對應記憶體。

那麼自由儲存區是否能夠是堆（問題等價於new是否能在堆上動態分配記憶體），這取決於operator new 的實現細節。自由儲存區不僅可以是堆，還可以是靜態儲存區，這都看operator new在**為物件分配記憶體。

特別的，new甚至可以不為物件分配記憶體！定位new的功能可以辦到這一點：

new (place_address) type

void * operator new (size_t,void *) //不允許重定義這個版本的operator new

這個operator new不分配任何的記憶體，它只是簡單地返回指標實參，然後右new表示式負責在place_address指定的位址進行物件的初始化工作。

new操作符記憶體分配成功時，返回的是物件型別的指標，型別嚴格與物件匹配，無須進行型別轉換，故new是符合型別安全性的操作符。而malloc記憶體分配成功則是返回void * ，需要通過強制型別轉換將void*指標轉換成我們需要的型別。

型別安全很大程度上可以等價於記憶體安全，型別安全的**不會試圖方法自己沒被授權的記憶體區域。關於c++的型別安全性可說的又有很多了。

new記憶體分配失敗時，會丟擲bac_alloc異常，它不會返回null；malloc分配記憶體失敗時返回null。

在使用c語言時，我們習慣在malloc分配記憶體後判斷分配是否成功：

int *a  = (int *)malloc ( sizeof (int ));
if(null == a)
else

從c語言走入c++陣營的新手可能會把這個習慣帶入c++：

int * a = new int();
if(null == a)
else

實際上這樣做一點意義也沒有，因為new根本不會返回null，而且程式能夠執行到if語句已經說明記憶體分配成功了，如果失敗早就拋異常了。正確的做法應該是使用異常機制：

try
catch (bad_alloc)

如果你想順便了解下異常基礎，可以看異常機制分析。

使用new操作符申請記憶體分配時無須指定記憶體塊的大小，編譯器會根據型別資訊自行計算，而malloc則需要顯式地指出所需記憶體的尺寸。

class a
a * ptr = new a;
a * ptr = (a *)malloc(sizeof(a)); //需要顯式指定所需記憶體大小sizeof(a);

當然了，我這裡使用malloc來為我們自定義型別分配記憶體是不怎麼合適的，請看下一條。

使用new操作符來分配物件記憶體時會經歷三個步驟：

使用delete操作符來釋放物件記憶體時會經歷兩個步驟：

總之來說，new/delete會呼叫物件的建構函式/析構函式以完成物件的構造/析構。而malloc則不會。如果你不嫌囉嗦可以看下我的例子：

class a
private:
int a;
double b;
};int main()

在return處設定斷點，**ptr所指記憶體的內容：

可以看出a的預設建構函式並沒有被呼叫，因為資料成員a,b的值並沒有得到初始化，這也是上面我為什麼說使用malloc/free來處理c++的自定義型別不合適，其實不止自定義型別，標準庫中凡是需要構造/析構的型別通通不合適。

而使用new來分配物件時：

int main()

檢視程式生成的彙編**可以發現，a的預設建構函式被呼叫了：

c++提供了new與delete來專門處理陣列型別:

a * ptr = new a[10];//分配10個a物件

使用new分配的記憶體必須使用delete進行釋放：

delete  ptr;

new對陣列的支援體現在它會分別呼叫建構函式函式初始化每乙個陣列元素，釋放物件時為每個物件呼叫析構函式。注意delete要與new配套使用，不然會找出陣列物件部分釋放的現象，造成記憶體洩漏。

int * ptr = (int *) malloc( sizeof(int)* 10 );//分配乙個10個int元素的陣列

operator new /operator delete的實現可以基於malloc，而malloc的實現不可以去呼叫new。下面是編寫operator new /operator delete 的一種簡單方式，其他版本也與之類似：

void * operator new (sieze_t size)
void operator delete(void *mem) noexcept

opeartor new /operator delete可以被過載。標準庫是定義了operator new函式和operator delete函式的8個過載版本：

//這些版本可能丟擲異常
void * operator new(size_t);
void * operator new(size_t);
void * operator delete (void * )noexcept;
void * operator delete(void *0）noexcept;
//這些版本承諾不丟擲異常
void * operator new(size_t ,nothrow_t&) noexcept;
void * operator new(size_t, nothrow_t& );
void * operator delete (void *,nothrow_t& )noexcept;
void * operator delete(void *0,nothrow_t& ）noexcept;

我們可以自定義上面函式版本中的任意乙個，前提是自定義版本必須位於全域性作用域或者類作用域中。太細節的東西不在這裡講述，總之，我們知道我們有足夠的自由去過載operator new /operator delete ,以決定我們的new與delete如何為物件分配記憶體，如何**物件。

而malloc/free並不允許過載。

使用malloc分配的記憶體後，如果在使用過程中發現記憶體不足，可以使用realloc函式進行記憶體重新分配實現記憶體的擴充。realloc先判斷當前的指標所指記憶體是否有足夠的連續空間，如果有，原地擴大可分配的記憶體位址，並且返回原來的位址指標；如果空間不夠，先按照新指定的大小分配空間，將原有資料從頭到尾拷貝到新分配的記憶體區域，而後釋放原來的記憶體區域。

new沒有這樣直觀的配套設施來擴充記憶體。

在operator new丟擲異常以反映乙個未獲得滿足的需求之前，它會先呼叫乙個使用者指定的錯誤處理函式，這就是new-handler。new_handler是乙個指標型別：

namespace std

指向了乙個沒有引數沒有返回值的函式,即為錯誤處理函式。為了指定錯誤處理函式，客戶需要呼叫set_new_handler，這是乙個宣告於的乙個標準庫函式:

namespace std

set_new_handler的引數為new_handler指標，指向了operator new 無法分配足夠記憶體時該呼叫的函式。其返回值也是個指標，指向set_new_handler被呼叫前正在執行（但馬上就要發生替換）的那個new_handler函式。

對於malloc，客戶並不能夠去程式設計決定記憶體不足以分配時要幹什麼事，只能看著malloc返回null。

new和malloc的區別

new和malloc的區別

malloc和new的區別

new 和 malloc 的區別

new和malloc的區別

new和malloc的區別

malloc和new的區別

new 和 malloc 的區別

相關推薦