『 C++类与对象 』多态之单继承与多继承的虚函数表

2023-11-25 04:15
文章标签 c++ 函数 对象 继承 多态 之单

本文主要是介绍『 C++类与对象 』多态之单继承与多继承的虚函数表，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

文章目录

    • 🫧 前言
    • 🫧 查看虚表
    • 🫧 单继承下的虚函数表
    • 🫧 多继承下的虚函数表

🫧 前言

多态是一种基于继承关系的语法,既然涉及到继承,而继承的方式有多种:

  • 单继承
  • 多继承
  • 棱形继承
  • 棱形虚拟继承
    不同的继承方式其虚表的形式也不同;
以下操作均为在CentOS7_x64机器上的操作

🫧 查看虚表

已知虚表为一个void (*)()的函数指针数组,除了以内存的方式查看虚表以外还可以使用函数调用的方式来查看虚表的真实情况;
其思路即为将该指针数组的指针打印并调用;
根据函数调用可以知道哪个指针是哪个函数;

typedef void(*VFPTR)();
void PrintVT( VFPTR vTable[] ,size_t n/*虚函数个数*/){cout<<"ptr: "<< vTable <<endl;for(size_t i = 0;i<n;++i){printf(" 第%u地址:0x%x,->",i,vTable[i]);VFPTR f=vTable[i];f();}cout<<endl;
}
//函数的参数为函数指针数组(虚表)的首地址;
//由于是自定义类型的前4/8个字节(在该平台下为8个字节)
//应使用对应的方式取到前8个字节;
//通过该首地址向后进行遍历;

🫧 单继承下的虚函数表

存在一个单继承关系:

class A{//基类public:virtual void Func1(){//虚函数cout<<"A::Func1()"<<endl;}virtual void Func2(){//虚函数cout<<"A::Func2()"<<endl;}int _a = 10;
};class B:public A{//派生类public:virtual void Func1(){//虚函数且完成重写cout<<"B::Func1()"<<endl;}virtual void Func3(){//虚函数cout<<"B::Func3()"<<endl;}int _b = 20;
};void test1(){//分别实例化出两个对象A aa;B bb;
}

使用GDB打印出实例化出的aa与bb的内容;

(gdb) display aa
1: aa = {_vptr.A = 0x400ad8 <vtable for A+16>, _a = 10}
(gdb) display bb
2: bb = {<A> = {_vptr.A = 0x400ab0 <vtable for B+16>, _a = 10}, _b = 20}

由于子类对象和父类对象种都存在一张虚表,所以对应的子类对象的虚函数存储于子类的虚表当中,父类对象的虚函数存储于父类的虚表当中;

其中该段所出现的结果中的_vptr.A = 0x400ad8与_vptr.A = 0x400ab0即为虚表指针,该地址不是两个对象的地址,而是该对象地址中首地址所存储的内容;

可以使用&将两个对象的地址取出并使用x/x进行解析从而验证;

(gdb) p &aa 
$10 = (A *) 0x7fffffffe430	#aa对象的首地址
(gdb) x/x 0x7fffffffe430 
0x7fffffffe430:	0x00400ad8	#其首地址所存储的数据(gdb) p &bb
$11 = (B *) 0x7fffffffe420	#bb对象的首地址
(gdb) x/x 0x7fffffffe420
0x7fffffffe420:	0x00400ab0	#其首地址所存储的数据

其中上面的首地址所存储的数据即为一个指针,这个指针即为虚表(虚函数表)指针,也就是虚函数表的首地址位置;

在该示例中基类和派生类中各有两个虚函数,其中派生类的Func1()虚函数重写了基类的Func1()虚函数,所以在基类和派生类的虚表中都存在该函数,且该函数的地址不同;

  • A类虚表

    #	A类虚表
