多态实现原理探究
C++中多态的实现原理
当类中声明虚函数时,编译器会在类中生成一个虚函数表
虚函数表是一个存储类成员函数指针的数据结构
虚函数表是由编译器自动生成与维护的
virtual成员函数会被编译器放入虚函数表中
存在虚函数时,每个对象中都有一个指向虚函数表的指针(vptr指针)!
说明1:
通过虚函数表指针VPTR调用重写函数是在程序运行时进行的,因此需要通过寻址操作才能确定真正应该调用的函数。而普通成员函数是在编译时就确定了调用的函数。在效率上,虚函数的效率要低很多。
说明2:
出于效率考虑,没有必要将所有成员函数都声明为虚函数
说明3 :C++编译器,执行HowToPrint函数,不需要区分是子类对象还是父类对象
验证vptr指针存在
class Parent1{
public:
Parent1(int a){
m_a = a;
}
void print(){
cout << "parent1 print() " << m_a << endl;
}
private:
int m_a;
};
class Parent2{
public:
Parent2(int a){
m_a = a;
}
virtual void print(){
cout << "parent1 print() " << m_a << endl;
}
private:
int m_a;
};
Main:
cout << "size of(Parent1): " << sizeof(Parent1) << endl; //4
cout << "size of(Parent2): " << sizeof(Parent2) << endl; //8