继承基类成员函数的虚拟说明符

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，但这是一个丑陋的设计。