(gdb)  p aa
$12 = {_vptr.A = 0x400ad8 <vtable for A+16>, _a = 10}
#----------------------------------
(gdb) x/x 0x400ad8	
0x400ad8 <_ZTV1A+16>:	0x00400924	#虚表首地址所存储的数据(A::Func1()函数的地址)
(gdb) x/x 0x00400924
0x400924 <A::Func1()>:	0xe5894855	#将地址解析后得到函数
#----------------------------------
(gdb) x/x 0x400ae0
0x400ae0 <_ZTV1A+24>:	0x00400950	#虚表中第二个位置所存储的数据(由于是64位机器偏移量为8,A::Func2()函数的地址)
(gdb) x/x 0x00400950
0x400950 <A::Func2()>:	0xe5894855	#将地址解析后得到函数
#----------------------------------

  • B类虚表
    B类虚表与之不同的是,B类作为派生类,而派生类的虚表可以看成是基类虚表的拷贝,且若发生重写的话虚表中的那个被重写的函数将会被重写的函数进行覆盖;

    (gdb) p bb
#	B类虚表
$14 = {<A> = {_vptr.A = 0x400ab0 <vtable for B+16>, _a = 10}, _b = 20}
#----------------------------------
(gdb) x/x 0x400ab0
0x400ab0 <_ZTV1B+16>:	0x0040097c	#虚表首地址所存储的数据(B::Func1()函数的地址[已被重写所以地址不同])
(gdb) x/x 0x0040097c
0x40097c <B::Func1()>:	0xe5894855	#将地址解析后得到函数
#----------------------------------
(gdb) x/x 0x400ab8
0x400ab8 <_ZTV1B+24>:	0x00400950	#虚表中第二个位置所存储的数据(由于是64位机器偏移量为8,A::Func2()函数的地址[派生类的虚函数表可以看成是基类函数表的拷贝])
(gdb) x/x 0x00400950
0x400950 <A::Func2()>:	0xe5894855	#将地址解析后得到函数
#----------------------------------
(gdb) x/x 0x400ac0
0x400ac0 <_ZTV1B+32>:	0x004009a8	#虚表中第三个位置所存储的数据(由于是64位机器偏移量为8,B::Func3()函数的地址[这里存放的是B类中自身的函数])
(gdb) x/x 0x004009a8
0x4009a8 <B::Func3()>:	0xe5894855	#将地址解析后得到函数

在这里插入图片描述

使用函数查看:

typedef void(*VFPTR)();void PrintVT( VFPTR vTable[] ,size_t n/*虚函数个数*/){cout<<"ptr: "<< vTable <<endl;for(size_t i = 0;i<n;++i){printf(" 第%u地址:0x%x,->",i,vTable[i]);VFPTR f=vTable[i];f();}cout<<endl;
}void test1(){A aa;B bb;PrintVT(*(VFPTR**)&aa,2);PrintVT(*(VFPTR**)&bb,3);
}

结果为 (重新编译过所以导致最终结果不同,但结论相同):

ptr: 0x400c60第0地址:0x400a94,->A::Func1()第1地址:0x400ac0,->A::Func2()ptr: 0x400c38第0地址:0x400aec,->B::Func1()第1地址:0x400ac0,->A::Func2()第2地址:0x400b18,->B::Func3()

🫧 多继承下的虚函数表

多继承下的虚函数表较于单继承来说会更加的复杂;
复杂的原因在于多继承为多个基类继承给一个派生类,那么假设两个基类都有同名虚函数,且派生类重写了这个虚函数应该如何判断?

class A{public:virtual void Func1(){cout<<"A::Func1()"<<endl;}virtual void Func2(){cout<<"A::Func2()"<<endl;}
};class B{public:virtual void Func1(){cout<<"B::Func1()"<<endl;}virtual void Func2(){cout<<"B::Func2()"<<endl;}
};class C : public A,public B{public:virtual void Func1(){cout<<"C::Func1()"<<endl;}virtual void Func3(){cout<<"C::Func3()"<<endl;}
};void test2(){C cc;
}

存在以上的继承关系;

使用GDB调试该程序并打印cc的内容;

p cc
$9 = {<A> = {_vptr.A = 0x400cc0 <vtable for C+16>}, <B> = {_vptr.B = 0x400ce8 <vtable for C+56>}, <No data fields>}

