虚函数的内部实现机制


首先只有含有一个或多个virtual函数的类或结构体,才需要添加这种额外的运行时信息。而且这些信息是由对象自身来维护的。对象需要维护哪些信息呢?首先是该对象的实际类型信息;其次就是一个指向虚函数表的指针(该虚函数表里存储了类中所有虚函数运行时的地址信息)。
一个拥有virtual成员函数的类拥有一个虚函数表,而该类的每个对象都拥有一个虚指针,指向该类的虚函数表。运行时,通过对象自己的虚指针去索引正确的虚函数来运行。
补充:基类中若声明析构函数为virtual,则派生类中的析构函数也是virtual的,不论在派生类的析构函数中是否有virtual声明。另外,若基类中的virtual函数返回类型为基类型的引用或者指针,则派生类中重写该函数,需要将返回类型改为派生类类型的引用或者指针。如果类中含有虚函数,则类的析构函数一定也是virtual的。
我们知道,当类中存在虚函数里.则编译器会在编译期自动的给该类生成一个函数表.并在所有该类的对像中放入一个隐式变量如_vfprt,该变量是一个指针变量,它的值指向那个类中的由编译器生成的虚函数表.
实际上每个类自己的虚函数入口都在这张表中维护,调用方法的时候会隐式的传入一个this指针,然后系统会根据this指针找到对应的_vfprt,进而找到对应的虚函数表,根据methodname找到真正方法的地址,然后才去调用这个方法,这可以叫动态绑定。
虚函数表存放重写的虚函数,当基类的指针指向派生类的对象时,调用虚函数时都会根据vptr来选择虚函数,而基类的虚函数在派生类里已经被改写或者说已经不存在了,所以也就只能调用派生类的虚函数版本了
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值