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

news2024/9/25 23:15:15

文章目录

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

🫧 前言

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

  • 单继承
  • 多继承
  • 棱形继承
  • 棱形虚拟继承
    不同的继承方式其虚表的形式也不同;
以下操作均为在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
    从这里就已经看出,这里通过了偏移量间接的找到了对应的函数;
    当编译器在处理这段代码时,将根据偏移量做出一些处理,使得最终能够通过该偏移量找到对应的函数;

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

在这里插入图片描述

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/1243467.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

redis运维(十八)pipeline

redis运维(十八)pipeline

一 pipeline 流水线 说明&#xff1a; 这里讲解的不是jenkins的pipeline流水线这里pipeline: 管道 redis为什么要提供pipeline功能 事务和pipeline ① pipeline的理念 强调&#xff1a;单纯的pipeline跟事务没有关系redis-cli --pipe --> 使用了pipeline机制说明&a…
阅读更多...
【Skynet 入门实战练习】游戏模块划分 | 基础功能模块 | timer 定时器模块 | logger 日志服务模块

【Skynet 入门实战练习】游戏模块划分 | 基础功能模块 | timer 定时器模块 | logger 日志服务模块

文章目录 游戏模块基础功能模块定时器模块日志模块通用模块 游戏模块 游戏从逻辑方面可以分为下面几个模块&#xff1a; 注册和登录网络协议数据库玩法逻辑其他通用模块 除了逻辑划分&#xff0c;还有几个重要的工具类模块&#xff1a; Excel 配置导表工具GM 指令测试机器人…
阅读更多...
CAD图纸设计在线协同、CAD图纸设计在线协同方案？

CAD图纸设计在线协同、CAD图纸设计在线协同方案？

CAD图纸设计在线协同、CAD图纸设计在线协同方案&#xff1f; CAD图纸设计在线协同&#xff0c;在企业产品研发效能的提升中发挥着重要作用&#xff0c;技术应用的深入发展为不同场景的协作带来了全新的应用模式&#xff0c;工业设计领域亦是如此。 在CAD图纸设计与管理过程中&a…
阅读更多...
RabbitMQ 搭建和工作模式

RabbitMQ 搭建和工作模式

MQ基本概念 1. MQ概述 MQ全称 Message Queue&#xff08;[kjuː]&#xff09;&#xff08;消息队列&#xff09;&#xff0c;是在消息的传输过程中保存消息的容器。多用于分布式系统之间进行通信。 &#xff08;队列是一种容器&#xff0c;用于存放数据的都是容器&#xff0…
阅读更多...
【分布式】小白看Ring算法 - 03

【分布式】小白看Ring算法 - 03

相关系列 【分布式】NCCL部署与测试 - 01 【分布式】入门级NCCL多机并行实践 - 02 【分布式】小白看Ring算法 - 03 【分布式】大模型分布式训练入门与实践 - 04 概述 NCCL&#xff08;NVIDIA Collective Communications Library&#xff09;是由NVIDIA开发的一种用于多GPU间…
阅读更多...
SQL进阶学习

SQL进阶学习

1.[NISACTF 2022]join-us sql报错注入和联合注入 过滤&#xff1a; as IF rand() LEFT by updatesubstring handler union floor benchmark COLUMN UPDATE & sys.schema_auto_increment_columns && 11 database case AND right CAST FLOOR left updatexml DATABA…
阅读更多...
CLion安装与配置教程

CLion安装与配置教程

目录 一、下载并安装CLion1、下载1、官网&#xff1a;2、注意&#xff1a; 2、安装1、下载完成后&#xff0c;直接点击安装包安装&#xff0c;即可。2、开始安装&#xff0c;然后下一步3、可以在此处自定义地址&#xff0c;然后下一步4、根据系统版本选择&#xff0c;然后下一步…
阅读更多...
Linux：虚拟机安装Ubuntu系统

Linux：虚拟机安装Ubuntu系统

一、下载Ubuntu 地址&#xff1a;https://cn.ubuntu.com/download/desktop 二、安装 以上配置完成后&#xff0c;点击完成按钮&#xff0c;接下来就是一段较长时间的等待安装过程。 安装完成后&#xff0c;还有一些系统性配置。 系统配置非常简单&#xff0c;全部next即可。…
阅读更多...
开源 GPU池化软件 | (AI人工智能训练平台、AI人工智能推理平台)

开源 GPU池化软件 | (AI人工智能训练平台、AI人工智能推理平台)

