深入理解C++ 虚函数表

目录

  • 深入理解C++ 虚函数表
    • 虚函数表概述
    • 单继承下的虚函数表
      • 派生类未覆盖基类虚函数
      • 派生类覆盖基类虚函数
    • 多继承下的虚函数表
      • 无虚函数覆盖
      • 派生类覆盖基类虚函数
    • 钻石型虚继承
    • 总结
      • 几个原则
      • 安全性问题

深入理解C++ 虚函数表

​ C++中的虚函数的作用主要是实现了多态的机制。关于多态，简而言之就是用父类型别的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数。

Derive d;
Base1 *b1 = &d;
Base2 *b2 = &d;
Base3 *b3 = &d;
b1->f(); //Derive::f()
b2->f(); //Derive::f()
b3->f(); //Derive::f()b1->g(); //Base1::g()
b2->g(); //Base2::g()
b3->g(); //Base3::g()

​ 这种技术可以让父类的指针有“多种形态”，这是一种泛型技术。所谓泛型技术，说白了就是试图使用不变的代码来实现可变的算法。比如：模板技术，RTTI技术，虚函数技术，要么是试图做到在编译时决议，要么试图做到运行时决议。

本文将详细介绍虚函数表的实现及其内存布局。

虚函数表概述

虚函数表是指在每个包含虚函数的类中都存在着一个函数地址的数组。当我们用父类的指针来操作一个子类的时候，这张虚函数表指明了实际所应该调用的函数。

C++的编译器保证虚函数表的指针存在于对象实例中最前面的位置，这样通过对象实例的地址得到这张虚函数表，然后就可以遍历其中函数指针，并调用相应的函数。

按照上面的说法，来看一个实际的例子：

#include <iostream>using namespace std;class Base {
public:virtual void f() { cout << "f()" << endl; }virtual void g() { cout << "g()" << endl; }virtual void h() { cout << "h()" << endl; }
};int main()
{Base t;(     ((void(*)())*((int*)(*((int*)&t)) + 0))   )     ();(     ((void(*)())*((int*)(*((int*)&t)) + 1))   )     ();(     ((void(*)())*((int*)(*((int*)&t)) + 2))   )     ();return 0;
}

经过VS2017，x86测试：

1558792775022

1558844330501

我们成功地通过实例对象的地址，得到了对象所有的类函数。

1558793497748

main定义Base类对象t，把&b转成int *，取得虚函数表的地址vtptr就是：(int*)(&t)，然后再解引用并强转成int *得到第一个虚函数的地址，也就是Base::f()即(int*)(*((int*)&t))，那么，第二个虚函数g()的地址就是(int*)(*((int*)&t)) + 1，依次类推。

单继承下的虚函数表

派生类未覆盖基类虚函数

下面我们来看下派生类没有覆盖基类虚函数的情况，其中Base类延用上一节的定义。从图中可看出虚函数表中依照声明顺序先放基类的虚函数地址，再放派生类的虚函数地址。

1558796143678

可以看到下面几点：

1）虚函数按照其声明顺序放于表中。
2）父类的虚函数在子类的虚函数前面。

测试代码：

#include <iostream>using namespace std;class Base {
public:virtual void f() { cout << "f()" << endl; }virtual void g() { cout << "g()" << endl; }virtual void h() { cout << "h()" << endl; }
};class Devired :public Base{
public:virtual void x() { cout << "x()" << endl; }
};int main()
{Devired t;(((void(*)())   *((int*)(*((int*)&t)))))   ();(((void(*)())*((int*)(*((int*)&t)) + 1)))     ();(((void(*)())*((int*)(*((int*)&t)) + 2)))     ();//(((void(*)())*((int*)(*((int*)&t)) + 3)))     ();return 0;
}

测试效果：

1558798773222

派生类覆盖基类虚函数

再来看一下派生类覆盖了基类的虚函数的情形，可见：

  1. 虚表中派生类覆盖的虚函数的地址被放在了基类相应的函数原来的位置 （显然的，不然虚函数失去意义）
  2. 派生类没有覆盖的虚函数延用基类的

测试代码：

