【转】C++多继承的细节
这几天写的程序应用到多继承。
以前对多继承的概念非常清晰,可是很久没用就有点模糊了。重新研究一下,“刷新”下记忆。
假设我们有下面的代码:
#include <stdio.h>
class A
{
private:
char data;
public:
A(){data = 'A';}
virtual void Show(){printf("A/n");};
virtual void DispA(){printf("a/n");};
};
class B
{
private:
int data;
public:
B(){data = 'B';}
virtual void Show(){printf("B/n");};
virtual void DispB(){printf("b/n");};
};
class C
{
private:
char data;
public:
C(){data = 'C';}
virtual void Show(){printf("C/n");};
virtual void DispC(){printf("c/n");};
};
class D : public A, public B, public C
{
public:
char data;
public:
D(){data = 'D';}
virtual void Show(){printf("D/n");};
virtual void DispD(){printf("d/n");};
};
class E : public D
{
private:
char data;
public:
E(){data = 'E';}
virtual void Show(){printf("E/n");};
virtual void DispE(){printf("e/n");};
};
int main()
{
D *d = new D;
A *a = (A*)d;
B *b = (B*)d;
C *c = (C*)d;;
d->Show();
a->Show();
b->Show();
a->DispA();
b->DispB();
d->DispD();
D *d1 = (D*)a;
d1->Show();
d1->DispD();
D *d2 = (D*)b;
d2->Show();
d2->DispD();
char x = d->data;
return 0;
}
每个类都有两个虚拟函数Show()和DispX()。类A,B,C是基本类,而D是多继承,最后E又继承了D。那么对于类E,它的内存映像是怎样的呢?为了解答这个问题,我们回顾一下基本类的内存映像:
+ --------------+ <- this
+ VTAB +
+ --------------+
+ +
+ Data +
+ +
+ --------------+
如果一个类有虚拟函数,那么它就有虚函数表(VTAB)。类的第一个单元是一个指针,指向这个虚函数表。如果类没有虚函数,并且它的祖先(所有父类)均没有虚函数,那么它的内存映像和C的结构一样。所谓虚函数表就是一个数组,每个单元指向一个虚函数地址。
如果类Y是类X的一个继承,那么类Y的内存映像如下:
+ --------------+ <- this
+ Y 的 VTAB +
+ --------------+
+ +
+ X 的 Data +
+ +
+ --------------+
+ +
+ Y 的 Data +
+ +
+ --------------+
Y的虚函数表基本和X的相似。如果Y有新的虚函数,那么就在VTAB的末尾加上一个。如果Y重新定义了原有的虚函数,那么原的指针指向新的函数入口。这样无论是内存印象和虚函数表,Y都和X兼容。这样当执行 X* x = (Y*)y;之后,x可以很好的被运用,并且可以享受新的虚拟函数。
现在看多重继承:
class D : public A, public B, public C
{
....
}
它的内存映像如下:
+ --+ -----------------+ 00H <- this
+ + D 的 VTAB +
+ A + -----------------+ 04H
+ + A 的 数据 +
+ --+ -----------------+ 08H
+ + B 的 VTAB' +
+ B + -----------------+ 0CH
+ + B 的 数据 +
+ --+ -----------------+ 10H
+ + C 的 VTAB' +
+ C + -----------------+ 14H
+ + C 的 数据 +
+ --+ -----------------+ 18H
+ D + D 的 数据 +
+ --+ -----------------+
(因为对齐于双字,A~D的数据虽然只是一个char,但需要对齐到DWORD,所以占4字节)
对于A,它和单继承没有什么两样。B和C被简单地放在A的后面。如果它们虚函数在D中被重新定义过(比如Show函数),那么它们需要使用新的VTAB,使被重定义的虚函数指到正确的位置上(这对于COM或类似的技术是至关重要的)。最后,D的数据被放置到最后面。
对于E的内存映像问题就可以不说自明了。
下面我们看一下C++是如何处理
D *d;
......
B *b = (B*)d;
这样的要求的。设置断点,进入反汇编,你可以看到如下的汇编代码:(因为UBB关系,将方括号替换成了大括号。看上去有点别扭)
B *b = (B*)d;
00401062 cmp dword ptr {d},0
00401066 je main+73h (401073h)
00401068 mov eax,dword ptr {d}
0040106B add eax,8
0040106E mov dword ptr {ebp-38h},eax
00401071 jmp main+7Ah (40107Ah)
00401073 mov dword ptr {ebp-38h},0
0040107A mov ecx,dword ptr {ebp-38h}
0040107D mov dword ptr {b},ecx
从上述汇编代码可以看出:如果源(这里是d)是NULL,那么目标(这里是b)也将被置为NULL,否则目标将指向源的地址并向下偏移8个字节,正好就是上图所示B的VTAB位置。至于为什么要用ebp-38h作缓存,这是编译器的算法问题了。等以后有时间再研究。
接下来看一个比较古怪的问题,这个也是我写这篇文章的初衷:
根据上面的多继承定义,如果给出一个类B的实例b,我们是否可以求出D的实例?
为什么要问这个问题。因为存在下面的可能性:
class B
{
...
virtual int GetTypeID()=0;
...
};
class D : public A, public B, public C
{
...
virtual int GetTypeID(){return 0;};
...
};
class Z : public X, public Y, public B
{
...
virtual int GetTypeID(){return 1;};
...
};
void MyFunc(B* b)
{
int t = b->GetTypeID();
switch(t)
{
case 0:
DoSomething((D*)b); //可能吗?
break;
case 1:
DoSomething((Z*)b); //可能吗?
break;
default:
break;
}
}
猛一看很值得怀疑。但仔细想想,这是可能的,事实也证明了这一点。因为编译器了解这D和B这两个类相互之间的关系(也就是偏移量),因此它会做相应的转换。同样,设置断点,查看汇编:
D *d2 = (D*)b;
00419992 cmp dword ptr {b},0
00419996 je main+196h (4199A6h)
00419998 mov eax,dword ptr {b}
0041999B sub eax,8
0041999E mov dword ptr {ebp-13Ch},eax
004199A4 jmp main+1A0h (4199B0h)
004199A6 mov dword ptr {ebp-13Ch},0
004199B0 mov ecx,dword ptr {ebp-13Ch}
004199B6 mov dword ptr {d2},ecx
如果源(这里是b)为NULL,那么目标(这里是d2)也为NULL。否则目标取源的地址并向上偏移8个字节,这样正好指向D的实例位置。同样,为啥需要ebp-13Ch做缓存,待查。
前一段时间因为担心.NET中将interface转成相应的类会有问题。今天对C++多重继承的复习彻底消除了疑云。
转载于:https://www.cnblogs.com/jiayy/p/4460223.html
【转】C++多继承的细节相关推荐
- Maven详解之聚合与继承
Maven详解之聚合与继承 说到聚合与继承我们都很熟悉,maven同样也具备这样的设计原则,下面我们来看一下Maven的pom如何进行聚合与继承的配置实现. 一.为什么要聚合? 随着技术的飞速发展和各 ...
- Java006-面向对象(继承)
定义 好处: 提高了代码的复用性. 让类与类之间产生了关系,提供了另一个特征多态的前提. 父类的由来: 其实是由多个类不断向上抽取共性内容而来的. java中对于继承,java只支持单继承.java虽 ...
- 1.4 面向对象编程中级 对象的继承与super关键字-跟着韩老师学JavaSE
大佬给推荐的韩顺平老师的课程 2021年刚刚录的船新版本! [零基础 快速学Java]韩顺平 零基础30天学会Java 硬把从另一个讲师那里看了300多集的我拽过来 几十节课一下子爱上这个节奏了!安利 ...
- Maven聚合和继承
Part one 我们在开发过程中,创建了2个以上的模块,每个模块都是一个独立的maven project,在开始的时候我们可以独立的编译和测试运行每个模块,但是随着项目的不断变大和复杂化,我们期望能 ...
- 八、面向对象的三大特性:封装,继承,多态
目录 1.封装 2.继承 2.1概述与应用 2.2不可继承性 2.3权限测试 2.4继承-重写(重点,难点) 2.5super与this的使用 3.多态 3.1多态核心 3.2多态直接引用 3.3多态 ...
- 继 承(面向对象特征之二)
好处: 1:提高了代码的复用性. 2:让类与类之间产生了关系,提供了另一个特征多态的前提. 父类的由来:其实是由多个类不断向上抽取共性内容而来的. java中对于继承,java只支持单继承.java虽 ...
- python PyQt5 QMainWindow类(Qt主窗口框架,主窗口提供了用于构建应用程序用户界面的框架)
https://doc.qt.io/qtforpython/PySide2/QtWidgets/QMainWindow.html?highlight=qmainwindow#PySide2.QtWid ...
- python PyQt5 QtWidgets.QAbstractSlider类(QScrollBar,QSlider和QDial之类的小部件的公共超类)
https://doc.qt.io/qtforpython/PySide2/QtWidgets/QAbstractSlider.html?highlight=valuechanged#qabstrac ...
- python PyQt5 QVBoxLayout 垂直布局管理
https://doc.qt.io/qtforpython/PySide2/QtWidgets/QVBoxLayout.html?highlight=qvboxlayout#PySide2.QtWid ...
最新文章
- 使用NetBeans6开发OSGi应用(3)——整合Knopflerfish![88250原创]
- php yii 控件分页,Yii2分页的使用及其扩展方法详解
- P3246 [HNOI2016]序列(莫队+单调栈+ST表)
- 工作241:判断数组里面是否有某个值
- 前端学习(1384):多人管理项目4资源的路径
- 使用 laravel Passport 做 API 认证
- java md5算法_JAVA实现MD5算法
- Pixy通过TTL转USB与电脑串口调试助手显示坐标
- Spring源码下载地址
- siege压力测试工具
- Android使用Webview无法弹框问题,及解决Error: Java exception was raised during method invocation
- 一对一直播源码开发,一对一视频直播解决方案新思路
- 王者荣耀游戏英文及翻译
- 基于opencvsharp的景深融合
- Domain-Adversarial Training of Neural Networks
- Not enough Memory
- IEEE期刊投稿流程
- asp.net在线考试系统实习报告
- HER608-ASEMI整流二极管R-6轴向插件封装
- 上班时间做“副业”被抓,程序员惨遭解雇,还要退还所有工资
热门文章
- js 页面打印,兼容单个打印和分页批量打印,自定义页眉和简单页脚
- 如何登录无线web认证服务器,路由器如何设置web认证的方式连接免费WIFI
- 项目1在线交流平台-7.构建安全高效的企业服务-2.使用Security自定义社区网页认证与授权
- XEN Crypto创始人分享设计理念及项目愿景
- 不定积分计算------倒代换+多项式除法计算不定积分
- Windows Server 2003的32位企业版支持4G以上内存
- 小秘谈币:谈谈炒币的几点感悟
- 《用事实说话》阅读心得
- 深入创新,共建原生 | 「DaoCloud 道客」与华钦科技签署合作备忘录
- NLP之逆向最大匹配算法(BMM)