函數(shù)Test5運(yùn)行雖然不會出錯，但是函數(shù)GetString2的設(shè)計概念卻是錯誤的。因為GetString2內(nèi)的“hello world”是常量字符串，位于靜態(tài)存儲區(qū)，它在程序生命期內(nèi)恒定不變。無論什么時候調(diào)用GetString2，它返回的始終是同一個“只讀”的內(nèi)存塊。


7.5 free和delete把指針怎么啦？
7.7 杜絕“野指針”
“野指針”不是NULL指針，是指向“垃圾”內(nèi)存的指針。人們一般不會錯用NULL指針，因為用if語句很容易判斷。但是“野指針”是很危險的，if語句對它不起作用。 

“野指針”的成因主要有兩種：

（1）指針變量沒有被初始化。任何指針變量剛被創(chuàng)建時不會自動成為NULL指針，它的缺省值是隨機(jī)的，它會亂指一氣。所以，指針變量在創(chuàng)建的同時應(yīng)當(dāng)被初始化，要么將指針設(shè)置為NULL，要么讓它指向合法的內(nèi)存。例如

char *p = NULL;

char *str = (char *) malloc(100);


（2）指針p被free或者delete之后，沒有置為NULL，讓人誤以為p是個合法的指針。參見7.5節(jié)。


（3）指針操作超越了變量的作用范圍。這種情況讓人防不勝防，示例程序如下：

class A 

{ 

public:

void Func(void){ cout << “Func of class A” << endl; }

};

void Test(void)

{

A *p;

{

A a;

p = &a; // 注意 a 的生命期

}

p->Func(); // p是“野指針”

}


函數(shù)Test在執(zhí)行語句p->Func()時，對象a已經(jīng)消失，而p是指向a的，所以p就成了“野指針”。但奇怪的是我運(yùn)行這個程序時居然沒有出錯，這可能與編譯器有關(guān)。


7.8 有了malloc/free為什么還要new/delete ？
malloc與free是C++/C語言的標(biāo)準(zhǔn)庫函數(shù)，new/delete是C++的運(yùn)算符。它們都可用于申請動態(tài)內(nèi)存和釋放內(nèi)存。

對于非內(nèi)部數(shù)據(jù)類型的對象而言，光用maloc/free無法滿足動態(tài)對象的要求。對象在創(chuàng)建的同時要自動執(zhí)行構(gòu)造函數(shù)，對象在消亡之前要自動執(zhí)行析構(gòu)函數(shù)。由于malloc/free是庫函數(shù)而不是運(yùn)算符，不在編譯器控制權(quán)限之內(nèi)，不能夠把執(zhí)行構(gòu)造函數(shù)和析構(gòu)函數(shù)的任務(wù)強(qiáng)加于malloc/free。

因此C++語言需要一個能完成動態(tài)內(nèi)存分配和初始化工作的運(yùn)算符new，以及一個能完成清理與釋放內(nèi)存工作的運(yùn)算符delete。注意new/delete不是庫函數(shù)。

我們先看一看malloc/free和new/delete如何實現(xiàn)對象的動態(tài)內(nèi)存管理，見示例7-8。


class Obj

{

public :

Obj(void){ cout << “Initialization” << endl; }

~Obj(void){ cout << “Destroy” << endl; }

void Initialize(void){ cout << “Initialization” << endl; }

void Destroy(void){ cout << “Destroy” << endl; }

};

void UseMallocFree(void)

{

Obj *a = (obj *)malloc(sizeof(obj)); // 申請動態(tài)內(nèi)存

a->Initialize(); // 初始化

//…

a->Destroy(); // 清除工作

free(a); // 釋放內(nèi)存

}

void UseNewDelete(void)

{

Obj *a = new Obj; // 申請動態(tài)內(nèi)存并且初始化

//…

delete a; // 清除并且釋放內(nèi)存

}


示例7-8 用malloc/free和new/delete如何實現(xiàn)對象的動態(tài)內(nèi)存管理


類Obj的函數(shù)Initialize模擬了構(gòu)造函數(shù)的功能，函數(shù)Destroy模擬了析構(gòu)函數(shù)的功能。函數(shù)UseMallocFree中，由于malloc/free不能執(zhí)行構(gòu)造函數(shù)與析構(gòu)函數(shù)，必須調(diào)用成員函數(shù)Initialize和Destroy來完成初始化與清除工作。函數(shù)UseNewDelete則簡單得多。

