C++ 学习之函数重载、基于const的重载

函数重载

函数重载的定义是：在相同的作用域中，如果函数具有相同名字而仅仅是形参表不同，此时成为函数重载。注意函数重载不能基于不同的返回值类型进行重载。

注意函数重载中的“形参表”不同，是指本质不同，不要被一些表象迷惑。main函数不能被重载。

下面三组定义本质是相同的，不是重载：

1）int sum (int &a); 和 int sum (int &);

2)  int sum (int a) 和 int sum (const int a);

3）typedef int DD;

     int sum(int a); 和 int sum (DD a);

其中第二个例子对于非引用传参，形参是否const是等价的。但是当使用引用传参时，有无const是不同的。使用指针传参时，指向const对象的指针和指向非const对象的指针做形参的函数是不同的。《C++ primer》一书中这样描述：“可基于函数的引用形参是指向 const 对象还是指向非 const 对象，实现函数重载。将引用形参定义为 const 来重载函数是合法的，因为编译器可以根据实参是否为 const 确定调用哪一个函数。”

对于函数值传递的情况，因为参数传递是通过复制实参创建一个临时变量传递进函数的，函数内只能改变临时变量，但无法改变实参。则这个时候无论加不加const对实参不会产生任何影响。但是在引用或指针传递函数调用中，因为传进去的是一个引用或指针，这样函数内部可以改变引用或指针所指向的变量，这时const 才是实实在在地保护了实参所指向的变量。因为在编译阶段编译器对调用函数的选择是根据实参进行的，所以，只有引用传递和指针传递可以用是否加const来重载。

#include<iostream>

class A{
public:
	A();
	int foo(int *test);//可看做：int foo(A *this,int *test);
	int foo(const int *test);//可看做：int foo(const A *this,int *test);
};
A::A(){
}
int A::foo(int *test){
	std::cout << *test << " A::foo(int *test)" <<std::endl;
	return 1;
}
int A::foo(const int *test){
	std::cout << *test << " A::foo(const int *test)" <<std::endl;
	return 1;
}
int main()
{
	const int b =5;
	int c = 3;
	A a;
	a.foo(&b);
	a.foo(&c);
	return 1;
}

*下面谈论一个比较恶心的问题，基于const的重载。

在类中会有这样一种重载，它是合法的。

Class A {

int function ();

int function () const;

};

可以看到在A类中，function函数是发生重载了，而且是合法的。而且在调用时，只用A类的const对象才能调用const版本的function函数，而非const对象可以调用任意一种，通常非const对象调用不是const版本的function函数。

原因是：按照函数重载的定义，函数名相同而形参表有本质不同的函数称为重载。在类中，由于隐含的this形参的存在，const版本的function函数使得作为形参的this指针的类型变为指向const对象的指针，而非const版本的使得作为形参的this指针就是正常版本的指针。此处是发生重载的本质。重载函数在最佳匹配过程中，对于const对象调用的就选取const版本的成员函数，而普通的对象调用就选取非const版本的成员函数。

（注：this指针是一个const指针，地址不能改，但能改变其指向的对象或者变量）

#include <iostream>
using namespace std;

class A{
public:
	int fun()
	{
		return 10;
	}
	int fun()const
	{
		return 5;
	}
};
int main()
{
	A a1;
	cout << a1.fun() << endl;
	const A a2;
	cout << a2.fun() << endl;
}

http://blog.csdn.net/guiyinzhou/article/details/6307754