含有虚函数的内存布局

http://hi.baidu.com/hj11yc/item/0428b1ba2c7e8aadeaba93b3

另外：

可参考：

http://blog.csdn.net/haoel/article/details/3081385

我们来看看有虚函数，并且是有虚基类的类的内存布局

我们看看一个有成员的例子：

#include<iostream>
using namespace std;
class A{
public:
	int a;
	A():a(1){}
	virtual void show(void){cout<<"call A"<<endl;}
};
class B:virtual public A{
public:
	int b;
	B():b(2){}
	virtual void show(void){cout<<"call B"<<endl;}
};
class C:virtual public A{
public:
	int c;
	C():c(3){}
	virtual void show(void){cout<<"call C"<<endl;}
};
class D:public B,public C{
public:
	int d;
	D():d(4){}
	virtual void show(void){cout<<"call D"<<endl;}
};
int main(void)
{
	D d;
	cout<<"the address begin:"<<&d<<endl;
	cout<<""<<endl;
	cout<<hex<<*(((int *)&d)+0)<<endl;
	cout<<hex<<*(((int *)&d)+1)<<endl;
	cout<<hex<<*(((int *)&d)+2)<<endl;
	cout<<hex<<*(((int *)&d)+3)<<endl;
	cout<<hex<<*(((int *)&d)+4)<<endl;
	cout<<hex<<*(((int *)&d)+5)<<endl;
	cout<<hex<<*(((int *)&d)+6)<<endl;
	cout<<hex<<*(((int *)&d)+7)<<endl;
	cout<<hex<<*(((int *)&d)+8)<<endl;
	cout<<hex<<*(((int *)&d)+9)<<endl;
	system("pause");
	return 1;
}

输出来看看呢？

‍‍

可以看个大概是怎么分布的，但是哪些是vptr,社么是vbptr呢》》？？？？？

来看个详细的例子

#include<iostream>
using namespace std;
class A{
public:
 int a;
 A():a(1){}
 virtual void show(void){cout<<"call A"<<endl;}
};
class B:virtual public A{
public:
 int b;
 B():b(2){}
 virtual void show(void){cout<<"call B"<<endl;}
};
class C:virtual public A{
public:
 int c;
 C():c(3){}
 virtual void show(void){cout<<"call C"<<endl;}
};
class D:public B,public C{
public:
 int d;
 D():d(4){}
 virtual void show(void){cout<<"call D"<<endl;}
};
typedef void (*FUN )(void);
int main(void)
{
 D d;
 cout<<"the address begin:"<<&d<<endl;
 cout<<""<<endl;
    cout<<hex<<*(((int *)&d)+0)<< "   ";cout<<dec<<*((int *)(*((int *)&d+0))+0)<<"   ";cout<<dec<<*((int *)(*((int *)&d+0))+1)<<endl;
 cout<<hex<<*(((int *)&d)+1)<<endl;
 cout<<hex<<*(((int *)&d)+2)<<"   ";cout<<dec<<*((int *)(*((int *)&d+2))+0)<<"   ";cout<<dec<<*((int *)(*((int *)&d+2))+1)<<endl;//这两个都是指向virtual base table的指针，第一项都为0，第二项是偏移量
 cout<<hex<<*(((int *)&d)+3)<<endl;
 cout<<hex<<*(((int *)&d)+4)<<endl;
 cout<<hex<<*(((int *)&d)+5)<<endl;
 cout<<hex<<*(((int *)&d)+6)<<"   ";cout<<dec<<*((int *)(*((int *)&d+6))+0)<<"   ";
 cout<<hex<<*(((int *)&d)+7)<<endl;
 cout<<hex<<*(((int *)&d)+8)<<endl;
 cout<<hex<<*(((int *)&d)+9)<<endl;
 cout<<"//"<<endl;
      /*FUN fun11=(FUN)*((int *)(*((int *)&d+0))+0);
  fun11();
        fun11=(FUN)*((int *)(*((int *)&d+2))+0);
  fun11();*这两个不能运行，说明没有指向函数，则说明类中的第一个，第三个数据是指向基类的指针。并且在上面的输出中可以看到这两个指针的第一项都为0，说明没有虚函数，这个没有虚函数说的是没有自己独特于基类的虚函数。所以第一项为0，第二项为偏移量。
  FUN fun11=(FUN)*((int *)(*((int *)&d+6))+0);
  fun11();
  /*fun11=(FUN)*((int *)(*((int *)&d+6))+1);
  fun11();*///这个也不能，因为只有一个虚函数，并且是三个共用的，所以上面一个能运行，这个不能
 system("pause");
 return 1;
}

看看结果：

‍‍  

可以看到什么问题么？？看看我嗦分析的。也许你看到注释分析的过后会问，B,C的vptr呢？因为他们没有自己的虚函数，所以没有产生，只有vbptr，是偏移量。所以都指向了基类的vptr处。

如果不相信，你可以为B单独添加一个虚函数，然后你就知道了。不信来看看：

#include<iostream>
using namespace std;
class A{
public:
	int a;
	A():a(1){}
	virtual void show(void){cout<<"call A"<<endl;}
};
class B:virtual public A{
public:
	int b;
	B():b(2){}
	virtual void show(void){cout<<"call B"<<endl;}
	virtual void go(void){cout<<"call B:;go"<<endl;}
};
class C:virtual public A{
public:
	int c;
	C():c(3){}
	virtual void show(void){cout<<"call C"<<endl;}
};
class D:public B,public C{
public:
	int d;
	D():d(4){}
	virtual void show(void){cout<<"call D"<<endl;}
};
typedef void (*FUN )(void);
int main(void)
{
	D d;
	cout<<"the address begin:"<<&d<<endl;
	cout<<""<<endl;
	cout<<hex<<*(((int *)&d)+0)<< endl;
	cout<<hex<<*(((int *)&d)+1)<<"   ";cout<<dec<<*((int *)(*((int *)&d+1))+0)<<"   ";cout<<dec<<*((int *)(*((int *)&d+1))+1)<<endl;
	cout<<hex<<*(((int *)&d)+2)<<endl;
	cout<<hex<<*(((int *)&d)+3)<<endl;
	cout<<hex<<*(((int *)&d)+4)<<endl;
	cout<<hex<<*(((int *)&d)+5)<<endl;
	cout<<hex<<*(((int *)&d)+6)<<endl;
	cout<<hex<<*(((int *)&d)+7)<<endl;
	cout<<hex<<*(((int *)&d)+8)<<endl;
	cout<<hex<<*(((int *)&d)+9)<<endl;
	cout<<"//"<<endl;
	FUN fun11=(FUN)*((int *)(*((int *)&d+0))+0);
	fun11();
	system("pause");
	return 1;
}

我只为B增加了一个自己的虚函数，看看输出呢？

再解释下-4的含义，意思就是说有自己的虚函数，如果没有的话，这个值是0；24是偏移量，记住，基类偏移量