-
重載函數
鎖定
- 中文名
- 重載函數
- 外文名
- overloaded function
- 程序類型
- C++
- 屬 性
- 特殊函數
重載函數説明
兩個重載函數必須在下列一個或兩個方面有所區別:
1、函數的參數個數不同。
2、函數的參數類型不同或者參數類型順序不同,
C++的這種編程機制給編程者極大的方便,不需要為功能相似、參數不同的函數選用不同的函數名,也增強了程序的可讀性。
C++運算符重載的相關規定如下:
(1)不能改變運算符的優先級;
(2)不能改變運算符的結合型;
(3)默認參數不能和重載的運算符一起使用;
(4)不能改變運算符的操作數的個數;
(5)不能創建新的運算符,只有已有運算符可以被重載;
(6)運算符作用於C++內部提供的數據類型時,原來含義保持不變。
重載函數應用
首先我們先明確一下重載函數的定義:在相同的聲明域中的函數名相同的,而參數表不同的,即通過函數的參數表而唯一標識並且來區分函數的一種特殊的函數。
您也許要問,函數為什麼要重載呢?何時應該選擇函數重載(function overloading),何時又不呢?這也是我要在下面介紹的。
函數的重載其實就是“一物多用”的思想(這裏指的“物”是“函數名”),其實不僅是函數可以重載,運算符也是可以重載的。例如:運算符“<<”和“>>”既可以作為移位運算符,又可以作為輸出流中的插入運算符和輸入流中的提取運算符。
當將要定義一組函數,使它們執行一系列的操作,但是它們是應用在不同的參數類型上的。此時我們可以選擇重載函數。
int ve_max (const vector &); //返回vector容器中的最大值;
int matrix_max (const matrix &); //返回matrix引用的最大值;
上面的三個函數都可以大概地説成判斷一組數中的最大值,對於函數的用户來説,他們並不關心函數定義的細節,也就是説他們不關心判斷兩個整數的大小和判斷數組(vector容器)數的大小應該使用不同的函數,而對於程序的設計者來説這可是不得不想到的。程序員必須記住並查找每個函數名。而函數的重載把程序員從這種問題的複雜性中解放了出來,C++提供了這種支持。上面的三個比較大小的函數可以定義成:
int Max (int,int); //返回兩個整數的最大值;
int Max (const vector &); //返回vector容器中的最大值;
int Max (const matrix &); //返回matrix引用的最大值;
通過參數就可以一眼分辨不同的函數。
Screen& MoveUp( );
Screen& MoveDown( );
Screen& MoveLeft( );
Screen& MoveRight( );
看過這四個函數不言而喻,它們是控制光標在屏幕上的位置的,即:向上移動光標,向下移動光標,向左移動光標,向右移動光標。如果我把它們寫成重載函數,每個都是Screen& Move( );顯然對於程序員來説是不易理解的。因此對於函數重載的使用我們應遵循應用的邏輯,而不是簡單地因為它的存在就必須使用它。程序員不應該勉強使用重載函數。
您有沒有想過C++編譯器是如何判斷您調用的是重載中的哪個函數?即使它們的函數名相同。您也許會毫不猶豫的回答:是通過函數的參數表。其實識別的過程並不是像您想象中的那麼的容易,其中涉及到參數的等級劃分,參數轉換等諸多方面,下面我就一一進行講解。
假如有下面一組函數:
/* 偽代碼 */ void S(); void S(int); void S(double,double=1.2); void S(constchar*,constchar*); void Max(int,int); //…… int main() { S(2.4); return; } //S(2.4);的調用與S();S(int);S(double,double=1.2);S(constchar*,constchar*),的聲明在同一域,即是可見的。
那麼好,問題出現了。S (2.4 );將調用上面四個函數中的哪一個呢?
編譯器判斷重載函數的第一步是確定該調用中所考慮的重載函數的集合,該函數集合被稱為候選函數(candidant function)。所謂候選函數就是與被調用函數同名的函數。上面的前四個函數都可以成為候選函數(當然可以是多個),而唯有Max ( int , int ) 被排除在外了。
編譯器判斷重載函數的第二步分為兩動作。第一個動作是編譯器從第一步選出的候選函數中調出可行函數(viable function)。可行函數的函數參數個數與調用的函數參數個數相同(如S ( int )),或者可行函數的參數可以多一些,但是多出來的函數參數都要有相關的缺省值(如 S (double , double =1.2 );)第二個動作是根據參數類型的轉換規則將被調用的函數實參轉換(conversion)成候選函數的實參。這裏本着充分利用參數類型轉換的原則,換句話説,儘可能的使用上參數類型轉換。當然轉換要以候選函數為轉換的目標。上面的函數中只有兩個是可行函數,它們分別是S ( int ); S ( double , double )。
如果依照參數轉換規則沒有找到可行函數,則該調用就是錯誤的,則説沒有函數與調用匹配,屬於無匹配情況(no match function)。