C++理解2 : 关于虚函数

6 篇文章 0 订阅

关于虚函数
【以下只是我看书和其他分析材料做的总结,大家可以以此为基础加深对基函数的理解,不可直接代餐,可以看【c++primer 15章节 和 13章节】

1 虚函数的底层方式

为什么需要专门了解虚函数?(虚函数对c++的作用)
虚函数是指在c++声明类时,使用virtual关键字声明的成员函数称为虚函数。
在基类和子类实例化对象时,如果通过指针或者引用去调用虚函数时,到底使用的是基类的虚函数还是子类的虚函数是在运行时动态确定的,而不是在编译时静态绑定。这个特性是c++语言多态非常重要的一点。
如果是指定了对象调用虚函数,比如指定了基类调用虚函数,那么其是在静态编译阶段就已经绑定了,确定了调用基类的虚函数

虚函数的底层实现过程
通过对象内存中的vptr(虚函数指针)找到虚函数表vtbl,接着通过vtbl找到对应虚函数的实现区域并进行调用。
上面这句话如何理解呢?就是前面所说的,实例化基类对象的时候,调用的虚函数到底是父类的虚函数还是子类的虚函数;实例化子类对象的时候,调用的虚函数是父类还是子类,如何确定该函数指向的区域

虚函数表中只存有一个虚函数的指针地址,不存放普通函数或是构造函数的指针地址。
只要有虚函数(纯虚函数 继承虚函数 派生虚函数),C++类都会存在这样的一张虚函数表。
在一个类构造的时候,创建这张虚函数表,而这个虚函数表是供整个类所共有的。
虚函数表存储在对象最开始的位置。虚函数表其实就是函数指针的地址。函数调用的时候,通过函数指针所指向的函数来调用函数

2 继承时一些虚函数需要注意的点

2.1 无继承情况
在这里插入图片描述

在这里插入图片描述
> 可见,在无继承情况下该虚函数地址是根据声明顺序排列

2.2 单继承情况
2.2.1 单继承无覆盖

单继承无覆盖的情况下,就是没有运用多态的原理,所以说对于子类来说,虚函数表存放了父类的虚函数和子类的虚函数
父类虚函数和子类虚函数在子类的虚函数表中存放的顺序先存放父类,再存放子类(但是父类是先存放最后声明的虚函数再往上递推的 我觉得有点奇怪,,,有人解答下吗)

在这里插入图片描述
在这里插入图片描述

2.2.2 单继承有覆盖

单继承覆盖的情况下,虚函数到底指向谁是需要分情况而定的,前面我们知道虚函数的指定是动态绑定,那到底根据什么动态绑定呢,是根据虚函数的实参类型
虚函数调用应该是🐟绑定到指针或者引用上的对象的动态类型相匹配的那个。
但是假如我们通过一个具有确定类型的表达式调用虚函数时,在编译的时候就会把版本确定下来。也就是说,动态绑定仅仅存在于我们使用指针或者引用去调用虚函数才会发生!!!
在这里插入图片描述
在这里插入图片描述

3 回避虚函数机制

在某些情况里,我们不希望通过动态绑定来确定调用哪个虚函数的时候,我们可以通过指定作用域的方式去回避虚函数机制

double undisconuted = baseP->QUOTE::net_price(24);
//无论baseP 是基类还是派生类,net_price都是使用quote类中的net_price函数

如果派生类需要调用基类版本时,不指定作用域,运行时默认解析为对派生类版本的调用

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值