計算機等級考試二級C++復習指導：深入new

　　模板是比較高級的C++編程技巧，模板特化、模板偏特化就更是技巧性很強的東 西，STL中的type_traits充分借助模板特化的功能，實現(xiàn)了在程序編譯期通過編譯器來決定為每一處調(diào)用使用哪個特化版本，于是在不增加編程復雜 性的前提下大大提高了程序的運行效率。更詳細的內(nèi)容可參考《STL源碼剖析》第二、三章中的相關內(nèi)容。

　　帶有“[]”的new和delete

　　我們經(jīng)常會通過new來動態(tài)創(chuàng)建一個數(shù)組，例如：

　　char* s = new char[100];

　　……

　　delete s;

　　嚴格的說，上述代碼是不正確的，因為我們在分配內(nèi)存時使用的是new[]，而并不是簡單的new，但釋放內(nèi)存時卻用的是delete。正確的寫法是使用delete[]：

　　delete[] s;

　　但是，上述錯誤的代碼似乎也能編譯執(zhí)行，并不會帶來什么錯誤。事實上，new與new[]、delete與delete[]是有區(qū)別的，特別是當用來操作復雜類型時。假如針對一個我們自定義的類MyClass使用new[]：

　　MyClass* p = new MyClass[10];

　　上述代碼的結(jié)果是在堆上分配了10個連續(xù)的MyClass實例，并且已經(jīng)對它們依次調(diào) 用了構(gòu)造函數(shù)，于是我們得到了10個可用的對象，這一點與Java、C#有區(qū)別的，Java、C#中這樣的結(jié)果只是得到了10個null。換句話說，使用 這種寫法時MyClass必須擁有不帶參數(shù)的構(gòu)造函數(shù)，否則會發(fā)現(xiàn)編譯期錯誤，因為編譯器無法調(diào)用有參數(shù)的構(gòu)造函數(shù)。

　　當這樣構(gòu)造成功后，我們可以再將其釋放，釋放時使用delete[]：

　　delete[] p;

　　當我們對動態(tài)分配的數(shù)組調(diào)用delete[]時，其行為根據(jù)所申請的變量類型會有所不 同。如果p指向簡單類型，如int、char等，其結(jié)果只不過是這塊內(nèi)存被回收，此時使用delete[]與delete沒有區(qū)別，但如果p指向的是復雜 類型，delete[]會針對動態(tài)分配得到的每個對象調(diào)用析構(gòu)函數(shù)，然后再釋放內(nèi)存。因此，如果我們對上述分配得到的p指針直接使用delete來回收， 雖然編譯期不報什么錯誤(因為編譯器根本看不出來這個指針p是如何分配的)，但在運行時(DEBUG情況下)會給出一個Debug assertion failed提示。

　　到這里，我們很容易提出一個問題--delete[]是如何知道要為多少個對象調(diào)用析構(gòu)函數(shù)的?要回答這個問題，我們可以首先看一看new[]的重載。

　　class MyClass

　　{

　　int a;

　　public:

　　MyClass() { printf("ctorn"); }

　　~MyClass() { printf("dtorn"); }

　　};

　　void* operator new[](size_t size)

　　{

　　void* p = operator new(size);

　　printf("calling new[] with size=%d address=%pn", size, p);

　　return p;

　　}

　　// 主函數(shù)

　　MyClass* mc = new MyClass[3];

　　printf("address of mc=%pn", mc);

　　delete[] mc;

　　運行此段代碼，得到的結(jié)果為：(VC2005)

　　calling new[] with size=16 address=003A5A58

　　ctor

　　ctor

　　ctor

　　address of mc=003A5A5C

　　dtor

　　dtor

　　dtor