碰到一道填空的编程题。已有的程序:
#include <iostream>
using namespace std;
class A {
};
class B: public A {
void Do() {cout << "B::Do" << endl;}
};
class C : public B {
public:
void Do() {cout << "C::Do" << endl;}
void Fun() {cout << "C::Fun" << endl;}
};
void Call() {
p->Fun();
p->Do();
}
int main(void) {
Call(new A());
Call(new C());
return 0;
}
填空1和填空2,实现程序的输出要求:
A::Fun
A::Do
A::Fun
C::Do
知识点: 如果没有使用关键字virtual,程序将根据引用类型或指针类型来选择方法。 如果使用了关键字virtual,程序将根据引用或指针指向的对象的类型来选择方法。 差别: 一个是根据指针类型来选择方法; 另外一个是根据对象的类型来选择方法。
首先,Call(new A())时,Call()方法接收的是一个指针类型的参数p,因此可以确定形参是[]* p。[]表示类型。基于多态性,[]应该是A。因此,填空2应填:
A* p
完整的Call()方法:
void Call(A* p) {
p->Fun();
p->Do();
}
根据第1和第2行的输出,可以大致定下class A的函数:
class A {
public:
void Do() {cout << "A::Do" << endl;}
void Fun() {cout << "A::Fun" << endl;}
};
这样子写可以实现第1和第2行的输出要求,但是第3和第4行的输出为:
A::Fun
A::Do
A::Fun
A::Do
分析: 当Call(new C());时,相当于A* p = new C(); 此时,父类指针p指向的是子类对象C, 根据“如果没有使用关键字virtual,程序将根据引用类型或指针类型来选择方法。”,可知,此时,Fun()方法和Do()方法都不是虚方法,程序根据父类指针类型来选择父类中的方法,此时p是父类类型A的指针,因此第3和第4行的输出是根据是父类A中的方法。 要想能让指向子类对象C的父类类型指针p能够调用到子类对象C中的Do()方法,那么这个Do()方法就应该设置为虚方法。 自己的理解是:要想让指向子类的父类指针能够调用到子类中的方法,那么这个方法应该声明为虚函数。因此,要想能够调用的是C类中的Do()方法,那么这个Do()方法应该声明为虚函数。方法在父类中被声明为虚方法时,在派生类中该方法也自动变成虚函数。因此在A类中将Do()方法声明为虚方法时,父类类型的指针p指向子类对象C,通过p调用Do()方法,此时调用的是子类中的Do()方法。 因此修改如下:
class A {
public:
virtual void Do() {cout << "A::Do" << endl;}
void Fun() {cout << "A::Fun" << endl;}
};
程序最后输出:
|