純虛解構函式

原來一直對虛解構函式的概念理解有所偏差，今天與同學討論方知有誤，特摘抄一段《Effective C++》中第14條條款的一部分，既是對虛解構函式的徹底理解，亦是對純虛解構函式作用的解釋。

在某些類裡聲明純虛解構函式很方便。純虛函數將產生抽象類別——不能執行個體化的類（即不能建立此類型的對象）。有些時候，你想使一個類成為抽象類別，但剛好又沒有任何純虛函數。怎麼辦？因為抽象類別是準備被用做基類的，基類必須要有一個虛解構函式，純虛函數會產生抽象類別，所以方法很簡單：在想要成為抽象類別的類裡聲明一個純虛解構函式。

這裡是一個例子：
class awov {
public:
  virtual ~awov() = 0;      // 聲明一個純虛解構函式
};

這個類有一個純虛函數，所以它是抽象的，而且它有一個虛解構函式，所以不會產生解構函式問題。但這裡還有一件事：必須提供純虛解構函式的定義：

awov::~awov() {}           // 純虛解構函式的定義

這個定義是必需的，因為虛解構函式工作的方式是：最底層的衍生類別的解構函式最先被調用，然後各個基類的解構函式被調用。這就是說，即使是抽象類別，編譯器也要產生對~awov的調用，所以要保證為它提供函數體。如果不這麼做，連結器就會檢測出來，最後還是得回去把它添上。