MSVC和MinGW/GCC的菱形虚继承内存分布对比

已于 2022-04-18 10:48:38 修改
阅读量1k 收藏 1
点赞数 2
分类专栏： C++对象模型 文章标签： c++ gnu
于 2022-04-17 22:36:27 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_43626741/article/details/124232097
版权

前言：首先引入一个文章c++对象模型05：虚继承内存布局 这篇文章的作者把MSVC（Microsoft Visual C++ Compiler）的内存分布解释清楚了。但是我在测试的过程中发现结果和该作者的结果对不上，经过测试发现是编译器不同导致结果不一致，因为我测试用的是DEV C++编译器，DEV C++用的是MinGW/GCC。于是我想测试一下通过MinGW/GCC编译后的内存分布是怎样的，就有了以下这篇文章。

引用自c++对象模型05：虚继承内存布局 ：
虚继承解决了菱形继承中最派生类拥有多个间接父类实例的情况。虚继承的派生类的内存布局与普通继承很多不同，主要体现在：

  • 虚继承的派生类，如果定义了新的虚函数，则编译器为其生成一个虚函数指针（vptr）以及一张虚函数表。该vptr位于对象内存最前面。（非虚继承时，派生类新的虚函数直接扩展在基类虚函数表的下面。）
  • 虚继承的派生类有单独的虚函数表，基类也有单独的虚函数表，两部分之间用一个四个字节的0x00000000来作为分界。
  • 虚继承的派生类对象中，含有四字节的虚基表指针。

菱形虚拟继承下，最派生类D类的对象模型又有不同的构成了。在D类对象的内存构成上，有以下几点：

  • 在D类对象内存中，基类出现的顺序是：先是B1（最左父类），然后是B2（次左父类），最后是B（虚祖父类）。
  • D类对象的数据成员id放在B类前面，两部分数据依旧以0来分隔。
  • 编译器没有为D类生成一个它自己的vptr，而是覆盖并扩展了最左父类的虚基类表，与简单继承的对象模型相同。
  • 共同虚基类B的内容放到了派生类对象D内存布局的最后。

那么在MinGW中编译后又会是怎么样的内存分配呢？
先上结论：

  • 派生类中虚继承下来的基类虚函数表（vptr）和基类虚基类表（vbptr）共用一张表，下文统一叫基类虚函数表（下面例子中的A::vptr），基类所有的数据放在派生类的最后。
  • 虚继承自基类的派生类，无论派生类自己有没有虚函数，编译器都要为其生成一个虚函数指针（vptr）以及一张虚函表（和继承下来的是不同的表）。
  • 如果派生类生成的表内有重写（覆盖）了基类的虚函数，那么该函数会存在派生类的虚函数表中，而基类的虚基类表中的函数则会删除，且回收内存，回收后其他函数内存分布不变，意思就是如果是删除的中间的函数（比如基类中有三个虚函数f1，f2，f3），那么这个空位（f2）则会被回收，后面的位置（f3）则还是存在于基类的虚函数表中。（非虚继承时，派生类新的虚函数直接扩展在基类虚函数表的下面。）

对象模型：
在这里插入图片描述

class A
{
public:
	A(int i=99):a(i){}
	virtual void f0(){cout<<" A f0 ";}
	virtual void f1(){cout<<" A f1 ";}
	virtual void f2(){cout<<" A f2 ";}
	int a;	
};
class B : virtual public A
{
public:
	B(int i=100):b(i){}
	virtual void f1(){cout<<" B f1 ";}
	virtual void f3(){cout<<" B f3 ";}
	int b;
};

B类存储模型将为：

在这里插入图片描述

class A
{
public:
	A(int i=99):a(i){}
	virtual void f0(){cout<<" A f0 ";}
	virtual void f1(){cout<<" A f1 ";}
	virtual void f2(){cout<<" A f2 ";}
	
	int a;	
};
class B : virtual public A
{
public:
	B(int i=100):b(i){}
	virtual void f1(){cout<<" B f1 ";}
	virtual void f2(){cout<<" B f2 ";}
	virtual void f3(){cout<<" B f3 ";}
	int b;
};
class C : virtual public A
{
public:
	C(int i=101):c(i){}
	virtual void f2(){cout<<" C f2 ";}
	virtual void f4(){cout<<" C f4 "<<endl;}
	virtual void f6(){cout<<" C f6 ";}
	int c;
};

class D :  public B , public C
{
public:
	D(int i=102):d(i){}
	virtual void f2(){cout<<" D f2 ";}
	virtual void f3(){cout<<" D f3 ";}
	virtual void f4(){cout<<" D f4 ";}
	virtual void f7(){cout<<" D f7 ";}
	int d;
};

