首先要明確一點(diǎn),系統(tǒng)只會(huì)自動(dòng)釋放棧內(nèi)空間,而堆內(nèi)空間需要用戶自己維護(hù)。
C++中,除了new來的空間存放在堆內(nèi),其他均存放在棧中。
當(dāng)單純的創(chuàng)建對(duì)象的時(shí)候,對(duì)象存放在棧中,此時(shí)在程序塊的}后面,系統(tǒng)會(huì)自動(dòng)調(diào)用析構(gòu)函數(shù),釋放掉棧空間。
但是,如果創(chuàng)建了指向new來的一塊空間的指針的時(shí)候,如果在沒有顯示釋放掉new到的堆空間時(shí),系統(tǒng)是不會(huì)自動(dòng)調(diào)用析構(gòu)函數(shù)去釋放??臻g中的指針的。
示例代碼如下
#pragma once
#include <iostream>
using namespace std;
class CBase
{
public:
CBase(int num){this->num = num;cout<<num<<"號(hào)Base類構(gòu)造函數(shù)運(yùn)行!"<<endl;};
~CBase(){cout<<num<<"號(hào)Base類析構(gòu)函數(shù)運(yùn)行!"<<endl;};
private:
int num;
};
void main()
{
CBase bobj(1);//析構(gòu)函數(shù)會(huì)自動(dòng)調(diào)用
CBase *bptr = new CBase(2);
//delete bptr;//如果沒有這句,系統(tǒng)不會(huì)自動(dòng)運(yùn)行2號(hào)的析構(gòu)函數(shù)。
}
此處delete釋放的是堆空間中的指針。指針釋放后,系統(tǒng)會(huì)自動(dòng)調(diào)用析構(gòu)函數(shù),釋放棧中的CBase 2號(hào)對(duì)象。
Effective C++ 條款6:析構(gòu)函數(shù)里對(duì)指針成員調(diào)用delete
大多數(shù)情況下,執(zhí)行動(dòng)態(tài)內(nèi)存分配的的類都在構(gòu)造函數(shù)里用new分配內(nèi)存,然后在析構(gòu)函數(shù)里用delete釋放內(nèi)存。最初寫這個(gè)類的時(shí)候當(dāng)然不難做,你會(huì)記得最后對(duì)在所有構(gòu)造函數(shù)里分配了內(nèi)存的所有成員使用delete。
然而,這個(gè)類經(jīng)過維護(hù)、升級(jí)后,情況就會(huì)變得困難了,因?yàn)閷?duì)類的代碼進(jìn)行修改的程序員不一定就是最早寫這個(gè)類的人。而增加一個(gè)指針成員意味著幾乎都要進(jìn)行下面的工作:
·在每個(gè)構(gòu)造函數(shù)里對(duì)指針進(jìn)行初始化。對(duì)于一些構(gòu)造函數(shù),如果沒有內(nèi)存要分配給指針的話,指針要被初始化為0(即空指針)。
·刪除現(xiàn)有的內(nèi)存,通過賦值操作符分配給指針新的內(nèi)存。
·在析構(gòu)函數(shù)里刪除指針。
如果在構(gòu)造函數(shù)里忘了初始化某個(gè)指針,或者在賦值操作的過程中忘了處理它,問題會(huì)出現(xiàn)得很快,很明顯,所以在實(shí)踐中這兩個(gè)問題不會(huì)那么折磨你。但是,如果在析構(gòu)函數(shù)里沒有刪除指針,它不會(huì)表現(xiàn)出很明顯的外部癥狀。相反,它可能只是表現(xiàn)為一點(diǎn)微小的內(nèi)存泄露,并且不斷增長,最后吞噬了你的地址空間,導(dǎo)致程序夭折。因?yàn)檫@種情況經(jīng)常不那么引人注意,所以每增加一個(gè)指針成員到類里時(shí)一定要記清楚。
另外,刪除空指針是安全的(因?yàn)樗裁匆矝]做)。所以,在寫構(gòu)造函數(shù),賦值操作符,或其他成員函數(shù)時(shí),類的每個(gè)指針成員要么指向有效的內(nèi)存,要么就指向空,那在你的析構(gòu)函數(shù)里你就可以只用簡單地delete掉他們,而不用擔(dān)心他們是不是被new過。
當(dāng)然對(duì)本條款的使用也不要絕對(duì)。例如,你當(dāng)然不會(huì)用delete去刪除一個(gè)沒有用new來初始化的指針,而且,就象用智能指針對(duì)象時(shí)不用勞你去刪除一樣,你也永遠(yuǎn)不會(huì)去刪除一個(gè)傳遞給你的指針。換句話說,除非類成員最初用了new,否則是不用在析構(gòu)函數(shù)里用delete的。
說到智能指針,這里介紹一種避免必須刪除指針成員的方法,即把這些成員用智能指針對(duì)象來代替,比如c++標(biāo)準(zhǔn)庫里的auto_ptr。想知道它是如何工作的,看看條款m9和m10。
自我理解:
C++ 如果類中有一個(gè)指針數(shù)據(jù)成員,而你沒有用new, 析構(gòu)函數(shù)是不用delete的。
在類中,int、char 這些只要不是new的,也同樣不用釋放,系統(tǒng)會(huì)自動(dòng)把他們占的內(nèi)存釋放掉,只有new 的才會(huì)手動(dòng)的去delete。
int char ,這些基本類型,是局部變量,存在于棧上。而一個(gè)指針定義的時(shí)候,也是在棧上比如int *p;p在棧上,而且p的值也是棧的一個(gè)地址。
但是當(dāng)int *p = new int ;這時(shí)候,p這個(gè)變量是在棧上的。但是p的值是一個(gè)地址,這個(gè)地址是堆上的一個(gè)地址。
如果不delete p;那么,這個(gè)地址會(huì)一直被占用著,不能被其他的對(duì)象所使用,所以我們用完這個(gè)地址,要把這個(gè)地址釋放掉。
更多信息請(qǐng)查看IT技術(shù)專欄