C++对象模型(探究多继承下的内存布局,打印虚表)

注:以下操作都是在VS(2013)32位平台下完成的,各个平台下有些许差异.

class A
{
public:
	virtual void func1()
	{
		cout << "A::func1()" << endl;
	}
	virtual void func2()
	{
		cout << "A::func2()" << endl;
	}
protected:
	int _a;
};

class B
{
public:
	virtual void func1()
	{
		cout << "B::func1()" << endl;
	}
	virtual void func2()
	{
		cout << "B::func2()" << endl;
	}
protected:
	int _b;
};

class C : public A, public B
{
public:
	virtual void func1()
	{
		cout << "C::func1()" << endl;
	}
	virtual void func3()
	{
		cout << "C::func3()" << endl;
	}
protected:
	int _c;
};

那,class C的大小是多少字节呢?

我们可以看到,class C一共有20个字节,这些字节分别是什么内容呢?

观察一下内存监视窗口

class C的内容在内存中的分布就如下图,前8个字节是继承class A类(虚表指针和成员变量),再8个字节是继承class B类(虚表指针和成员变量),最后四个字节是自己的成员变量

①C类的func1函数重写了A和B 类的func1函数,所以继承得来的func1函数都是C的func1函数

②C类自身还有一个没有去重写基类函数的func3函数,他存储在所继承的第一个基类的虚函数表中.

模型如下:

我们可以看到,子类class C,先继承了Class A,再继承了Class B,在内存中,class C的分布就如上图,首先是class A的内容(C的虚函数也存储在第一个继承的基类的虚函数表中),其次是class B的内容,再其次是自身的成员变量.

接下来我们需要打印虚表验证一下class C中的两个虚表,A的虚表打印方式和之前没什么两样,但是B的虚表就需要让指针跳过A个字节以后来打印了

打印C中class B的虚表:

1.取c的地址

2.强转为char*类型(目的是让他每次加1的时候只加一个字节)

3.给当前的char*类型加上sizeof(A)的大小,使指针指向B的虚表的开始

4.再强转为int*类型(目的是让指针一次可以看到4个字节)

5.解引用,去除当前的指针所指的内容,也就数虚表的首地址

6.强转为int*型(目的是让指针加一可以加4个字节,看到下一个虚函数的首地址)

	PrintVTable((int*)(*((int*)((char*)(&c)+sizeof(A)))));

打印虚表结果如下:

完整代码如下:

#include <iostream>
using namespace std;
#include <stdio.h>

class A
{
public:
	virtual void func1()
	{
		cout << "A::func1()" << endl;
	}
	virtual void func2()
	{
		cout << "A::func2()" << endl;
	}
protected:
	int _a;
};

class B
{
public:
	virtual void func1()
	{
		cout << "B::func1()" << endl;
	}
	virtual void func2()
	{
		cout << "B::func2()" << endl;
	}
protected:
	int _b;
};

class C : public A, public B
{
public:
	virtual void func1()
	{
		cout << "C::func1()" << endl;
	}
	virtual void func3()
	{
		cout << "C::func3()" << endl;
	}
protected:
	int _c;
};

typedef void(*V_FUNC)();

void PrintVTable(int* vtable)
{
	printf("vtable : %p\n", vtable);
	for (int i = 0; vtable[i] != NULL; ++i)
	{
		printf("vfunc[%d] : %p ", i, vtable[i]);
		V_FUNC f = (V_FUNC)vtable[i];
		f();
	}
	cout << "--------------------------------" << endl;
}

int main()
{
	C c;
	cout << sizeof(c) << endl;
	PrintVTable((int*)*((int*)&c));
	PrintVTable((int*)(*((int*)((char*)(&c)+sizeof(A)))));
	return 0;
}