【C++】什么是函数重载？为什么需要？怎么实现？

目录

前言 

一、什么是函数重载？

习题练习

二、为什么需要函数重载？

三、重载是如何实现的？

---

前言 

        相对于C语言的函数，C++增加了重载（overloaded）、内联（inline）、const、vertual四种机制。其中重载和内联机制，既可用于全局函数也可以用于类的成员函数，const和virtual机制仅用于类的成员函数。

---

一、什么是函数重载？

• 在c++程序中，而可以将语义、功能相似的几个函数用同一个名字表示，即函数重载
• 函数名相同（同一个作用域），参数列表不一样。（同名不同参）

• 注意：并不是两个函数名字相同就能构成重载。全局函数和类的成员函数同名不算重载，因为函数的作用域不同。 
• 如果某个类的成员函数要调用全局函数，为了与成员函数区分开，全局函数被调用时应加‘ :: ’标志。如，::Function(...); 表示Function是全局函数而非成员函数

习题练习

判断以下两种函数是重载函数吗？

int& Value(){ }
const int& Value() const{ }

先说结论：是重载函数，因为参数列表不一样。

原因：

        重载的定义是同名不同参。看起来好像都是无参的，但其实参数类型不一样，编译器在编译时会把类成员函数的this指针加进去：

指针修饰有两个值：

1. const修饰指针
   1. 指针不可改
   2. 指向可以改
   3. 对this指针指向能力的修改，也叫常方法
2. 修改指向
   1. 指向不可改
   2. 指针可改

        此时，参数列表内的(int* const this),const修饰指针，属于上面第一种情况

(const int* const this)，属于两种情况都包含，既不可修改指针自己，也不可修改指向。

二、为什么需要函数重载？

• 答：类的构造函数需要重载机制，因为C++规定构造函数与类同名，构造函数只能有一个名字，处理的方式就是用重载机制实现。所以，类可以有多个同名的构造函数。

三、重载是如何实现的？

• 问：几个同名的重载函数仍然是不同的函数，他们是如何区分的呢？
• 答：用参数区分
• 为什么不能用返回值类型区分呢？
  • 如果同名函数仅仅是返回值类型不同，有时可以区分，但是有的时候却不能
  • eg:

    void Function(void);
    int Function(void);

  • 这两个函数，第一个没有返回值，第二个返回值是Int类型。因为在c++/c程序中，我们可以忽略函数的返回值，这样的话，编译器和程序员都不知道哪个function函数被调用。
• 所以，只能靠参数而不能靠返回值类型的不同来区分重载函数

如果C++程序员要调用已经被编译后的C函数怎么办？

• 假设某个C函数的声明如下：
   

• void foo(int x,int y);

• 该函数被C编译器编译后在库中的名字为_foo,而C++编译器则会产生像_foo_int_int之类的名字用来支持函数重载和类型安全连接。由于编译器名字不同，C++程序不能直接调用C函数。C++提供了一个与C连接交换指定符号extern“C”来解决这个问题。
• 例如：

• exetern “C”
  {
      void foo(int x,int y);
      ....//其他函数
  ​​​​​​​}

• 或者写成

• exetern “C”
  {
      #include “muheader.h”
      ....//其他C头文件
  ​​​​​​​}

• 这就告诉C++编译器，函数foo是个C连接，应该到库中找名字_foo，而不是找_foo_int_int。C++编译器开发商已经对C标准库的头文件作了exter “C”处理，所以我们可以用#include直接引用这些头文件

注意：

当心隐式类型转换导致重载函数产生二义性

在下列代码中，第一个output函数的参数是Int类型，第二个是float类型。由于数据本身没有类型，将数字作为参数时会自动进行类型转换（称为隐式类型转换）。语句output(0.5)将产生编译错误，因为编译器不知道将0.5转换成int还是float类型。隐式类型转换在很多地方可以简化程序书写，但是也可能留下隐患。

void output(int x);
void output(float x);

void output(int x)
{
    ...
}

void output(float x)
{
    ...
}

int main()
{
    output(0.5);//error
}