#include <iostream>

using namespace std;

class Base1 {
public:
    virtual void f(int n) = 0;
};

class Base2 {
public:
    virtual void f(char *s) = 0;
};

class Derive1 : public Base1, public Base2 {
public:
    void f(int n) { cout << "d1 fn" << endl; }
    void f(char *s) { cout << "d1 fs" << endl; }
};

class Derive2 : public Derive1 {
public:
    void f(int n) { cout << "d2 fn" << endl; }
    void f(char *s) { cout << "d2 fs" << endl; }
};

int main() {
    Derive1 *d1 = new Derive2();
    int n = 0;
    char *s = "";
    d1->f(n);
    d1->f(s);
    return 0;
}


上面的代码按预期运行,但是如果我注释掉Derive1的一种方法,则会出现转换错误。如果我注释掉Derive1的两个方法,则会得到方法歧义错误。

令我感到困惑的是,为什么Derive1必须定义这两种方法,为什么仅在Derive2中定义它们却不起作用。我需要一些帮助来了解这一点。

一些说明:


让我们假设我永远不想创建任何Derive1实例。因此,如果Derive1是抽象类,则完全可以。
“所有纯虚函数应该在派生类中有一个定义。”如果我不想创建此派生类的实例,则情况并非如此。
如果我将Base1中的f更改为f1,而将Base2中的f更改为f2(只需更改名称),则Derive1不需要定义它们中的任何一个,只需在Derive2中定义f1和f2即可。


因此,在方法重载的支持下,我认为在上面的代码中,我在Base1中声明了一个名称类似于f_int的函数。在Base2中,我声明了一个名称类似于f_str的函数。这就是编译器实现方法重载的方式,对吗?但似乎并非如此。

最佳答案

Derive1是从Base1Base2派生的类。派生类必须实现其基类的所有纯虚函数。

Derive1实现这些功能对Derive2并没有帮助,因为可以实例化Derive1,并且必须实例化所有继承的纯虚方法。

例如,如果您没有在Derive1中实现这些功能,那么您期望它的行为是什么?

Derive1* d1 = new Derive1;
int n = 0;
char *s = "";
d1->f(n);
d1->f(s);


Derive1没有实现这些,并且d1不是Derive2实例,所以它应该做什么?

08-28 02:26