在我的那篇“C++中虛解構函式的作用”中我說明了為什麼作為基類的類的解構函式必須是虛函數,同時也指出:為了避免產生虛函數表,如果類不是基類的話,解構函式就不需要聲明為虛函數。
但是,我們不能預料使用者的行為,你不敢肯定使用者是否會從你的類去派生自己的類。如果使用者以一個基類指標去刪除一個衍生類別的對象,就會發生衍生類別的解構函式不被調用的情況。這樣做的危險性我想大家都知道。當然,你可以在類的說明文檔中,甚至是在類的標頭檔中,說明你寫的類不能作為基類。可是,誰又能保證,使用者會仔細閱讀這些說明呢?
所以,我們最好的方法就是禁止類的派生。如果使用者從你的類去派生自己的類,那麼在編譯階段他就會知道這樣做是錯的,從而避免可能發生在運行階段的解構函式不被調用的危險。而禁止類派生的方法就是把建構函式聲明為私人的。例如下面的類就不能被派生:
class ClxNotBase
{
public:
~ClxNotBase();
private:
ClxNotBase();
ClxNotBase(const ClxNotBase& rhs);
};
如果使用者從類ClxNotBase派生了一個類,那麼在編譯階段他就會得到一個不能訪問私人成員函數的錯誤資訊。
當然,你肯定會說:如果把類的建構函式聲明為私人的,那麼我們就無法構造這個類的對象,那我要這個類還有什麼用呢?
是的,你說的很對。不過,我們可以用很簡單的方法來解決這個問題。下面是修改過的類ClxNotBase:
class ClxNotBase
{
public:
~ClxNotBase();
static ClxNotBase * NewlxNotBase();
static ClxNotBase * NewlxNotBase(const ClxNotBase& rhs);
private:
ClxNotBase();
ClxNotBase(const ClxNotBase& rhs);
};
ClxNotBase * ClxNotBase::NewlxNotBase()
{
// 調用真正的建構函式
return new ClxNotBase();
}
ClxNotBase * ClxNotBase::NewlxNotBase(const ClxNotBase& rhs)
{
// 調用真正的拷貝建構函式
return new ClxNotBase(rhs);
}
使用者在要使用類ClxNotBase的時候,就可以調用偽建構函式NewlxNotBase來產生對象。當然,每個偽建構函式都調用了new,這就意味著使用者必須在使用完類ClxNotBase的對象後都必須調用delete。但是,釋放不用的資源是每個C++程式員的基本素質,這個我們就不用強調了。而且,現在有了智能指標auto_ptr,可以自動刪除所指的對象,如果使用者知道用智能指標的話,那就更好了。下面是一個例子:
auto_ptr<ClxNotBase> p(ClxNotBase::NewlxNotBase());
在這種情況下,就不用考慮delete對象的問題。在對象離開範圍的時候,智能指標會自動刪除其所指的對象。
//from :http://dev.csdn.net/author/starlee/258c5d2a0e1e45d5b0fcddc18d6db593.html