虚实函数相互调用和函数重写覆盖的一些心得

注：标题中所说的实函数是指普通成员函数

A为基类，继承关系如图
 A
 |
 B
 |
 C
 |
 D

伪代码如下：
 B *pb = new C;
 pb->f1();
总结：
 1.调用从基类继承来的成员函数,在子类中未有重写覆盖(overriding),函数内部的this指针为基类类型

 2.调用虚函数，当有重写覆盖时，虚函数内部保存的指针为子类类型，当未有重写覆盖上时规则同上
 3.调用普通成员函数时，this指针可能上升（从子类转为基类）
 4.调用虚函数时，this指针可能上升也可能下降（从基类转为子类），但是不会下降到子类实体对象以下

测试代码如下：

#include <iostream.h>

//--------------------------------------------------------------------------------
class A
{
public:
  void f1(){
  cout<<"A::f1()"<<endl;
  f2();
 }
 virtual void f2(){
  cout<<"A::f2()"<<endl;
  f3();
 }
 void f3(){
  cout<<"A::f3()"<<endl;
  f4();
 }

 void f4(){
  cout<<"A::f4()"<<endl;
 }
};

//--------------------------------------------------------------------------------
class B: public A
{
public:
 /*
  void f1(){
  cout<<"B::f1()"<<endl;
  f2();
 }
 */
 virtual void f2(){
  cout<<"B::f2()"<<endl;
  f3();
 }
 
 void f3(){
  cout<<"B::f3()"<<endl;
  f4();
 }
 
};

//--------------------------------------------------------------------------------
class C: public B
{
public:
 
  void f1(){
  cout<<"C::f1()"<<endl;
  f2();
 }
 
 virtual void f2(){
  cout<<"C::f2()"<<endl;
  f3();
 }
 /*
 void f3(){
  cout<<"C::f3()"<<endl;
  f4();
 }
 */
 void f4(){
  cout<<"C::f4()"<<endl;
 }

};

//--------------------------------------------------------------------------------
class D: public C
{
public:
 void f1(){
  cout<<"D::f1()"<<endl;
  f2();
 }
 virtual void f2(){
  cout<<"D::f2()"<<endl;
  f3();
 }
 void f3(){
  cout<<"D::f3()"<<endl;
 }
};

//--------------------------------------------------------------------------------
int main(void)
{
 B *pb = new C;
 pb->f1();
 return 0;
}