C++多态和对象的内存布局(四)

最新推荐文章于 2022-07-08 10:56:53 发布
最新推荐文章于 2022-07-08 10:56:53 发布
阅读量339 收藏 1
点赞数 2
分类专栏： C/C++ 文章标签： C/C++ C++内存布局 菱形继承 virtual关键字
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/yuupengsun/article/details/104234797
版权

续：

C++多态和对象的内存布局(一)

C++多态和对象的内存布局(二)

C++多态和对象的内存布局(三)

 

14. 普通钻石继承

程序输出:
sizeof(Ba_1)   = 12
sizeof(Derive_1) = 20
sizeof(Derive_2) = 20
sizeof(Derive_3) = 48   为什么这么大？？

Base1内存布局：
1>  class Base_1    size(12):
1>      +---
1>   0    | {vfptr}
1>   4    | base1_1
1>   8    | base1_2
1>      +---
Base1虚函数表:
1>  Base_1::$vftable@:
1>      | &Base_1_meta
1>      |  0
1>   0    | &Base_1::base_1_fun_1
1>   1    | &Base_1::base_1_fun_2

1>  Base_1::base_1_fun_1 this adjustor: 0
1>  Base_1::base_1_fun_2 this adjustor: 0

Derive1内存布局：
1>  class Derive_1    size(20):
1>      +---
1>   0    | +--- (base class Base_1)
1>   0    | | {vfptr}
1>   4    | | base1_1
1>   8    | | base1_2
1>      | +---
1>  12    | derive1_1
1>  16    | derive1_2
1>      +---
Derive1虚函数表:
1>  Derive_1::$vftable@:
1>      | &Derive_1_meta
1>      |  0
1>   0    | &Base_1::base_1_fun_1
1>   1    | &Base_1::base_1_fun_2
1>   2    | &Derive_1::derive_1_fun1
1>   3    | &Derive_1::derive_1_fun2

1>  Derive_1::derive_1_fun1 this adjustor: 0
1>  Derive_1::derive_1_fun2 this adjustor: 0

Derive2内存布局：
1>  class Derive_2    size(20):
1>      +---
1>   0    | +--- (base class Base_1)
1>   0    | | {vfptr}
1>   4    | | base1_1
1>   8    | | base1_2
1>      | +---
1>  12    | derive2_1
1>  16    | derive2_2
1>      +---

Derive2虚函数表:
1>  Derive_2::$vftable@:
1>      | &Derive_2_meta
1>      |  0
1>   0    | &Base_1::base_1_fun_1
1>   1    | &Base_1::base_1_fun_2
1>   2    | &Derive_2::derive_2_fun1
1>   3    | &Derive_2::derive_2_fun2

1>  Derive_2::derive_2_fun1 this adjustor: 0
1>  Derive_2::derive_2_fun2 this adjustor: 0

Derive3内存布局：
1>  class Derive_3    size(48):
1>      +---
1>   0    | +--- (base class Derive_1)
1>   0    | | +--- (base class Base_1)  共有基类Base_1内存
1>   0    | | | {vfptr}
1>   4    | | | base1_1    
1>   8    | | | base1_2
1>      | | +---
1>  12    | | derive1_1
1>  16    | | derive1_2
1>      | +---
1>  20    | +--- (base class Derive_2)
1>  20    | | +--- (base class Base_1)  又有一份共有基类Base_1内存 ， 跟我们想要的不一样？
1>  20    | | | {vfptr}
1>  24    | | | base1_1
1>  28    | | | base1_2
1>      | | +---
1>  32    | | derive2_1
1>  36    | | derive2_2
1>      | +---
1>  40    | derive3_1
1>  44    | derive3_2
1>      +---

Derive3虚函数表Derive_1:
1>  Derive_3::$vftable@Derive_1@:
1>      | &Derive_3_meta
1>      |  0
1>   0    | &Base_1::base_1_fun_1    Base_1虚函数
1>   1    | &Base_1::base_1_fun_2    Base_1虚函数
1>   2    | &Derive_1::derive_1_fun1
1>   3    | &Derive_1::derive_1_fun2
1>   4    | &Derive_3::derive_3_fun1
1>   5    | &Derive_3::derive_3_fun2

Derive3虚函数表Derive_2:
1>  Derive_3::$vftable@Derive_2@:
1>      | -20
1>   0    | &Base_1::base_1_fun_1    Base_1虚函数 重复
1>   1    | &Base_1::base_1_fun_2    Base_1虚函数 重复
1>   2    | &Derive_2::derive_2_fun1
1>   3    | &Derive_2::derive_2_fun2

