文章目录
- 1 . 前言
- 2 . 无继承,无虚函数
- 3 . 无继承,有虚函数
- 4 . 单一继承,无虚函数
- 5 . 单一继承,有虚函数,虚析构
- 6 . 多重继承
- 7 . 菱形继承
- 8 . 虚拟继承
- 9 . 总结
【极客技术传送门】 : https://blog.csdn.net/Engineer_LU/article/details/135149485
1 . 前言
之前看过一些博主写的类内存排布,这边总结起来描述C++类在继承,虚函数,多继承,虚继承体现的内存排布,本文将直观简洁呈现出来
2 . 无继承,无虚函数
类代码,内存排布,如下所示 :
class Obj_A
{
private:
char a;
static int b;
public:
int c;
void func() {
}
};
小结 :无继承,无虚函数的情况下
1 . 静态成员编译分布在静态区,因此静态变量b不占用类内存
2 . 成员函数编译分布在代码区,因此成员函数func()不占用类内存
3 . 类的内存排布自顶而下分布,内存对齐按照系统平台编译而定,图中32位系统,因此内存对齐按4字节
3 . 无继承,有虚函数
类代码,内存排布,如下所示 :
class Obj_A
{
private:
char a;
static int b;
public:
int c;
void func() {
}
virtual void func1() {
}
};
小结 :无继承,有虚函数的情况下
1 . 只要类中有虚函数,编译就会生成一个 vfptr虚指针 指向虚表vftable , 其中 vfptr虚指针 根据平台所占,32位平台占用四字节
4 . 单一继承,无虚函数
类代码,内存排布,如下所示 :
class Obj_A
{
private:
char a;
static int b;
public:
int c;
void func() {
}
};
class Obj_B : public Obj_A
{
private:
char a;
public:
int b;
};
小结 :单一继承,无虚函数的情况下
1 . 继承 Obj_A 的内存,并且追加 Obj_B 新增的内存
5 . 单一继承,有虚函数,虚析构
- 子类不重写的情况,如下所示 :
class Obj_A
{
private:
char a;
static int b;
public:
int c;
virtual void func() {
}
};
class Obj_B : public Obj_A
{
private:
char a;
public:
int b;
};
- 子类重写的情况,如下所示 :
class Obj_A
{
private:
char a;
static int b;
public:
int c;
virtual void func() {
}
};
class Obj_B : public Obj_A
{
private:
char a;
public:
int b;
virtual void func() {
}
};
小结 :单一继承,有虚函数的情况下,并且讲解为什么加虚析构
1 . 子类对应虚函数重写的情况下,子类的虚表中将覆盖父类虚函数
2 . 在多态中,当通过父类指针删除子类对象时,那么释放时是希望子类父类一起释放的,因此父类的析构设为虚函数,当父类调用时,执行的是子类的析构,这样父类就会跟着一起析构
6 . 多重继承
类代码,内存排布,如下所示 :
class Obj_A
{
virtual ~Obj_A();
private:
int a;
public:
virtual void func() {
}
};
class Obj_B
{
virtual ~Obj_B();
private:
int a;
public:
void func() {
}
};
class Obj_C : public Obj_A, public Obj_B
{
virtual ~Obj_C();
private:
char a;
public:
int b;
};
小结 :多继承,有虚函数的情况下
1 . 子类会按顺序继承父类的内存模型
2 . 有虚函数的情况下多重继承,子类会对this指针进行偏移,如图中子类继承父类Obj_A虚表偏移值为0,而子类继承父类Obj_B虚表偏移值为-8,通过this指针偏移,子类Obj_C就可以根据继承的ObjA,ObjB虚表中相对this指针偏移,从而找到继承Obj_B的虚表,以上的-8并不是固定值,取决于Obj_A内存有多大,如Obj_A占内存24,则偏移-24
7 . 菱形继承
类代码,内存排布,如下所示 :
class Obj_A
{
virtual ~Obj_A();
private:
int a;
public:
virtual void func() {
}
};
class Obj_B : public Obj_A
{
virtual ~Obj_B();
private:
int a;
public:
virtual void func() {
}
};
class Obj_C : public Obj_A
{
virtual ~Obj_C();
private:
int a;
public:
virtual void func() {
}
};
class Obj_D : public Obj_B, public Obj_C
{
virtual ~Obj_D();
private:
int a;
public:
int b;
void func() {
}
};
小结 :菱形继承,有虚函数的情况下
1 . 依然按照常规继承关系执行,只是由于Obj_B与Obj_C都继承了Obj_A,而Obj_D多重继承B与C,因此Obj_D内存模型中可以看到继承了两个Obj_A,内存按顺序排布
8 . 虚拟继承
类代码,内存排布,如下所示 :
class Obj_A
{
virtual ~Obj_A();
private:
int a;
public:
virtual void func() {
}
};
class Obj_B : virtual public Obj_A
{
virtual ~Obj_B();
private:
int a;
public:
virtual void func() {
}
};
class Obj_C : virtual public Obj_A
{
virtual ~Obj_C();
private:
int a;
public:
virtual void func() {
}
};
class Obj_D : public Obj_B, public Obj_C
{
virtual ~Obj_D();
private:
int a;
public:
int b;
void func() {
}
};
小结 :虚拟继承情况下
1 . 将子类的内存放内存最前面,后面再放父类的内存,与常规内存继承反过来
2 . 产生两个虚指针,分别指向自身虚表与父类虚表
3 . 由于虚继承的父类内存模型放最后,所以前面有虚继承时,当后面有多重继承,会先把多继承的内存模型放前面,最后才放虚继承的父类,这样的好处就是不需要重复继承父类
9 . 总结
上面最后有几种情况没提到区分虚函数情况,是因为前面已经总结出有无虚函数主要体现在虚指针与虚表,所以后面直接以带虚函数来总结,全文总结了以下七种内存模型情况 :
无继承,无虚函数 的情况下 :
1 . 静态成员编译分布在静态区,因此静态变量b不占用类内存
2 . 成员函数编译分布在代码区,因此成员函数func()不占用类内存
3 . 类的内存排布自顶而下分布,内存对齐按照系统平台编译而定,图中32位系统,因此内存对齐按4字节
无继承,有虚函数 的情况下
1 . 只要类中有虚函数,编译就会生成一个 vfptr虚指针 指向虚表vftable , 其中 vfptr虚指针 根据平台所占,32位平台占用四字节
单一继承,无虚函数 的情况下
1 . 继承 Obj_A 的内存,并且追加 Obj_B 新增的内存
单一继承,有虚函数 的情况下,并且讲解为什么加虚析构
1 . 子类对应虚函数重写的情况下,子类的虚表中将覆盖父类虚函数
2 . 在多态中,当通过父类指针删除子类对象时,那么释放时是希望子类父类一起释放的,因此父类的析构设为虚函数,当父类调用时,执行的是子类的析构,这样父类就会跟着一起析构
多继承 的情况下
1 . 子类会按顺序继承父类的内存模型
2 . 有虚函数的情况下多重继承,子类会对this指针进行偏移,如图中子类继承父类Obj_A虚表偏移值为0,而子类继承父类Obj_B虚表偏移值为-8,通过this指针偏移,子类Obj_C就可以根据继承的ObjA,ObjB虚表中相对this指针偏移,从而找到继承Obj_B的虚表,以上的-8并不是固定值,取决于Obj_A内存有多大,如Obj_A占内存24,则偏移-24
菱形继承 的情况下
1 . 依然按照常规继承关系执行,只是由于Obj_B与Obj_C都继承了Obj_A,而Obj_D多重继承B与C,因此Obj_D内存模型中可以看到继承了两个Obj_A,内存按顺序排布
虚拟继承 情况下
1 . 将子类的内存放内存最前面,后面再放父类的内存,与常规内存继承反过来
2 . 产生两个虚指针,分别指向自身虚表与父类虚表
3 . 由于虚继承的父类内存模型放最后,所以前面有虚继承时,当后面有多重继承,会先把多继承的内存模型放前面,最后才放虚继承的父类,这样的好处就是不需要重复继承父类
技术交流QQ群 : 745662457
- 问题答疑,技术交流