chapter4 5宏與內(nèi)聯(lián)函數(shù)重載

4.5宏與內(nèi)聯(lián)函數(shù)、函數(shù)重載解決小函數(shù)的低效問題函數(shù)調(diào)用需要一定的開銷，特別是對一些小函數(shù)的頻繁調(diào)用將使程序的效率有很大的降低。

C++提供了兩種解決上述問題的辦法：宏定義內(nèi)聯(lián)函數(shù)宏定義在C++中，利用一種編譯預(yù)處理命令：宏定義，用它可以實現(xiàn)類似函數(shù)的功能：#define凵<宏名>(<參數(shù)表>)凵<文字串>例如：#define凵max(a,b)凵(((a)>(b))?(a):(b))在編譯之前，將對宏的使用進行文字替換！例如：編譯前將把cout<<max(x,y);替換成：cout<<(((x)>(y))?(x):(y));宏定義的不足之處需要加上一定的括號。例如：#definemax(a,b)a>b?a:b10+max(x,y)+z將被替換成：10+x>y?x:y+z有時會出現(xiàn)重復(fù)計算。

例如：#define凵max(a,b)凵(((a)>(b))?(a):(b))max(x+1,y*2)將被替換成：(((x+1)>(y*2))?(x+1):(y*2))不進行參數(shù)類型檢查和轉(zhuǎn)換。

不利于一些工具對程序的處理。內(nèi)聯(lián)函數(shù)內(nèi)聯(lián)函數(shù)是指在定義函數(shù)定義時，在函數(shù)返回類型之前加上一個關(guān)鍵詞inline，例如：inlineintmax(inta,intb){ returna>b?a:b;}內(nèi)聯(lián)函數(shù)的作用是建議編譯程序把該函數(shù)的函數(shù)體展開到調(diào)用點，以提高函數(shù)調(diào)用的效率。內(nèi)聯(lián)函數(shù)形式上屬于函數(shù)，它遵循函數(shù)的一些規(guī)定，如：參數(shù)類型檢查與轉(zhuǎn)換。使用內(nèi)聯(lián)函數(shù)時應(yīng)注意以下幾點：編譯程序?qū)?nèi)聯(lián)函數(shù)的限制。內(nèi)聯(lián)函數(shù)名具有文件作用域。帶缺省值的形式參數(shù)在C++中允許在聲明函數(shù)時，為函數(shù)的某些參數(shù)指定默認值。如果調(diào)用這些函數(shù)時沒有提供相應(yīng)的實參，則相應(yīng)的形參采用指定的默認值。例如，對于下面的函數(shù)聲明：voidprint(intvalue,intbase=10);下面的調(diào)用：print(28);//28傳給value；10傳給baseprint(32,2);//28傳給value；2傳給base指定默認參數(shù)值的注意事項在指定函數(shù)參數(shù)的默認值時，應(yīng)注意下面幾點：有默認值的形參應(yīng)處于形參表的右部。例如：voidf(inta,intb=1,intc=0);//OKvoidf(inta,intb=1,intc);//Error

對參數(shù)默認值的指定只在函數(shù)聲明（包括定義性聲明）處有意義。在不同的源文件中，對同一個函數(shù)的聲明可以對它的同一個參數(shù)指定不同的默認值；在同一個源文件中，對同一個函數(shù)的聲明只能對它的每一個參數(shù)指定一次默認值。

經(jīng)?？赡苡玫胶瘮?shù)功能完全類似，但處理的形參類型不一致的情況，如：voidprint_int(inti){......}voidprint_double(doubled){......}voidprint_char(charc){......}voidprint_A(Aa){......}//A為自定義類型intmax(inta,intb);floatmax(floata,floatb);doublemax(doublea,doubleb);

函數(shù)名重載對于一些功能相同、參數(shù)類型或個數(shù)不同的函數(shù)，有時給它們?nèi)∠嗤拿謺硎褂蒙系姆奖?。例如，把下面的函?shù)：voidprint_int(inti){......}voidprint_double(doubled){......}voidprint_char(charc){......}voidprint_A(Aa){......}//A為自定義類型定義為：voidprint(inti){......}voidprint(doubled){......}voidprint(charc){......}voidprint(Aa){......}上述的函數(shù)定義形式稱為函數(shù)名重載。對重載函數(shù)調(diào)用的綁定確定一個對重載函數(shù)的調(diào)用對應(yīng)著哪一個重載函數(shù)定義的過程稱為綁定（binding，又稱定聯(lián)、聯(lián)編、捆綁）。例如：print(1.0)將調(diào)用voidprint(doubled){......}對重載函數(shù)調(diào)用的綁定，在編譯時刻由編譯程序根據(jù)實參與形參的匹配情況來決定。從形參個數(shù)與實參個數(shù)相同的重載函數(shù)中按下面的規(guī)則選擇一個：

精確匹配

提升匹配

標準轉(zhuǎn)換匹配自

定義轉(zhuǎn)換匹配

匹配失敗精確匹配類型相同對實參進行“微小”的類型轉(zhuǎn)換：數(shù)組變量名->數(shù)組首地址函數(shù)名->函數(shù)首地址……例如，對于下面的重載函數(shù)定義：

voidprint(int); voidprint(double); voidprint(char);下面的函數(shù)調(diào)用：

print(1);綁定到函數(shù)：voidprint(int); print(1.0);綁定到函數(shù)：voidprint(double); print('a');綁定到函數(shù)：voidprint(char);提升匹配先對實參進行下面的類型提升，然后進行精確匹配：按整型提升規(guī)則提升實參類型把float類型實參提升到double把double類型實參提升到longdouble例如，對于下述的重載函數(shù)：voidprint(int);voidprint(double);根據(jù)提升匹配，下面的函數(shù)調(diào)用：print('a');綁定到函數(shù)：voidprint(int);print(1.0f);綁定到函數(shù)：voidprint(double);

標準轉(zhuǎn)換匹配任何算術(shù)類型可以互相轉(zhuǎn)換枚舉類型可以轉(zhuǎn)換成任何算術(shù)類型零可以轉(zhuǎn)換成任何算術(shù)類型或指針類型任何類型的指針可以轉(zhuǎn)換成void*派生類指針可以轉(zhuǎn)換成基類指針每個標準轉(zhuǎn)換都是平等的。

例如，對于下述的重載函數(shù)：voidprint(char);voidprint(char*);根據(jù)標準轉(zhuǎn)換匹配，下面的函數(shù)調(diào)用：print(1);綁定到函數(shù)：voidprint(char);綁定失敗如果不存在匹配或存在多個匹配，則綁定失敗例如，對于下述的重載函數(shù)：voidprint(char);voidprint(double);根據(jù)標準轉(zhuǎn)換匹配，下面的函數(shù)調(diào)用將會綁定失?。簆rint(1);因為根據(jù)