函数重载
是函数的一种特殊情况,c++允许在同一作用域中声明几个功能类似的同名函数,这些同名函数的形参列表(参数个数或类型或顺序)不同,常用来处理实现功能类似数据类型不同的问题。也就是说c++允许有同名的函数,这在C语言中是不支持的,函数重载是很重要的语法,在类和对象中有不少的应用,所以大家要好好的去理解。
一,构成函数重载的条件
所谓函数重载就是函数的名称相同
,但是形参列表
不同。主要有三种情况。
- 参数类型不同:
顾名思义,就是函数形参的类型不同。
int Sub(int a, int b)
{
cout << "int Sub(int a, int b)" << endl;
return a - b;
}
double Sub(double a, double b)
{
cout << "double Sub(double a, double b)" << endl;
return a - b;
}
double Sub(double a, int b)
{
cout << "double Sub(double a, int b)" << endl;
return a - b;
}
可以清楚的看到三个函数的形参类型是不同的,这三个函数构成重载,为了验证是否构成重载我决定分别调用一下,然后看输出结果即可。
int main()
{
Sub(3, 5);//调用第一个函数
Sub(3.14, 2.00);//调用第二个函数
Sub(6.9, 4);//调用第三个函数
return 0;
}
运行结果如下:
结果很明显,三个函数都调用成功了。
2. 参数个数不同:
函数参数的个数不同,也是可以构成函数重载的。
int Sub(int a, int b)
{
cout << "int Sub(int a, int b)" << endl;
return a - b;
}
int Sub(int a, int b,int c)
{
cout << "int Sub(int a, int b,int c)" << endl;
return a - b-c;
}
int main()
{
Sub(3, 5);
Sub(6, 4,1);
return 0;
}
运行结果如下:
可以发现函数都调用成功了,构成重载。当然这只是举简单例子,意在说明函数参数个数不同也可构成重载,不必钻牛角尖
,问:函数参数个数和类型都不同 可不可以?答案是:当然可以
。
注意事项:
void x();
void x(int a=1);
这个程序是个坑哈,它是构成重载的,但是有时候会报错。
x(2);//不报错,调用第二个程序
x();//报错,调用有歧义
报错如下:
在这里大家就得想想缺省参数那块知识了,在调用x()时,如果你不传参的话,编译器既可以调用x(),也可以调用x(int a=1),因为函数缺省情况下,不传参是可以用缺省值来作为函数参数的。函数缺省不太懂的铁子可以看博主的博客哈,有篇文章专门讲函数缺省的哈。
- 参数顺序不同:
函数参数的顺序不同也是可以构成重载的。还是给个小例子吧,相信大家都能猜出来结果哈。
int Sub(int a, char b)
{
cout << "int Sub(int a, char b)" << endl;
return a - b;
}
int Sub(char a, int b)
{
cout << "int Sub(char a, int b)" << endl;
return a - b;
}
int main()
{
Sub(3, 'a');
Sub('b', 4);
return 0;
}
运行结果如下:
注意事项:
int ly(int a,int b);
int ly(int b,int a);
这构成重载吗?必然不构成
。a,b只不过一个名称而已,可有可无,这俩函数其实一个函数。都能写成这样int ly(int ,int );参数名陈顺序不同,不能构成重载。像是ly这样的函数,是无法通过改变参数顺序来重载的。
二,函数重载的原理
上文讲了构成函数重载的条件,但是大家可能还不够了解函数重载,我们不但要会用,还应该掌握它的原理
,这样印象才会深刻
。
这里我们不由会想,C语言为啥不支持重载,而c++却支持。
首先我们来回顾一下编译器编译的过程:
- 预处理 :头文件展开,宏替换,条件编译,去掉注释
- 编译 :检查语法,生成汇编代码
- 汇编 :汇编代码转成二进制机器码
- 链接 :链接一波
问题就出在链接前和链接时
,通过一个程序,我来一步一步讲:
#include<iostream>
using namespace std;
int Sub(int a, char b)
{
cout << "int Sub(int a, char b)" << endl;
return a - b;
}
int Sub(char a, int b)
{
cout << "int Sub(char a, int b)" << endl;
return a - b;
}
int main()
{
Sub('a', 2);
Sub(3, 'b');
return 0;
}
- 这是反汇编代码,call这个指令可以理解为调用函数的,那个地址也有说法,并不是所有的函数在调用的时候都会直接有地址的,这分为
两种
:1如果函数的定义在当前的文件,那么编译的时候地址直接就填上了。2如果函数的定义不在当前文件而是在其他的.cpp文件,那么此处的位置会是函数的名称
这是关键点,名称是根据不同编译器而变得,这叫做函数名修饰规则
。然后想要找到这个地址,只能在链接的时候去符号表
中去查找,对应的将地址填到此处。
理解这点是至关重要的
。 - 正是因为
函数名修饰规则
,才导致C语言无法进行函数重载,因为它的函数名修饰规则非常简单
,直接就是函数名去符号表里查找。大家可想而知,若干个重名的函数会造成怎样的影响。首先,符号表里会有重名的符号,这是冲突的,其次链接时也会有歧义,因为编译器不知道,你在调用那个函数。 - c++之所以支持函数重载就是因为函数修饰规则比较复杂,它会根据参数的不同,从而有不同的函数修饰,也就是说,在符号表中函数名不会有重复的符号。这很nice,也就相当于若干函数重载,这些函数都是独立的函数,不会有丝毫的互相影响。
- 至于想看函数修饰名规则的小伙伴,可以在liunx环境下看,比较方便,直观。
结语:
本篇内容到此结束,有问题的小伙伴可以私聊,也可以评论区留言。