具有不同参数类型的虚函数

Question

我试图理解虚函数是如何工作的,我陷入了某个角色.

我写过这个小程序:

class First
{
public:
    virtual void f(int a) 
    {
        cout << "First!" << endl;
        cout << a << endl;
    }
};

class Second : public First
{
public:
    void f(int a) {
        cout << "Second!" << endl;
        cout << a << endl;
    }
};

void main() {
    Second s;
    First *p = &s;
    p->f(5);
    First n;
    p = &n;
    p->f(3);
    _getch();
}

此代码导致:

Second!
5
First!
3

但是,如果我int将Second::f()函数更改为其他类型,如下所示:

class First
{
public:
    virtual void f(int a) {
        cout << "First!" << endl;
        cout << a << endl;
    }
};

class Second : public First
{
public:
    void f(double a) { //double instead int here!
        cout << "Second!" << endl;
        cout << a << endl;
    }
};

void main() {
    Second s;
    First *p = &s;
    p->f(5);
    First n;
    p = &n;
    p->f(3);
    _getch();
}

我的程序从不打电话Second::f(),我得到了这个结果:

First!
5
First!
3

有人可以向我解释为什么会这样吗？

Answer 1

当使用虚函数调度时,所谓的"最终覆盖"就是被调用的东西.对于甚至覆盖继承的虚函数的函数,它必须满足一些条件:

如果vf在类Base和类中声明虚拟成员函数Derived,直接或间接地从具有相同名称Base的成员函数派生vf,参数类型列表(8.3.5),cv-qualification和refqualifier(或没有如同Base::vf声明的那样,那么Derived::vf也是虚拟的(无论是否如此声明)并且它会覆盖 Base::vf.

- ISO/IEC 14882:2001(E)§10.3(大胆强调我的)

很简单,在你的第二个例子中的参数列表Second::f(double)从不同的First::f(int),所以Second::f(double)是不是(自动),虚拟和没有不覆盖First::f(int).

C++ 11关键字override声明您的意图,即方法覆盖继承的虚方法,以便编译器可以告诉您何时不这样做.例如,如果你这样做了:

void f(double a) override {

编译器会给你这个诊断通知你它实际上没有覆盖任何东西,它甚至告诉你为什么它没有("第一个参数类型不匹配('int'vs'double')"):

main.cpp:15:18: error: non-virtual member function marked 'override' hides virtual member function
void f(double a) override { //double instead int here!
                 ^
main.cpp:7:14: note: hidden overloaded virtual function 'First::f' declared here: type mismatch at 1st parameter ('int' vs 'double')
virtual void f(int a) {
             ^