關於c 顯示呼叫析構函式的陷阱

2022-09-23 08:45:12 字數 1331 閱讀 1681

現在在寫乙個專案,需要用到多叉樹儲存結構,但是在某個時候,我需要銷毀這棵樹,這意味著如果我新建了乙個樹物件,我很可能在某處希望將這個物件的宣告週期終結,自然會想到顯示呼叫析構函式,但是就扯出來這麼大個陷阱。

在了解為什麼不要輕易顯示呼叫析構函式之前,先來看看預備知識。

為了理解這個問題,我們必須首先弄明白「堆」和「棧」的概念。

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...