多态的实现原理是通过虚函数表和vptr指针实现的
多态的三个条件:1.继承,2.虚函数重写,3.父类指针或引用指向子类对象
class Parent
{
public:
virtual void func()
{
cout<<"parent::func()"<<endl;
}
virtual void func(int i)
{
cout<<"parent::func(int i)"<<endl;
}
};
class Child:public Parent
{
public:
virtual void func()
{
cout<<"Child::func()"<<endl;
}
virtual void func(int i)
{
cout<<"child::func(int i)"<<endl;
}
};
当类中声明虚函数时,编译器会在类中生成一个虚函数表;
虚函数表是一个存储类成员函数指针的数据结构;
虚函数表是由编译器自动生成与维护的;
virtual成员函数会被编译器放入虚函数表中;
存在虚函数时,每个对象中都有一个指向虚函数表的指针(vptr)
此时从上面的代码中就可以在编译器中生成下列表:
VTABLE:
void Parent::func()
void Parent::func(int)
void Child::func()
void Child::func(int)
所以:
Parent对象的VPTR指针指向了VTABLE中的Parent数据;
Child对象的VPTR指针指向了VTABLE表中的Child数据;
最后在调用时:
void run(Parent*p)
{
p->func();
}
此时编译器就会根据func是否为虚函数来进行相应的解释:
1.如果不是虚函数:编译器可直接确定被调用的成员函数(也叫做静态联编)
2.如果是虚函数:编译器根据对象p的VPTR指针所指向的虚函数表中来查找func函数并调用(也叫做动态联编或者迟邦定)
注意:通过虚函数表指针VPTR调用重写函数是在程序运行时进行的,因此需要通过寻址操作才能确定真正应该调用的函数,而普通成员函数是在编译器时就确定了调用谁,因此虚函数的效率要低很多,所以不是虚函数越多越好。
下面来证明VPTR指针的存在。
class Parent1
{
public:
Parent1(int a=0)
{
this->a=a;
}
void print()
{
cout<<"我是爹"<<endl;
}
private:
int a;
};
class Parent2
{
public:
Parent2(int a=0)
{
this->a=a;
}
virtual void print()
{
cout<<"我也是爹"<<endl;
}
parent:
int a;
};
int main()
{
cout<<"sizeof(Parent1):"<<sizeof(Parent1)<<endl;
cout<<"sizeof(Parent2):"<<sizeof(Parent2)<<endl;
return 0;
}
第一个Parent1是没有虚函数,所以输出的是4
第二个Parent2是含有虚函数,所以输出的是4+sizeof(VPTR)=8;
因此只要定义了虚函数编译器就自动生成了VPTR指针。