1>  Derive_3::derive_3_fun1 this adjustor: 0
1>  Derive_3::derive_3_fun2 this adjustor: 0

class Base_1
{
public:
	int base1_1;
	int base1_2;

	virtual void base_1_fun_1() {}
	virtual void base_1_fun_2() {}
};

/************************
class Base_2
{
public:
	int base2_1;
	int base2_2;

	virtual void base_2_fun_1() {}
	virtual void base_2_fun_2() {}
};
***************************/

// 多继承
class Derive_1 : public Base_1
{
public:
	int derive1_1;
	int derive1_2;

	// Derive_1的虚函数
	virtual void derive_1_fun1() {}
	virtual void derive_1_fun2() {}
};

// 多继承
class Derive_2 : public Base_1
{
public:
	int derive2_1;
	int derive2_2;

	// Derive_1的虚函数
	virtual void derive_2_fun1() {}
	virtual void derive_2_fun2() {}
};

// 多继承
class Derive_3 : public Derive_1, public Derive_2
{
public:
	int derive3_1;
	int derive3_2;

	// Derive_1的虚函数
	virtual void derive_3_fun1() {}
	virtual void derive_3_fun2() {}
};


int main()
{
	cout << endl << "14. 普通钻石继承" << endl;

	cout << "sizeof(Base_1) = " << sizeof(Base_1) << endl;
	//cout << "sizeof(Base_2) = " << sizeof(Base_2) << endl;
	cout << "sizeof(Derive_1) = " << sizeof(Derive_1) << endl;
	cout << "sizeof(Derive_2) = " << sizeof(Derive_2) << endl;
	cout << "sizeof(Derive_3) = " << sizeof(Derive_3) << endl << endl;

	return 0;
}

15.钻石继承-带有virtual关键字

程序输出：
sizeof(Base_1) = 12
sizeof(Derive_1) = 24
sizeof(Derive_2) = 24
sizeof(Derive_3) = 44   比第14条少了4个字节

