類型需要虛析構函數的另外一個特征 是該類型具有指針成員或引用成員。如果有指針成員和引用成員,則該類型通常需要實現析構函數以及拷貝操作。
通常,一個實現了析構函數的類型同時也需要實現拷貝構造函數與拷貝復制函數。
作為一個經驗法則:
如果你有一個帶有虛函數功能的類,則它需要一個虛析構函數,原因如下:
1. 如果一個類有虛函數功能,它經常作為一個基類使用。
2.如果它是一個基類,它的派生類經常使用new來分配。
3.如果一個派生類對象使用new來分配,並且通過一個指向它的基類的指針來控制,那麼它經常通過一個指向它的基類的指針來刪除它(如果基類沒有虛析構函數,結果將是不確定的,實際發生時,派生類的析構函數永遠不會被調用)。
基類有虛析構函數的話,最底層的派生類的析構函數最先被調用,然後各個基類的析構函數被調用。
現在還不明白的,作為保護性的析構函數的作用何在?這裡有一種解釋:http://www.BkJia.com/kf/201110/106909.html。理解了,以後再補充。
對於聲明為保護的析構函數,網上有這樣的解釋:
1、如果一個類被繼承,同時定義了基類以外的成員對象,且基類析構函數不是virtual修飾的,
那麼當基類指針或引用指向派生類對象並析構(例如自動對象在函數作用域結束時;或者通過delete)時,
會調用基類的析構函數而導致派生類定義的成員沒有被析構,產生內存洩露等問題。
雖然把析構函數定義成virtual的可以解決這個問題,但是當其它成員函數都不是virtual函數時,
會在基類和派生類引入vtable,實例引入vptr造成運行時的性能損失。如果確定不需要直接而是只通過派生類對象使用基類,
可以把析構函數定義為protected(這樣會導致基類和派生類外使用自動對象和delete時的錯誤,因為訪問權限禁止調用析構函數),
就不會導致以上問題。
2、保證對象只生成在堆上。
看見一篇博文,問到了和我類似的問題,摘錄如下:
我看到有些程序中,將構造函數,析構函數聲明為私有和保護的,那麼對象如何創建?已經不能從外部調用構造函數了,但是對象必須被構造,應該如何解決,麻煩大家幫忙說明,關於構造,析構函數聲明為私有和保護時的用法,謝謝了! 從語法上來講,一個函數被聲明為protected或者private,那麼這個函數就不能從“外部”直接被調用了。
對於protected的函數,子類的“內部”的其他函數可以調用之。
而對於private的函數,只能被本類“內部”的其他函數說調用。
語法上就是這麼規定的,你肯定也知道的咯。
那麼為什麼有時候將構造函數或者析構函數聲明為protected的或者private的?
通常使用的場景如下:
1。如果你不想讓外面的用戶直接構造一個類(假設這個類的名字為A)的對象,而希望用戶只能構造這個類A的子類,那你就可以將類A的構造函數/析構函數聲明為protected,而將類A的子類的構造函數/析構函數聲明為public。例如:
class A
{ protected: A(){}
public: ....
};
calss B : public A
{ public: B(){}
....
};
A a; // error
B b; // ok
2. 如果將構造函數/析構函數聲明為private,那只能這個類的“內部”的函數才能構造這個類的對象了。這裡所說的“內部”不知道你是否能明白,下面舉個例子吧。
class A
{
private:
A(){ }
~A(){ }
public:
void Instance()//類A的內部的一個函數
{
A a;
}
};
上面的代碼是能通過編譯的。上面代碼裡的Instance函數就是類A的內部的一個函數。Instance函數體裡就構建了一個A的對象。
但是,這個Instance函數還是不能夠被外面調用的。為什麼呢?
如果要調用Instance函數,必須有一個對象被構造出來。但是構造函數被聲明為private的了。外部不能直接構造一個對象出來。
A aObj; // 編譯通不過
aObj.Instance();
但是,如果Instance是一個static靜態函數的話,就可以不需要通過一個對象,而可以直接被調用。如下:class A
{
private:
A():data(10){ cout << "A" << endl; }
~A(){ cout << "~A" << endl; }
public:
static A& Instance()
{
static A a;
return a;
}
void Print()
{
cout << data << endl;
}
private:
int data;
};
A& ra = A::Instance();
ra.Print();
上面的代碼其實是設計模式singleton模式的一個簡單的C++代碼實現。
還有一個情況是:通常將拷貝構造函數和operator=(賦值操作符重載)聲明成private,但是沒有實現體。
這個的目的是禁止一個類的外部用戶對這個類的對象進行復制動作。
細節請看《effective C++》裡面的一個條款。具體哪個條款不記得了。你自己去找吧
作者:站在技術的最前沿,我要俯視一切.