?new/delete究竟做了些什么
?
???
在理解這個問題之前,我們先看一下下面的這段程序,有這么一個程序段:
?????? class A
?????? {
?????? public:
?????????? A() {?? cout<<"A is here!"<<endl;?? }
?????????? ~A(){?? cout<<"A is dead!"<<endl;?? }
?????? private:
?????????? int i;
?????? };
?????? A* pA=new A;
?????? delete pA;
??? 在這個簡單的程序段里面,new/delete究竟做了些什么?
??? 實際上,這段程序里面隱含調(diào)用了一些我們沒有看到的東西,那就是:
??? static void* operator new(size_t sz);
??? static void? operator delete(void* p);
??? 值得注意的是,這兩個函數(shù)都是static的,所以如果我們重載了這2個函數(shù)(我們要么不重載,要重載就要2個一起行動),也應該聲明為static的,如果我們沒有聲明,系統(tǒng)也會為我們自動加上。另外,這是兩個內(nèi)存分配原語,要么成功,要么沒有分配任何內(nèi)存。
??? size_t是什么東西呢?我在第一次看到這個動動的時候也是十分的困惑,畢竟以前沒有見過。size_t在<cstddef>中定義,是一種無符號整數(shù)類型(不一定是int),用來保存對象的大小,這一用法是從C語言中借用過來的,現(xiàn)在你應該明白了吧(我學習的時候可是郁悶了好幾天,沒有人可以問,因為不知道有個csdn:)
??? new A;實際上做了2件事:調(diào)用opeator new,在自由存儲區(qū)分配一個sizeof(A)大小的內(nèi)存空間;然后調(diào)用構(gòu)造函數(shù)A(),在這塊內(nèi)存空間上類磚砌瓦,建造起我們的對象。同樣對于delete,則做了相反的兩件事:調(diào)用析構(gòu)函數(shù)~A(),銷毀對象,調(diào)用operator delete,釋放內(nèi)存。不過需要注意的是,new分配一塊內(nèi)存的時候,并沒有對這塊內(nèi)存空間做清零等任何動作,只是拿了過來,這塊內(nèi)存上放的仍然是原來的數(shù)據(jù)(垃圾數(shù)據(jù)),delete的時候,也只是釋放這塊內(nèi)存,歸還給操作系統(tǒng),上面的數(shù)據(jù)還在上面,所以delete pA之后,pA的值沒變,他指向的那塊內(nèi)存的值也沒有變,不過似乎有什么問題,我們看一下下面的這個程序段:
?int *p=new int(50000);
?cout<<*p<<"?? "<<p<<endl;
?delete p;
?cout<<*p<<"?? "<<p<<endl;
??? 我們可以清楚地看到,指針p存放的數(shù)據(jù)仍然是原來的地址,但是*p的內(nèi)容卻發(fā)生了變化,在我的機器上(win2000, VC6)始終是-572662307,不清楚這是為什么,難道系統(tǒng)做了什么手腳?還望高手指教。??
??? 在這里我們可以看到,new的工作實際上就是保證相互分離的存儲分配和初始化工作能夠很好的在一起工作,不過這里可能讓初學者迷惑的是,我們定義了一個帶有參數(shù)的new,但是我們用的時候卻沒有顯式的去調(diào)用,而是讓系統(tǒng)“神秘”的去提供這個參數(shù)。是的,這樣做毫無疑問增加了復雜性,但是讓基類獲取了為一集派生類提供分配和釋放服務的能力。??
??? new/delete有什么好處和壞處?
??? 從C程序員轉(zhuǎn)換過來的C++程序員總是有個困惑:new/delete到底究竟和C語言里面的malloc/free比起來有什么優(yōu)勢?或者是一樣的?
??? 其實,就算我不說,你也應該很清楚了,new/delete當然比malloc/free要好,要不然,為什么還引進這個東東呢?其實通過上面的分析,我們看到了new/delete實際上做了很多malloc/free沒有做的事情:malloc/free只是對內(nèi)存進行分配和釋放;new/delete還負責完成了創(chuàng)建和銷毀對象的任務。
??? 另外,new的安全性要高一些,因為他返回的就是一個所創(chuàng)建的對象的指針,對于malloc來說返回的則是void*,還要進行強制類型轉(zhuǎn)換,顯然這是一個危險的漏洞。
??? 最后,我們可以對new/delete重載,使內(nèi)存分配按照我們的意愿進行,這樣更具有靈活性,malloc則不行。
??? 不過,new/delete也并不是十分完美,大概最大的缺點就是效率低(針對的是缺省的分配器),原因不只是因為在自由存儲區(qū)上分配(和棧上對比),具體的原因目前不是很清楚,不過在MCD上說了2個可能的原因:
??? 1、new只是對于堆分配器(malloc/realloc/free)的一個淺層包裝,沒有針對小型的內(nèi)存分配做優(yōu)化。
??? 2、缺省分配器具有通用性,它管理的是一塊內(nèi)存池,這樣的管理往往需要消耗一些額外空間。
??? 各種各樣的new
??? 一般來說,new有很多種形式,不過真的歸納起來,也就是2種:
??? 1、最常用的形式:
?????? void *operator new(std::size_t sz)??? throw(std::bad_alloc);?? (普通的)
?????? void *operator new[](std::size_t sz)? throw(std::bad_alloc);??? (數(shù)組的)
?????? void *operator new(std::size_t sz);
?????? void *operator new[](std::size_t sz)
??? 這一種大家用得最為頻繁,我就不舉例子了。
??? 2、放置new形式:
?????? void *operator new(std::size_t count, void *ptr)?? throw();??? (普通的)
?????? void *operator new[](std::size_t count, void *ptr) throw();???? (數(shù)組的)
????要使用這種方式,必須包含頭文件<new>。這個機制引入的初始目的是為了解決2個相關的問題:
?????? 1、把一個對象放在某個特定位置;
?????? 2、在某個特定分配區(qū)里面分配對象;
?????? 但是引入之后,發(fā)現(xiàn)這種機制遠超出了簡單的存儲分配機制,我們可以給特定的存儲位置關聯(lián)任意的邏輯性值,這樣一來,new就有了一種通用資源管理器的作用。同時第二個參數(shù),也被擴展成了任意的可以識別的類型,并且配備了相應的nothrow版本:
?????? void* operator new(std::size_t, const std::nothrow_t&)?? throw();
?????? void* operator new[](std::size_t, const std::nothrow_t&) throw();
???
new能夠返回NULL么?
??? 我們經(jīng)常看到有很多初學者喜歡寫如下代碼:
??? A* p=new A();
??? if(p==NUL) ....
??? 寫下這段代碼的可能是受到了一些書上錯誤的影響,因為new A()從來就不可能返回NULL,如果在這個過程中用完了內(nèi)存,那么他就會拋出bad_alloc異常,絕對不會返回NULL,如果你想讓他返回null,應該用new(nothrow) A(),而不是new A()。不過從異常的觀點來看,這實際上是一種倒退,我們應該盡量回避。