虚函数的实现机制

虚函数的实现机制

开门见山的说,虚函数能够动态绑定的实现是一个虚表的存在

有如下继承关系

class A

{

public:

       virtual void fun1();

       virtual void fun2();

};

class B:public A

{

public:

       void fun1();

       void fun3();

};

每一有虚函数的类在实例化的时候会形成一个虚表,而在类内保存一个指向虚表的指针,

这个虚表指向了具体函数的实现:

如,在A类中虚表的内存布局

指针指向A类的fun 1()

指针指向A类的fun2()


A类对象的内存布局

指向A类虚表的指针

A类对象的数据成员

 

B继承的A因此B也有一个表,不同的是B中的虚表布局一样,而指向的函数地址不同

那么当父类的指针指向子类的对象的时候,虚表指针指向的虚表会动态的指向子类的表,从而实现了虚函数的动态绑定。