1. 多继承的内存模型:
如果AB两个父类中有同名函数,自身类没有重载该函数,则自身类的实例对象不能调用该函数,因为不确定该调用哪个父类的函数;如果自身类实现了该函数,则虚表A、续表B中的父类函数指针会被替换为自身类实现的函数的指针、
(1)派生类的虚函数存储在第一个基类的虚函数表中,如下图所示:
如果存在子类覆盖父类虚函数的情况,则虚函数表的情况如下所示:
? ? ? ?只要类中有虚函数便会产生虚函数表,如果基虚函数被子类覆盖,则子类虚函数表中的函数指针指向子类的相应函数,未被覆盖时,则还是指向基类的函数。子类再 被继承,并覆盖函数时,也同理再把基类中的虚函数表中的指针指向孙子类的函数就行了。 在这样普通单一继承的情况下,都是共用一个虚函数表的。
- 每个类都有自己的一个虚表,是编译器建立的,所以基类和子类都有自己的虚表,这是不同的
- 虚表指针是对象定位虚表用的,不同对象也有自己的虚指针,这也是不同的,所以其实问题有点小毛病,虚函数是无法生成虚表指针的,这也是编译器的行为
-
虚指针在构造函数中初始化,如果子类继承了基类的虚函数且重写过了,虚指针定位到子类虚表该虚函数位置,否则该虚指针是指向基类虚函数位置的子类自己重写过的虚函数,基类对象的虚指针也会指向子类的函数。
2. 代码
#include<iostream>
using namespace std;
class Base1
{
public:
virtual void Test()
{
cout << "Base1 Test()" << endl;
}
};
class Base2
{
public:
virtual void Test()
{
cout << "Base2 Test()" << endl;
}
};
class SubClass :public Base1, public Base2
{
public:
void Test()
{
cout << "SubClass Test()" << endl;
}
};
int main()
{
SubClass D;
D.Test();
D.Base1::Test();
D.Base2::Test();
Base1 *pB1 = &D;
Base2 *pB2 = &D;
pB1->Test(); //用基类指针pB1调用类Derived 的TestA()函数
pB2->Test(); //用基类指针pB2调用类Derived的TestB()函数
return 0;
}
运行结果:
?
|