如果你是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(),與函數名無關。
可能你會認為這種"低級錯誤"根本不會發生在你身上,至少有兩個方法來解決這個問題:
- 永遠把虛函數加到最后
- 永遠編譯所有的工程
的確,這兩招在一定程度上是有效的,但讓我們仔細分析一下:
- 永遠把虛函數加到最后,針對上面這個例子是有用的。可是如果有其他類派生于類KuQin.COM,即使你把虛函數加到了類KuQin.COM的最后,還是會打亂其派生類的虛表。
- 永遠編譯所有的工程,這的確是一個保險的方法。可是在一個大型系統中,編譯所有的代碼所耗費的時間是非常大的,加了一個虛函數,你可能得等上個好幾個小時才能看到最后的結果,這是我們不愿承受的。
那么,對于大型系統中一個正處于積極修改期的核心基類,一個比較好的操作方法是預先分配好足夠多的虛函數,這樣之后需要加虛函數是,只要修改一個原有的就行了,無需大規模的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,你不光可以運用于加虛函數,也可以在刪虛函數時發揮其作用。
記住兩個操作原則:
- 當dummyvirtualfunction快用完時,再預先分配一些。
- 當這一階段開發結束時,該基類趨于穩定,把多余的dummyvirtualfunction去掉就可以了。