#include <iostream>using namespace std;class Base {
public:virtual void f() { cout << "f()" << endl; }virtual void g() { cout << "g()" << endl; }virtual void h() { cout << "h()" << endl; }
};class Derive :public Base{
public:virtual void x() { cout << "x()" << endl; }virtual void f() { cout << "Derive::f()" << endl; }
};int main()
{Derive t;(((void(*)())   *((int*)(*((int*)&t)))))   ();(((void(*)())*((int*)(*((int*)&t)) + 1)))     ();(((void(*)())*((int*)(*((int*)&t)) + 2)))     ();//(((void(*)())*((int*)(*((int*)&t)) + 3)))     ();return 0;
}

测试效果：

1558844866127

1558844940167

多继承下的虚函数表

无虚函数覆盖

如果是多重继承的话，问题就变得稍微复杂一丢丢，主要有几点：

  1. 每个基类都有自己的虚函数表
  2. 派生类的虚函数地址存依照声明顺序放在第一个基类的虚表最后（这点和单继承无虚函数覆盖相同），具体见下图所示：

img

测试代码

#include <iostream>
class Base
{
public:Base(int mem1 = 1, int mem2 = 2) : m_iMem1(mem1), m_iMem2(mem2) { ; }virtual void vfunc1() { std::cout << "In vfunc1()" << std::endl; }virtual void vfunc2() { std::cout << "In vfunc2()" << std::endl; }virtual void vfunc3() { std::cout << "In vfunc3()" << std::endl; }private:int m_iMem1;int m_iMem2;
};class Base2
{
public:Base2(int mem = 3) : m_iBase2Mem(mem) { ; }virtual void vBase2func1() { std::cout << "In Base2 vfunc1()" << std::endl; }virtual void vBase2func2() { std::cout << "In Base2 vfunc2()" << std::endl; }private:int m_iBase2Mem;
};class Base3
{
public:Base3(int mem = 4) : m_iBase3Mem(mem) { ; }virtual void vBase3func1() { std::cout << "In Base3 vfunc1()" << std::endl; }virtual void vBase3func2() { std::cout << "In Base3 vfunc2()" << std::endl; }private:int m_iBase3Mem;
};class Devired : public Base, public Base2, public Base3
{
public:Devired(int mem = 7) : m_iMem1(mem) { ; }virtual void vdfunc1() { std::cout << "In Devired vdfunc1()" << std::endl; }private:int m_iMem1;
};int main()
{// Test_3Devired d;int *dAddress = (int*)&d;typedef void(*FUNC)();/* 1. 获取对象的内存布局信息 */// 虚表地址一int *vtptr1 = (int*)*(dAddress + 0);int basemem1 = (int)*(dAddress + 1);int basemem2 = (int)*(dAddress + 2);int *vtpttr2 = (int*)*(dAddress + 3);int base2mem = (int)*(dAddress + 4);int *vtptr3 = (int*)*(dAddress + 5);int base3mem = (int)*(dAddress + 6);/* 2. 输出对象的内存布局信息 */int *pBaseFunc1 = (int *)*(vtptr1 + 0);int *pBaseFunc2 = (int *)*(vtptr1 + 1);int *pBaseFunc3 = (int *)*(vtptr1 + 2);int *pBaseFunc4 = (int *)*(vtptr1 + 3);(FUNC(pBaseFunc1))();(FUNC(pBaseFunc2))();(FUNC(pBaseFunc3))();(FUNC(pBaseFunc4))();// .... 后面省略若干输出内容，可自行补充return 0;
}

测试效果：

1558845492296

派生类覆盖基类虚函数

我们再来看一下派生类覆盖了基类的虚函数的情形，可见：

  1. 虚表中派生类覆盖的虚函数的地址被放在了基类相应的函数原来的位置
  2. 派生类没有覆盖的虚函数延用基类的

代码如下所示，注意这里只给出了类的定义，main函数的测试代码与上节一样：

class Devired : public Base, public Base2, public Base3
{
public:Devired(int mem = 7) : m_iMem1(mem) { ; }virtual void vdfunc1() { std::cout << "In Devired vdfunc1()" << std::endl; }virtual void vfunc1() { std::cout << "In Devired vfunc1()" << std::endl; }virtual void vBase2func1() { std::cout << "In Devired vfunc1()" << std::endl; }private:int m_iMem1;
};

