C++虚函数、虚继承、对象内存模型

虚函数的工作原理
      虚函数的实现要求对象携带额外的信息，这些信息用于在运行时确定该对象应该调用哪一个虚函数。典型情况下，这一信息具有一种被称为 vptr（virtual table pointer，虚函数表指针）的指针的形式。vptr 指向一个被称为 vtbl（virtual table，虚函数表）的函数指针数组，每一个包含虚函数的类都关联到 vtbl。当一个对象调用了虚函数，实际的被调用函数通过下面的步骤确定：找到对象的 vptr 指向的 vtbl，然后在 vtbl 中寻找合适的函数指针。
      如果类定义了虚函数，该类及其派生类就要生成一张虚拟函数表，即vtable。而在类的对象地址空间中存储一个该虚表的入口，占4个字节，这个入口地址是在构造对象时由编译器写入的。所以，由于对象的内存空间包含了虚表入口，编译器能够由这个入口找到恰当的虚函数。故对于一个父类的对象指针，调用虚拟函数，如果给他赋父类对象的指针，那么他就调用父类中的函数，如果给他赋子类对象的指针，他就调用子类中的函数(取决于对象的内存地址)。
      每当创建一个包含有虚函数的类或从包含有虚函数的类派生一个类时，编译器就会为这个类创建一个虚函数表（VTABLE）保存该类所有虚函数的地址，其实这个VTABLE的作用就是保存自己类中所有虚函数的地址，可以把VTABLE形象地看成一个函数指针数组，这个数组的每个元素存放的就是虚函数的地址。在每个带有虚函数的类 中，编译器秘密地置入一指针，称为vpointer（缩写为VPTR），指向这个对象的VTABLE。 当构造该派生类对象时，其成员VPTR被初始化指向该派生类的VTABLE。所以可以认为VTABLE是该类的所有对象共有的，在定义该类时被初始化；而VPTR则是每个类对象都有独立一份的，且在该类对象被构造时被初始化。

      通过基类指针做虚函数调用时（也就是做多态调用时），编译器静态地插入取得这个VPTR，并在VTABLE表中查找函数地址的代码，这样就能调用正确的函数使晚捆绑发生。为每个类设置VTABLE、初始化VPTR、为虚函数调用插入代码，所有这些都是自动发生的。

#include
using namespace std;

class A
{
public:
	virtual void fun1()
	{
		cout << "A::fun1()" << endl;
	}
	virtual void fun2()
	{
		cout << "A::fun2()" << endl;
	}
};

class B : public A
{
public:
	void fun1()
	{
		cout << "B::fun1()" << endl;
	}
	void fun2()
	{
		cout << "B::fun2()" << endl;
	}
};

int main()
{
	A *pa = new B;
	pa->fun1();
	delete pa;

	system("pause"); 
	return 0;
}

         毫无疑问，调用了B::fun1()，但是B::fun1()不是像普通函数那样直接找到函数地址而执行的。真正的执行方式是：首先取出pa指针所指向的对象的vptr的值，这个值就是vtbl的地址，由于调用的函数B::fun1()是第一个虚函数，所以取出vtbl第一个表项里的值，这个值就是B::fun1()的地址了，最后调用这个函数。因此只要vptr不同，指向的vtbl就不同，而不同的vtbl里装着对应类的虚函数地址，所以这样虚函数就可以完成它的任务，多态就是这样实现的。而对于class A和class B来说，他们的vptr指针存放在他们各自的实例对象里。由于class A和class B都没有数据成员，所以他们的实例对象里就只有一个vptr指针。

虚拟函数使用的缺点
　　虚函数最主要的缺点是执行效率较低，看一看虚拟函数引发的多态性的实现过程，你就能体会到其中的原因，另外就是由于要携带额外的信息（VPTR），所以导致类多占的内存空间也会比较大，对象也是一样的。这也是MFC中采用消息映射表而不采用虚函数表的原因。

