C++【函数重载】解析

一、函数重载的定义

在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;
}

我们可以通过以下三个方法实现函数重载：

1. 使两个函数的参数类型不同。

2. 使两个函数的参数个数不同。

3. 参数的顺序不同。

要注意，函数重载可以与缺省参数进行搭配使用，但是要注意规避重定义的情况。如下面这种情况就会出现重定义：

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语言不可以实现该功能。