關於C++虛函數那點破事

虛函數的作用是實現動態聯編，也就是在程序的運行階段動態地選擇合適的成員函數，在定義了虛函數後，可以在基類的派生類中對虛函數重新定義，在派生類中重新定義的函數應與虛函數具有相同的形參個數和形參類型。

如果你是C++程序員，我想你可能遇到過這樣的情況：

在debug時，對著一個函數step into，明明調用的是A函數，可是結果卻跳進了B函數。

為什麼，call stack裡顯示的也是明明白白，就是直接進了B函數。百思不得其解，於是你懷疑是不是系統出了問題，是不是編譯器出了問題，是不是調試器出了問題~~~

其實那些玩意不是那麼容易出錯的，先看看你你的A，B函數是不是同一個類的虛函數，如果是，這極有可能是因為你修改過虛函數而沒有完全編譯引起的。

還沒明白？看看這個例子, 假設你在Project1中有一個名為KuQin.COM的類，該類有三個虛函數：

class KuQin.COM  
{  
public:  
virtual void f1();  
virtual void f2();  
virtual void f3();  
}; 

在Project2中你調用了其虛函數：

pDbgNow->f2(); 

之後由於某種需求你在這個類中加入了一個虛函數：

class KuQin.COM  
{  
public:  
virtual void f1();  
virtual void f1_5();  
virtual void f2();  
virtual void f3();  
}; 

只編譯Project1，在Project2中調用到pDbgNow->f2()時，你就會發現本文一開始描述的情況：明明調用的是f2()，結果卻進了f1_5()。理由如下：

pDbgNow->f2()之前被編譯為調用類KuQin.COM的第二個虛函數，因為是虛函數，其真正調用類似於pDbgNow->vtable[1]。因為在加入函數f1_5()後，f1_5成為了該虛表中的第二個函數，但由於沒有重新編譯Project2，pDbgNow->f2()的調用沒有更新為正確的pDgbNow->vtable[2]，所以真正調用的是函數f1_5()，與函數名無關。

可能你會認為這種"低級錯誤"根本不會發生在你身上，至少有兩個方法來解決這個問題：

1.永遠把虛函數加到最後
 

2.永遠編譯所有的工程

的確，這兩招在一定程度上是有效的，但讓我們仔細分析一下：

1.永遠把虛函數加到最後，針對上面這個例子是有用的。

可是如果有其他類派生於類KuQin.COM，即使你把虛函數加到了類KuQin.COM的最後，還是會打亂其派生類的虛表。

2.永遠編譯所有的工程，這的確是一個保險的方法。

可是在一個大型系統中，編譯所有的代碼所耗費的時間是非常大的，加了一個虛函數，你可能得等上個好幾個小時才能看到最後的結果，這是我們不願承受的。

那麼，對於大型系統中一個正處於積極修改期的核心基類，一個比較好的操作方法是預先分配好足夠多的虛函數，這樣之後需要加虛函數是，只要修改一個原有的就行了，無需大規模的rebuild ,只需編譯一下用到了這個虛函數的代碼就可以了。可以說節省的時間是相當可觀的：

class KuQin.COM  
{  
public:  
virtual void f1();  
virtual void f2();  
virtual void f3();  
virtual void dummyvirtualfunction1();  
virtual void dummyvirtualfunction2();  
virtual void dummyvirtualfunction3();  
virtual void dummyvirtualfunction5();  
virtual void dummyvirtualfunction6();  
}; 

只要靈活運用dummyvirtualfunction，你不光可以運用於加虛函數，也可以在刪虛函數時發揮其作用。

記住兩個操作原則：

1.當dummyvirtualfunction快用完時，再預先分配一些。
 

2.當這一階段開發結束時，該基類趨於穩定，把多余的dummyvirtualfunction去掉就可以了。