一個函數(shù)在一個特定的域中被多次聲明時,編譯器解析第二個及后面函數(shù)依照下面步驟:
1.參數(shù)個數(shù)或類型不同,則認為是重載
// 重載函數(shù)
void print( const string & );
void print( vector<int> & );
2.函數(shù)返回類型和參數(shù)表完全相同,則認為第二個函數(shù)是第一個函數(shù)的重復(fù)聲明
參數(shù)表的比較過程與參數(shù)名無關(guān)
3.如果兩個函數(shù)的參數(shù)表相同但是返回類型不同則第一個聲明被視為第一個的錯
誤重復(fù)聲明會被標記為編譯錯誤,例如
unsigned int max( int i1, int i2 );
int max( int , int ); // 錯誤: 只有返回類型不同
函數(shù)的返回類型不足以區(qū)分兩個重載函數(shù)
4.如果在兩個函數(shù)的參數(shù)表中只有缺省實參不同則第二個聲明被視為第一個的重
復(fù)聲明例如
// 聲明同一函數(shù)
int max( int *ia, int sz );
int max( int *, int = 10 );
typedef 名為現(xiàn)有的數(shù)據(jù)類型提供了一個替換名它并沒有創(chuàng)建一個新類型因此如果
兩個函數(shù)參數(shù)表的區(qū)別只在于一個使用了typedef 而另一個使用了與typedef 相應(yīng)的類型
則該參數(shù)表不被視為不同的下列calc()的兩個函數(shù)聲明被視為具有相同的參數(shù)表第二個
聲明導(dǎo)致編譯時刻錯誤因為雖然它聲明了相同的參數(shù)表但是它聲明了與第一個不同的返
回類型
// typedef 并不引入一個新類型
typedef double DOLLAR;
// 錯誤: 相同參數(shù)表不同返回類型
extern DOLLAR calc( DOLLAR );
extern int calc( double );
當一個參數(shù)類型是const 或volatile 時在識別函數(shù)聲明是否相同時并不考慮const 和
volatile 修飾符例如下列兩個聲明聲明了同一個函數(shù)
// 聲明同一函數(shù)
void f( int );
void f( const int );
參數(shù)是const 這只跟函數(shù)的定義有關(guān)系它意味著函數(shù)體內(nèi)的表達式不能改變參數(shù)的
值但是對于按值傳遞的參數(shù)這對函數(shù)的用戶是完全透明的用戶不會看到函數(shù)對按值
傳遞的實參的改變按值傳遞的實參以及參數(shù)的其他傳遞方式在7.3 節(jié)中討論當實參
被按值傳遞時將參數(shù)聲明為const 不會改變可以被傳遞給該函數(shù)的實參種類任何int 型的
實參都可以被用來調(diào)用函數(shù)f(const int) 因為兩個函數(shù)接受相同的實參集所以剛才給出的
兩個聲明并沒有聲明一個重載函數(shù)函數(shù)f()可以被定義為
void f( int i ) { }
或
void f( const int i ) { }
然而在同一個程序中同時提供這兩個定義將產(chǎn)生錯誤因為這些定義把一個函數(shù)定義
了兩次
但是如果把const 或volatile 應(yīng)用在指針或引用參數(shù)指向的類型上則在判斷函數(shù)聲明
是否相同時就要考慮const 和volatile 修飾符
// 聲明了不同的函數(shù)
void f( int* );
void f( const int* );
// 也聲明了不同的函數(shù)
void f( int& );
void f( const
有時候沒有必要重載可能也不需要不同的函數(shù)定義在某些情況下缺省實參可以
把多個函數(shù)聲明壓縮為一個函數(shù)中例如兩個光標函數(shù)
moveAbs(int,int);
moveAbs(int,int,char*);
可以通過第三個char*型參數(shù)的有無來區(qū)分如果這兩個函數(shù)的實現(xiàn)十分類似并且在向
函數(shù)傳遞參數(shù)時如果能夠找到一個char*型缺省實參可以表示實參不存在時的意義則這兩
個函數(shù)就可以被合并現(xiàn)在正好有個這樣的缺省實參--值為0 的指針
move( int, int, char* = 0 );
程序員最好抱這樣的觀點并不是每個語言特性都是你要攀登的下一座山峰使用語言
的特性應(yīng)該遵從應(yīng)用的邏輯而不是簡單地因為它的存在就必須要使用它程序員不應(yīng)該勉
強使用重載函數(shù)只有在必要的地方使用它們才會讓人感覺自
using 聲明怎樣影響重載函數(shù)呢using 聲明為一個名字空間的成員在該聲明出現(xiàn)的域中
提供了一個別名下面程序中的using 聲明會怎么樣呢
namespace libs_R_us {
int max( int, int );
int max( double, double );
extern void print( int );
extern void print( double );
}
// using 聲明
using libs_R_us::max;
using libs_R_us::print( double ); // 錯誤
void func()
{
max( 87, 65 ); // 調(diào)用 libs_R_us::max( int, int )
max( 35.5, 76.6 ); // 調(diào)用 libs_R_us::max( double, double )
}
第一個using 聲明向全局域中引入了兩個libs_R_us::max()函數(shù)于是我們便可以在func()
中調(diào)用這兩個max()函數(shù)函數(shù)調(diào)用時的實參類型將決定哪個函數(shù)會被調(diào)用第二個using 聲
明是個錯誤用戶不能在using 聲明中為一個函數(shù)指定參數(shù)表對于libs_R_us::pring()惟一有
效的using 聲明是
using libs_R_us::print;
如果using 聲明向一個域中引入了一個函數(shù)而該域中已經(jīng)存在一個同名的函數(shù)又會
怎樣呢記住using 聲明只是一個聲明由using 聲明引入的函數(shù)就好像在該聲明出現(xiàn)的地
方被聲明一樣因此由using 聲明引入的函數(shù)重載了在該聲明所出現(xiàn)的域中同名函數(shù)的其
他聲明例如
375 第九章 重載函數(shù)
#include <string>
namespace libs_R_us {
extern void print( int );
extern void print( double );
}
extern void print( const string & );
// libs_R_us::print( int ) 和 libs_R_us::print( double )
// 重載 print( const string & )
using libs_R_us::print;
void fooBar( int ival )
{
print( "Value: " ); // 調(diào)用全局 print( const string & )
print( ival ); // 調(diào)用 libs_R_us::print( int )
}
using 聲明向全局域中加入了兩個聲明一個是print(int) 一個是print(double) 這些聲
明為名字空間libs_R_us 中的函數(shù)提供了別名這些聲明被加入到print()的重載函數(shù)集合中
它已經(jīng)包含了全局函數(shù)print(const string&) 當fooBar()調(diào)用函數(shù)時所有的print()函數(shù)都將
被考慮
如果using 聲明向一個域中引入了一個函數(shù)而該域中已經(jīng)有同名函數(shù)且具有相同的參
數(shù)表則該using 聲明就是錯誤的如果在全局域中已經(jīng)存在一個名為print(int)的函數(shù)則
using 聲明不能為名字空間libs_R_us 中的函數(shù)聲明別名print(int) 例如
namespace libs_R_us {
void print( int );
void print( double );
}
void print( int );
using libs_R_us::print; // 錯誤: print(int) 的重復(fù)聲明
void fooBar( int ival )
{
print( ival ); // 哪一個 print? ::print 還是 libs_R_us::print?
}