继承&多态中的父类引用子类对象问题

继承中要 构成多态的两个条件：

1. 必须通过基类的指针或者引用调用虚函数

2. 被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写

 

当我们在父类和子类中定义了一个 函数名， 参数列表， 返回值都一样的函数时，我们可以说这两个函数构成隐藏（重定义），而如果在父类这个函数前面加一个 virtual，那么这两个函数则构成  重写 (覆盖),在使用父类指针或引用这个子类对象调用该函数时，则会构成多态；

 

问题：父类指针或者引用是如何被子类对象传递值的？

看下面的代码和图:

//多重单继承
class A {
public:
	 int aa=1;
};

//继承A
class B :public A
{
public:
	virtual void func() { cout << "B::func()" << endl; }
	int bb=2;
};

//继承B
class C : public B
{
public:
	virtual void func() { cout << "C::func()" << endl; }	
	int cc=3;	 
};


int main()
{
    C c;

	A& a = c;//父类A引用c；
	B& b = c;//父类B引用c；
	
	//三个对象的地址；
	cout <<" &a:" << &a << endl;
	cout <<" &b:" << &b << endl;
	cout <<" &c:" << &c << endl;

	cout << "**************"<< endl;

	//三个对象的成员变量的地址；
	cout << " &a.aa:"<< &a.aa << endl;
	cout << " &b.bb:" << &b.bb << endl;
	cout << " &c.cc:" << &c.cc << endl;


	return 0;
}

打印结果：

 我们可以看到图中的内存分布，则父类类型引用子类对象，意味着引用了子类对象中继承于父类那一部分；

 

 

 c对象里面只有一个虚表指针，可以看到即便是父类变量b引用子类对象，b中的虚表指针也是独属于c对象的，c类如果没有重写父类虚函数且c类中没有虚函数，那么子类虚函数表里就存放的是父类的虚函数。