一、函数重载的定义
在C语言的编译器下,我们无法做到使两个函数拥有一样的名字。而在C++中,我们可以使两个保证声明定义规则正确的函数重名,函数的重名首先要做到两个函数的声明中他们的参数不一样。这里我们引入缺省参数的概念。
缺省参数是声明或定义函数时为函数的参数指定一个缺省值。在调用该函数时,如果没有指定实
参则采用该形参的缺省值,否则使用指定的实参。
//全缺省参数
void Func(int a = 10, int b = 20, int c = 30)
{
cout<<"a = "<<a<<endl;
cout<<"b = "<<b<<endl;
cout<<"c = "<<c<<endl;
}
//半缺省参数
void Func(int a, int b = 10, int c = 20)
{
cout<<"a = "<<a<<endl;
cout<<"b = "<<b<<endl;
cout<<"c = "<<c<<endl;
}
//a.h
void Func(int a = 10);
// a.cpp
void Func(int a = 20)
{}
// 注意:如果声明与定义位置同时出现,恰巧两个位置提供的值不同,那编译器就无法确定到底该
用那个缺省值。
缺省参数遵循下列规则:
1. 半缺省参数必须从右往左依次来给出,不能间隔着给
2. 缺省参数不能在函数声明和定义中同时出现
3. 缺省值必须是常量或者全局变量
4. C语言不支持(编译器不支持)
函数重载:是函数的一种特殊情况,C++允许在同一作用域中声明几个功能类似的同名函数,这些同名函数的形参列表(参数个数 或 类型 或 类型顺序)不同,常用来处理实现功能类似数据类型不同的问题。
二、如何实现函数重载
#include<iostream>
using namespace std;
// 1、参数类型不同
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;
}
// 2、参数个数不同
void f()
{
cout << "f()" << endl;
}
void f(int a)
{
cout << "f(int a)" << endl;
}
// 3、参数类型顺序不同
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;
}
int main()
{
Add(10, 20);
Add(10.1, 20.2);
f();
f(10);
f(10, 'a');
f('a', 10);
return 0;
}
我们可以通过以下三个方法实现函数重载:
使两个函数的参数类型不同。
使两个函数的参数个数不同。
参数的顺序不同。
要注意,函数重载可以与缺省参数进行搭配使用,但是要注意规避重定义的情况。如下面这种情况就会出现重定义:
void Add(int a,int b)
{
cout << a+b << endl;
}
void Add(int a, int b=10)
{
cout << a << endl;
}
这里的编译器不知道我们在进行调用时会使用哪个Add函数,所以会报错。
三、C++是如何实现函数重载的
假设我们有下列三个文件:
//func.h下:
#pragma once
#include <iostream>
using std::cout;
using std::endl;
void func();
void func(int a);
//func.cpp下
#define _CRT_SECURE_NO_WARNINGS 1
#include "func.h"
void func()
{
cout << "func()" << endl;
}
void func(int a)
{
cout << "func(int a)" << endl;
}
//test.cpp下
#define _CRT_SECURE_NO_WARNINGS 1
#include "func.h"
int main()
{
func();
func(1);
return 0;
}
上面的运行结果为:
一个程序运行起来需要进行四个阶段:
1.预处理(将包含的头文件展开,宏的替换,条件编译,去掉注释)。
生成 func.i test.i
2.编译(检查语法,语法分析,词法分析,语义分析,符号汇总,生成汇编代码)。
生成func.s test.s
3.汇编(生成符号表,将汇编代码转化为机器指令)。
生成 func.o test.o
4.链接(合并符号表,这时如果符号表内容冲突的话将会报错)。
生成a.out
我们先来说一下C++的编译器为什么支持函数重载:
我们可以根据vs的反汇编看到汇编代码。
当我们执行程序需要调用函数的时候。我们便会使用一条call指令。
我们可以看到这里的执行两个函数call的地址是不一样的。当我们执行到call第一个函数的时候。
我们会看到上面便是我们为第一个函数创建的栈帧。当我们执行完第一个函数时。接下来就会call第二个函数。这时jmp到的地址与第一个函数也是不同的。下面为第二个函数的栈帧。
我们可以从函数参数看出这两个函数时明显不同的。那么为什么这两个函数的名字相同,却在连接时没有报错呢?
原因是我们的编译器对函数的名字进行了修饰。在linux的环境下,我们的两个函数名分别被修饰为了
func()--->_Z4funcv //linux的修饰规则为_Z+函数名字的个数+函数名+函数的参数类型
func(int a)--->_Z4funci
所以这两个函数即使名称相同也不会在链接时发成冲突。
由于作者尚未熟练比较菜尚未掌握使用linux,所以缺少配图,以后将会补上。
在linux下,采用g++编译完成后,函数名字的修饰发生改变,编译器将函数参数类型信息添加到修改后的名字中。
而在C语言的编译器中,它不会对函数的名称进行一些修饰,所以导致链接时会发成冲突。以上也就是C++为什么可以实现函数重载而C语言不可以实现该功能。