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