C++共享庫：純虛函數不會導致鏈接錯誤

Question

我一直在努力去理解，爲什麼我可以在頭文件中創建一個純虛函數，這個頭文件還沒有在我正在使用的庫中實現，而且這不會導致鏈接或甚至運行時失敗.. 上面可能有點不準確，但這裏有一些代碼來備份它。

下面是一個接口定義：

class A 
{ 
public: 
    static A* Create(); 

    virtual ~A() {} 

    virtual status_t start() = 0; 
    virtual status_t stop() = 0; 
}; 

我有一個C++共享庫，它包含的實現 「的AIMP1」 +的A ::創建（）函數（見下文）：

A* A::Create {return new AImpl;} 

class AImpl : public A 
{ 
public: 
    A() {} 
    virtual ~A() {} 

    virtual status_t start() {} 
    virtual status_t stop() {} 
}; 

我建立共享庫 - 沒問題。 現在我在頭文件中添加另一個純虛函數爲A類：

class A 
    { 
    public: 
     static A* Create(); 

     virtual ~A() {} 

     virtual status_t start() = 0; 
     virtual status_t stop() = 0; 
     virtual status_t write() = 0; 
    }; 

創建一個使用它的測試程序：

void main() 
{ 
    A* a = A::Create(); 
    a->start(); 
    a->stop(); 
    a->write(); 
} 

現在我明白的是，上述編譯，但我認爲它會失敗鏈接，因爲共享庫中沒有write（）調用的實現。 即使在運行時，也不會發生崩潰或發生任何事情。它看起來像寫呼叫被跳過。任何人都可以幫助解釋 - 這將不勝感激:-)

謝謝 - 而對於冗長的問題，對不起，這是一個有點難受，解釋了「單排」確切的問題..

Answer 1

發生什麼事情是共享庫是用A類的一個版本構建的，而可執行二進制文件是使用不同版本構建的。此時，您違反了一個定義規則，編譯器可以自由地執行任何操作，包括成功編譯和鏈接您的代碼。在這種情況下，不需要編譯器診斷。

Answer 2

純虛函數不會在鏈接過程中導致任何錯誤。相反，如果嘗試對抽象類型的對象進行檢驗，純虛函數將導致編譯錯誤。

Reminer - 抽象類型是一種（直接或間接通過繼承）至少有一個未被覆蓋的純虛函數。

Answer 3

如果解決方案之前已經構建，則可以編譯或構建。這意味着它使用舊的目標代碼。嘗試做一個乾淨的解決方案，然後重建它。一旦你的解決方案被清除。然後嘗試編譯繼承的類。另一件值得關注的事情是，您已將您的繼承類聲明爲：

class AImpl：A {...};

我的問題就是如何從A繼承AImpl？你打算public，protected或private繼承？

編輯

如果您鏈接到這是一個圖書館和當前的解決方案並沒有表現出任何的編譯，安裝，連接錯誤;這是因爲您當前的解決方案正在使用已經構建的舊lib或dll。如果你回到你的庫解決方案並做一個乾淨的構建，它不應該編譯，因此你不會有一個更新的版本庫鏈接到。