const形参的函数重载

《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。