爲什麼我們需要抽象類而不是虛擬類？

Question

我知道這個話題有很多問題。但是，我無法理解使用抽象類而不是虛擬類的確切需要。如果我沒有弄錯，抽象類也隱含地是一個虛擬類，它們之間的唯一區別是抽象方法必須在子類中重寫。那麼，爲什麼虛擬課堂不夠？在哪些情況下，我們確實需要抽象類而不是虛擬類？

Answer 1

首先，沒有「虛擬課堂」這樣的東西。我假設你打算說一個多態類（至少有一個虛擬成員函數，當然是一個虛擬析構函數）。

抽象類（至少具有一個純虛擬成員函數）沒有「需要」，但它們有助於創建不能實例化的接口，但僅提供一組可覆蓋的成員函數。它允許你提供一個通用的基類來協助多態，在這種情況下實例化這樣一個普通的基類不會有任何用處，或者會違背設計者的意圖。

/** 
* Instantiating `IType` cannot serve a purpose; it has 
* no implementation (although I _can_ provide one for `foo`). 
* 
* Therefore, it is "abstract" to enforce this. 
*/ 
struct IType 
{ 
    virtual void foo() = 0; 
    virtual ~IType() {} 
}; 

/** 
* A useful type conforming to the `IType` interface, so that 
* I may store it behind an `IType*` and gain polymorphism with 
* `TypeB`. 
*/ 
struct TypeA : IType 
{ 
    virtual void foo() override {} 
}; 

/** 
* A useful type conforming to the `IType` interface, so that 
* I may store it behind an `IType*` and gain polymorphism with 
* `TypeA`. 
*/ 
struct TypeB : IType 
{ 
    virtual void foo() override {} 
};