所以我們不要企圖用malloc/free來完成動態(tài)對象的內(nèi)存管理，應(yīng)該用new/delete。由于內(nèi)部數(shù)據(jù)類型的“對象”沒有構(gòu)造與析構(gòu)的過程，對它們而言malloc/free和new/delete是等價的。

既然new/delete的功能完全覆蓋了malloc/free，為什么C++不把malloc/free淘汰出局呢？這是因為C++程序經(jīng)常要調(diào)用C函數(shù)，而C程序只能用malloc/free管理動態(tài)內(nèi)存。

如果用free釋放“new創(chuàng)建的動態(tài)對象”，那么該對象因無法執(zhí)行析構(gòu)函數(shù)而可能導(dǎo)致程序出錯。如果用delete釋放“malloc申請的動態(tài)內(nèi)存”，理論上講程序不會出錯，但是該程序的可讀性很差。所以new/delete必須配對使用，malloc/free也一樣。


7.9 內(nèi)存耗盡怎么辦？
如果在申請動態(tài)內(nèi)存時找不到足夠大的內(nèi)存塊，malloc和new將返回NULL指針，宣告內(nèi)存申請失敗。通常有三種方式處理“內(nèi)存耗盡”問題。

（1）判斷指針是否為NULL，如果是則馬上用return語句終止本函數(shù)。例如：

void Func(void)

{

A *a = new A;

if(a == NULL)

{

return;

}

…

}


（2）判斷指針是否為NULL，如果是則馬上用exit(1)終止整個程序的運(yùn)行。例如：

void Func(void)

{

A *a = new A;

if(a == NULL)

{

cout << “Memory Exhausted” << endl;

exit(1);

}

…

}


（3）為new和malloc設(shè)置異常處理函數(shù)。例如Visual C++可以用_set_new_hander函數(shù)為new設(shè)置用戶自己定義的異常處理函數(shù)，也可以讓malloc享用與new相同的異常處理函數(shù)。詳細(xì)內(nèi)容請參考C++使用手冊。


上述（1）（2）方式使用最普遍。如果一個函數(shù)內(nèi)有多處需要申請動態(tài)內(nèi)存，那么方式（1）就顯得力不從心（釋放內(nèi)存很麻煩），應(yīng)該用方式（2）來處理。

很多人不忍心用exit(1)，問：“不編寫出錯處理程序，讓操作系統(tǒng)自己解決行不行？”

不行。如果發(fā)生“內(nèi)存耗盡”這樣的事情，一般說來應(yīng)用程序已經(jīng)無藥可救。如果不用exit(1) 把壞程序殺死，它可能會害死操作系統(tǒng)。道理如同：如果不把歹徒擊斃，歹徒在老死之前會犯下更多的罪。


有一個很重要的現(xiàn)象要告訴大家。對于32位以上的應(yīng)用程序而言，無論怎樣使用malloc與new，幾乎不可能導(dǎo)致“內(nèi)存耗盡”。我在Windows 98下用Visual C++編寫了測試程序，見示例7-9。這個程序會無休止地運(yùn)行下去，根本不會終止。因為32位操作系統(tǒng)支持“虛存”，內(nèi)存用完了，自動用硬盤空間頂替。我只聽到硬盤嘎吱嘎吱地響，Window 98已經(jīng)累得對鍵盤、鼠標(biāo)毫無反應(yīng)。

我可以得出這么一個結(jié)論：對于32位以上的應(yīng)用程序，“內(nèi)存耗盡”錯誤處理程序毫無用處。這下可把Unix和Windows程序員們樂壞了：反正錯誤處理程序不起作用，我就不寫了，省了很多麻煩。

我不想誤導(dǎo)讀者，必須強(qiáng)調(diào)：不加錯誤處理將導(dǎo)致程序的質(zhì)量很差，千萬不可因小失大。


void main(void)

{

float *p = NULL;

while(TRUE)

{

p = new float[1000000]; 

cout << “eat memory” << endl;

if(p==NULL)

exit(1);

}

}


示例7-9試圖耗盡操作系統(tǒng)的內(nèi)存

7.10 malloc/free 的使用要點
函數(shù)malloc的原型如下：

void * malloc(size_t size);

用malloc申請一塊長度為length的整數(shù)類型的內(nèi)存，程序如下：

