C++:在基类中不是虚拟方法时，在派生类中声明虚拟方法是否合法？

Question

基类专门声明该方法是非虚拟的。 它适用于 Visual Studio 2008、2010 和 2012 以及 whatever compiler ideone uses (海合会 4.7+？)。

#include <iostream>

class sayhi
{
public:
    void hi(){std::cout<<"hello"<<std::endl;}
};

class greet: public sayhi
{
public:
    virtual void hi(){std::cout<<"hello world"<<std::endl;}
};


int main()
{
    greet noob;
    noob.hi(); //Prints hello world
    return 0;
}

这也有效 - 该方法在基类中是私有(private)的和非虚拟的:

#include <iostream>

class sayhi
{
private:
    void hi(){std::cout<<"hello"<<std::endl;}
};

class greet: public sayhi
{
public:
    virtual void hi(){std::cout<<"hello world"<<std::endl;}
};


int main()
{
    greet noob;
    noob.hi(); //Prints hello world
    return 0;
}

我的问题是:

1. 这合法吗？
2. 为什么有效？

Answer 1

1 . Is it legal?

是。

2 . Why does it work?

没有什么能阻止您在派生类中声明与基类的成员函数同名的成员函数。您在派生类中的函数将简单地隐藏基类的函数。顺便说一句，如果派生类中的函数恰好是 virtual，则子类可以覆盖它:

class howdy : public greet
{
public:
    // Overrides greet::hi()
    virtual void hi() { std::cout << "howdy world" << std::endl; }
};

但是，这不会以任何方式影响 sayhi::hi():特别是，派生类中仅存在一个 virtual 函数隐藏它不让它 虚拟。因此，当通过指针或对 base 类 sayhi 实例的引用调用函数时，您不能期望虚拟分派(dispatch)起作用:

sayhi noob;
noob.hi(); // Will NOT print "hello world"!

greet gentleman;
sayhi* p = &gentleman;
p->hi(); // Will NOT print "hello world"!

howdy neighbor;
p = &neighbor; 
p->hi(); // Will NOT print "howdy"!

greet* pG = &neighbor;
pG->hi(); // WILL print "howdy"!