《C++ primer》中提到“僅當(dāng)形參是引用或指針的時(shí)候，形參是否為const才對(duì)重載有影響。”
int add(int a, int b);
int add(const int a, const int b);
我想通過定義這兩個(gè)函數(shù)來實(shí)現(xiàn)實(shí)參是否為const的重載，可事與愿違，這里的第二個(gè)函數(shù)并沒有對(duì)第一個(gè)進(jìn)行overloading，而是redefinition。因?yàn)椋诖说膬蓚€(gè)函數(shù)的形參并不會(huì)直接關(guān)聯(lián)到實(shí)參，在調(diào)用這兩個(gè)函數(shù)的時(shí)候，形參都只是實(shí)參的一個(gè)副本，不管add函數(shù)內(nèi)部對(duì)形參做什么處理，都不會(huì)影響到實(shí)參，也就是說——第二個(gè)函數(shù)形參中的const沒有任何的用處，只是多此一舉罷了。所以在此的第二個(gè)定義只是對(duì)第一個(gè)的重定義罷了。
int add(int &a, int &b);
int add(const int &a, const int &b);
這次定義的兩個(gè)函數(shù)與上面不同的地方就是形參使用了引用。這個(gè)時(shí)候編譯器就完全可以根據(jù)實(shí)參是否為const確定調(diào)用哪一個(gè)函數(shù)了。調(diào)用如下：
//非const變量x, y
int x = 1;
int y = 2;
add(x, y); //call add(int &a, int &b)
//const變量x, y
const int x = 1;
const int y = 2;
add(x, y); //call add(const int &a, const int &b)
上述第一種情況：實(shí)參為非const對(duì)象的時(shí)候，其實(shí)兩個(gè)函數(shù)都可以被調(diào)用，都與之匹配，因?yàn)榉莄onst對(duì)象不但可以初始化非const引用，也可以初始化const引用。但由于非const對(duì)象初始化const引用的時(shí)候涉及到類型轉(zhuǎn)換，所以此時(shí)帶非const引用形參的函數(shù)為最佳匹配。
上述第二種情況：實(shí)參為const對(duì)象的時(shí)候，就不能將此對(duì)象傳遞給帶非const引用的形參的函數(shù)了，因?yàn)閏onst對(duì)象只能用來初始化const引用。
int add(int *a, int *b);
int add(const int *a, const int *b);
//非const對(duì)象
int x = 1;
int y = 2;
//cosnt對(duì)象
const int r = 1;
const int s = 2;
add(&x, &y); //call add(int *a, int *b);
add(&r, &s); //call add(cosnt int *a, cosnt int *b);
利用帶const指針形參進(jìn)行重載也是合法的，其中的原理和const引用形參完全一樣。
應(yīng)該注意這里是基于指針本身是否為const來實(shí)現(xiàn)的重載，而不是指針?biāo)赶虻膶?duì)象是否為const。