测试效果
1558849805007

钻石型虚继承

该继承还是遵循上述的所有原则，我们直接来测试。

测试代码

// 测试四：钻石型虚继承//虚基指针所指向的虚基表的内容：
//  1. 虚基指针的第一条内容表示的是该虚基指针距离所在的子对象的首地址的偏移
//  2. 虚基指针的第二条内容表示的是该虚基指针距离虚基类子对象的首地址的偏移#pragma vtordisp(off)
#include <iostream>
using std::cout;
using std::endl;class B
{
public:B() : _ib(10), _cb('B') {}virtual void f(){cout << "B::f()" << endl;}virtual void Bf(){cout << "B::Bf()" << endl;}private:int _ib;char _cb;
};class B1 : virtual public B
{
public:B1() : _ib1(100), _cb1('1') {}virtual void f(){cout << "B1::f()" << endl;}#if 1virtual void f1(){cout << "B1::f1()" << endl;}virtual void Bf1(){cout << "B1::Bf1()" << endl;}
#endifprivate:int _ib1;char _cb1;
};class B2 : virtual public B
{
public:B2() : _ib2(1000), _cb2('2') {}virtual void f(){cout << "B2::f()" << endl;}
#if 1virtual void f2(){cout << "B2::f2()" << endl;}virtual void Bf2(){cout << "B2::Bf2()" << endl;}
#endif
private:int _ib2;char _cb2;
};class D : public B1, public B2
{
public:D() : _id(10000), _cd('3') {}virtual void f(){cout << "D::f()" << endl;}#if 1virtual void f1(){cout << "D::f1()" << endl;}virtual void f2(){cout << "D::f2()" << endl;}virtual void Df(){cout << "D::Df()" << endl;}
#endif
private:int _id;char _cd;
};int main(void)
{D d;cout << sizeof(d) << endl;return 0;
}

测试效果

1>class D   size(52):
1>  +---
1> 0    | +--- (base class B1)
1> 0    | | {vfptr}
1> 4    | | {vbptr}
1> 8    | | _ib1
1>12    | | _cb1
1>      | | <alignment member> (size=3)
1>  | +---
1>16    | +--- (base class B2)
1>16    | | {vfptr}
1>20    | | {vbptr}
1>24    | | _ib2
1>28    | | _cb2
1>      | | <alignment member> (size=3)
1>  | +---
1>32    | _id
1>36    | _cd
1>      | <alignment member> (size=3)
1>  +---
1>  +--- (virtual base B)
1>40    | {vfptr}
1>44    | _ib
1>48    | _cb
1>      | <alignment member> (size=3)
1>  +---
1>
1>D::$vftable@B1@:
1>  | &D_meta
1>  |  0
1> 0    | &D::f1
1> 1    | &B1::Bf1
1> 2    | &D::Df
1>
1>D::$vftable@B2@:
1>  | -16
1> 0    | &D::f2
1> 1    | &B2::Bf2
1>
1>D::$vbtable@B1@:
1> 0    | -4
1> 1    | 36 (Dd(B1+4)B)
1>
1>D::$vbtable@B2@:
1> 0    | -4
1> 1    | 20 (Dd(B2+4)B)
1>
1>D::$vftable@B@:
1>  | -40
1> 0    | &D::f
1> 1    | &B::Bf
1>

总结

几个原则

单继承

  1. 虚表中派生类覆盖的虚函数的地址被放在了基类相应的函数原来的位置
  2. 派生类没有覆盖的虚函数就延用基类的。同时，虚函数按照其声明顺序放于表中，父类的虚函数在子类的虚函数前面。

多继承

  1. 每个基类都有自己的虚函数表
  2. 派生类的虚函数地址存依照声明顺序放在第一个基类的虚表最后

安全性问题

当我们直接通过父类指针调用子类中的未覆盖父类的成员函数，编译器会报错，但通过实验，我们可以用对象的地址访问到各个子类的成员函数，就违背了C++语义，操作会有一定的隐患，当我们使用时要注意这些危险的东西！

参考：

https://coolshell.cn/articles/12165.html

https://jocent.me/2017/08/07/virtual-table.html

https://blog.csdn.net/lihao21/article/details/50688337

