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。