测试代码：

#include<iostream>
using namespace std;
typedef void(*Fun)();
class A
{
public:
	A(int i=99):a(i){}
	virtual void f0(){cout<<" A f0 ";}
	virtual void f1(){cout<<" A f1 ";}
	virtual void f2(){cout<<" A f2 ";}
	int a;	
};
class B : virtual public A
{
public:
	B(int i=100):b(i){}
	virtual void f1(){cout<<" B f1 ";}
	virtual void f3(){cout<<" B f3 ";}
	int b;
};
int main()
{
	B t;
	cout << "B对象内存大小为：" << sizeof(t) << endl;
	
	for(int i=0;i<sizeof(t)/4;i++)
		cout<<((int*)&t+i)<< " " <<*((int*)&t+i)<<endl;
	
	cout << "[0]B::vptr";
    cout << "\t地址：" << (int*)(&t) << endl;
	for (int i = 0; i < 2; ++i)
    {
        cout << "  [" << i << "]";
        Fun fun1 = (Fun) * ((int*)*(int*)(&t) + i);
        fun1();
        cout <<"  [" << i << "]"<< "\t地址：\t" << *((int*)*(int*)(&t) + i) << endl;
    }
    cout <<"  [" << "*" << "]"<< "\t虚基类表偏移量：\t" << *((int*)*(int*)(&t) + -3) << endl;
    
    cout << "[1]B::b=" << *(int*)((int*)(&t) + 1);
    cout << "\t地址：" << (int*)(&t) + 1 << endl;
    
    cout << "[2]A::vptr";
    cout << "\t地址：" << (int*)(&t)+2 << endl;
    for (int i = 0; i < 3 ; ++i)
    {
    	if(i == 1) continue;		//测试被派生类“挖”走的虚函数  注释就会段错误 
        cout << "  [" << i << "]";
        Fun fun1 = (Fun) * ((int*)*((int*)(&t)+2) + i);
        fun1();
        cout <<"  [" << i << "]"<< "\t地址：\t" << *((int*)*((int*)(&t)+2) + i) << endl;
    }
    cout <<"  [" << "*" << "]"<< "\t虚基类表偏移量：\t" << *((int*)*((int*)(&t)+2) + -3) << endl;
    
    cout << "[3]A::a=" << *(int*)((int*)(&t) + 3);
    cout << "\t地址：" << (int*)(&t) + 3 << endl;
    
}

测试结果：
在这里插入图片描述

在菱形继承中要注意几点：

  • 在派生类（D）中，如果继承自左父类（B）的基类虚函数表(A::vptr)中某一个函数被回收（上面图中说了为什么会回收），继承自右父类（C）的基类虚函数表(A::vptr)中某一个函数被回收，那么最终继承到派生类（D）的基类虚函数表（A::vptr）内存分布是B和C的虚函数表回收分布 与上（&） 的结果。
  • 在派生类中，如果左右父类重写了基类的f2()函数，那么基类必须要重写 f2() 函数，不然编译会出错，出错信息：[Error] no unique final overrider for 'virtual void A::f2()' in 'D'，因为是虚继承，所以D中只有一份A::f2()，不重写的话就不知道这份f2()是来自B还是C。

对象模型：

在这里插入图片描述

D类存储模型将为：
在这里插入图片描述

测试代码：

#include<iostream>
using namespace std;
typedef void(*Fun)();

class A
{
public:
	A(int i=99):a(i){}
	virtual void f0(){cout<<" A f0 ";}
	virtual void f1(){cout<<" A f1 ";}
	virtual void f2(){cout<<" A f2 ";}
	
	int a;	
};
class B : virtual public A
{
public:
	B(int i=100):b(i){}
	virtual void f1(){cout<<" B f1 ";}
	virtual void f2(){cout<<" B f2 ";}
	virtual void f3(){cout<<" B f3 ";}
	int b;
};
class C : virtual public A
{
public:
	C(int i=101):c(i){}
	virtual void f2(){cout<<" C f2 ";}
	virtual void f4(){cout<<" C f4 "<<endl;}
	virtual void f6(){cout<<" C f6 ";}
	int c;
};

class D :  public B , public C
{
public:
	D(int i=102):d(i){}
	virtual void f2(){cout<<" D f2 ";}
	virtual void f3(){cout<<" D f3 ";}
	virtual void f4(){cout<<" D f4 ";}
	virtual void f7(){cout<<" D f7 ";}
	int d;
};