由第一点可以知道,派生类的虚表可以看作是基类虚表的拷贝,那么在该程序中由于存在两个基类(多继承),所以应当也有两个虚表;

那么在这个继承关系中,派生类自身所增加的虚函数处于哪个虚表?

实际上在多继承关系中,派生类自身所增加的虚函数都在第一个虚表中,且第一张虚表不仅只存在派生类自身的虚函数,还有一个较为关键的数据;

  • 第一张虚表
    #-------64位机器偏移量为8---------
#	C::Func1()	被重写
(gdb) x/x 0x400cc0
0x400cc0 <_ZTV1C+16>:	0x00400b56
(gdb) x/x 0x00400b56
0x400b56 <C::Func1()>:	0xe5894855
#-------------------------------
#	A::Func2() 
(gdb) x/x 0x400cc8
0x400cc8 <_ZTV1C+24>:	0x00400ad2
(gdb) x/x 0x00400ad2
0x400ad2 <A::Func2()>:	0xe5894855
#-------------------------------
#	C::Func3()	派生类自身
(gdb) x/x 0x400cd0 
0x400cd0 <_ZTV1C+32>:	0x00400b88
(gdb) x/x 0x00400b88
0x400b88 <C::Func3()>:	0xe5894855
#-------------------------------
(gdb) x/x 0x400cd8
0x400cd8 <_ZTV1C+40>:	0xfffffff8 #关键数据
#-------------------------------

从该结果可以观察到,派生类自身的虚函数位于第一张虚表当中;
且在最后一个位置存在一个0xfffffff8的数据;

  • 第二张虚表
    #-------------------------------
#	所存数据并不为虚函数
(gdb) x/x 0x400ce8
0x400ce8 <_ZTV1C+56>:	0x00400b81
(gdb) x/x 0x00400b81
0x400b81 <_ZThn8_N1C5Func1Ev>:	0x08ef8348
(gdb) x/x 0x08ef8348
0x8ef8348:	Cannot access memory at address 0x8ef8348
#-------------------------------
#	B类中未重写的虚函数
(gdb) x/x 0x400cf0
0x400cf0 <_ZTV1C+64>:	0x00400b2a
(gdb) x/x 0x00400b2a
0x400b2a <B::Func2()>:	0xe5894855
#-------------------------------
#	NULL空
(gdb) x/x 0x400cf8
0x400cf8 <_ZTV1B>:	0x00000000
#-------------------------------
    从该虚表中能看到第二张虚表的第一个位置所存储的数据并不是函数指针;
    在这里就可以提到对应的0xfffffff8数据;
    已知0xffffffff的值为-1,对应的0xfffffff8即为-8;
    这里的值其实是一个偏移量,这个偏移量:

    当走到该处时将该处的偏移量-8,即得到该处函数所在的位置;
    根据这个点进行验证;
    此时已经知道了位置为0x400ce8,且该位置所存储的数据为0x00400b81;

    (gdb) x/x 0x400ce8
0x400ce8 <_ZTV1C+56>:	0x00400b81
(gdb) x/x 0x00400b81-8
0x400b79 <C::Func1()+35>:	0xfffcb2e8
    从这里就已经看出,这里通过了偏移量间接的找到了对应的函数;
    当编译器在处理这段代码时,将根据偏移量做出一些处理,使得最终能够通过该偏移量找到对应的函数;

结论为:若是出现多继承,其中两个基类都存在同名的虚函数且在派生类中对该虚函数已经完成了重写的条件时,其虚表构造为如下图:

在这里插入图片描述

这篇关于『 C++类与对象 』多态之单继承与多继承的虚函数表的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/423096。

相关文章

Python获取C++中返回的char*字段的两种思路

Python获取C++中返回的char*字段的两种思路

《Python获取C++中返回的char*字段的两种思路》有时候需要获取C++函数中返回来的不定长的char*字符串,本文小编为大家找到了两种解决问题的思路,感兴趣的小伙伴可以跟随小编一起学习一下... 有时候需要获取C++函数中返回来的不定长的char*字符串，目前我找到两种解决问题的思路，具体实现如下：
阅读更多...
C++ Sort函数使用场景分析