int *p = (int *) malloc(sizeof(int) * length);

我們應(yīng)當(dāng)把注意力集中在兩個要素上：“類型轉(zhuǎn)換”和“sizeof”。

u malloc返回值的類型是void *，所以在調(diào)用malloc時要顯式地進(jìn)行類型轉(zhuǎn)換，將void * 轉(zhuǎn)換成所需要的指針類型。

u malloc函數(shù)本身并不識別要申請的內(nèi)存是什么類型，它只關(guān)心內(nèi)存的總字節(jié)數(shù)。我們通常記不住int, float等數(shù)據(jù)類型的變量的確切字節(jié)數(shù)。例如int變量在16位系統(tǒng)下是2個字節(jié)，在32位下是4個字節(jié)；而float變量在16位系統(tǒng)下是4個字節(jié)，在32位下也是4個字節(jié)。最好用以下程序作一次測試：

cout << sizeof(char) << endl;

cout << sizeof(int) << endl;

cout << sizeof(unsigned int) << endl;

cout << sizeof(long) << endl;

cout << sizeof(unsigned long) << endl;

cout << sizeof(float) << endl;

cout << sizeof(double) << endl;

cout << sizeof(void *) << endl;


在malloc的“()”中使用sizeof運(yùn)算符是良好的風(fēng)格，但要當(dāng)心有時我們會昏了頭，寫出 p = malloc(sizeof(p))這樣的程序來。


u 函數(shù)free的原型如下：

void free( void * memblock );

為什么free函數(shù)不象malloc函數(shù)那樣復(fù)雜呢？這是因為指針p的類型以及它所指的內(nèi)存的容量事先都是知道的，語句free(p)能正確地釋放內(nèi)存。如果p是NULL指針，那么free對p無論操作多少次都不會出問題。如果p不是NULL指針，那么free對p連續(xù)操作兩次就會導(dǎo)致程序運(yùn)行錯誤。

7.11 new/delete 的使用要點
運(yùn)算符new使用起來要比函數(shù)malloc簡單得多，例如：

int *p1 = (int *)malloc(sizeof(int) * length);

int *p2 = new int[length];

這是因為new內(nèi)置了sizeof、類型轉(zhuǎn)換和類型安全檢查功能。對于非內(nèi)部數(shù)據(jù)類型的對象而言，new在創(chuàng)建動態(tài)對象的同時完成了初始化工作。如果對象有多個構(gòu)造函數(shù)，那么new的語句也可以有多種形式。例如

class Obj

{

public :

Obj(void); // 無參數(shù)的構(gòu)造函數(shù)

Obj(int x); // 帶一個參數(shù)的構(gòu)造函數(shù)

…

}

void Test(void)

{

Obj *a = new Obj;

Obj *b = new Obj(1); // 初值為1

…

delete a;

delete b;

}

如果用new創(chuàng)建對象數(shù)組，那么只能使用對象的無參數(shù)構(gòu)造函數(shù)。例如

Obj *objects = new Obj[100]; // 創(chuàng)建100個動態(tài)對象

不能寫成

Obj *objects = new Obj[100](1);// 創(chuàng)建100個動態(tài)對象的同時賦初值1

在用delete釋放對象數(shù)組時，留意不要丟了符號‘[]’。例如

delete []objects; // 正確的用法

delete objects; // 錯誤的用法

后者相當(dāng)于delete objects[0]，漏掉了另外99個對象。

7.12 一些心得體會
我認(rèn)識不少技術(shù)不錯的C++/C程序員，很少有人能拍拍胸脯說通曉指針與內(nèi)存管理（包括我自己）。我最初學(xué)習(xí)C語言時特別怕指針，導(dǎo)致我開發(fā)第一個應(yīng)用軟件（約1萬行C代碼）時沒有使用一個指針，全用數(shù)組來頂替指針，實在蠢笨得過分。躲避指針不是辦法，后來我改寫了這個軟件，代碼量縮小到原先的一半。

我的經(jīng)驗教訓(xùn)是：

（1）越是怕指針，就越要使用指針。不會正確使用指針，肯定算不上是合格的程序員。

（2）必須養(yǎng)成“使用調(diào)試器逐步跟蹤程序”的習(xí)慣，只有這樣才能發(fā)現(xiàn)問題的本質(zhì)。