昨天看《C++高级编程》,其中讲到了子类可以覆盖父类中的私有方法。当时吓了一跳,如果我用了一个第三方的库,继承了里面的某个类,自己写了个私有方法都得慎之又慎,一不小心可就覆盖了它的私有方法,谁知道会出现什么稀奇古怪的错误!
今天写点代码试了下,发现私有方法是virtual时才能在子类中覆盖。
#include <iostream>
using namespace std;
class P{
private:
virtual void showMeImpl();
public:
void showMe();
};
void P::showMeImpl(){
cout << "here is the parent" << endl;
}
void P::showMe(){
showMeImpl();
}
class C : public P{
private:
void showMeImpl();
};
void C::showMeImpl(){
cout << "here is the child" << endl;
}
int main(int argc, char* argv){
P p;
p.showMe();
C c;
c.showMe();
}
输出:here is the parent
here is the child
如果P中的showMeImpl不用virtual修饰,输出就是期望的两次here is the parent。
C++确定什么时候调用哪个方法还是比较上脑筋的。加入子类C重写了父类的showMe方法。输出here is the child。
P p;
C c;
p = c;
p.showMe(); //方式1
不管子类和父类方法是否用virtual修饰,都会输出here is parent。
C c;
P& p = c;
p.showMe(); //方式2
P* p2 = &c;
p2->showMe(); //方式3
这两种方式,如果父类和子类的方法用virtual修饰,会调用子类方法。如果没有用virtual修饰,会调用父类方法。
解释:第二种和第三种方式,如果没有用virtual,同样直接硬编码父类showMe函数地址。用了virtual修饰后,会建立一个虚拟表,包含了指向虚方法实现的指针,调用虚方法时会进入虚拟表以找到正确的实现。所以关于子类覆盖父类私有方法的解释是:调用showMeImpl是进入虚拟表找到子类的实现,所以输出here is child。第一种情况我就不清楚了可能是引用和指针形式下,p和c在内存里就是同一个东西,使得它们的虚函数表地址一样。