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); } };

但是我会一直转换参数（short-＆gt; double-＆gt; short），这个函数对性能至关重要。还有更好的方法吗？

Answer 1

这些功能签名不相同：

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

一个使用double参数，另一个使用short。要使overriding出现，必须满足几个条件。基本和派生函数的相同的参数类型就是其中之一。 Bellow是Scott Meyers关于所有要求的“现代有效C ++”一书的摘录：

•基类功能必须是虚拟的。

•基础和派生   函数名必须相同（析构函数除外）。

•基本函数和派生函数的参数类型必须是   相同。

•基函数和派生函数的常量必须是   相同。

•基础的返回类型和异常规范   和派生的函数必须兼容。

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

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

Answer 2

这有什么意义呢？使用虚函数的原因是调用者只需要知道基类，因此只需要知道基类签名。

换句话说，具有Foo&或Foo*或std::unique_ptr<Foo>的代码，只知道您的函数的double版本。它会在调用double时传递func，因为它还应该做什么？

您真正想要做的事情可能是将double转换为short的函数的子类实现。这是一个例子，它也摆脱了printf，支持类型安全的C ++流：

class Bar : public Foo {
public:
    int func(double x) { std::cout << static_cast<short>(x) << " in Bar!\n"; }
};

请注意，自C ++ 11以来，我们鼓励您使用override来标记重写函数。

此功能对性能至关重要。

性能关键功能应该是虚拟的吗？
你真的测量速度了吗？有明显的延迟吗？或者计算机太快了？

派生类不会覆盖具有不同签名的虚函数

2 个答案: