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);