1>  class Base_1    size(12):
1>      +---
1>   0    | {vfptr}
1>   4    | base1_1
1>   8    | base1_2
1>      +---
1>
1>  Base_1::$vftable@:
1>      | &Base_1_meta
1>      |  0
1>   0    | &Base_1::base_1_fun_1
1>   1    | &Base_1::base_1_fun_2
1>
1>  Base_1::base_1_fun_1 this adjustor: 0
1>  Base_1::base_1_fun_2 this adjustor: 0
1>
1>  class Derive_1    size(28):
1>      +---
1>   0    | {vfptr}
1>   4    | {vbptr}    多了一个指针：vbptr指的是虚基类表指针virtual base table pointer
1>   8    | derive1_1
1>  12    | derive1_2
1>      +---
1>      +--- (virtual base Base_1)
1>  16    | {vfptr}
1>  20    | base1_1
1>  24    | base1_2
1>      +---
1>
1>  Derive_1::$vftable@Derive_1@:
1>      | &Derive_1_meta
1>      |  0
1>   0    | &Derive_1::derive_1_fun1
1>   1    | &Derive_1::derive_1_fun2
1>
1>  Derive_1::$vbtable@:
1>   0    | -4
1>   1    | 12 (Derive_1d(Derive_1+4)Base_1)
1>
1>  Derive_1::$vftable@Base_1@:
1>      | -16
1>   0    | &Base_1::base_1_fun_1
1>   1    | &Base_1::base_1_fun_2
1>
1>  Derive_1::derive_1_fun1 this adjustor: 0
1>  Derive_1::derive_1_fun2 this adjustor: 0
1>  vbi:       class  offset o.vbptr  o.vbte fVtorDisp  表示从当前类Derive_1 偏移16可以找到基类Base_1的内容
1>            Base_1      16       4       4 0
1>
1>  class Derive_2    size(28):
1>      +---
1>   0    | {vfptr}
1>   4    | {vbptr}     多了一个指针：vbptr指的是虚基类表指针virtual base table pointer
1>   8    | derive2_1
1>  12    | derive2_2
1>      +---
1>      +--- (virtual base Base_1)
1>  16    | {vfptr}
1>  20    | base1_1
1>  24    | base1_2
1>      +---
1>
1>  Derive_2::$vftable@Derive_2@:
1>      | &Derive_2_meta
1>      |  0
1>   0    | &Derive_2::derive_2_fun1
1>   1    | &Derive_2::derive_2_fun2
1>
1>  Derive_2::$vbtable@:
1>   0    | -4
1>   1    | 12 (Derive_2d(Derive_2+4)Base_1)
1>
1>  Derive_2::$vftable@Base_1@:
1>      | -16
1>   0    | &Base_1::base_1_fun_1
1>   1    | &Base_1::base_1_fun_2
1>
1>  Derive_2::derive_2_fun1 this adjustor: 0
1>  Derive_2::derive_2_fun2 this adjustor: 0
1>  vbi:       class  offset o.vbptr  o.vbte fVtorDisp  表示从当前类Derive_2 偏移16可以找到基类Base_1的内容
1>            Base_1      16       4       4 0
1>
1>  class Derive_3    size(52):
1>      +---
1>   0    | +--- (base class Derive_1) 表示从当前类Derive_3 偏移0可以找到基类Derive_1的内容
1>   0    | | {vfptr}
1>   4    | | {vbptr}  多了一个指针：vbptr指的是虚基类表指针virtual base table pointer
1>   8    | | derive1_1
1>  12    | | derive1_2
1>      | +---
1>  16    | +--- (base class Derive_2)      表示从当前类Derive_3 偏移16可以找到基类Derive_2的内容
1>  16    | | {vfptr}     
1>  20    | | {vbptr}  多了一个指针：vbptr指的是虚基类表指针virtual base table pointer
1>  24    | | derive2_1
1>  28    | | derive2_2
1>      | +---
1>  32    | derive3_1
1>  36    | derive3_2
1>      +---
1>      +--- (virtual base Base_1)  只有一份共有基类Base_1 的内容
1>  40    | {vfptr}                   表示从当前类Derive_3 偏移40可以找到共有基类Base_1的内容
1>  44    | base1_1
1>  48    | base1_2
1>      +---
1>
1>  Derive_3::$vftable@Derive_1@:
1>      | &Derive_3_meta
1>      |  0
1>   0    | &Derive_1::derive_1_fun1
1>   1    | &Derive_1::derive_1_fun2
1>   2    | &Derive_3::derive_3_fun1  还是一样追加到了第一个拥有虚函数表的末尾
1>   3    | &Derive_3::derive_3_fun2
1>
1>  Derive_3::$vftable@Derive_2@:
1>      | -16
1>   0    | &Derive_2::derive_2_fun1
1>   1    | &Derive_2::derive_2_fun2
1>
1>  Derive_3::$vbtable@Derive_1@:
1>   0    | -4
1>   1    | 36 (Derive_3d(Derive_1+4)Base_1)
1>
1>  Derive_3::$vbtable@Derive_2@:
1>   0    | -4
1>   1    | 20 (Derive_3d(Derive_2+4)Base_1)
1>
1>  Derive_3::$vftable@Base_1@:
1>      | -40
1>   0    | &Base_1::base_1_fun_1
1>   1    | &Base_1::base_1_fun_2
1>
1>  Derive_3::derive_3_fun1 this adjustor: 0
1>  Derive_3::derive_3_fun2 this adjustor: 0
1>  vbi:       class  offset o.vbptr  o.vbte fVtorDisp
1>            Base_1      40       4       4 0              表示从当前类Derive_3 偏移40可以找到共有基类Base_1的内容

 

class Base_1
{
public:
	int base1_1;
	int base1_2;

	virtual void base_1_fun_1() {}
	virtual void base_1_fun_2() {}
};

/************************
class Base_2
{
public:
	int base2_1;
	int base2_2;

	virtual void base_2_fun_1() {}
	virtual void base_2_fun_2() {}
};
***************************/

// 多继承
class Derive_1 : virtual public Base_1
{
public:
	int derive1_1;
	int derive1_2;

	// Derive_1的虚函数
	virtual void derive_1_fun1() {}
	virtual void derive_1_fun2() {}
};

// 多继承
class Derive_2 : virtual public Base_1
{
public:
	int derive2_1;
	int derive2_2;

	// Derive_1的虚函数
	virtual void derive_2_fun1() {}
	virtual void derive_2_fun2() {}
};

// 多继承
class Derive_3 : public Derive_1, public Derive_2
{
public:
	int derive3_1;
	int derive3_2;

	// Derive_1的虚函数
	virtual void derive_3_fun1() {}
	virtual void derive_3_fun2() {}
};


int main()
{
	cout << endl << "15.钻石继承-带有virtual关键字" << endl;

	cout << "sizeof(Base_1) = " << sizeof(Base_1) << endl;
	//cout << "sizeof(Base_2) = " << sizeof(Base_2) << endl;
	cout << "sizeof(Derive_1) = " << sizeof(Derive_1) << endl;
	cout << "sizeof(Derive_2) = " << sizeof(Derive_2) << endl;
	cout << "sizeof(Derive_3) = " << sizeof(Derive_3) << endl << endl;

	return 0;
}

 

