内存布局
Visual Studio查看虚函数表

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


单一继承(含成员变量+虚函数+虚函数覆盖)
- 一个包含虚函数的类对象中的内存布局,最前面是一个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。
- 解决办法 虚继承