C++：防止抽象基類的任何實例化的方法？

Question

除了有一個純虛函數，是否有辦法阻止抽象基類的實例化？

我可以這樣做：

class BaseFoo 
{ 
    virtual void blah() = 0; 
}; 

class Foo : public BaseFoo 
{ 
    virtual void blah() {} 
}; 

，但我想避免一個虛函數表。 （每my other question about virtual destructors爲）

微軟ATL有ATL_NO_VTABLE做到這一點（或至少我認爲這是它做什麼...）

Answer 1

一個非常明顯的方法是申報一個受保護的構造，並申報公共的構造函數在非抽象派生類中。

這當然會將corectness的負擔轉移到派生類，但至少基類是受保護的。

Answer 2

你可以做一個受保護的構造

Answer 3

如果你犯了一個受保護的構造如下建議，那麼當你的派生類的構造，你會得到一個錯誤類似於「不能訪問類中聲明私有成員」，還有其他一些特定於你的課程的信息。

如果你在你的基類中有純粹的虛擬方法，那麼問題不在於它們被實例化（當然不是實例化非抽象方法），但問題發生在編譯器可以銷燬的時候不能推斷出你的派生類擁有什麼。那，或者你已經實例化沒有所有者的東西！ （ruh roh rgggy）

爲您的基類聲明純虛擬析構函數，然後在外部實現它。另外，永遠不要將構造函數設爲私有的（編輯：除非保證只在內部使用，例如自動構建鏈表中的下一個節點）。最近你會有史以來想要（編輯：否則）是一個明確的構造函數（但這是另一個話題）。

編輯：我可能找到了答案，但我今天仍然無法打字。

// example.h 

class A 
{ 

    A () { } 
    virtual ~A () = 0; 
}; 

class B : public A 
{ 
    B () { } 
    ~B () { } 
}; 

// example.cpp 
#include "example.h" 

A::~A () { }