【C++】函数重载的使用及原理

概述

在学校里，我们都会有班里同学被起外号的经历，而且同一个人可能还会有好几个外号。

在自然语言中，一个词可以有多重含义，人们可以通过上下文来判断该词真实的含义，即该词被重载了。 

目录

概述

什么是函数重载 

怎么使用函数重载

函数重载为什么不考虑用返回值进行区分重载？ 

C++支持函数重载的原理--名字修饰(name Mangling)

为什么C编译器不支持函数重载？

---

什么是函数重载 

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

怎么使用函数重载

参数类型不同：

int Add(int left, int right)
{
cout << "int Add(int left, int right)" << endl;
return left + right;
}
double Add(double left, double right)
{
cout << "double Add(double left, double right)" << endl;
return left + right;
}

参数个数不同：

void f()
{
cout << "f()" << endl;
}

void f(int a)
{
cout << "f(int a)" << endl;
}

参数类型顺序不同：

void f(int a, char b)
{
cout << "f(int a,char b)" << endl;
}
void f(char b, int a)
{
cout << "f(char b, int a)" << endl;
}

test

int main()
{
Add(10, 20);
Add(10.1, 20.2);
f();
f(10);
f(10, 'a');
f('a', 10);
return 0;
}

函数重载为什么不考虑用返回值进行区分重载？ 

 从重载的机制来看，在调用相同名称的函数时,返回值类型不能作为区分函数的重载判断依据（且函数调用不一定用返回值）,但是利用形参列表可以区分.。

C++支持函数重载的原理--名字修饰(name Mangling)

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

C++函数重载底层原理就是基于编译器的 name mangling 机制。在编译阶段，编译器会为C++中的所有函数，在符号表中生成唯一的标识符（类似起别名），用来区分不同的函数。而对于同名不同参的函数，编译器在进行name mangling操作时，会通过函数名和其参数类型生成唯一标识符，用来支持函数重载。（C语言没有函数取别名)

由于VSstdio的函数名字修饰规则比较复杂，我们来看一下Linux下的函数重载具体生成过程：

 在Linux编译之后，我们可以看到函数的名字变了， int Add (int a, int b) 编译后函数名变成了：_Z3Addii    void func(int a, double b, int* p) 编译后函数名变成了： _Z4funcidPi

这里的name mangling 机制是：前缀 _Z是GCC的规定(写gcc编译器人员规定的），数字3 是函数名Add的字符个数，i表示第一个函数的参数类型int，i是第二个函数的参数类型int。对于第二个函数签名中Pi则表示第三个函数类型是int*

我们同时可以发现，函数重载与返回值类型无关，仅与函数名和函数参数类型相关。即如果两个函数函数名和参数是一样的，返回值不同是不构成重载的，因为调用时编译器没办法区分。

在linux下，采用g++编译完成后，函数名字的修饰发生改变，编译器将函数参数类型信息添加到修改后的名字中。

附Windows下名字修饰规则： 

 对比Linux会发现，windows下vs编译器对函数名字修饰规则相对复杂难懂，但道理都是类似的，我们就不做细致的研究了。

为什么C编译器不支持函数重载？

因为C编译器的name mangling规则与C++的不同：C语言的命名规则仅依赖于函数名，和函数参数类型无关。因为同名函数没办法区分。而C++是通过函数修饰规则来区分，只要参数不同，修饰出来的名字就不一样，就支持了重载。

---

本节完