C++深度理解函数重载

一、函数重载

1.1 函数重载概念

**函数重载:**是函数的一种特殊情况，C++允许在同一作用域中声明几个功能类似的同名函数，这些同名函数的形参列表(参数个数 或 类型 或 顺序)必须不同，常用来处理实现功能类似数据类型不同的问题。

1、返回值不同，形参相同时不构成函数重载，因为调用时无法区分用那个函数。

2、缺省值不同，不构成函数重载

3、有些函数构成函数重载，但是在调用的时候会出现问题
如：调用时Add出现歧义

二、函数名字修饰(name Mangling)

为什么C++支持函数重载，而C语言不支持函数重载呢？C++又是如何支持重载的呢？
在C/C++中，一个程序要运行起来，需要经历以下几个阶段：预处理、编译、汇编、链接。如在Liunx下编译func.h和 test.c两个文件。

预处理阶段：头文件展开，宏替换、条件编译、去掉注释（生成 func.i 和test .i 文件）
编译阶段： 检查语法、生成汇编代码（生成 func.s 和 test.s 文件）
汇编阶段：汇编代码转换成二进制机器码（生成 func.o 和 test.o文件）
链接阶段：把文件链接在一起（在Linux下不指定就生成 a.uot文件）

那么在函数调用时是如何调用的呢？又是去那里调用的呢？
在编译tset.c时func.h文件被展开。
当tset.c调用f()函数时，在自己的文件中只找到了f()函数的声明，没有找到f()函数定义的地址，因为此时在编译之后链接之前前的阶段，两个文件还有链接到一起，所以找不到func.c文件。
那现在怎么办呢？

所以链接阶段就是专门处理这种问题，连接器看到tset.o文件调用f()函数，但是没有f()的地址，就会到func.o的符号表中查找f()的地址，然后链接到一起。

在我们了解到函数调用要到符号表去找之后，那我们是通过什么方式去进行查找呢？c和c++查找的方式又有什么不同呢？
在链接时，面对f()函数，连接器会使用函数名字去找。
那连接器会使用哪个名字去找呢？
（注：每个编译器都有自己的函数名修饰规则。. 由于Windows下vs的修饰规则过于复杂，而Linux下gcc的修饰规则简单易懂，下面我们使用了gcc演示了这个修饰后的名字。）

通过下面我们可以看出gcc（c）的函数修饰后名字不变。而g++（c++）的函数修饰后变成【_Z+函数长度+函数名+类型首字母】。

1、采用C语言编译器编译后结果

结论：在linux下，采用gcc编译完成后，函数名字的修饰没有发生改变。
C语言不支持重载，因为编译的时候，两个重载函数，函数名相同，在func.o符号表中存在歧义和冲突，其次链接的时候也存在歧义和冲突，因为他们都是直接使用函数名去标识和查找，而函数重载，函数名相同。
2、采用C++编译器编译后结果

函数重载情况：

结论：在linux下，采用g++编译完成后，函数名字的修饰发生改变，编译器将函数参数类型信息添加到修改后的名字中。
C++的目标文件符号表中不是直接用函数名来标识和查找函数。
1、函数名修饰规则，但是这个修饰规则，不同编译器下面不同。
2、有了函数名修饰规则，只要参数不同，func.o 符号表里面重载的函数就不存在二义性冲突了。
3、链接的时候，test.o 的main的函数里面去调用两个重载的函数，查找地址时，也是明确的。

注意：

1. 通过这里就理解了C语言没办法支持重载，因为同名函数没办法区分。而C++是通过函数修饰规则来区分，只要参数不同，修饰出来的名字就不一样，就支持了重载。
2. 另外我们也理解了，为什么函数重载要求参数不同！而跟返回值没关系。
3. 如果当前文件有函数定义，那么编译时就填上地址了
4. 如果当前文件只有函数声明，那么定义就在其他xxx.cpp文件中，编译时没有地址，只能链接的时候去xxx.o符号表中根据函数修饰名去找，这就是链接的重要工作。