【C++ Priemr | 15】虚函数表剖析(二)
一、多重继承(无虚函数覆盖)
下面,再让我们来看看多重继承中的情况,假设有下面这样一个类的继承关系。注意:子类并没有覆盖父类的函数。
测试代码:
class Base1
{
public: virtual void f() { cout << "Base1::f" << endl; } //虚函数定义virtual void g() { cout << "Base1::g" << endl; }virtual void h() { cout << "Base1::h" << endl; }
};class Base2
{
public: virtual void f() { cout << "Base2::f" << endl; } //虚函数定义virtual void g() { cout << "Base2::g" << endl; }virtual void h() { cout << "Base2::h" << endl; }
};class Base3
{
public:virtual void f() { cout << "Base3::f" << endl; }virtual void g() { cout << "Base3::g" << endl; }virtual void h() { cout << "Base3::h" << endl; }
};class Derive :public Base1, public Base2, public Base3 //多继承的情况——无虚继承覆盖
{
public:virtual void f1() { cout << "Derive::f1" << endl; } //虚函数定义virtual void g1() { cout << "Derive::g1" << endl; }
};
对于子类实例中的虚函数表,是下面这个样子:
我们可以看到:
- 每个父类都有自己的虚表。
- 子类的成员函数被放到了第一个父类的表中。(所谓的第一个父类是按照声明顺序来判断的)
这样做就是为了解决不同的父类类型的指针指向同一个子类实例,而能够调用到实际的函数。
二、多重继承(有虚函数覆盖)
下面我们再来看看,如果发生虚函数覆盖的情况。
测试代码:
class Base1 {
public: virtual void f() { cout << "Base1::f" << endl; }virtual void g() { cout << "Base1::g" << endl; }virtual void h() { cout << "Base1::h" << endl; }
};class Base2 {
public: virtual void f() { cout << "Base2::f" << endl; }virtual void g() { cout << "Base2::g" << endl; }virtual void h() { cout << "Base2::h" << endl; }
};class Base3 {
public: virtual void f() { cout << "Base3::f" << endl; }virtual void g() { cout << "Base3::g" << endl; }virtual void h() { cout << "Base3::h" << endl; }
};class Derive : public Base1, public Base2, public Base3 {
public:virtual void f() { cout << "Derive::f" << endl; } //唯一一个覆盖的子类函数virtual void g1() { cout << "Derive::g1" << endl; }
};
下图中,我们在子类中覆盖了父类的f()函数。
下面是对于子类实例中的虚函数表的图:
我们可以看见,三个父类虚函数表中的f()的位置被替换成了子类的函数指针。这样,我们就可以任一静态类型的父类来指向子类,并调用子类的f()了。如:
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()
安全性
每次写C++的文章,总免不了要批判一下C++。这篇文章也不例外。通过上面的讲述,相信我们对虚函数表有一个比较细致的了解了。水可载舟,亦可覆舟。下面,让我们来看看我们可以用虚函数表来干点什么坏事吧。
1. 通过父类型的指针访问子类自己的虚函数
我们知道,子类没有重载父类的虚函数是一件毫无意义的事情。因为多态也是要基于函数重载的。虽然在上面的图中我们可以看到Base1的虚表中有Derive的虚函数,但我们根本不可能使用下面的语句来调用子类的自有虚函数:
Base1 *b1 = new Derive();
b1->g1(); //编译出错
任何妄图使用父类指针想调用子类中的未覆盖父类的成员函数的行为都会被编译器视为非法,所以,这样的程序根本无法编译通过。但在运行时,我们可以通过指针的方式访问虚函数表来达到违反C++语义的行为。(关于这方面的尝试,通过阅读后面附录的代码,相信你可以做到这一点)
2. 访问non-public的虚函数
另外,如果父类的虚函数是private或是protected的,但这些非public的虚函数同样会存在于虚函数表中,所以,我们同样可以使用访问虚函数表的方式来访问这些non-public的虚函数,这是很容易做到的。如
#include<iostream>
using namespace std;class Base {
private:virtual void f() { cout << "Base::f" << endl; }
};class Derive : public Base {};typedef void(*Fun)(void);int main()
{Derive d;Fun pFun = (Fun)*((int*)*(int*)(&d) + 0);pFun();
}
输出结果:
三、多重继承
下面,再让我们来看看多重继承中的情况,假设有下面这样一个类的继承关系。
注意:子类只overwrite了父类的f()函数,而还有一个是自己的函数(我们这样做的目的是为了用g1()作为一个标记来标明子类的虚函数表)。而且每个类中都有一个自己的成员变量:
们的类继承的源代码如下所示:父类的成员初始为10,20,30,子类的为100
#include<iostream>
using namespace std;class Base1 {
public:int ibase1;Base1() :ibase1(10) {}virtual void f() { cout << "Base1::f()" << endl; }virtual void g() { cout << "Base1::g()" << endl; }virtual void h() { cout << "Base1::h()" << endl; }};class Base2 {
public:int ibase2;Base2() :ibase2(20) {}virtual void f() { cout << "Base2::f()" << endl; }virtual void g() { cout << "Base2::g()" << endl; }virtual void h() { cout << "Base2::h()" << endl; }
};class Base3 {
public:int ibase3;Base3() :ibase3(30) {}virtual void f() { cout << "Base3::f()" << endl; }virtual void g() { cout << "Base3::g()" << endl; }virtual void h() { cout << "Base3::h()" << endl; }
};class Derive : public Base1, public Base2, public Base3 {
public:int iderive;Derive() :iderive(100) {}virtual void f() { cout << "Derive::f()" << endl; }virtual void g1() { cout << "Derive::g1()" << endl; }
};int main()
{typedef void(*Fun)(void);Derive d;int** pVtab = (int**)&d;cout << "[0] Base1::_vptr->" << endl;Fun pFun = (Fun)pVtab[0][0];cout << " [0] ";pFun();pFun = (Fun)pVtab[0][1];cout << " [1] "; pFun();pFun = (Fun)pVtab[0][2];cout << " [2] "; pFun();pFun = (Fun)pVtab[0][3];cout << " [3] "; pFun();pFun = (Fun)pVtab[0][4];cout << " [4] "; cout << pFun << endl;cout << "[1] Base1.ibase1 = " << (int)pVtab[1] << endl;int s = sizeof(Base1) / 4;cout << "[" << s << "] Base2::_vptr->" << endl;pFun = (Fun)pVtab[s][0];cout << " [0] "; pFun();pFun = (Fun)pVtab[s][1];cout << " [1] "; pFun();pFun = (Fun)pVtab[s][2];cout << " [2] "; pFun();pFun = (Fun)pVtab[s][3];cout << " [3] ";cout << pFun << endl;cout << "[" << s + 1 << "] Base2.ibase2 = " << (int)pVtab[s + 1] << endl;s = s + sizeof(Base2) / 4;cout << "[" << s << "] Base3::_vptr->" << endl;pFun = (Fun)pVtab[s][0];cout << " [0] "; pFun();pFun = (Fun)pVtab[s][1];cout << " [1] "; pFun();pFun = (Fun)pVtab[s][2];cout << " [2] "; pFun();pFun = (Fun)pVtab[s][3];cout << " [3] ";cout << pFun << endl;s++;cout << "[" << s << "] Base3.ibase3 = " << (int)pVtab[s] << endl;s++;cout << "[" << s << "] Derive.iderive = " << (int)pVtab[s] << endl;
}
输出结果:
使用图片表示是下面这个样子:
我们可以看到:
- 每个父类都有自己的虚表。
- 子类的成员函数被放到了第一个父类的表中。
- 内存布局中,其父类布局依次按声明顺序排列。
- 每个父类的虚表中的f()函数都被overwrite成了子类的f()。这样做就是为了解决不同的父类类型的指针指向同一个子类实例,而能够调用到实际的函数。
四、重复继承
面我们再来看看,发生重复继承的情况。所谓重复继承,也就是某个基类被间接地重复继承了多次。
下图是一个继承图,我们重载了父类的f()函数。其类继承的源代码如下所示。其中,每个类都有两个变量,一个是整形(4字节),一个是字符(1字节),而且还有自己的虚函数,自己overwrite父类的虚函数。如子类D中,f()覆盖了超类的函数, f1() 和f2() 覆盖了其父类的虚函数,Df()为自己的虚函数。
测试代码:
#include<iostream>
using namespace std;class B {
public:int ib;char cb;
public:B() : ib(0), cb('B') {}virtual void f() { cout << "B::f()" << endl; }virtual void Bf() { cout << "B::Bf()" << endl; }
};class B1 : public B {
public:int ib1;char cb1;
public:B1() : ib1(11), cb1('1') {}virtual void f() { cout << "B1::f()" << endl; }virtual void f1() { cout << "B1::f1()" << endl; }virtual void Bf1() { cout << "B1::Bf1()" << endl; }
};class B2 : public B {
public:int ib2;char cb2;
public:B2() :ib2(12), cb2('2') {}virtual void f() { cout << "B2::f()" << endl; }virtual void f2() { cout << "B2::f2()" << endl; }virtual void Bf2() { cout << "B2::Bf2()" << endl; }};class D : public B1, public B2 {
public:int id;char cd;
public:D() : id(100), cd('D') {}virtual void f() { cout << "D::f()" << endl; }virtual void f1() { cout << "D::f1()" << endl; }virtual void f2() { cout << "D::f2()" << endl; }virtual void Df() { cout << "D::Df()" << endl; }};int main()
{typedef void(*Fun)(void);int** pVtab = NULL;Fun pFun = NULL;D d;pVtab = (int**)&d;cout << "[0] D::B1::_vptr->" << endl;pFun = (Fun)pVtab[0][0];cout << " [0] "; pFun();pFun = (Fun)pVtab[0][1];cout << " [1] "; pFun();pFun = (Fun)pVtab[0][2];cout << " [2] "; pFun();pFun = (Fun)pVtab[0][3];cout << " [3] "; pFun();pFun = (Fun)pVtab[0][4];cout << " [4] "; pFun();pFun = (Fun)pVtab[0][5];cout << " [5] 0x" << pFun << endl;cout << "[1] B::ib = " << (int)pVtab[1] << endl;cout << "[2] B::cb = " << (char)pVtab[2] << endl;cout << "[3] B1::ib1 = " << (int)pVtab[3] << endl;cout << "[4] B1::cb1 = " << (char)pVtab[4] << endl;cout << "[5] D::B2::_vptr->" << endl;pFun = (Fun)pVtab[5][0];cout << " [0] "; pFun();pFun = (Fun)pVtab[5][1];cout << " [1] "; pFun();pFun = (Fun)pVtab[5][2];cout << " [2] "; pFun();pFun = (Fun)pVtab[5][3];cout << " [3] "; pFun();pFun = (Fun)pVtab[5][4];cout << " [4] 0x" << pFun << endl;cout << "[6] B::ib = " << (int)pVtab[6] << endl;cout << "[7] B::cb = " << (char)pVtab[7] << endl;cout << "[8] B2::ib2 = " << (int)pVtab[8] << endl;cout << "[9] B2::cb2 = " << (char)pVtab[9] << endl;cout << "[10] D::id = " << (int)pVtab[10] << endl;cout << "[11] D::cd = " << (char)pVtab[11] << endl;
}
输出结果:
下面是对于子类实例中的虚函数表的图:(第一份图为原作者的图,第二幅图为修改的图)
我们可以看见,最顶端的父类B其成员变量存在于B1和B2中,并被D给继承下去了。而在D中,其有B1和B2的实例,于是B的成员在D的实例中存在两份,一份是B1继承而来的,另一份是B2继承而来的。所以,如果我们使用以下语句,则会产生二义性编译错误:
1 2 3 4 |
|
注意,上面例程中的最后两条语句存取的是两个变量。虽然我们消除了二义性的编译错误,但B类在D中还是有两个实例,这种继承造成了数据的重复,我们叫这种继承为重复继承。重复的基类数据成员可能并不是我们想要的。所以,C++引入了虚基类的概念。
参考资料:
- C++ 虚函数表解析 陈皓著
- C++ 对象的内存布局 陈皓著
【C++ Priemr | 15】虚函数表剖析(二)相关推荐
- 【C++ Primer | 15】虚函数表剖析(一)
一.虚函数 1. 概念 多态指当不同的对象收到相同的消息时,产生不同的动作 编译时多态(静态绑定),函数重载,运算符重载,模板. 运行时多态(动态绑定),虚函数机制. 为了实现C++的多态,C++使用 ...
- 虚函数表剖析,网上转的,呵呵
http://www.cppblog.com/xczhang/archive/2008/01/20/41508.html C++虚函数表解析(转) C++中的虚函数的作用主要是实现了多态的机制.关于多 ...
- 虚函数与虚函数表剖析(动多态)
探索C++虚函数在g++中的实现 本文是我在追查一个诡异core问题的过程中收获的一点心得,把公司项目相关的背景和特定条件去掉后,仅取其中通用的C++虚函数实现部分知识记录于此. 在开始之前,原谅我先 ...
- 【C++ Priemr | 15】虚函数表剖析(三)
一.虚拟菱形继承 #include <iostream> using namespace std;class B { public:int _b; };class C1 :virtual ...
- C++对象的内存布局1---基础篇----C++ 虚函数表解析
[-] 前言 虚函数表 一般继承(无虚函数覆盖) 一般继承(有虚函数覆盖) 多重继承(无虚函数覆盖) 多重继承(有虚函数覆盖) 安全性 结束语 附录一:VC中查看虚函数表 附录 二:例程 前言 C++ ...
- 深入剖析C++多态、VPTR指针、虚函数表
在讲多态之前,我们先来说说关于多态的一个基石------类型兼容性原则. 一.背景知识 1.类型兼容性原则 类型兼容规则是指在需要基类对象的任何地方,都可以使用公有派生类的对象来替代.通过公有继承,派 ...
- C++多态:多态实现原理剖析,虚函数表,评价多态,常见问答与实战【C++多态】(55)
虚函数表 一般继承(无虚函数覆写) 一般继承( 有虚函数覆写) 静态代码发生了什么 评价多态 常见问答与实战 问答 为什么虚函数必须是类的成员函数? 为什么类的静态成员函数不能为虚函数? 为什么构造函 ...
- C++ 面向对象(二)多态 : 虚函数、多态原理、抽象类、虚函数表、继承与虚函数表
目录 多态 多态的概念 多态的构成条件 虚函数 虚函数的重写 协变(返回值不同) 析构函数的重写(函数名不同) final和override final override 重载, 重写, 重定义对比 ...
- C++ 多态(二) : 虚函数、静态绑定、动态绑定、单/多继承下的虚函数表
文章目录 ⏰1.多态的原理--虚函数表
最新文章
- AngularJS安装配置与基础概要整理(上)
- 世界领先!详解蚂蚁金服自研数据库OceanBase的高可用及容灾方案
- ylb:创建数据库、表,对表的增查改删语句
- jquery mobile开发笔记之Ajax提交数据
- oracle导出导入emp,oracle导入导出操作
- java 中类的加载顺序
- Java并发编程实战~CyclicBarrier
- java 怎么启动线程_线程如何正确的启动
- Python进程间通信之管道Pipe
- mysql bat备份_Windows下简单的Mysql备份BAT脚本分享
- Total Commander工具栏图标 备份
- Swift 使用SwiftyJSON解析JSON数据
- Python系列 之 ReportLab库 pdfgen模块Canvas对象绘制图形和文本
- AmMap创建交互式Flash地图
- html5实例异步图片加载,JS+html5实现异步上传图片显示上传文件进度条功能示例...
- C#中的Obsolete特性
- 2020年GitHub上50个最受程序员欢迎的PHP开源项目
- 降息为什么会导致货币贬值呢,为啥货币贬值利于出口
- Win11预览体验计划显示Your PC does not meet the minimum hardware requirements...的解决方案
- REGEXP_REPLACE 函数
热门文章
- DevExpress GridControl 后台设置列
- UVa 11468 (AC自动机 概率DP) Substring
- datetime2 数据类型
- 1704:baoge的洗漱难题[黄]
- 基于C#.NET的--Windows进程管理工具
- 模拟智能手环的时间显示功能 c语言,HT1635AHT1635B在穿戴式运动手环的LED显示之C语言版.PDF...
- netapp管理地址_NetApp常用管理命令总结
- linux处理机调度实验报告,模拟Linux操作系统下处理机调度实验报告
- python2.7输入函数_Python2.7的用户输入函数有问题,无法让这些输入与程序一起工作...
- 注册表中shell文件不见了_win7系统注册表中的shell文件不小心被删除的解决方法...