转载于:https://www.cnblogs.com/Mered1th/p/10924545.html

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

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

相关文章

react-native-baidu-map使用及注意问题

react-native-baidu-map使用及注意问题

使用组件&#xff1a; react-native-baidu-map 获取百度地图API_KEY 地址&#xff1a;lbsyun.baidu.com&#xff0c;在控制台成功创建应用后&#xff0c;就可以看到应用的api key了 安装 yarn add react-native-baidu-map 复制代码原生部分 Android配置 react-native link reac…
阅读更多...
简单扫清身体垃圾

简单扫清身体垃圾

“我们的身体在被‘设计’之初&#xff0c;就拥有了自主扫除体内垃圾的功能。只不过&#xff0c;这需要我们按照正确的方法去激发它 。”美国畅销书作者乔斯卡曼和朱莉佩莱斯&#xff0c;在她们去年合著的《自我清洁》一书中强调了养成良好生活习惯可为身体排毒的重要性。 近日…
阅读更多...
linux （阿里云 CentOS7） 中安装配置 RocketMQ

linux （阿里云 CentOS7） 中安装配置 RocketMQ

前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到教程。 JDK1.8的安装&#xff1a; 1.检查系统的JDK版本 根目录下操作&#xff1a;cd java -version 2.检测JDK安装包 rpm -qa | grep ja…
阅读更多...
Bootstrap简介

Bootstrap简介

1.使用准备 1.1 Bootstrap的下载 http://www.bootcss.com&#xff0c;下载用于生产环境的Bootstrap即可。 1.2 Bootstrap包含的内容 ● 全局CSS&#xff1a;基本的 HTML 元素均可以通过 class 设置样式并得到增强效果&#xff1b;还有先进的栅格系统。 ● 组件&#xff1a;无数…
阅读更多...
用TortoiseGit时的实用git命令

用TortoiseGit时的实用git命令

生成并获取 sshkey&#xff1a; ssh-keygen -t rsa -C "xxxxxxxxxx.com" cat ~/.ssh/id_rsa.pub 克隆仓库&#xff1a; git clone xxxxxx/xxx.git 重命名文件&#xff1a; mv file_name new_file_name git目录区分大小写&#xff1a; git config core.ignorecase fal…
阅读更多...
有一种失败叫瞎忙

有一种失败叫瞎忙

很多时候&#xff0c;我们都在不知不觉的瞎忙&#xff0c;为了避免这样的瞎忙&#xff0c;特为大家分享一个小的故事。 在一个山谷的禅房里有一位老禅师&#xff0c;他发现自己有一个徒弟非常勤奋&#xff0c;不管是去化缘&#xff0c;还是去厨房洗菜&#xff0c;这个徒弟从…
阅读更多...
解决：org.apache.rocketmq.client.exception.MQClientException: No route info of this topic, TopicTest

解决：org.apache.rocketmq.client.exception.MQClientException: No route info of this topic, TopicTest

前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到教程。 原因1&#xff1a;启动 broker 方式不对。 我完全是按照官方文档操作的&#xff0c;在网上看到说这一步是错误的启动 broker 方式&#…
阅读更多...
tomcat需要设置环境变量吗

tomcat需要设置环境变量吗

tomcat是一款轻量级web应用服务器&#xff0c;安装的时候我们都是直接解压zip包&#xff0c;然后在bin目录下双击startup.bat就可以启动了&#xff08;当然&#xff0c;前提是本地要安装jdk并配置JAVA_HOME环境变量&#xff09; 所以我一直认为tomcat是不用配置环境变量的 但是…
阅读更多...
Intro OpenCL Tutorial

Intro OpenCL Tutorial

Benedict R. Gaster, AMD Architect, OpenCL™ OpenCL™ is a young technology, and, while a specification has been published (www.khronos.org/registry/cl/), there are currently few documents that provide a basic introduction with examples. This article helps…
阅读更多...
雷林鹏分享：codeigniter框架文件上传处理

雷林鹏分享：codeigniter框架文件上传处理

CodeIgniter 框架input表单的重新填充&#xff0c;主要是针对text、radio、checkbox、select等input表单&#xff0c;那么对于文件上传表单file该如何处理呢? 自己的处理方式&#xff1a; //设置文件上传属性 $webroot $_SERVER[DOCUMENT_ROOT]; $time time(); $year date(…
阅读更多...
jQuery基本使用

