C++析構函數的自動調用問題


首先要明確一點,系統只會自動釋放棧內空間,而堆內空間需要用戶自己維護。

C++中,除了new來的空間存放在堆內,其他均存放在棧中。

當單純的創建對象的時候,對象存放在棧中,此時在程序塊的}后面,系統會自動調用析構函數,釋放掉棧空間。

但是,如果創建了指向new來的一塊空間的指針的時候,如果在沒有顯示釋放掉new到的堆空間時,系統是不會自動調用析構函數去釋放棧空間中的指針的。

示例代碼如下

#pragma once
#include <iostream>
using namespace std;
class CBase

{

  public:

     CBase(int num){this->num = num;cout<<num<<"號Base類構造函數運行!"<<endl;};

     ~CBase(){cout<<num<<"號Base類析構函數運行!"<<endl;};
private:
 int num;
};

void main()

{

    CBase bobj(1);//析構函數會自動調用

    CBase *bptr = new CBase(2);

    //delete bptr;//如果沒有這句,系統不會自動運行2號的析構函數。

}
此處delete釋放的是堆空間中的指針。指針釋放后,系統會自動調用析構函數,釋放棧中的CBase 2號對象。

 

Effective C++ 條款6:析構函數里對指針成員調用delete

 

大多數情況下,執行動態內存分配的的類都在構造函數里用new分配內存,然后在析構函數里用delete釋放內存。最初寫這個類的時候當然不難做,你會記得最后對在所有構造函數里分配了內存的所有成員使用delete。

然而,這個類經過維護、升級后,情況就會變得困難了,因為對類的代碼進行修改的程序員不一定就是最早寫這個類的人。而增加一個指針成員意味着幾乎都要進行下面的工作:
·在每個構造函數里對指針進行初始化。對於一些構造函數,如果沒有內存要分配給指針的話,指針要被初始化為0(即空指針)。
·刪除現有的內存,通過賦值操作符分配給指針新的內存。
·在析構函數里刪除指針。

如果在構造函數里忘了初始化某個指針,或者在賦值操作的過程中忘了處理它,問題會出現得很快,很明顯,所以在實踐中這兩個問題不會那么折磨你。但是,如果在析構函數里沒有刪除指針,它不會表現出很明顯的外部症狀。相反,它可能只是表現為一點微小的內存泄露,並且不斷增長,最后吞噬了你的地址空間,導致程序夭折。因為這種情況經常不那么引人注意,所以每增加一個指針成員到類里時一定要記清楚。

另外,刪除空指針是安全的(因為它什么也沒做)。所以,在寫構造函數,賦值操作符,或其他成員函數時,類的每個指針成員要么指向有效的內存,要么就指向空,那在你的析構函數里你就可以只用簡單地delete掉他們,而不用擔心他們是不是被new過。

當然對本條款的使用也不要絕對。例如,你當然不會用delete去刪除一個沒有用new來初始化的指針,而且,就象用智能指針對象時不用勞你去刪除一樣,你也永遠不會去刪除一個傳遞給你的指針。換句話說,除非類成員最初用了new,否則是不用在析構函數里用delete的。

說到智能指針,這里介紹一種避免必須刪除指針成員的方法,即把這些成員用智能指針對象來代替,比如c++標准庫里的auto_ptr。想知道它是如何工作的,看看條款m9和m10。

 

      析構函數(destructor) 與構造函數相反,當對象脫離其作用域時(例如對象所在的函數已調用完畢),系統自動執行析構函數。析構函數往往用來做“清理善后” 的工作(例如在建立對象時用new開辟了一片內存空間,應在退出前在析構函數中用delete釋放)。

  前面的一些例子都沒有說明析構函數,這是因為所用到的類在結束時不需要做特別的清理工作。下面的程序給出了一新的Date類,其中包括一個字符串指針,用來表示月份。

 

  在Date對象的構造函數中,首先用new運算符為字符串month動態分配了內存,然后從內部數組中把月份的名字拷貝給字符串指針month。

 

      析構函數在刪除month指針時,可能會出現一些問題。當然從這個程序本身來看,沒什么麻煩;但是從設計一個類的角度來看,當Date類用於賦值時,就會出現問題。假設上面的main()修改為“

  

      這會生成一個名為today的空的Date型變量,並且把birthday值賦給它。如果不特別通知編譯器,它會簡單的認為類的賦值就是成員對成員的拷貝。在上面的程序中,變量birthday有一個字符型指針month,並且在構造函數里用new運算符初始化過了。當birthday離開其作用域時,析構函數會調用delete運算符來釋放內存。但同時,當today離開它的作用域時,析構函數同樣會對它進行釋放操作,而today里的month指針是birthday里的month指針的一個拷貝。析構函數對同一指針進行了兩次刪除操作,這會帶來不可預知的后果。

 

  如果假設today是一個外部變量,而birthday是一個自變量。當birthday離開其作用域時,就已經把對象today里的month指針刪除了。顯然這也是不正確的。

  再假設有兩個初始化的Date變量,把其中一個的值賦值給另一個:

  

      問題就更復雜了,當這兩個變量離開作用域時,birthday中的month的值已經通過賦值傳遞給了today。而today中構造函數用new運算符給month的值卻因為賦值被覆蓋了。這樣,birthday中的month被刪除了兩次,而today中month卻沒有被刪除掉。

 

 

自我理解:

C++ 如果類中有一個指針數據成員,而你沒有用new, 析構函數是不用delete的。
在類中,int、char 這些只要不是new的,也同樣不用釋放,系統會自動把他們占的內存釋放掉,只有new 的才會手動的去delete。
int char ,這些基本類型,是局部變量,存在於棧上。而一個指針定義的時候,也是在棧上比如int *p;p在棧上,而且p的值也是棧的一個地址。
但是當int *p = new int ;這時候,p這個變量是在棧上的。但是p的值是一個地址,這個地址是堆上的一個地址。
如果不delete p;那么,這個地址會一直被占用着,不能被其他的對象所使用,所以我們用完這個地址,要把這個地址釋放掉。


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM