繼承基類成員函數的虛擬說明符

Question

以下代碼基於C++模板：完全指南的第298頁上的示例。我刪除了與我的問題無關的部分。

class Virtual { 
    public: 
    virtual void foo() { 
    } 
}; 

class Base : private Virtual { 
    public: 
    void foo() { 
     std::cout << "Base::foo()" << '\n'; 
    } 
}; 

class Derived : public Base { 
    public: 
    void foo() { 
     std::cout << "Derived::foo()" << '\n'; 
    } 
}; 

int main() 
{ 
    Base *p = new Derived; 
    p->foo(); // calls Derived::foo() 
} 

我不明白通話p->foo()如何結束調用Derived::foo。更具體地說，p的靜態類型是Base*。 Base::foo是非虛擬的。現在，Base私自繼承'虛擬'，它有自己的foo，看起來好像Base::foo以某種方式從Virtual::foo獲得virtual說明符。這裏究竟發生了什麼？

Answer 1

foo的virtual繼承自基類Virtual。

事實上，編寫virtual在Derived::foo將是多餘的，許多開發人員將省略它。一旦您在基類中將該函數標記爲virtual，您就不能撤銷virtual。

您可以通過編寫p->Base::foo();強制呼叫Base::foo，但這是一個醜陋的設計。