概述
在学校里,我们都会有班里同学被起外号的经历,而且同一个人可能还会有好几个外号。
在自然语言中,一个词可以有多重含义,人们可以通过上下文来判断该词真实的含义,即该词被重载了。
目录
概述
什么是函数重载
怎么使用函数重载
函数重载为什么不考虑用返回值进行区分重载?
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
操作时,会通过函数名和其参数类型生成唯一标识符,用来支持函数重载。
由于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++是通过函数修饰规则来区分,只要参数不同,修饰出来的名字就不一样,就支持了重载。
本节完