详解虚函数的实现过程之虚基类(4)

博客虚函数实现过程3 时提到过虚基类,这里呢,我们来详细讲述一下:
当我们在虚函数的声明结尾处添加“=0”,这种虚函数就被称为纯虚函数。
它好似一个没有实现只有声明的函数,它的存在就是为了让类具有抽象类的功能,让继承自抽象类的子类都有虚表和虚表指针。

使用过程中,利用抽象类指针可以更好地完成多态工作。
如下分析:

大家想一想,只有声明却没有实现的函数,它的虚表指针指向的函数那是什么玩意?它还是指向一个函数指针吗?这个函数指针指向的地方是哪里呢?会不会是空?里面难不成放了一个null?还是放了一个报错?或者直接指向其它函数?等等疑问,如何解决呢?我们直接通过底层汇编代码来分析就可以看出来喽。
在这里插入图片描述
在这里插入图片描述
它的虚表指针指向了425068(从地址401830所看出来的),接下来我们探索425068地址去看看那里有个啥呢?
在这里插入图片描述
哇哦,原来是一个 指针,指向的地方是401E90,它是一个函数_purecall,它用于结束程序,并发出错误编码信息0x19。

如果当我们定义了多个纯虚函数时,那么虚表里面存放的是函数指针内容是不是一样的呢?
在这里插入图片描述
两个纯虚函数都是函数_purecall,所以一切都清晰喽。

总结:

由于纯虚函数没有实现代码,因此没有首地址。编译器为了防止误调用纯虚函数,将虚表中保存的纯虚函数的首地址换成函数_purecall,它用于结束程序,并发出错误编码信息0x19。
根据这一特性,在分析过程中,一旦在虚表中发现函数地址为_purecall函数的地址时,我们就可以高度怀疑此虚表对应的类是一个虚基类。

虚函数系列:
详解虚函数的实现过程之初探虚表(1)
详解虚函数的实现过程之单继承(2)
详解虚函数的实现过程之多重继承(3)
详解虚函数的实现过程之虚基类(4)
详解虚函数的实现过程之菱形继承(5)

猜你喜欢

转载自blog.csdn.net/CSNN2019/article/details/111355403