动态绑定实现的原理

当用virtual关键字来声明一个成员函数,编译器机会根据动态绑定机制在幕后完成一些工作。

当编译器发现类中有虚函数的时候,编译器会创建一张虚函数表,把虚函数的函数入口地址放到虚函数表中,并且在类中增加一个指针:vpointer,这个指针是指向对象的虚函数表。在多态调用的时候,根据vpointer指针,找到虚函数表来实现动态绑定。

class Test
{
void fun(){}
};
class Dad
{
public:
virtual void fun1(){}
virtual void fun2(){}
};
class Son :public Dad
{
virtual void fun3(){}

};
void test()
{
cout << sizeof(Test) << endl;//1,没有成员变量,大小是1
cout << sizeof(Dad) << endl;//4,编译器秘密增加了一个指针,所以,大小是4
cout << sizeof(Son) << endl;//4,子类继承了vpointer指针
}

在编译阶段,编译器秘密增加了一个vpointer指针,在对象构建的时候,也就是在对象初始化调用构造函数的时候,编译器默认会在编写的每一个构造函数中,增加一些vpointer初始化的代码。如果没有提供构造函数,编译器会提供默认的构造函数,会在默认构造函数中做这个工作,初始化vpointer指针,使它指向本对象的虚函数表。

子类继承基类的vpointer指针,这个指针指向基类虚函数表,当子类调用构造函数时,子类的vpointer指针便会指向子类的虚函数表。

当子类没有重写基类虚函数时:


过程分析:

Dad* dad=new Son;

dad->fun1();

当程序执行到这里,会去Dad指向的空间中寻找vpointer,通过vpointer找到fun1(),由于子类没有重写(没有覆盖)基类的fun1(),所以,调用fun1()时,仍然调用的是基类的fun1.

---------------------------------------------------------

当子类重写基类虚函数时:

class Son :public Dad
{
virtual void fun3(){}

virtual void fun1(){}

};


过程分析:

Dad* dad=new Son;

dad->fun1();

当程序执行到dad->fun1();时,会去Dad指向的空间中寻找vpointer,vpointer找到fun1(),由于子类重写fun1,所以调用fun1时,调用的是子类的fun1.

  • 4
    点赞
  • 7
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值