派生类不会重写具有不同签名的虚函数

Question

我有一个派生类，我希望其中一个函数覆盖其在基类中的版本，但具有不同的签名。简单的例子：

#include "stdio.h"

bool use_foo = false;

class Foo {
public:
    virtual int func(double x) { printf ("%f in Foo!\n", x); }
};

class Bar : public Foo {
public:
    int func(short x) { printf ("%d in Bar!\n", x); }
};

int main () {
    Foo* A;
    if (use_foo) 
        A = new Foo;
    else 
        A = new Bar;

    A->func(2);
    return 0;
}

即使 A 被分配为派生类，上面的代码也会调用基类副本：

> g++ test.cpp -o test -O3 && ./test
2.000000 in Foo!

因为（据我的理解）参数可以转换为匹配基类签名，并且派生类不会因为这种差异而覆盖它（但在这种情况下它不会隐藏它吗？）。如果我将基类函数更改short为也具有参数，则派生类确实会设法覆盖它。

有没有一种简单的方法可以说服调用根据指针使用正确的函数？我可以添加另一个这样的函数：

class Bar : public Foo {
public:
    int func2(short x) { printf ("%d in Bar!\n", x); }
    int func(double x) { func2(x); }
};

但随后我会一直转换参数（短->双->短），并且这个函数对性能至关重要。有没有更好的办法？

Answer 1

这些函数签名不相同：

\n\n

virtual int func(double x) {...} // base class\nint func(short x) {...} // derived class\n

\n\n

一个使用double参数，另一个使用short。要发生覆盖，必须满足几个条件。基函数和派生函数的相同参数类型就是其中之一。Bellow 是 Scott Meyers 所著的《Modern effective C++》一书中关于所有要求的摘录：

\n\n

\n

\xe2\x80\xa2 基类函数必须是虚函数。

\n\n

\xe2\x80\xa2 基函数名称和派生函数名称必须相同（析构函数除外）。

\n\n

\xe2\x80\xa2 基函数和派生函数的参数类型必须相同。

\n\n

\xe2\x80\xa2 基函数和派生函数的常量必须相同。

\n\n

\xe2\x80\xa2 基函数和派生函数的返回类型和异常规范必须兼容。

\n

\n\n

或者，使签名相同并在派生函数体内执行转换：

\n\n

int func(double x) override {\n    short temp = static_cast<short>(x);\n    // ...\n}\n

\n