C++函数重载详解!
1.什么是函数重载?
C++支持在同一作用域里面可以有功能类似的同名函数,但是他们参数不同(个数或类型必须不同)
举个例子:
#include <iostream>
using namespace std;
int Add(int a, int b) //有两个整形参数的Add()函数。
{
return a + b;
}
int Add(int a, int b, int c) //有三个整形参数的Add()函数。
{
return a + b + c;
}
double Add(double a, double b)//有两个double类型参数的Add()函数。
{
return a + b;
}
int main()
{
//这里都可以正常输出结果。
cout << Add(2, 3) << endl;
cout << Add(3.8, 4.3) << endl;
cout << Add(3, 4, 5) << endl;
return 0;
}
这里有个需要注意的点:
只有返回值不同的函数算函数重载吗?我们来做个测试:
//下面是除了返回值不同,其他完全相同的函数
int Add(short a, short b)
{
return a + b;
}
short Add(short a, short b)
{
return a + b;
}
int main()
{
cout << Add(2, 3) << endl;
cout << Add(2, 3) << endl;
return 0;
}
这样定义函数运行程序时就会报错,显然是错误的!
2.为什么C语言不支持函数重载,而C++支持,他支持的原理是什么?
编译器是怎样判定函数能不能重载?是在什么时候判定呢?
在解决上面两个问题前,首先要清楚C/C++代码运行的流程:
一般在我们的项目中,会有多个头文件和源文件,以C语言为例:
当main.c中调用了test.c中的函数时,汇编后形成的main.o中没有所调用函数的地址,因为该函数是在test.c中定义的,该函数的地址在test.o中,所以链接时main.o就要去test.o中找所调用函数的地址,具体过程如下:
接下来我们在Linux环境下用C语言中模拟上述过程,观察被调用的函数在符号表中是怎样命名的:
//test.c
int Add(int a,int b)
{
return a+b;
}
int func(short a,double b,char* c)
{
}
//main.c
int main()
{
char a;
Add(1,2);
func(2,4.3,&a);
return 0;
}
用objdump -S (可执行程序名称) 命令查看符号表:
显而易见,Linux环境下,C语言gcc编译后,符号表中函数命修饰并没有发生变化,还是以定义时的函数名命名的。
如果此时有同名函数,即使他们参数和返回值类型不同,test.o的符号表会也有两个同名函数,main.o中调用函数在test.o中寻找该函数时,就不知道哪个才是他真正要找的,产生报错。因此,C语言不支持函数重载。
C++在g++编译链接时有特殊的函数命名规则,下面我们具体分析一下:
//test.cpp
int Add(int a,int b)
{
return a+b;
}
double Add(double a,double b)
{
return a+b;
}
int func(short a,double b,char* c)
{
}
//main.cpp
int main()
{
char a;
Add(1,2);
Add(1.0,2.0);
func(2,4.3,&a);
return 0;
}
用objdump -S (可执行程序名称) 命令查看符号表:
根据上图我们可以总结出g++函数名修饰规则:
<_Z+函数长度+函数名+类型首字母>
通过上面我们可以看出gcc的函数修饰后名字不变,并不能区别同名函数。而g++的函数修饰后变成<_Z+函数长度+函数名+类型首字母>,有效的区分了同名不同参数的函数,所以支持了函数重载。
需要再次强调,函数重载与函数的返回值无关(由命名规则可以看出),只要参数不同即可。