通過基類指標做虛擬函式呼叫時（也就是做多型呼叫時），編譯器靜態地插入取得這個VPTR，並在VTABLE表中查詢函式地址的程式碼，這樣就能呼叫正確的函式使晚捆綁發生。為每個類設定VTABLE、初始化VPTR、為虛擬函式呼叫插入程式碼，所有這些都是自動發生的。

#include<iostream>
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"<<endl;
	}
};

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()
	{
	}
};

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="<<sizeof(A)<<endl;    //result=1
	cout<<"B="<<sizeof(B)<<endl;    //result=8    
	cout<<"C="<<sizeof(C)<<endl;    //result=8
	cout<<"D="<<sizeof(D)<<endl;    //result=12
	cout<<"E="<<sizeof(E)<<endl;    //result=20
	return 0;
}

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;
};

class Derived size(32):
     +---
     | +--- (base class Base1)
 | | {vfptr}
 | | {vbptr}
 | | b1
     | +---
     | +--- (base class Base2)
 | | {vfptr}
 | | {vbptr}
 | | b2
    | +---
 | d
    +---
    +--- (virtual base CommonBase)
 | co
    +---

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 "<<sizeof(A)<<endl;
	cout<<"B's size is "<<sizeof(B)<<endl;
	return 0;
}

      說明：對於虛繼承，類B因為有自己的虛擬函式，所以它本身有一個虛指標，指向自己的虛表。另外，類B虛繼承類A時，首先要通過加入一個虛指標來指向父類A，然後還要包含父類A的所有內容。因此是4+4+8=16。

    7、類物件的大小=各非靜態資料成員（包括父類的非靜態資料成員但都不包括所有的成員函式）的總和 + vfptr指標(多繼承下可能不止一個) + vbptr指標(多繼承下可能不止一個) + 位元組對齊時編譯器額外增加的位元組。

參考：