《C++ primer》中提到“僅當形參是引用或指針的時候，形參是否為const才對重載有影響。”
int add(int a, int b);
int add(const int a, const int b);
我想通過定義這兩個函數來實現實參是否為const的重載，可事與愿違，這里的第二個函數并沒有對第一個進行overloading，而是redefinition。因為，在此的兩個函數的形參并不會直接關聯到實參，在調用這兩個函數的時候，形參都只是實參的一個副本，不管add函數內部對形參做什么處理，都不會影響到實參，也就是說——第二個函數形參中的const沒有任何的用處，只是多此一舉罷了。所以在此的第二個定義只是對第一個的重定義罷了。
int add(int &a, int &b);
int add(const int &a, const int &b);
這次定義的兩個函數與上面不同的地方就是形參使用了引用。這個時候編譯器就完全可以根據實參是否為const確定調用哪一個函數了。調用如下：
//非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)
上述第一種情況：實參為非const對象的時候，其實兩個函數都可以被調用，都與之匹配，因為非const對象不但可以初始化非const引用，也可以初始化const引用。但由于非const對象初始化const引用的時候涉及到類型轉換，所以此時帶非const引用形參的函數為最佳匹配。
上述第二種情況：實參為const對象的時候，就不能將此對象傳遞給帶非const引用的形參的函數了，因為const對象只能用來初始化const引用。
int add(int *a, int *b);
int add(const int *a, const int *b);
//非const對象
int x = 1;
int y = 2;
//cosnt對象
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指針形參進行重載也是合法的，其中的原理和const引用形參完全一樣。
應該注意這里是基于指針本身是否為const來實現的重載，而不是指針所指向的對象是否為const。