聊一聊C++虚函数表的问题
之前只是看过C++虚函数表相关介绍,今天有空就来写代码研究一下。
面向对象的编程语言有3大特性:封装、继承和多态。C++是面向对象的语言(与C语言主要区别),所以C++也拥有多态的特性。
C++中多态分为两种:静态多态和动态多态。
静态多态为编译器在编译期间就可以根据函数名和参数等信息确定调用某个函数。静态多态主要体现为函数重载和运算符重载。
函数重载即类中定义多个同名成员函数,函数参数类型、参数个数和返回值不完全相同,编译器编译后这些同名函数的函数名会不一样,也就是说编译期间就确定了调用某个函数。C语言函数编译后函数名就是原函数名,C++函数名为原函数名拼接函数参数等信息。
动态多态即运行时多态,在程序执行期间(非编译期)判断所引用对象的实际类型,根据其实际类型调用相应的方法。动态多态由虚函数来实现。
比如
class Base{}; class A: public Base{}; class A: public Base{}; Base *base = new A; // base静态类型为Base*,动态类型为A* base = new B; // base动态类型变为B*了
探索虚函数表结构
之前的文件提到过,一个类占用的空间,如果有虚函数就会占用8字节的空间来存放虚函数表的地址。
虚函数表内存空间 中依次存放着各个虚函数的指针,通过这个指针可以调用相关的虚函数。
下面通过代码来验证一下上面这个内存结构,定义一个Base类,中间有3个方法,f1/f2/f3。
class Base { public: virtual void f1(){ std::cout << __PRETTY_FUNCTION__ << std::endl; } virtual void f2(){ std::cout << __PRETTY_FUNCTION__ << std::endl; } virtual void f3(){ std::cout << __PRETTY_FUNCTION__ << std::endl; } };
实例化这个类后的内存模型如下图所示:
下面通过代码来验证这个内存模型。
int main() { typedef void(*Fun)(); // Fun为f1 f2 f3的函数类型 std::cout << sizeof(Base)<< std::endl; // 输出 8 Base b; printf("b ptr = %p\n", &b); // b ptr = 0x7ffeee41ac30 long v_table_addr_value = *(long*)&b; // 取&b指针 前8字节的值,即虚函数表地址值 printf("vtable ptr = 0x%lx\n", v_table_addr_value); // vtable ptr = 0x557dae962d48 void *v_table_addr = (void*)v_table_addr_value; // 把这8字节值转为地址,即为虚函数表指针 printf("vtable ptr = %p\n", v_table_addr); // vtable ptr = 0x557dae761cd4 long f1_addr_value = *(long*)v_table_addr; // 虚函数表前8字节为f1()函数指针值 printf("f1() ptr = 0x%lx\n", f1_addr_value); // f1() ptr = 0x557dae761cd4 Fun f1 = (Fun)f1_addr_value; // 虚函数表内存第1个8字节值转为函数指针 f1(); // 输出:virtual void Base::f1() long f2_addr_value = *(long*)((char*)v_table_addr + 8); // 虚函数表8-16字节为f2()函数指针值 printf("f2() ptr = 0x%lx\n", f2_addr_value); // f2() ptr = 0x557dae761d0c Fun f2 = (Fun)f2_addr_value; // 虚函数表内存第2个8字节值转为函数指针 f2(); // 输出:virtual void Base::f2() long f3_addr_value = *(long*)((char*)v_table_addr + 16); // 虚函数表前16-24字节为f3()函数指针值 printf("f3() ptr = 0x%lx\n", f3_addr_value); // f3() ptr = 0x557dae761d44 Fun f3 = (Fun)f3_addr_value; // 虚函数表内存第3个8字节值转为函数指针 f3(); // virtual void Base::f3() return 0; }
通过上述代码的输出结果可以验证上图的内存模型。
继承基类重写虚函数
现在定义一个继承类Derived
,重写了f1()
函数,也就是覆盖掉了Base
类中的函数f1()
。同时又新增了虚拟函数f4()
。
class Base { public: virtual void f1(){ std::cout << __PRETTY_FUNCTION__ << std::endl; } virtual void f2(){ std::cout << __PRETTY_FUNCTION__ << std::endl; } virtual void f3(){ std::cout << __PRETTY_FUNCTION__ << std::endl; } }; class Derived : public Base { public: virtual void f1() override { std::cout << __PRETTY_FUNCTION__ << std::endl; } virtual void f4() { std::cout << __PRETTY_FUNCTION__ << std::endl; } };
通过上一节类似的代码可以验证new Derived()
其内存模型为
由此可以得出以下结论:
- 虚函数按照其声明顺序放于表中。
- 父类的虚函数在子类的虚函数前面。
- 覆盖的函数放到了虚函数表中原来父类虚函数的位置。
- 没有被覆盖的虚函数函数位置不变。
继承N个基类就有N个虚函数表,接下来使用代码去验证。
有3个基类Base1,Base2, Base3,都有两个虚函数f1()、f2()。最后Derived 类继承这3个基类。并重写f1()函数,新增f4()函数。
class Base1 { public: virtual void f1() { std::cout << __PRETTY_FUNCTION__ << std::endl; } virtual void f2() { std::cout << __PRETTY_FUNCTION__ << std::endl; } }; class Base2 { public: virtual void f1() { std::cout << __PRETTY_FUNCTION__ << std::endl; } virtual void f2() { std::cout << __PRETTY_FUNCTION__ << std::endl; } }; class Base3 { public: virtual void f1() { std::cout << __PRETTY_FUNCTION__ << std::endl; } virtual void f2() { std::cout << __PRETTY_FUNCTION__ << std::endl; } }; class Derived : public Base1, public Base2, public Base3 { public: void f1() override { std::cout << __PRETTY_FUNCTION__ << std::endl; } virtual void f4() { std::cout << __PRETTY_FUNCTION__ << std::endl; } };
此时,sizeof(Derived)
等于24,可以基本确定类实例中有3个虚函数表指针。
下面通过代码来检查一下内存数据。
int main() { typedef void(*Fun)(); std::cout << sizeof(Derived) << std::endl; // 24 Derived *d = new Derived(); printf("b ptr = %p\n", d); // b ptr = 0x5624201d9280 long v_table1_addr_value = *(long *) d; // 第1个虚函数表地址值 printf("vtable1 ptr = 0x%lx\n", v_table1_addr_value); // vtable1 ptr = 0x56241e42ac48 long b1f1_addr_value = *(long *) v_table1_addr_value; printf("b1f1() ptr = 0x%lx\n", b1f1_addr_value); // b1f1() ptr = 0x56241e22a170 Fun b1f1 = (Fun) b1f1_addr_value; b1f1(); // virtual void Derived::f1() long b1f2_addr_value = *((long *) v_table1_addr_value + 1); printf("b1f2() ptr = 0x%lx\n", b1f2_addr_value); // b1f2() ptr = 0x56241e22a058 Fun b1f2 = (Fun) b1f2_addr_value; b1f2(); // virtual void Base1::f2() long b1f3_addr_value = *((long *) v_table1_addr_value + 2); printf("b1f3() ptr = 0x%lx\n", b1f3_addr_value); // b1f3() ptr = 0x56241e22a1b4 Fun b1f3 = (Fun) b1f3_addr_value; b1f3(); // virtual void Derived::f3() long v_table2_addr_value = *((long *) d + 1); // 类实例内存第2个8字节为 第2个虚函数表地址值 printf("vtable2 ptr = 0x%lx\n", v_table2_addr_value); // vtable2 ptr = 0x56241e42ac70 long b2f1_addr_value = *(long *) v_table2_addr_value; printf("b2f1() ptr = 0x%lx\n", b2f1_addr_value); // b2f1() ptr = 0x56241e22a1ad Fun b2f1 = (Fun) b2f1_addr_value; b2f1(); // virtual void Derived::f1() long b2f2_addr_value = *((long *) v_table2_addr_value + 1); printf("b2f2() ptr = 0x%lx\n", b2f2_addr_value); // b2f2() ptr = 0x56241e22a0c8 Fun b2f2 = (Fun) b2f2_addr_value; b2f2(); // virtual void Base2::f2() long b2f3_addr_value = *((long *) v_table2_addr_value + 2); printf("b2f3() ptr = 0x%lx\n", b2f3_addr_value); // b2f3() ptr = 0xfffffffffffffff0 long v_table3_addr_value = *((long *) d + 2); // 类实例内存第3个8字节为 第3个虚函数表地址值 printf("vtable3 ptr = 0x%lx\n", v_table3_addr_value); // vtable3 ptr = 0x56241e42ac90 long b3f1_addr_value = *(long *) v_table3_addr_value; printf("b3f1() ptr = 0x%lx\n", b3f1_addr_value); // b3f1() ptr = 0x56241e22a1a7 Fun b3f1 = (Fun) b3f1_addr_value; b3f1(); // virtual void Derived::f1() long b3f2_addr_value = *((long *) v_table3_addr_value + 1); printf("b3f2() ptr = 0x%lx\n", b3f2_addr_value); // b3f2() ptr = 0x56241e22a138 Fun b3f2 = (Fun) b3f2_addr_value; b3f2(); // virtual void Base3::f2() return 0; }
根据上述代码输出结果,可以画出下面内存模型。
由此可以得出以下结论:
- 有几个基类就有几个虚函数表,且实例中虚函数表地址值存储顺序就是基类继承顺序。
- 继承类新增的虚函数
f3()
排在第一个虚函数表中,且在基类虚函数后面。 - 继承类中重写基类的虚函数
f1()
,在每个虚函数表中都覆盖相应的虚函数。
寻找被覆盖的虚函数
Derived 类重写基类Base的f1()函数后,那如果想调用基类的被覆盖的虚函数的话,就需要明确类名字调用。
Derived *d = new Derived(); d->f1(); // virtual void Derived::f1() d->Base::f1(); // virtual void Base::f1()
内存空间中继承类重写的函数存在于虚函数表中原函数的位置,那么原虚函数的位置在哪呢?
到此这篇关于聊一聊C++虚函数表的问题的文章就介绍到这了,更多相关C++虚函数表内容请搜索猪先飞以前的文章或继续浏览下面的相关文章希望大家以后多多支持猪先飞!
相关文章
- vector是表示可以改变大小的数组的序列容器,本文主要介绍了C++STL标准库std::vector的使用详解,文中通过示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下...2022-03-06
- 这篇文章主要介绍了C++中取余运算的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2021-02-23
- 这篇文章主要介绍了C++ string常用截取字符串方法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2020-04-25
- 本文通过例子,讲述了C++调用C#的DLL程序的方法,作出了以下总结,下面就让我们一起来学习吧。...2020-06-25
- 本篇文章主要介绍了C++中四种加密算法之AES源代码,小编觉得挺不错的,现在分享给大家,也给大家做个参考。...2020-04-25
- 这篇文章主要介绍了postgresql 实现多表关联删除操作,具有很好的参考价值,希望对大家有所帮助。一起跟随小编过来看看吧...2021-01-02
- 整数拆分,指把一个整数分解成若干个整数的和。本文重点给大家介绍C++ 整数拆分方法详解,非常不错,感兴趣的朋友一起学习吧...2020-04-25
- 这篇文章主要介绍了C++中Sort函数详细解析,sort函数是algorithm库下的一个函数,sort函数是不稳定的,即大小相同的元素在排序后相对顺序可能发生改变...2022-08-18
- 这篇文章主要介绍了C++万能库头文件在vs中的安装步骤(图文),文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2021-02-23
- 一、先说一下为什么要分表:当一张的数据达到几百万时,你查询一次所花的时间会变多,如果有联合查询的话,有可能会死在那儿了。分表的目的就在于此,减小数据库的负担,缩短查询时间。根据个人经验,mysql执行一个sql的过程如下:1...2014-05-31
- 这篇文章主要为大家详细介绍了js实现列表按字母排序,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下...2020-08-11
- 这篇文章主要介绍了C++ bitset用法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2020-04-25
- 本篇文章小编并不是为大家讲解string类型的用法,而是讲解我个人比较好奇的问题,就是string 类型占几个字节...2020-04-25
- 这篇文章主要为大家详细介绍了C++ Eigen库计算矩阵特征值及特征向量,具有一定的参考价值,感兴趣的小伙伴们可以参考一下...2020-04-25
- 这篇文章主要介绍了Element图表初始大小及窗口自适应实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下...2020-07-10
javaScript年份下拉列表框内容为当前年份及前后50年
javascript下拉列表框,内容为当前年份及前后50年,默认选择为当前年份 复制代码 代码如下: <script language="javascript" type="text/javascript"> window.onload=function(){ //设置年份的选择 var myDate= new Date(...2014-05-31- 这篇文章主要介绍了C#虚函数用法,实例分析了C#中虚函数的功能与基本使用技巧,需要的朋友可以参考下...2020-06-25
- 这篇文章主要介绍了Python 列表(List)的底层实现原理分析,具有很好的参考价值,希望对大家有所帮助。一起跟随小编过来看看吧...2021-03-09
- 这篇文章主要介绍了VSCode C++多文件编译的简单使用方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下...2021-03-29
- 这篇文章主要介绍了C++ pair的用法实例详解的相关资料,需要的朋友可以参考下...2020-04-25