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

 

评论

6 楼 raof01 2008-09-05  

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

5 楼 kmh605 2008-08-29  

不知道讲什么

4 楼 iihero 2008-08-29  

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

3 楼 Joe.Han 2008-08-28  

越看越糊涂了

2 楼 DraculaW 2008-06-26  

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

1 楼 taowen 2008-06-26  

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