在實現之前我們要清楚new,和delete的工作機理,這是個多麼好的學習機會啊!
對與new操作符,其實和sizeof一樣,都是c++內建的,然而像strlen就不是了,strlen屬於函式。對於new的功能我們是沒有辦法改變的,當我們new乙個物件時,new為我們做了兩件事情,一、申請一塊足夠的記憶體空間供存放物件,對於new乙個陣列物件,編譯器會計算出總共的空間,然後執行類似c語言中malloc函式類似的功能。二、初始化物件,對於單個物件,包括包括基本物件和類物件,可以通過括號初始化,比如int * pn = new int(3); a * pa = new a(3);
然而對於陣列不能初始化,對於類物件,必須定義無引數的建構函式。對與new的基本功能我們是無法改變的。
我們所能改變的就是如何為物件分配記憶體,我們可一過載這個函式以實現分配記憶體。通常的過載方式是:
void * operator new (size_t size);
然而這已經足夠了,在一般的operator new 過載函式裡,我們可以再加入其它引數,但第乙個引數必須是size_t型別,即為無符號整形。正是有這種特性,為我們對記憶體申請和釋放的跟蹤提供了可能。
具體實現就是第乙個operator new 的過載函式,我們第一的這個函式是這樣的:
void * operator new(unsigned int size, const char *file, int line)
然後用巨集替換所有的new:
#define new new(__file__, __line__)
這樣我們每次呼叫new,比如int * pn = new int;被編譯器替換成了int * pn = new (__file__, __line__) int,從而呼叫我們定義的operator new,這種辦法確實很妙。需要交代的是,對於陣列同樣適用,而是在編譯的是後由編譯器計算出所需要的長度呼叫我們定義的operator new函式。
對於delete,我們無需使用巨集定義,只要過載operator delete就可以了,然而我們需要過載兩個delete:
void operator delete(void * p)
void operator delete (void * p)
其實後面乙個函式的內容和前面的內容一樣,但為了支援陣列的釋放,我們必須是要定義的。那麼我們只是簡單的free(p)編譯器咋知道我們釋放的陣列,還是單個物件了,這個不用我們操心了,我們只要提供給free函式乙個申請記憶體的首位址就可以了。因為在用malloc申請的時候,我們也把數組裝換為記憶體大小了。
由此我們可以得出下面的推斷:用int * pn = new int [100];的空間,用delete pn釋放和delete pn釋放效果一樣。然而那麼既然這兩種方式一樣,那還要delete 幹什麼,其實delete 有另外的作用就是類物件陣列的釋放,編譯器把delete 解釋為呼叫物件的析構函式,這個是通過迴圈實現的,最後釋放掉申請的記憶體。
既然我們已經跟蹤了new和delete,那麼就可以比較容易的判斷申請的記憶體是否最後得到釋放,要完成它,我們還需要乙個鍊錶,或者其它,當我們申請一塊記憶體的時候加入到鍊錶中,釋放一塊空間的時候,從鍊錶中刪除和釋放記憶體首位址相同的節點就可以了,最後理想的情況是鍊錶為空,如果不為空,那就說明記憶體發生洩露(memory leaks)了。
完整**:
#include "malloc.h"
#include "iostream.h"
#ifdef _debug
void * operator new(unsigned int size, const char *file, int line)
void operator delete(void * p)
void operator delete (void * p)
void operator delete(void * p, const char *file, int line)
void operator delete (void * p, const char *file, int line)
#define new new(__file__, __line__)
#endif
void main()
C 過載new和delete運算子
記憶體管理運算子 new new delete 和 delete 也可以進行過載,其過載形式既可以是類的成員函式,也可以是全域性函式。一般情況下,內建的記憶體管理運算子就夠用了,只有在需要自己管理記憶體時才會過載。以成員函式 的形式過載 new 運算子 void classname operator...
運算子過載 賦值運算子的過載
有時候希望賦值運算子兩邊的型別可以不匹配,比如,把乙個int型別變數賦值給乙個complex物件,或把乙個 char 型別的字串賦值給乙個字串物件,此時就需要過載賦值運算子 注意 賦值運算子 只能過載為成員函式 賦值運算子過載例項示例 include include using namespace ...
運算子過載 類的賦值運算子過載
下面介紹類的賦值運算子 1.c 中物件的記憶體分配方式 在c 中,物件的例項在編譯的時候,就需要為其分配記憶體大小,因此,系統都是在stack上為其分配記憶體的。這一點和c 完全不同!千 萬記住 在c 中,所有類都是reference type,要建立類的實體,必須通過new在heap上為其分配空間...