int main()
{
	D t;
	cout << "D对象内存大小为：" << sizeof(t) << endl;
	
	cout << "[0]B::vptr";
    cout << "\t地址：" << (int*)(&t) << endl;
	for (int i = 0; i < 5; ++i)
    {
        cout << "  [" << i << "]";
        Fun fun1 = (Fun) * ((int*)*(int*)(&t) + i);
        fun1();
        cout <<"  [" << i << "]"<< "\t地址：\t" << *((int*)*(int*)(&t) + i) << endl;
    }
    cout <<"  [" << "*" << "]"<< "\t虚基类表偏移量：\t" << *((int*)*((int*)(&t)+0) + -3) << endl;
    
    cout << "[1]B::b=" << *(int*)((int*)(&t) + 1);
    cout << "\t地址：" << (int*)(&t) + 1 << endl;
    
    cout << "[2]C::vptr";
    cout << "\t地址：" << (int*)(&t)+2 << endl;
    for (int i = 0; i < 3; ++i)
    {
        cout << "  [" << i << "]";
        Fun fun1 = (Fun) * ((int*)*((int*)(&t)+2) + i);
        fun1();
        cout <<"  [" << i << "]"<< "\t地址：\t" << *((int*)*((int*)(&t)+2) + i) << endl;
    }
    cout <<"  [" << "*" << "]"<< "\t虚基类表偏移量：\t" << *((int*)*((int*)(&t)+2) + -3) << endl;
    
    cout << "[3]C::c=" << *(int*)((int*)(&t) + 3);
    cout << "\t地址：" << (int*)(&t) + 3 << endl;
    
    cout << "[4]D::d=" << *(int*)((int*)(&t) + 4);
    cout << "\t地址：" << (int*)(&t) + 4 << endl;
    
    cout << "[5]A::vptr";
    cout << "\t地址：" << (int*)(&t)+5 << endl;
    for (int i = 0; i < 1; ++i)
    {
        cout << "  [" << i << "]";
        Fun fun1 = (Fun) * ((int*)*((int*)(&t)+5) + i);
        fun1();
        cout <<"  [" << i << "]"<< "\t地址：\t" << *((int*)*((int*)(&t)+5) + i) << endl;
    }
    cout <<"  [" << "*" << "]"<< "\t虚基类表偏移量：\t" << *((int*)*((int*)(&t)+5) + -3) << endl;
    
    cout << "[6]D::d=" << *(int*)((int*)(&t) + 6);
    cout << "\t地址：" << (int*)(&t) + 6 << endl;
    
    cout<<endl;
    
	//for(int i=0;i<sizeof(t)/4;i++)
		//cout<<((int*)&t+i)<< " " <<*((int*)&t+i)<<endl;
	return 0;
 }

测试结果：在这里插入图片描述

参考：C++在gcc下的单继承，多继承，虚继承的内存布局

有错误请指出

