C++新增基礎功能解析—函數重載功能的使用
重載函數就像是有多種含義的動詞。例如,Piggy×××可以在棒球場為家鄉球隊助威(root),也可以在地裏種植(root)菌類作物。根據上下文可以知道在每一種情況下,root的含義是什麽。同樣,C++使用上下文來確定要使用的重載函數版本。
函數重載的關鍵是函數的參數列表——也稱為函數特征標(ftmction signature).如果兩個函數的參數數目和類型相同,同時參數的排列順序也相同,則它們的特征標相同,而變量名是無關緊要的。C++允定義名稱相同的函數,條件是它們的特征標不同。如果參數數目和/或參數類型不同,則特征標也不同。例如,可以定義一組原型如下的print()函數:
Void print(const char * str, int width) ; // #1
Void print(double d, int width); // #2
Void print(long 1, int width); // #3
Void print(int i, int width); // #4 frombyte
Void print(const char *str); // #5
使用pnnt()函數時,編譯器將根據所采取的用法使用有相應特征標的原型:
print(” Pancakes", 15); //use #1 print(” syrup"); //use #2 print(” 1999.0,10"); //use #3 print(” 1999,12"); //use #4 print(” 1999L,15"); //use #5 frombyte.com
例如,print(“Pancakes”,15)使用一個字符串和一個整數作為參數,這與#1原型匹配。 ,使用被重載的函數時,需要在函數調用中使用正確的參數類型。例如,對於下面的語句:
Unsigned int year =3210;
print (year, 6); // ambiguous call
Print()調用與哪個原型匹配呢?它不與任阿原型匹配!沒有匹配的圓形並不會自動停止使用其中的某個函數,因為C++將嘗試使用標準類型轉換強制進行匹配。如果#2原型是print()唯一的原型,則函數調用print(year,6)將把year轉換為double類型。但在上面的代碼中,有3個將數字作為第一個參數的原型,因此有3種轉換year的方式。在這種情況下,C++將拒絕這種函數調用,並將其視為錯誤。
duble cube (double x);
duble cube (double & x);
您可能認為可以在此處使用函數重載,因為它們的特征標看起來不同。然而,請從編譯器的角度來考慮這個問題。假設有下面這樣的代碼:
cout.<< cube(x);
參數X與double x原型和double &x原型都匹配,因此編譯器無法確定究竟應使用哪個原型。為避免這種混亂,編譯器在檢査函數特征標時,將把類型引用和類型本身視為同一個特征標。 匹配函數時,並不區分const和非const變量。請看下面的原型:
Void dribble(char * bits);
Void dribble (const char *cbits);
Void dabble(char * bits);
Void drivel(const char * bits);
下面列出了各種函數調用對應的原型:
Const char p1[20]="How’s the weather?";
Char p2[20]="How‘s business?";
Dribble(p1); // dribble(const char *);
Dribble(p2); // dribble(char *);
Dabble(p1); // no match
Dabble(p2); // dabble(char *);
Drivel(p1); // drivel(const char *);frombyte.com
Drivel(p2); // drivel(const char *);
dribble()函數有兩個原型,一個用於const指針,另一個用於常規指針,編譯器將根據實參是否為const來決定使用哪個原型。dribble()函數只與帶非const參數的調用匹配,而drivel()函數可以與帶const或非const參數的調用匹配。drivel?和dabble()之所以在行為上有這種差別,主要是由於將非const值賦給const變量是合法的,但反之則是非法的。
請記住,是特征標,而不是函數類型使得可以對函數進行重載。例如,下面的兩個聲明是互斥的:
long gronk(int n, float m); // same signatures,
double gronk(int n, float m); // hence not allowed
因此,C++不允許以這種方式重載gronk()。返回類型可以不同,但特征標也必須不同:
long gronk(int n; float m); // different signatures,
double gronk(float n# float m); // hence allowed
C++新增基礎功能解析—函數重載功能的使用