虚函数表
说起虚函数,相信你我都可以自然而然的想到“多态”,因为多态的实现就依赖于虚函数的继承和重写(覆盖)。那么,class又或者是object是如何来管理虚函数的呢?你我又会想到虚函数表。
虚函数表大家都很清楚了,如果不清楚,参考以下内容,重温一下。
每个class都会产生一堆指向virtual function的指针,并将它们存在一个表中,形成了virtual table;
每个class object 都会持有一个指向virtual table的指针(在对象头部),此指针由类的构造、析构以及拷贝赋值自动完成。
virtual table 除了有许多指针指向虚函数外,还有指针指向的是类的type_info(是什么呢?后面介绍)。
来自《深度探索C++对象模型》Page9👆
我不禁好奇,虚表在内存中是怎么存储的呢?
虚函数表占用一块连续的内存(我们可以将它想成是一个指针数组,因为它存的都是指向虚函数的指针),那么他的大小自然就是4*个数(32位机)/8*个数(64位机)。从汇编的角度来看,它是一连串的JMP指令,而目标地址一般就是code区的对应函数(为什么是一般,因为其中还存着type_info对象,它可不是在code区)。
type_info又含有那些信息呢?
C++ Reference的相关介绍。
type_info只能由typeid()来返回,因为它和unique_ptr一样都禁止拷贝构造和赋值(=delete实现)。
它包含对象的类型信息,可以在RTTI中比较类型。
试一下typeid(请忽略name)
那么,一个类呢?
(从没有试过将各种类型的type_info都输出来,大开眼界!)
对于虚函数,有一篇很好的博文
https://blog.csdn.net/linyt/article/details/51811314