每個(gè)程序在執(zhí)行時(shí)都占用一塊可用的內(nèi)存空間，用于存放動(dòng)態(tài)分配的對(duì)象，此內(nèi)存空間稱為程序的自由存儲(chǔ)區(qū)(free store)或堆(heap)。C語(yǔ)言用一堆標(biāo)準(zhǔn)庫(kù)函數(shù)malloc和free在自由存儲(chǔ)區(qū)中分配存儲(chǔ)空間，而C++則用new和delete表達(dá)式實(shí)現(xiàn)相同的功能。

一、new和delete創(chuàng)建和釋放動(dòng)態(tài)數(shù)組：
數(shù)組類型的變量有三個(gè)重要的限制：數(shù)組長(zhǎng)度固定，在編譯時(shí)必須知道其長(zhǎng)度，數(shù)組只在定義它的語(yǔ)句內(nèi)存在。動(dòng)態(tài)數(shù)組：長(zhǎng)度固定，編譯時(shí)不必知道其長(zhǎng)度，通常是運(yùn)行時(shí)確定；一直存在，直到程序顯示釋放它。

1、動(dòng)態(tài)數(shù)組的定義：數(shù)組變量通過(guò)指定類型、數(shù)據(jù)名和維數(shù)來(lái)定義。而動(dòng)態(tài)分配數(shù)組時(shí)，只需指定類型和數(shù)組長(zhǎng)度，不必為數(shù)組對(duì)象命名，new表達(dá)式返回指向新分配數(shù)組的第一個(gè)元素的指針：int*pia=new int[10];在自由存儲(chǔ)區(qū)中創(chuàng)建的數(shù)組對(duì)象沒(méi)有名字，只能通過(guò)其地址間接訪問(wèn)堆中的對(duì)象。

2、初始化動(dòng)態(tài)分配的數(shù)組：若數(shù)組元素具有類類型，將使用該類的默認(rèn)構(gòu)造函數(shù)初始化；若數(shù)組元素是內(nèi)置類型，則無(wú)初始化。也可跟在數(shù)組長(zhǎng)度后面的一堆空?qǐng)A括號(hào)，對(duì)數(shù)組元素做值初始化。

string *psa=newstring[10];  //array of 10 empty strings
int *pia=newint[10];  //array of 10 uninitializedints
int *pia2=newint[10]();  //array of 10 zero

對(duì)于動(dòng)態(tài)分配的數(shù)組，其元素只能初始化為元素類型的默認(rèn)值，而不能像數(shù)組變量一樣，用初始化列表為數(shù)組元素提供各不相同的初值。

3、const對(duì)象的動(dòng)態(tài)數(shù)組：若在堆中創(chuàng)建的數(shù)組存儲(chǔ)了內(nèi)置類型的const對(duì)象，則必須為這個(gè)數(shù)組提供初始化：因數(shù)組元素都是const對(duì)象，無(wú)法復(fù)制。

const int*pci_ok=new const int[100]();

C++允許定義類類型的const數(shù)組，但該類型必須提供默認(rèn)構(gòu)造函數(shù)。

已創(chuàng)建的常量元素不允許修改，所以此類數(shù)組用處不大。

4、允許動(dòng)態(tài)分配空數(shù)組：動(dòng)態(tài)分配數(shù)組，多是由于編譯時(shí)不知道數(shù)組長(zhǎng)度。
size_t  n=get_size();    int*p=new int[n];

C++雖然不允許定義長(zhǎng)度為0的數(shù)組變量，但明確指出，調(diào)用new創(chuàng)建長(zhǎng)度為0的數(shù)組是合法的。new返回有效的非零指針。該指針不能與new返回的其他指針不同，不能進(jìn)行解引用操作，因它沒(méi)指向任何元素。允許的操作：比較運(yùn)算。

5、動(dòng)態(tài)空間的釋放：程序員必須顯示將其占用的存儲(chǔ)空間返還給程序的自由存儲(chǔ)區(qū)。C++語(yǔ)言為指針提供delete []表達(dá)式釋放指針?biāo)赶虻臄?shù)組空間。

delete [] pia;[]告訴編譯器該指針指向的是堆中的數(shù)組，而非單個(gè)對(duì)象，若遺漏，編譯器無(wú)法發(fā)現(xiàn)。

二、new和delete創(chuàng)建和釋放單個(gè)對(duì)象
定義變量時(shí)，必須指定其數(shù)據(jù)類型和名字。而動(dòng)態(tài)創(chuàng)建對(duì)象時(shí)，只需指定其數(shù)據(jù)類型。new返回指向新創(chuàng)建對(duì)象的指針，通過(guò)該指針來(lái)訪問(wèn)此對(duì)象。

1、動(dòng)態(tài)創(chuàng)建對(duì)象的初始化：int *pi=new int(1024)

2、動(dòng)態(tài)創(chuàng)建對(duì)象的默認(rèn)初始化：若不提供顯式初始化，與函數(shù)內(nèi)定義的變量初始化方式相同，類類型->默認(rèn)構(gòu)造函數(shù)；內(nèi)置類型->無(wú)初始化。同樣可做值初始化：

int *pi=newint();值初始化的()必須置于類型名后，而非變量后，int x()是聲明函數(shù)。

3、撤銷動(dòng)態(tài)創(chuàng)建的對(duì)象：程序員必須顯示將該對(duì)象占用的內(nèi)存返回給自由存儲(chǔ)區(qū)。delete，若指針指向不是用new分配的內(nèi)存地址，則對(duì)該指針使用delete非法。

int i;  int *pi=&i;  delete pi;//編譯器不能斷定一個(gè)指針指向什么類型的對(duì)象，因此大部分編譯器仍能通過(guò)(VS2005編譯通過(guò)，執(zhí)行到該處報(bào)錯(cuò))。

4、零指針的刪除：int *ip=0; delete ip;若指針值為0，則delete合法。

5、delete后，重設(shè)指針值：delete p;刪除指針后，p成為懸垂指針。懸垂指針指向曾經(jīng)存放對(duì)象的內(nèi)存，但該對(duì)象已不存在，引用該內(nèi)存報(bào)錯(cuò)。所以一旦刪除指針?biāo)赶虻膶?duì)象，立即將指針置為0。

6、const對(duì)象的動(dòng)態(tài)分配和回收：創(chuàng)建時(shí)初始化，且一經(jīng)初始化，其值不可修改。

const int*pci=new const int(1024);new表達(dá)式返回int型const對(duì)象的指針。所以只能賦給指向const的指針。內(nèi)置類型對(duì)象或未提供默認(rèn)構(gòu)造函數(shù)的類類型對(duì)象必須顯示初始化。

刪除const對(duì)象：delete pci;

三、與動(dòng)態(tài)內(nèi)存分配相關(guān)的三種常見(jiàn)程序錯(cuò)誤：
1、刪除指向動(dòng)態(tài)分配內(nèi)存的指針失敗，稱為memory leak。一般需等程序運(yùn)行一段時(shí)間，耗盡內(nèi)存時(shí)，才顯露出來(lái)。

2、讀寫(xiě)已刪除的對(duì)象。若刪除指針?biāo)笇?duì)象后，置指針值為0，易檢查出此類錯(cuò)誤。

3、對(duì)同一個(gè)內(nèi)存空間使用兩次delete表達(dá)式。第二次delete時(shí)，自由存儲(chǔ)區(qū)可能被破壞。

最新評(píng)論