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