C++函数重载及其原因

解决的问题：在C语言中对于两个及以上的函数，所解决的问题相同，但由于形参的类型不同而需要不同的命名，从而加重了程序员的记忆负担，以及有太多相似的代码不易于后期的维护。

 

函数重载：在C++中，可以为两个或两个以上的函数提供相同的名称，只要

1、参数的类型不同；

2、参数类型相同而参数的个数不同；

3、参数的顺序不同

4、对于用const或者volatile修饰的形参，如果形参定义是指针或引用，则在识别函数声明是否相同时是考虑const或volatile的，所以可以进行函数重载；

5、对于形参类型相同、但个数不同的情况，缺省的参数可以作为函数重载的依据。

不会函数重载的情况：

1、不会因为函数返回类型不同而重载，这是函数的重复说明；原因是编译器在编译时不会去判断函数的返回类型，函数只有调用后，编译器才会去验证返回类型，所以返回值不能作为函数重载的依据；

2、函数参数的类型、个数都相同，只是缺省实参不同也不行；

3、对于用const或者volatile修饰的形参，如果形参是按值传递则在识别函数声明是否相同时是不考虑const或volatile，所以也不能进行函数重载。

函数重载的步骤解析：

1、确定函数调用考虑的重载函数集合，确定函数调用中实参表的属性；

2、从重载函数中选择函数，该函数可以在给出实参个数和类型的情况下可以调用函数；

3、选择与调用最匹配的函数。

函数重载的原因：

名字粉碎（名字修饰）：

C和C++函数在编译链接的时候通过修饰名区别，修饰名是编译器在编译函数定义或原型时生成的字符串。由函数名、类名、调用约定、返回类型、参数等共同决定。

几种调用约定：

C调用约定：(_cdecl关键字说明) 按从右到左的顺序压参数入栈，由调用者把参数弹出栈，对于传送参数的内存栈是由调用者来维护的（所以实现可变参数的函数只能使用该调用约定）；

_stdcall：是Pascal程序的缺省调用方式，通常用于Win32Api中，函数采用从右到左的压栈方式，自己在退出时清空堆栈；

_fastcall调用约定的特点就是快，因为它是通过寄存器来传送参数的；

thiscall仅应用于C++类的成员函数，this指针存放于ECX寄存器中，参数从右到左压栈，thiscall不是关键字，所以不能由程序员指定。

C语言编译时函数名修饰约定规则：

_cdecl是C/C++缺省调用方式，调用约定函数名前加下划线；

_stdcall调用约定在输出函数名前加了一个下划线，后面加上“@”符号和其参数的字节数；

  _fastcall调用约定在输出函数名前加“@”符号，后面加上“@”符号和其参数的字节数；

 

C++编译时函数名修饰约定规则：

_cdecl调用约定：

1、以“?”标识函数的开始，后跟函数名；

2、函数名后以“@@YA”标识参数表的开始，后跟参数表；

3、参数表以代号表示：

X -- void;

D -- char;

E -- unsigned char;

......

PA--表示指针，后面的代号表明指针的类型，如果相同类型的指针连续出现，以“0”代替，一个“0”代表一次重复；

4、参数表的第一项代表返回值的类型，之后依次为参数数据类型；

5、参数表后以“@Z”标识整个名字的结束，如果该函数无参数，则以“Z”标识结束。

所以由于C语言的函数名修饰约定规则对于不同的调用约定，只是简单的在函数名的前后增加“_”或者“@”+参数总字节数，不能进行重载；

而C++的函数名修饰约定考虑到了参数的数据类型，不同的数据类型都有其对应的符号，所以在编译重命名时，即使函数名相同，但是仍可以根据参数不同的数据类型区分。