const形参的函数重载

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。