C++的内存布局

内存布局

Visual Studio查看虚函数表

  • 右键cpp文件,选择属性

image-20230914174816803

  • 先选择左侧的C/C+±>命令行,然后在其他选项这里写上/d1 reportAllClassLayout,它可以看到所有相关类的内存布局,如果写上/d1 reportSingleClassLayoutXXX(XXX为类名),则只会打出指定类XXX的内存布局。

image-20230914175027557

  • 即可在生成窗口中查看内存布局了

image-20230914175136877

单一继承(含成员变量+虚函数+虚函数覆盖)

  • 一个包含虚函数的类对象中的内存布局,最前面是一个4字节的虚函数指针,指向这个类的虚函数表,虚函数表中存放的是类中虚函数的地址,然后才是类自身的字段。
  • 如果有子类继承这个父类的话,也会有虚函数指针,指向另一个属于这个子类的虚函数表,如果没有虚函数重写,则表中的地址和父类相同,如果有重写的话,地址会修改成重写之后的虚函数地址。指针后面是父类的字段,最后是自己的字段,值得说的是,如果在父类中权限被设置为private的字段,子类是无法访问的,但是子类的内存空间仍会有这个字段。
class Parent {
public:
    int iParent;
    virtual void func1() {
        std::cout << "Parent" << std::endl;
    }
    virtual void func2() {
        std::cout << "Parent" << std::endl;
    }
    virtual void func3() {
        std::cout << "Parent" << std::endl;
    }
};
class Son : public Parent {
public:
    int iSon;
    virtual void func1() {
        std::cout << "Son" << std::endl;
    }
    virtual void func2() {
        std::cout << "Son" << std::endl;
    }
    virtual void func3() {
        std::cout << "Son" << std::endl;
    }
};
class GrandSon : public Son {
public:
    int iGrandSon;
    virtual void func1() {
        std::cout << "GrandSon" << std::endl;
    }
    virtual void func2() {
        std::cout << "GrandSon" << std::endl;
    }
    virtual void func3() {
        std::cout << "GrandSon" << std::endl;
    }
};

多继承关系

  • 基本与单继承相同,不过会有两个虚函数指针,分别指向从父类1和父类2继承下来的两个虚函数表,这个顺序取决于继承书写的先后顺序。如果父类1和父类2有同名的虚函数f1,子类重写了f1,看虚函数表可以发现只有第一个虚函数表有重写之后的f1,而第二个虚表上f1的位置上会写着goto第一张虚表,也就是会让你去第一种虚表找f1函数。
  • 另外如果子类有新增加的虚函数,会放在第一张虚函数表里面
#include <iostream>
using namespace std;

class Parent1 {
public:
    int iParent1;
    virtual void func1() {
        std::cout << "Parent1" << std::endl;
    }
    virtual void func2() {
        std::cout << "Parent1" << std::endl;
    }
    virtual void func3() {
        std::cout << "Parent1" << std::endl;
    }
};

class Parent2 {
public:
int iParent2;
    virtual void func1() {
        std::cout << "Parent2" << std::endl;
    }
    virtual void func2() {
        std::cout << "Parent2" << std::endl;
    }
    virtual void func3() {
        std::cout << "Parent2" << std::endl;
    }
};

class Son : public Parent2,public Parent1 {
public:
int iSon;
    virtual void func1() {
        std::cout << "Son" << std::endl;
    }
    virtual void func2() {
        std::cout << "Son" << std::endl;
    }
    virtual void func3() {
        std::cout << "Son" << std::endl;
    }
};

菱形继承(钻石继承)

  • 基类A 有两个派生类 B、C,然后有一个类D同时继承B、C,看D的内存布局可以看到D继承了B和C的内容,在B和C空间里面分别有一个A,也就是D包含了两份A,一份来自B,一份来自C

菱形继承(钻石继承)虚继承

  • B、C虚继承A,D继承B、C,在内存空间上第一部分为B,VBtable指针,指向的是一个虚表,上面记录了B的虚基类的偏移量也就是虚基类的位置,但是虚函数指针就没有了,放到了后面的虚基类里面,但是如果B有新的虚函数,这里就还会有一个B的虚函数指针,然后是B的成员,同理第二部分是C,然后是D自己的成员,最后是虚基类,前面说的VBtable指针指向的虚表上面记录的就是这个虚基类到前面的偏移量。
  • 然后就是C中的偏移量,记录的也是和B相同的虚基类,意思就是虽然B和C都有找到虚基类的指针,只不过指向的是同一个虚基类,也就只有一个虚基类,这避免了菱形继承重复基类的问题。

钻石继承存在什么问题

  • 会有二义性问题,假设A有两个子类B和C,然后D同时继承B和C,观察内存分布会看到D中第一部分是B、第二部分是C,然后这两个里面都会有一个A,也就是存在两个A,此时如果你要调用A的函数,编译器就会不知道调用B中的A还是C中的A。

钻石继承存在什么问题

  • 会有二义性问题,假设A有两个子类B和C,然后D同时继承B和C,观察内存分布会看到D中第一部分是B、第二部分是C,然后这两个里面都会有一个A,也就是存在两个A,此时如果你要调用A的函数,编译器就会不知道调用B中的A还是C中的A。
  • 解决办法 虚继承
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值