C++ 函数重载：概念、规则、调用约定与名字修饰

int my_max_i(int a,int b) { reurn a > b ? a : b;}
double my_max_d(double a,double b) { return a > b ? a : b;}
char my_max_c(char a,char b) { return a > b ? a : b;}

这些函数都执行了相同的一般性动作;都返回两个形参中的最大值；从用户的角度来看，只有一种操作，就是判断最大值，至于怎样完成其细节，函数的用户一点也不关心。

局限性：在同一个域中出现的名字必须指向一个唯实体（函数体) 。这种复杂性给程序员带来了一个实际问题 ,他们必须记住或查找每一个函数名字。

函数重载把程序员从这种词汇复杂性中解放出来

一、函数重载的概念

在C++中可以为两个或两个以上的函数提供相同的函数名称，只要参数类型不同，或参数类型相同而参数的个数不同，称为函数重载。

 int my_max(int a,int b) 
 { 
     return a > b ? a : b;
 }
 char my_max(char a,char b)
 {
     return a > b ? a : b;
 }
 double my_max(double a,double b) 
 {
     return a > b ? a : b;
 }

 // 重载函数
 void print(int a,char b);
 void print(char a,int b);

二、判断函数重载的规则

1、如果两个函数的参数表相同，但是返回类型不同，会被标记为编译错误：函数的重复声明。（函数重载不能依靠返回类型作为依据）

2、参数表的比较过程与参数名无关。

3、如果在两个函数的参数表中，只有缺省实参不同，则第二个声明被视为第一个的重复声明。

4、typedef 名为现有的数据类型提供了一个替换名，它并没有创建一个新类型，因此，如果两个函数参数表的区别只在于一个使用了 typedef ，而另一个使用了与 typedef 相应的类型。则该参数表被视为相同的参数列表。

 typedef unsigned int u_int;
 int Print(u_int a)
 int Print(unsigned int b);

5、当一个形参类型有 const 或 volatile 修饰时，如果形参是按值传递方式定义,在识别函数声明是否相同时，并不考虑 const 和 volatile 修饰符。

 //例如下面的代码，只是将形参做了一个const修饰的不同，不能作为函数重载的依据
 void fun(int a){ }
 void fun(const int a) { }

另外，如果代码是下面这种情况会有什么不同：

 //这样能不能作为函数的重载
 int func(int &a){}
 void func(const int& a){}
 int main()
 {   
     func(12);   
 }
 //这是一个有效的函数重载
 //原因：一个是普通的左值引用，一个是常性左值引用（万能引用）,在这个例子中，12作为实参进行传递，因为12是一个右值，所以能够成功编译，选择合适的函数
 //常性左值引用为什么可以引用右值的原因：由于常量左值引用保证了数据的不可变性，因此即使它引用的是一个右值，也不会导致数据的意外修改。

补充：volatile 提醒编译器它后面所定义的变量随时都有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，都会直接从变量地址中读取数据。如果没有 volatile 关键字，则编译器可能优化读取和存储，可能暂时使用寄存器中的值，如果这个变量由别的程序更新了的话，将出现不一致的现象。所以遇到这个关键字声明的变量，编译器对访问该变量的代码就不再进行优化，从而可以提供对特殊地址的稳定访问。

6、当一个形参类型有 const 或 volatile 修饰时,如果形参定义指针或引用时,在识别函数声明是否相同时 ,就要考虑 const 和 volatile 修饰符。

上边第5点已经讲述了形参定义引用时的函数重载，下边只说明指针：

 void fun(int *p) {}//指针作为形参
 void fun(const int *p) {}//常性指针作为形参
 int main()
 {
     //int a = 10;//可以同时匹配上边两个函数
     const int a = 10；//当a是一个常量的时候会去匹配第二个函数，也就是说，当const修饰的形参是指针时可以作为函数重载的依据
     func(&a);
 }
 //当const修饰指针自身的时候，具有二义性，忽略const的存在，就不能作为函数重载的依据

7、函数调用的二义性：如果在两个函数的参数表中,形参类型相同,而形参个数不同,形参默认值将会影响函数的重载。

 void fun(int a){}
 void fun(int a,int b){}
 void fun(int a ,int b = 10);

三、函数调用约定

“C”或者“C++”函数在内部（编译和链接）通过修饰名识别。修饰名是编译器在编译函数定义或者原型时生成的字符串。

修饰名由函数名、类名、调用约定、返回值类型、参数表共同决定。

1、_cdecl（C调用约定.C/C++ 缺省调用方式)

1)压栈顺序:函数参数从右到左

2)参数栈维护:由调用函数把参数弹出栈, 传送参数的内存栈由调用函数来维护（正因为如此，实现可变参数vararg的函数(如printf)只能使用该调用约定）

3)函数修饰名约定:VC将函数编译后会在函数名前面加上下划线前缀

4)每一个调用它的函数都包含清空堆栈的代码，所以产生的可执行文件大小会比调用stdcall函数的大

2、__stdcall (Pascal方式清理C方式压栈，通常用于Win32 Api中)

1)压栈顺序:函数参数从右到左的压栈顺序

2)参数栈维护:被调用函数把参数弹出栈(在退出时清空堆栈)

3)函数修饰名约定:VC将函数编译后会在函数名前面加上下划线前缀，在函数名后加上"@"和参数的字节数

3、__fastcall (快速调用约定,通过寄存器来传送参数)

1)压栈顺序:用ECX和EDX传送前两个双字（DWORD）或更小的参数，剩下的参数仍旧自右向左压栈传送

2)参数栈维护:被调用函数在返回前清理传送参数的内存栈

3)函数修饰名约定:VC将函数编译后会在函数名前面加上"@"前缀，在函数名后加上"@"和参数的字节数

4、thiscall (本身调用,仅用于“C++”成员函数)

1)压栈顺序:this指针存放于CX/ECX寄存器中，参数从右到左的压栈顺序

2)thiscall不是关键词，因此不能被程序员指定

四、名字修饰约定随调用约定和编译种类(C或C++)的不同而变化。

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

C语言的名字修饰规则非常简单，__cdecl是C/C++的缺省调用方式, 调用约定函数名字前面添加了下划线前缀。

格式：_functionname

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

格式：_functionname@number;

__fastcall 调用约定在输出函数名前加上一个“ @ ”符号，函数名后面也是一个“ @ ”符号和其参数的字节数，

格式为: @functionname@number

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

__cdecl 调用约定：

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

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

3、参数表以代号表示

4、参数表的第一项为该函数的返回值类型，其后依次为参数的数据类型,指针标识在其所指数据类型前;

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

五、C++函数重载的名字粉碎

 //(?my_max@@YAHHH@Z)
 int my_max(int a, int b);
 //(?my_max@@YADDD@Z)
 char my_max(char a, char b);
 //(?my_max@@YANNN@Z)
 double my_max(double a, double b);

关键字 :

extern "C" ：函数名以C的方式修饰约定规则；

extern "C++"：函数名以C＋＋的方式修饰约定规则；

标签