現在在寫乙個專案,需要用到多叉樹儲存結構,但是在某個時候,我需要銷毀這棵樹,這意味著如果我新建了乙個樹物件,我很可能在某處希望將這個物件的宣告週期終結,自然會想到顯示呼叫析構函式,但是就扯出來這麼大個陷阱。
在了解為什麼不要輕易顯示呼叫析構函式之前,先來看看預備知識。
為了理解這個問題,我們必須首先弄明白「堆」和「棧」的概念。
1)堆區(heap) —— 一般由程式設計師分配釋放, 若程式設計師不釋放,程式結束時可能由os**。注意它與資料結構中的堆是兩回事,分配方式倒是類似於鍊錶。
2)棧區(stack) —— 由編譯器自動分配釋放,存放函式的引數值,區域性變數的值等。其操作方式類似於資料結構中的棧。
我們構造物件,往往都是在一段語句體中,比如函式,判斷,迴圈,還有就直接被一對「{}」包含的語句體。這個物件在語句體中被建立,在語句體結束的時候被銷毀。問題就在於,這樣的物件在生命週期中是存在於棧上的。也就是說,如何管理,是系統完成而程式設計師不能控制的。所以,即使我們呼叫了析構,在物件生命週期結束後,系統仍然會再呼叫一次析構函式,將其在棧上銷毀,實現真正的析構。
所以,如果我們在析構函式中有清除堆資料的語句,呼叫兩次意味著第二次會試圖清理已經被清理過了的,根本不再存在的資料!這是件會導致執行時錯誤的問題,並且在編譯的時候不會告訴你!
如果硬要顯示呼叫析構函式,不是不可以,但是會有如下3條後果:
1)顯式呼叫的時候,析構函式相當於的乙個普通的成員函式;
2)編譯器隱式呼叫析構函式,如分配了對記憶體,顯式呼叫析構的話引起重複釋放堆記憶體的異常;
3)把乙個物件看作占用了部分棧記憶體,占用了部分堆記憶體(如果申請了的話),這樣便於理解這個問題,系統隱式呼叫析構函式的時候,會加入釋放棧記憶體的動作(而堆記憶體則由使用者手工的釋放);使用者顯式呼叫析構函式的時候,只是單純執行析構函式內的語句,不會釋放棧記憶體,也不會摧毀物件。
用如下**表示:
例1:class aaa
~aaa() //申請堆記憶體
~aaa();
#endif
//////////
#include a.hpp
a::a(int _a): heap_deleted(false)
a::a(const a& _a): heap_deleted(false)
a::~a()
else
cout << a destroyed! << endl;
}void a::change(int x)
void a::show() const
////////////
#include a.hpp
int main(int argc, char* ar**)
所以,一般不要自作聰明的去顯示呼叫析構函式。
C 顯示呼叫建構函式和析構函式
建構函式和析構函式可不可以顯示呼叫 class a a void main 此時的輸出結果是 a constructor a constructor 顯示呼叫建構函式的結果。a destrucotr 顯示呼叫析構函式的結果,此時物件並沒有銷毀。a destructor 物件銷毀時自動呼叫析構函式。總...
C 顯示呼叫建構函式和析構函式
類在new的時候其實做了兩件事情 1 呼叫malloc分配所需的記憶體 實際上是呼叫operator new 2 呼叫建構函式 類在delete的時候其實也做了兩件事 1 呼叫析構函式 2 呼叫free釋放記憶體 實際上是呼叫operator delete 直接通過 類名 建構函式或析構函式clas...
關於C 手動呼叫析構函式的理解
今天用c 改寫jept json的時候遇到了乙個問題。首先,在lept json中,在lept value中定義了乙個聯合 struct lept value s string null terminated string,string length double n number u lept t...