GPU池化软件 | (AI人工智能训练平台、AI人工智能推理平台) 讨论群v:&#x1f680;18601938676 一、AI人工智能开发-------------面临的问题和挑战 1. GPU管理难题 1.1 资源管理难&#xff1a;算力资源昂贵&#xff0c;但是缺乏有效管理&#xff0c;闲置情况严重。 1.2 用户…
阅读更多...
【uniapp】uniapp开发小程序定制uni-collapse（折叠面板）

【uniapp】uniapp开发小程序定制uni-collapse（折叠面板）

需求 最近在做小程序&#xff0c;有一个类似折叠面板的ui控件&#xff0c;效果大概是这样 代码 因为项目使用的是uniapp&#xff0c;所以打算去找uniapp的扩展组件&#xff0c;果然给我找到了这个叫uni-collapse的组件&#xff08;链接&#xff1a;uni-collapse&#xff09…
阅读更多...
Django 入门学习总结4

Django 入门学习总结4

视图是Django应用程序在Python语言中提供特定的方法并对应于有特定的模板的网页。网页的页面通过视图的方式进行跳转。 在投票系统中&#xff0c;有四个视图&#xff1a; 首页视图&#xff0c;显示最新的问题列表。细节视图&#xff0c;显示问题文本&#xff0c;通过表单可以…
阅读更多...
【标注数据】labelme的安装与使用

【标注数据】labelme的安装与使用

这里写目录标题 下载标数据 下载 标数据 打开自动保存 创建矩形
阅读更多...
FreeRTOS的并行与并发思考

FreeRTOS的并行与并发思考

FreeRTOS的任务触发是由滴答时钟触发SysTick中断来触发调度器执行或阻塞或挂起和切换任务的。 首先是任务的并发能力&#xff0c;FreeRTOS的任务执行是基于全抢占调度机制&#xff0c;任务优先级按在就绪列表中由高到低排布&#xff0c;系统首先执行最高优先级任务&#xff0c;…
阅读更多...
【element优化经验】怎么让element-ui中表单多语言切换排版不乱

【element优化经验】怎么让element-ui中表单多语言切换排版不乱

目录 前言&#xff1a; 痛点&#xff1a; 1.左对齐&#xff0c;右对齐在中文和外语情况下字数不同&#xff0c;固定宽度会使名称换行&#xff0c;不在整行对齐&#xff0c;影响美观。 2.如果名称和输入框不在一行&#xff0c;会使页面越来越长 3.label-width值给变量&#…
阅读更多...
Switch的使用及其注意事项

Switch的使用及其注意事项

注意第五点要看清&#xff0c;case执行完后匹配没有成功&#xff0c;如过有Default&#xff0c;将会执行Default&#xff0c;如果有case在Default之后&#xff0c;而且Default没有break语句&#xff0c;那么将会继续执行case的语句&#xff0c;此时case中的常量表达式只起语句标…
阅读更多...
【书信】【交通主题建议】

【书信】【交通主题建议】

阅读更多...
鸿蒙(HarmonyOS)应用开发——ArkTs学习准备

鸿蒙(HarmonyOS)应用开发——ArkTs学习准备

介绍 前面我们已经介绍了&#xff0c;如何安装HarmonyOS的IDE ,那么现在我们来介绍一下。HarmonyOS 开发的语言——ArkTs. ArkTS 是HarmonyOS的开发语言&#xff0c;他是typescript 的扩展&#xff0c;而typesrcipt是javascript的超集&#xff0c;如果你不太熟悉typescript语法…
阅读更多...
c++ 演讲比赛流程管理系统 / from.黑马

c++ 演讲比赛流程管理系统 / from.黑马

阅读更多...
fork介绍,返回值问题,写时拷贝,进程切换,子进程开始执行的位置,子进程的用途

fork介绍,返回值问题,写时拷贝,进程切换,子进程开始执行的位置,子进程的用途

目录 fork 介绍 fork的返回值问题 介绍 fork()时,系统要做什么 数据是否要独立 如果共享的话,就会出现问题! 写时拷贝 引入 介绍 举例(fork返回值) fork返回的值是什么 创建失败的原因 子进程执行位置从哪里开始 引入 进程切换 子进程执行的位置 子进程的…
阅读更多...
SAP-部分字段变更

SAP-部分字段变更

在SAP中部分字段是可以自行调整的&#xff0c;例如下图 这个字段是客户组1&#xff0c;已经被改成一级经理&#xff0c;现在来操作改回客户组1 首先选择字段点击F1-技术信息-数据元素&#xff08;双击&#xff09; . . 保存&#xff0c;返回&#xff0c;激活&#xff0c;返…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023