大吕廿
关注
  • 2
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
SeggerEval_WIN32_MSVC_MinGW_GUI_V616
12-28
EMWIN模拟器 仿真器 v6.16新版
SeggerEval_WIN32_MSVC_MinGW_GUI_V616.zip
06-21
The trial version of emWin contains a full library which allows you to evaluate all available features of emWin. It also includes the emWin viewer (used for debugging applications), as well as demo ...
C++对象内存布局--⑩GCC编译器--虚拟继承--菱形继承
weixin_33827590的博客
08-20 53
C++对象内存布局--⑩GCC编译器--虚拟继承--菱形继承 //GCC编译器--虚拟继承--菱形继承.cpp //2010.8.19 //GCC编译器 #include &lt;iostream&gt; using namespace std; //////////////////////////////////////////////////////////////// cl...
继承、虚继承、虚函数内存分布（MSVC下）
JACKSONMHLK的博客
03-31 1906
msvc 和 gcc 在虚继承内存上处理不太一样，还未研究完。
GNU、GCC、MinGW与MSVC
最新发布
xiao_li_ya的博客
05-06 415
GCC（GNU Compiler Collection，GNU编译器套件）是由GNU开发的编程语言编译器。它是GNU项目的一部分，是一个由自由软件基金会（FSF）开发和维护的编译器套件，用于编译各种编译语言，GNU编译器套件包括C、C++、Objective-C、Java、Ada和Go语言前端，也包括了这些语言的库（如libstdc++，libgcj等），GCC是一个强大的工具集，被广泛用于开发各种类型的软件，从嵌入式系统到大型服务器应用程序。
服务器正文21:不同编译器对预编译的处理（简单介绍msvc和gcc）及常用gcc编译指令、跨平台debug、release不同指令flag选择
谢白羽
07-28 1137
编译器对预编译支持的处理
MSVC++ 对象内存模型深入解析与具体应用
yysdsyl的专栏
03-11 1682
第一篇：C++基本类型与结构体内存布局 Reference: http://cnblogs.com/itechKey words: class,  struct, memory alignment1. 基本类型（basic type）    1//test the size of class and struct 2void TestBasicSizeOf()  3{  4  
msvc MinGW gcc g++关系
Dontla的博客
10-22 943
首先，msvc是windows下针对c、cpp的编译器 gcc，g++一般是GNU下针对linux编译器 MinGW是跨平台的，能在windows上编译linux的c cpp程序
SeggerEval_WIN32_MSVC_MinGW_GUI_V610.zip
02-23
SeggerEval_WIN32_MSVC_MinGW_GUI_V610.zip,emWin6.10版本，PC端模拟器，未经过任何处理的源压缩包
SeggerEval_WIN32_MSVC_MinGW_GUI_V550.rar
07-06
SeggerEval_WIN32_MSVC_MinGW_GUI_V550原版的代码，由于国外服务器太慢，我帮忙传上来。
SeggerEval_WIN32_MSVC_MinGW_GUI_V612.zip
04-14
SeggerEval_WIN32_MSVC_MinGW_GUI_V612 是 emWin 的最新 PC 端模拟器. 里面关于 CodeBlock 和 VS2019 可参考 ReadME.md 进行配置, 亲测有效~
c++ 虚拟继承,gcc内存分布情况
gonaYet的博客
01-02 310
转载路径:http://www.oschina.net/translate/cpp-virtual-inheritance
C/C++：MSVC与GCC的常见区别
TriAlley的博客
10-24 6114
1.mavc不能定义常量长度的数组…md C99标准硬往C++套，害得我new数组new了好几年…
C语言不同操作系统不同编译器，msvc mingw gcc cmake VS的理解
邮箱：feboreigns001@163.com
04-23 2166
编译器的编译有两步 1 源代码生成汇编码 2 汇编语言生成可执行文件的二进制机器码 其中的build还有link，我还没搞懂，暂时也不需要那么深入，后续可以去看《编译原理》 二进制机器码要先访问操作系统，再由操作系统访问CPU和内存等硬件 不同的操作系统有相应的二进制机器码的规范 所以不同的操作系统要用不同的编译器 在 GNU中（GNU是某个内核为Linux的操作系统，除了GNU还有安卓，内核可以理解成为汽车发动机，GNU和安卓理解为车壳）使用的是gcc和g++编译器 在WINDOWS平台中使用的是msvc
MSVC和gcc得到不同结果
zxg519的专栏
01-15 1230
写了个小程序，在MSVC 2008 和 gcc 3.4.4 ( under cygwin)下面跑了一下， 发现结果不一样。      gcc 3.4.4:                   1               1      gcc 4.5.2                    2               2     MSVC:                    
MSVC与GCC的差异（收集中)
winux的专栏
05-21 4521
1. 变长数组的支持. void f(int len) { char buf[len]; }   GCC支持，MSVC不支持  2. 临时变量作为函数参数传递 f(const QString& s);g(QString& s); f("abc");  //MSVC通过，GCC不通过g("abc"); //MSVC和GCC都通过  3
#日常记录 VS和MinGW对同一段代码产生不同的编译结果
m0_48208707的博客
08-05 198
记得C++中cout输出时的运算顺序是从右到左，输出顺序是从左到右。 但今天用代码测试发现了问题：在VScode上使用MinGW编译，没有得到按照上述逻辑理应出现的结果，在VS上测试的结果却符合预想。原因可能是使用了不同的编译器。 完整代码： #include<iostream> using namespace std; int main() { int a = 1; cout << ++a << endl << a++ << endl;
MinGW、GCC、GNU和MSVC是什么？有什么区别？
qq_29495615的博客
09-27 3138
MinGW使得开发者能够在Windows上开发和编译使用GNU工具链的应用程序，它提供了一种轻量级的方式在Windows环境下进行开发。MinGW和GCC是用于在Windows环境下进行GNU开发的工具和编译器，而GNU是一个自由软件项目，提供了一系列的开发工具和库。MSVC是微软公司开发的C++编译器和集成开发环境，专注于Windows平台的开发。GNU以开源和自由软件的理念而闻名，为用户提供了更大的自由度和可定制性。GCC是一个跨平台的编译器，提供了许多优化选项和功能，以生成高质量的可执行文件。
MSVC和mingw
08-09
MSVC使用自己的编译器和运行时库，而MinGW使用GCC和GNU工具链。另外，由于MSVC是微软开发的，因此在Windows平台上使用MSVC编译的代码可能更好地集成到Windows环境中。 选择使用哪个编译器通常取决于你的需求和偏好...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值