讓我們看看C++ 的“函數(shù)內聯(lián)”是如何工作的。對于任何內聯(lián)函數(shù),編譯器在符號
表里放入函數(shù)的聲明(包括名字、參數(shù)類型、返回值類型)。如果編譯器沒有發(fā)現(xiàn)內聯(lián)函
數(shù)存在錯誤,那么該函數(shù)的代碼也被放入符號表里。在調用一個內聯(lián)函數(shù)時,編譯器首
先檢查調用是否正確(進行類型安全檢查,或者進行自動類型轉換,當然對所有的函數(shù)
都一樣)。如果正確,內聯(lián)函數(shù)的代碼就會直接替換函數(shù)調用,于是省去了函數(shù)調用的開
銷。這個過程與預處理有顯著的不同,因為預處理器不能進行類型安全檢查,或者進行
自動類型轉換。假如內聯(lián)函數(shù)是成員函數(shù),對象的地址(this)會被放在合適的地方,
這也是預處理器辦不到的。
C++ 語言的函數(shù)內聯(lián)機制既具備宏代碼的效率,又增加了安全性,而且可以自由操
作類的數(shù)據(jù)成員。所以在C++ 程序中,應該用內聯(lián)函數(shù)取代所有宏代碼,“斷言assert”
恐怕是唯一的例外。assert 是僅在Debug 版本起作用的宏,它用于檢查“不應該”發(fā)生
的情況。為了不在程序的Debug 版本和Release 版本引起差別,assert 不應該產生任何副
作用。如果assert 是函數(shù),由于函數(shù)調用會引起內存、代碼的變動,那么將導致Debug
版本與Release 版本存在差異。所以assert 不是函數(shù),而是宏。