C++ Sort函数使用场景分析

《C++Sort函数使用场景分析》sort函数是algorithm库下的一个函数,sort函数是不稳定的,即大小相同的元素在排序后相对顺序可能发生改变,如果某些场景需要保持相同元素间的相对顺序,可使... 目录C++ Sort函数详解一、sort函数调用的两种方式二、sort函数使用场景三、sort函数排序
阅读更多...
C语言函数递归实际应用举例详解

C语言函数递归实际应用举例详解

《C语言函数递归实际应用举例详解》程序调用自身的编程技巧称为递归,递归做为一种算法在程序设计语言中广泛应用,：本文主要介绍C语言函数递归实际应用举例的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录前言一、递归的概念与思想二、递归的限制条件 三、递归的实际应用举例（一）求 n 的阶乘（二）顺序打印
阅读更多...
Java调用C++动态库超详细步骤讲解(附源码)

Java调用C++动态库超详细步骤讲解(附源码)

《Java调用C++动态库超详细步骤讲解(附源码)》C语言因其高效和接近硬件的特性,时常会被用在性能要求较高或者需要直接操作硬件的场合,：本文主要介绍Java调用C++动态库的相关资料,文中通过代... 目录一、直接调用C++库第一步：动态库生成（vs2017+qt5.12.10）第二步：Java调用C++
阅读更多...
C/C++错误信息处理的常见方法及函数

C/C++错误信息处理的常见方法及函数

《C/C++错误信息处理的常见方法及函数》C/C++是两种广泛使用的编程语言,特别是在系统编程、嵌入式开发以及高性能计算领域,：本文主要介绍C/C++错误信息处理的常见方法及函数,文中通过代码介绍... 目录前言1. errno 和 perror()示例：2. strerror()示例：3. perror(
阅读更多...
C++变换迭代器使用方法小结

C++变换迭代器使用方法小结

《C++变换迭代器使用方法小结》本文主要介绍了C++变换迭代器使用方法小结,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1、源码2、代码解析代码解析：transform_iterator1. transform_iterat
阅读更多...
详解C++中类的大小决定因数

详解C++中类的大小决定因数

《详解C++中类的大小决定因数》类的大小受多个因素影响,主要包括成员变量、对齐方式、继承关系、虚函数表等,下面就来介绍一下,具有一定的参考价值,感兴趣的可以了解一下... 目录1. 非静态数据成员示例：2. 数据对齐（Padding）示例：3. 虚函数（vtable 指针）示例：4. 继承普通继承虚继承5.
阅读更多...
C++中std::distance使用方法示例

C++中std::distance使用方法示例

《C++中std::distance使用方法示例》std::distance是C++标准库中的一个函数,用于计算两个迭代器之间的距离,本文主要介绍了C++中std::distance使用方法示例,具... 目录语法使用方式解释示例输出：其他说明：总结std::distance&n编程bsp;是 C++ 标准
阅读更多...
Kotlin 作用域函数apply、let、run、with、also使用指南

Kotlin 作用域函数apply、let、run、with、also使用指南

《Kotlin作用域函数apply、let、run、with、also使用指南》在Kotlin开发中,作用域函数（ScopeFunctions）是一组能让代码更简洁、更函数式的高阶函数,本文将... 目录一、引言：为什么需要作用域函数？二、作用域函China编程数详解1. apply：对象配置的 “流式构建器”最
阅读更多...
在java中如何将inputStream对象转换为File对象(不生成本地文件)

在java中如何将inputStream对象转换为File对象(不生成本地文件)

《在java中如何将inputStream对象转换为File对象(不生成本地文件)》：本文主要介绍在java中如何将inputStream对象转换为File对象(不生成本地文件),具有很好的参考价... 目录需求说明问题解决总结需求说明在后端中通过POI生成Excel文件流，将输出流（outputStre
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2