jQuery基本使用

一.what 1&#xff09;.一个优秀的JS函数库&#xff1b; 2&#xff09;.中大型WEB项目开发的首选&#xff1b; 3&#xff09;.使用了jQuery的网站超过90%&#xff1b; 4&#xff09;.http://jquery.com/; 二.why(即jq的好处) html元素选取&#xff08;选择器&#xff09;&#…
阅读更多...
解决：-bash: telnet: command not found

解决：-bash: telnet: command not found

前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到教程。 报错如题 -bash: telnet: command not found只是因为没有安装这个命令&#xff0c;不识别。 安装命令&#xff1a; yum install telne…
阅读更多...
钱荒下银行理财收益率角逐：邮储银行垫底

钱荒下银行理财收益率角逐：邮储银行垫底

21世纪资管研究员松壑 由于银行理财的收益定价机制为设定预期收益率的“先行定价”&#xff0c;而银行对产品本金收益又保有或明或暗的兑付要求&#xff0c;其业绩往往在理财产品发行前就已决定。 因此&#xff0c;本次榜单根据已披露最高预期收益率&#xff08;下称收益率&a…
阅读更多...
数据结构7.3_图的遍历

数据结构7.3_图的遍历

我们希望从图中某一顶点出发访遍图中其余顶点&#xff0c;且使每一个顶点仅被访问一次。 这一过程就叫做图的遍历。 图的遍历算法是求解图的连通性问题、拓扑排序和求关键路径等算法的基础。 然而&#xff0c;图的遍历要比树的遍历复杂得多。 因为图的任一顶点都可能和其余的顶…
阅读更多...
CentOS7 使用 firewalld 打开关闭防火墙与端口

CentOS7 使用 firewalld 打开关闭防火墙与端口

前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到教程。 1、firewalld的基本使用 启动&#xff1a; systemctl start firewalld关闭&#xff1a; systemctl stop firewalld查看状态&#xff1a…
阅读更多...
HCL实验四

HCL实验四

PC端配置&#xff1a;配置ip地址 配置网关 交换机配置&#xff1a;①创建VLAN system-view vlan 10 vlan 20 ②配置PC端接口 interface vlan-interface 10 ip add 192.168.10.254 24 interface vlan-interface 20 ip add 192.168.20.254 24 转载于:https://www.cnblogs.com/zy5…
阅读更多...
程序员/设计师能用上的 75 份速查表

程序员/设计师能用上的 75 份速查表

本文由 伯乐在线 - 黄利民 翻译自 designzum。欢迎加入 技术翻译小组。转载请参见文章末尾处的要求。75 份速查表&#xff0c;由 vikas 收集整理&#xff0c;包括&#xff1a;jQuery、HTML、HTML5、CSS、CSS3、JavaScript、Photoshop 、git、Linux、Java、Perl、PHP、Python、…
阅读更多...
移动端真机测试怎么做

移动端真机测试怎么做

准备工作&#xff1a; 1、必须安装了node 环境和npm&#xff1b; 2、手机和电脑在同一个热点或者wifi下&#xff1b; 3、知道你的IP地址&#xff1b; 步骤一、 启动cmd&#xff0c;进入项目根目录&#xff0c;使用指令&#xff1a;npm i -g live-server 进行全局安装 步骤二、 …
阅读更多...
Linux 下清空或删除大文件内容的 5 种方法

Linux 下清空或删除大文件内容的 5 种方法

前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到教程。 下面的这些方法都是从命令行中达到清空文件的目的。 使用名为 access.log 的文件作为示例样本。 1. 通过重定向到 Null 来清空文件内容…
阅读更多...
管理飞扬跋扈的技术部

管理飞扬跋扈的技术部

摘要&#xff1a;有的管理人员认为最头疼的就是技术部的管理。因为技术工作看起来棘手&#xff0c;管理人员不能轻易了解技术工作的内涵&#xff0c;技术人员也觉得很难和管理人员沟通。要管理好技术人员&#xff0c;就一定要懂技术&#xff0c;这是其他管理方法都无法替代的。…
阅读更多...
最新文章

Copyright @ 2022~2023