C++4 |函数重载|名字粉碎|函数模板

一，函数重载

c语言实现int，double，char类型比较大小函数

这些函数都的目的都是一样的，去比较两个形参的最大值，并且返回。对于我们而言，我们只有一个操作，就是找最大值，对于如何完成细节我们并不在意，

但是这种词汇上的复杂性是我们在c语言中无法解决的，这种问题是程序设计的局限性：在同一个域名中出现的名字必须指向唯一一个实体。

为了将我们从这种词汇复杂性解放出来，我们可以使用函数重载

函数重载概念：

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

编译器的工作：

当一个函数在同一个域内被多次声明，编译器按照如下步骤解释第二个以及后续的声明。

如果两个函数的参数表中参数的个数或者类型或者顺序不同，则认为两个函数是重载。

例如：

1，判断函数重载的规则

1，如果两个函数参数列表相同，但是返回值不同，会被标记为编译错误：函数的重复声明

2，参数表的比较过程与形参名无关

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

4，如果使用typedef，并不认为是不同类型

5，使用const和volatile修饰时，如果是传值操作便不需要考虑，但如果是*，&则需要考虑

6，注意函数调用二义性

如果两个函数的参数表中，参数类型相同，而形参个数不同，形参默认值将会影响函数的重载

2，函数重载步骤

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

2，从重载函数集合选择函数，该函数可以在（给出实参个数和类型）的情况下可以调用函数

3，选择可以调用的最合适的函数

3，名字粉碎（名字修饰）

“C”或者“C++”函数在内部(编译和链接)通过修饰名识别。修饰名是编译器在编译函数定义或者原型

时生成的字符串。

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

调用约定：

_ stdcall 是Pascal程序的缺省调用方式, 通常用于Win32 Api中, 函数采用从右到左的压栈方式,自己

在退出时清空堆栈。

 C调用约定(即用_cdecl关键字说明)按从右至左的顺序压参数入栈，由调用者把参数弹出栈。对于

传送参数的内存栈是由调用者来维护的(正因为如此，实现可变参数的函数只能使用该调用约定)。

 _fastcall 调用约定是“人”如其名，它的主要特点就是快，因为它是通过寄存器来传送参数的 (实际

上，它用ECX和EDX传送前两个双字(DWORD )或更小的参数，剩下的参数仍旧自右向左压栈传

送，被调用的函数在返回前清理传送参数的内存栈)，在函数名修饰约定方面，它和前两者均不

同。

thiscall 仅仅应用于“C++”类的成员函数。this指针存放于ECX寄存器， 参数从右到左压。thiscall 不

是关键词， 因此不能被程序员指定。

 在C/C++中，一个程序要运行起来，需要经历以下几个阶段：预编译(预处理)、编译、汇编、链

接。Name Mangling是一种在编译过程中， 将函数名、变量名的名字重新命名的机制。

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

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

下划线前缀。

格式: _ functionname

这些东西听起来可能有些难以理解，简单来说，调用约定就是编译器去如何使用函数的方法，下面

我通过汇编演示：

c语言的函数名修饰规则

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

格式：_functionname@name

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

格式为：@functionname@number

c++函数名修饰规则

_ cdecl调用约定:
1、以“?”标识函数名的开始，后跟函数名；
2、函数名后面以“@@YA”标识参数表的开始，后跟参数表；
3、参数表以代号表示：
X-- void,
D--char,
E-- unsigned char,
F-- short,
H -- int,
| - - unsigned int,
J- - long,
K-- unsigned long,
M -- float,
N -- double,
_N-- bool,
.....
PA--表示指针，后面的代号表明指针类型，如果相同类型的指针连续出现，以“0”代替，一个“0”代表一次重复；
4、参数表的第一项为该函数的返回值类型，其后依次为参数的数据类型，指针标识在其所指数据类型前；
5、参数表后以“@Z”标识整个名字的结束，如果该函数无参数，则以“Z”标识结束。

关键字：

extern  c：使用c方式修饰约定规则

extern  C++：使用c++方式修饰约定规则

通过上述汇编代码，我们发现c语言中相同函数名的函数，通常实在函数名前加下划线

而c++是根据参数来决定，也就使得函数重载的存在。

二，函数模板

为了代码重用，代码就必须是通用的；通用的代码就必须不受数据类型的限制。那么我们可以把数

据类型改为一个设计参数。这种类型的程序设计称为参数化(parameterize)程序设计。软件模块由

模板(template) 构造。包括函数模板(function template)和类模板(class template)。

函数模板可以用来创建一个通用功能的函数，以支持多种不同形参，简化重载函数的设计。

函数模板定义如下：

<模板参数表>(template parameter list) 尖括号中不能为空, 参数可以有多个, 用逗号分开。模板参

数主要是模板类型参数。
 

模板类型参数(template type parameter) 代表一种类型, 由关键字 class 或 typename(建议用

typename)后加一个标识符构成，在这里两个关键字的意义相同，它们表示后面的参数名代表一个

潜在的内置或用户设计的类型。

示例：

函数模板根据一组实际类型或值构造出独立的函数的过程通常是隐式发生的，成为模板实参推演。

在编译过程中，根据函数模板的实参构造出独立的函数，成为模板函数。

这个过程被称为模板实例化。