VPTR 和 VTABLE 和类对象的关系:
       每一个具有虚函数的类都有一个虚函数表VTABLE，里面按在类中声明的虚函数的顺序存放着虚函数的地址，这个虚函数表VTABLE是这个类的所有对象所共有的，也就是说无论用户声明了多少个类对象，但是这个VTABLE虚函数表只有一个。
       在每个具有虚函数的类的对象里面都有一个VPTR虚函数指针，这个指针指向VTABLE的首地址，每个类的对象都有这么一种指针。

含有虚函数的对象内存模型

class A
{
private:
	int a;
	int b;
public:
	virtual void fun0()
	{
		cout<<"A::fun0"<

1、直接继承
那我们来看看编译器是怎么建立VPTR指向的这个虚函数表的，先看下面两个类：

class base
{
private:
	int a;
public:
	void bfun()
	{
	}
	virtual void vfun1()
	{
	}
	virtual void vfun2()
	{
	}
};

class derived : public base
{
private:
	int b;
public:
	void dfun()
	{
	}
	virtual void vfun1()
	{
	}
	virtual void vfun3()
	{
	}
};

两个类的VPTR指向的虚函数表（VTABLE）分别如下：
base类
                     ——————
VPTR——>    |&base::vfun1 |
                      ——————
                    |&base::vfun2 |
                    ——————
derived类
                      ———————
VPTR——>    |&derived::vfun1 |
                     ———————
                   |&base::vfun2     |
                    ———————
                   |&derived::vfun3 |
                    ———————
        每当创建一个包含有虚函数的类或从包含有虚函数的类派生一个类时，编译器就为这个类创建一个VTABLE，如上图所示。在这个表中，编译器放置了在这个类中或在它的基类中所有已声明为virtual的函数的地址。如果在这个派生类中没有对在基类中声明为virtual的函数进行重新定义，编译器就使用基类的这个虚函数地址。（在derived的VTABLE中，vfun2的入口就是这种情况。）然后编译器在这个类中放置VPTR。当使用简单继承时，对于每个对象只有一个VPTR。VPTR必须被初始化为指向相应的VTABLE，这在构造函数中发生。
       一旦VPTR被初始化为指向相应的VTABLE，对象就"知道"它自己是什么类型。但只有当虚函数被调用时这种自我认知才有用。 
        没有虚函数类对象的大小正好是数据成员的大小，包含有一个或者多个虚函数的类对象编译器向里面插入了一个VPTR指针(void *)，指向一个存放函数地址的表就是我们上面说的VTABLE，这些都是编译器为我们做的我们完全可以不关心这些。所以有虚函数的类对象的大小是数据成员的大小加上一个VPTR指针(void *)的大小。

2、虚继承
     这个是比较不好理解的，对于虚继承，若派生类有自己的虚函数，则它本身需要有一个虚指针，指向自己的虚表。另外，派生类虚继承父类时，首先要通过加入一个虚指针来指向父类，因此有可能会有两个虚指针。
示例一：含有普通继承

class A   
{   
};  

class B   
{
	char ch;   
	virtual void func0()  {  } 
}; 

class C  
{
	char ch1;
	char ch2;
	virtual void func()  {  }  
	virtual void func1()  {  } 
};

class D: public A, public C
{   
	int d;   
	virtual void func()  {  } 
	virtual void func1()  {  }
};   

class E: public B, public C
{   
	int e;   
	virtual void func0()  {  } 
	virtual void func1()  {  }
};

int main(void)
{
	cout<<"A="<前面三个A、B、C类的内存占用空间大小就不需要解释了，注意一下内存对齐就可以理解了。 
  
 
  求sizeof(D)的时候，需要明白，首先VPTR指向的虚函数表中保存的是类D中的两个虚函数的地址，然后存放基类C中的两个数据成员ch1、ch2，注意内存对齐，然后存放数据成员d，这样4+4+4=12。 
  
 
  求sizeof(E)的时候，首先是类B的虚函数地址，然后类B中的数据成员，再然后是类C的虚函数地址，然后类C中的数据成员，最后是类E中的数据成员e，同样注意内存对齐，这样4+4+4+4+4=20。 
  
 
  示例二：含有虚继承 
  
class CommonBase
{
	int co;
};

class Base1: virtual public CommonBase
{
public:
	virtual void print1() {  }
	virtual void print2() {  }
private:
	int b1;
};

class Base2: virtual public CommonBase
{
public:
	virtual void dump1() {  }
	virtual void dump2() {  }
private:
	int b2;
};

class Derived: public Base1, public Base2
{
public:
	void print2() {  }
	void dump2() {  }
private:
	int d;
};
 
  sizeof(Derived)=32，其在内存中分布的情况如下： 
  
class Derived size(32):
     +---
     | +--- (base class Base1)
 | | {vfptr}
 | | {vbptr}
 | | b1
     | +---
     | +--- (base class Base2)
 | | {vfptr}
 | | {vbptr}
 | | b2
    | +---
 | d
    +---
    +--- (virtual base CommonBase)
 | co
    +---
 
  示例3： 
  
class A
{
public:
	virtual void aa() {  }
	virtual void aa2() {  }
private:
	char ch[3];
};

class B: virtual public A
{
public:
	virtual void bb() {  }
	virtual void bb2() {  }
};

int main(void)
{
	cout<<"A's size is "<
 
  执行结果：A's size is 8 
  
 
                B's size is 16 
  
 
  
      说明：对于虚继承，类B因为有自己的虚函数，所以它本身有一个虚指针，指向自己的虚表。另外，类B虚继承类A时，首先要通过加入一个虚指针来指向父类A，然后还要包含父类A的所有内容。因此是4+4+8=16。
 
  (虚)继承类的内存占用大小 
  
 
       首先，平时所声明的类只是一种类型定义，它本身是没有大小可言的。 因此，如果用sizeof运算符对一个类型名操作，那得到的是具有该类型实体的大小。 
  
     1、空类、单一继承的空类、多重继承的空类所占空间大小为：1（字节，下同）；
     2、一个类中，虚函数本身、成员函数（包括静态与非静态）和静态数据成员都是不占用类对象的存储空间的；
     3、因此一个对象的大小≥所有非静态成员大小的总和； 
     4、当类中声明了虚函数（不管是1个还是多个），那么在实例化对象时，编译器会自动在对象里安插一个指针vPtr指向虚函数表VTable；
     5、虚承继的情况：由于涉及到虚函数表和虚基表，会同时增加一个（多重虚继承下对应多个）vfPtr指针指向虚函数表vfTable和一个vbPtr指针指向虚基表vbTable，这两者所占的空间大小为：8（或8乘以多继承时父类的个数）；
     6、在考虑以上内容所占空间的大小时，还要注意编译器下的“补齐”padding的影响，即编译器会插入多余的字节补齐；
  
  
    7、类对象的大小=各非静态数据成员（包括父类的非静态数据成员但都不包括所有的成员函数）的总和 + vfptr指针(多继承下可能不止一个) + vbptr指针(多继承下可能不止一个) + 字节对齐时编译器额外增加的字节。
 
  
参考：
 
  
1、C++虚函数表解析 http://blog.csdn.net/haoel/article/details/1948051
 
  
2、C++对象的内存布局（上）http://blog.csdn.net/haoel/article/details/3081328
 
 
  
3、C++对象的内存布局（下）http://blog.csdn.net/haoel/article/details/3081385
 
  
4、C++虚继承对象模型 http://blog.csdn.net/xsh_123321/article/details/5956289
 
  
5、MFC为何使用消息映射表而不用虚函数？http://blog.csdn.net/zdl1016/article/details/4813193