C++子类对父类方法的覆盖

昨天看《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在内存里就是同一个东西，使得它们的虚函数表地址一样。

 

参见inside c++ object model
另外可以对比一下基于模板的静态重载

很简单的一些概念
不过你讲得好象很复杂...

越看越糊涂了

 

方式1：对象切片
方式2、3：多态。