未完待续：

C++多态和对象的内存布局(一)

C++多态和对象的内存布局(二)

C++多态和对象的内存布局(三)

SSSS的博客
关注
  • 2
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
c++多态情况下对象内存布局
zhang2531的专栏
08-31 849
今天在复习C++多态时有个问题没弄清楚，子类继承含有虚函数的父类时，子类的虚表是否是公用的？如果是公用的，虚表什么时候创建？为了弄清楚这个问题，写了以下程序来验证。得到了如下结论： 子类的虚表是公用，虚表创建于第一个实例构造之时，所有子类实例虚表指针都指向这块虚表。同时也验证了C++对象的内存布局 以下是验证代码： #include "stdafx.h" #include usin
C++ 对象内存布局和多态实现原理
Do-Program的专栏
08-23 1098
进入主题前，先把工具设置好。本文使用编译测试环境：Visual Studio 2013 VS2013查看类内存布局设置方式如下截图： 先选择左侧的C/C++->命令行，然后在其他选项这里写上/d1 reportAllClassLayout，它可以看到所有相关类的内存布局，如果写上/d1 reportSingleClassLayoutXXX（XXX为类名），则只会打出指定类XXX
多态的类，内存布局情况
qq_42574951的博客
06-15 341
文章目录（1）虚继承：（2）多重继承：（3）普通继承（含有：空类、虚函数）（4）虚继承（多重继承和虚函数）（5）虚继承与虚函数小结 关于类的内存布局主要是考某个类所占用的内存大小，以下通过几个案例加以分析 （1）虚继承： 如果是虚继承，那么就会为这个类创建一个虚表指针，占用4个字节 （2）多重继承： 如果是以虚继承实现多重继承，记得减掉基类的副本 （3）普通继承（含有：空类、虚函数） （4）虚继承（多重继承和虚函数） 前辈总结说：如果不是虚继承的类，即便有虚函数也不会因此增加存储空间，如果是虚继承的
C++多态虚函数表内存布局
书山有路勤为径
07-08 686
假设有一个基类ClassA，一个继承了该基类的派生类ClassB，并且基类中有虚函数，派生类实现了基类的虚函数。 我们在代码中运用多态这个特性时，通常以两种方式起手： (1) ClassA *a = new ClassB(); (2) ClassB b; ClassA *a = &b; 以上两种方式都是用基类指针去指向一个派生类实例，区别在于第1个用了new关键字而分配在堆上，第2个分配在栈上。请看上图，不同两种方式起手仅仅影响了派生类对象实例存在的位置。...
C++多态和对象的内存布局(三)
SSSS的博客
02-05 398
续 C++多态和对象的内存布局(一) C++多态和对象的内存布局(二) 9. 普通多继承不存在函数覆盖，各自有各自的虚函数 程序输出： sizeof(Base_1) = 12 sizeof(Base_2) = 12 sizeof(Derive_1) = 32 (为什么只有32大小？难道Derive类对象没有虚函数指针？？？看第十条分析) Base1内存布局： 1> cla...
理解多态--边看例子边画内存（一）
王温暖的博客
11-26 1822
本文参考总结了某马培训机构和其他博客上面的一些例子。 多态的前提：        a.要有继承关系        b.要有方法重写        c.父类引用指向子类对象 多态中的成员访问特点：        （1）成员变量：编译看左边，运行看左边        （2）成员方法：编译看左边，运行看右边 （动态绑定）        （3）静态方法：编译看左
c++多态内存布局1
08-08
总结起来，C++中的多态内存布局涉及到虚函数表和虚函数指针，它们使得在运行时能够根据对象的实际类型动态绑定函数调用。理解和掌握这一概念对于编写高效且灵活的多态代码至关重要。在实际编程中，使用虚函数可以...
C++对象布局及多态实现之动态和强制转换
01-19
从这部分开始我们除了利用内存的信息打印来进行探索外，更多的会通过跟踪和观察编译器产生的汇编代码来理解编译器对这些语言特性的实现方式。汇编方面知识的讨论超出了本文的范围，我只对和我们讨论相关的汇编代码...
关于C++对象继承中的内存布局示例详解
12-25
本文给大家介绍的是关于C++对象继承的内存布局的相关内容，分享出来供大家参考学习，在开始之前说明下，关于单继承和多继承的简单概念可参考此文章 以下编译环境均为：WIN32+VS2015 虚函数表 对C++ 了解的人都应该...
EDA/PLD中的C++对象布局及多态实现之动态和强制转换
11-18
在C++中，虚继承可以消除钻石继承问题，确保单一继承路径，但同时也可能导致对象的内存布局发生变化。普通成员函数的调用通常是静态绑定的，也就是说，函数的调用地址在编译时已经确定。然而，对于虚函数，调用是...
类对象在内存布局、多态实现原理
weixin_42173948的博客
06-27 183
class是一种特殊的struct 在内存中class依旧可以看成是变量的集合 class和struct遵循相同的内存对齐原则 class的成员变量和成员函数是分开存放的 每个对象有独立的成员变量，存栈、堆、全局数据区 类所有对象共享类的成员函数，存代码段 #include <iostream> #include <string> using namespace std; class A { int i; int j; char c; double d; pub
C++多态调用和继承内存分布
qwe_lingkun的专栏
08-07 769
以下面代码为例： class A { public: int a; A() { a = 1; } virtual void fA() { printf("A\n"); } void fAA() { printf("AA\n"); } }; class B { publ
[C++基础]虚继承实现原理
超越
04-12 1284
在Ｃ++中，我们会遇到virtual这个关键字，但是它有两种含义：虚函数和虚继承，它们两个是完全无相关的两个概念。 什么是虚继承 虚继承是解决C++多重继承问题的一种手段，从不同途径继承来的同一基类，会在子类中存在多份拷贝。这将存在两个问题：其一，浪费存储空间；第二，存在二义性问题，通常可以将派生类对象的地址赋值给基类对象，实现的具体方式是，将基类指针指向继承类（继承类有基类的拷贝）中的基...
虚函数表
zhouxinfeng的专栏
09-07 299
原文地址 http://yoyo.is-programmer.com/posts/10671.html 检测方法（VS2005）：项目命令行加上参数/d1reportAllClassLayout，在编译时CTRL+F5搜索输出，查看类的对象布局。 vftable - 虚函数表; vbtable - 虚继承的父类表; member - 类的成员变量（这个只是写作方便说明 = =）。
记录：C++类内存分布(虚继承与虚函数)
aiduan6474的博客
10-13 113
工具：VS2013 先说一下VS环境下查看类内存分布的方法： 先选择左侧的C/C++->命令行，然后在其他选项这里写上/d1 reportAllClassLayout，它可以看到所有相关类的内存布局，如果写上/d1 reportSingleClassLayoutXXX（XXX为类名），则只会打出指定类XXX的内存布局。 编译后，输出如图的内存布局： 测试代码 #include...
C++虚函数表分析
乐观进取　奋斗不止
10-13 1545
在逆向C++>>一文中提到 VC6.0 以上的编译器支持一个d1reportAllClassLayout的开关, 可以输出所有对象的内存布局信息, 我自己常用vs2005来开发，所以这里我就以vs2005为例讲怎么设置d1reportAllClassLayout。         右键项目属性(Properties)—》配制属性(Configuration Properties)—》C/C++-
[C++基础]对象内存分布--虚继承
超越
03-26 736
virtual在C++中最大的功能就是声明虚函数和虚基类。虚拟继承是为了解决多重继承下公共基类的多份拷贝问题。 虚继承 虚继承解决了菱形继承中对派生类拥有多个间接父类实例的情况。虚继承的派生类的内存布局与普通继承很多不同，主要体现在： 虚继承的子类，如果本身定义了新的虚函数，则编译器为其生成一个虚函数指针（vptr）以及一张虚函数表。该vptr位于对象内存最前面。vs非虚继承：直接扩展父类虚...
c++中的vtordisp域
我的新博客
11-15 2630
注：vs2010中虚拟继承中只要派生类重写了基类的虚函数，并且派生类显示声明的构造函数，此时vtordisp域就会被添加，devc++中貌似没有添加这个字段
虚函数与虚继承寻踪
coderchen
01-15 1397
非原创，摘自C++前辈(组员)ZMF。 封装、继承、多态是面向对象语言的三大特性，熟悉C++的人对此应该不会有太多异议。C语言提供的struct，顶多算得上对数据的简单封装，而C++的引入把struct“升级”为class，使得面向对象的概念更加强大。继承机制解决了对象复用的问题，然而多重继承又会产生成员冲突的问题，虚继承在我看来更像是一种“不得已”的解决方案。多态让对象具有了运行时特性
C++多态：对象内存布局与动态绑定详解
总结来说，本文围绕C++的对象内存布局和多态机制展开，重点讲解了虚函数的使用以及其在多继承中的内存优化，展示了多态如何通过继承和动态绑定提高代码的灵活性和可维护性。这对于理解和运用C++面向对象编程至关重要...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值