C++重载的原理及其分析

函数的重载
1.为什么C++加入重载这一特性：
(1)提高易用性
(2)类的构造函数需要重载
2.满足重载的条件：
参数列表不同，作用域相同。

(1)仅仅使用返回值来区分函数是否重载，是不准确的。例如

...
int fun(int a){}
float fun(int a){}//g++编译器根本不允许这样做，直接编译不通过。产生歧义，又对fun函数进行了新的声明，两种错误
...
int a = fun();
fun(1);//error,编译不通过，产生歧义。

(2)作用域不同，不能构成重载
例如

...
void fun(int a){}
class A
{
void fun(float a){}
};
...

全局的fun函数和类A里面的fun函数不能构成重载.要调用他们，需要加上作用域限定符::

3.重载的实现：
编译器的底层对函数的标识进行了修改，而C++编译器对函数的标识更是加入了参数列表。比如void fun(int a, int b),在C中编译器对该函数的内部标识符为_fun,而C++对该函数的内部标识符为_fun_int_int
4.根据3，那么假如C++调用编译过的C函数该怎么办：

extern "C" void fun(int a, int b);

extern “C”,告诉编译器，找fun函数时，不再是找_fun_int_int内部标识符,而是找_fun这个内部标识符。

同理，C++之所以对C具有包容性，C++可以调用C的函数库，就是因为C++对于C函数库的头文件都添加了extern “C”
extern "C" {#include"head.h"}

5.预防隐式类型转换造成重载函数产生二异性

void out(int x)
{
    cout<<"out int"<<endl;
}
void out(float x)
{
    cout<<"out float"<<endl;
}
int main(int argc, char const* argv[])
{
    out(1);//正确
    out(0.5);//error，编译器对0.5进行了隐式的或者是自动类型转换。产生歧义。
    return 0;
}

如果想取消歧义，必须进行显式的类型转换

out((int)0.5);
out((float)0.5);