#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
是从Base1
和Base2
派生的类。派生类必须实现其基类的所有纯虚函数。Derive1
实现这些功能对Derive2
并没有帮助,因为可以实例化Derive1
,并且必须实例化所有继承的纯虚方法。
例如,如果您没有在Derive1
中实现这些功能,那么您期望它的行为是什么?
Derive1* d1 = new Derive1;
int n = 0;
char *s = "";
d1->f(n);
d1->f(s);
Derive1
没有实现这些,并且d1
不是Derive2
实例,所以它应该做什么?