【C++】函数重载详解

📢博客主页：https://blog.csdn.net/2301_779549673
📢欢迎点赞 👍 收藏 ⭐留言 📝 如有错误敬请指正！
📢本文由 JohnKi 原创，首发于 CSDN🙉
📢未来很长，值得我们全力奔赴更美好的生活✨

---

📢前言

函数多态是C++在C语言的基础上新增的功能。

默认参数让您能够使用不同数目的参数调用同一函数，而函数多态(函数重载)让您能够使用多个同名的函数。术语“多态”指的是有多种形式,因函数多态允许函数可以有多种形式。类似地，术语“函数重载”指的是可以有多个同名的函数，因此名称进行了重载。这两个术语指的是同一回事，但我们通常使用函数重载。

可以通过函数重载来设计系列函数–它们完成相同的工作，但使用不同的参数列表。

---

🏳️‍🌈函数重载的概念

函数重载的关键是函数的参数列表–也称为函数特征标(inctionsienture)。如果两个函数的参数数目和类型相同，同时参数的排列顺序也相同，则它们的特征标相同，而量名是无关紧要的。C++允许定义名称相同的函数，条件是它们的特征标不同。如果参数数目和/或参数类型不同，则特征标也不同。例如，可以定义一组原型如下的print()函数;

void print(const char* str, int width);//#1
void print(double d, int width);//#2
void print(long l, int width);//#3
void print(int i, int width);//#4
void print (const char *str);//#5

使用print函数时，编译器将根据所采取的用法使用有相应特征标的原型

函数的名字仅仅是让编译器知道它调用的是哪个函数，而函数重载可以在一定程度上减轻程序员起名字、记名字的负担。

main函数不能重载。

❤️ 1、与原型的匹配原则

例如，print(“Pancakes”,15);使用一个字符串和一个整数作为参数，这与#1 原型匹配。

使用被重载的函数时，需要在函数调用中使用正确的参数类型。例如，对于下面的语句:

unsigned int year = 3210; 
print(year, 6);//ambiguous cal1

print()调用与哪个原型匹配呢?它不与任何原型匹配!

没有匹配的原型并不会自动停止使用其中的某个函数，因为C++将尝试使用标准类型转换强制进行匹配。

如果#2原型是prin()唯一的原型，则函数调用print(year,6)将把year 转换为 double 类型。但在上面的代码中，有3个将数字作为第一个参数的原型，因此有3种转换year的方式。在这种情况下，C++将拒绝这种函数调用，并将其视为错误。

一些看起来彼此不同的特征标是不能共存的。例如，请看下面的两个原型:

double cube(double x); 
double cube(double& x);

您可能认为可以在此处使用函数重载，因为它们的特征标看起来不同。然而，请从编译器的角度来考虑这个问题。假设有下面这样的代码:

cout << cube (x);

参数x与double x原型和double &x原型都匹配，因此编译器无法确定究竟应使用哪个原型。为避免这种混乱，编译器在检查函数特征标时，将把类型引用和类型本身视为同一个特征标。

🧡 2、匹配函数时，不区分const和非const变量

请看下面原型

void dribble(char* bits);
void dribble(const char* cbits); 
void dabble(char* bits);
void drivel(const char* bits);

下面列出了各种函数调用对应的原型:

const char p1【20] = "How's the weather?"; 
char p2[20] = "How's business?"; 
dribble(p1);    //dribble(const char *);
dribble(p2);    // dribble(char *);
dabble(p1);    // no match
dabble(p2);    // dabble(char *);
drivel(p1);     //drivel(const char*);
drivel(p2);     //drivel(const char*);

dribble()函教有两个原型，一个用于 const指针，另一个用于常规指针,编译器将根据实参是否为const决定使用哪个原型。

dabble()函数只与带非const参数的调用匹配

而drivel()函数可以与带const 或非const参数的调用匹配

dabble()函数和drivel()函数之所以再行为上有这种差异，主要是由于将非const值赋给const变量时合法的，反之不合法

💛 3、返回类型与特征标

对于特征标我们可以简单地理解为形参的类型、数量及排列顺序。

long gronk(int n,float m);
double gronk(int n,float m);

比如说这两个参数的特征标就是一样的

long gronk(int n,float m);
double gronk(double n,float m);

这两个就是不一样的

请记住，是特征标，而不是函数类型使得可以对函数进行重载。例如，下面的两个声明是互斥的

因此，C+不允许以这种方式重载gronk()。返回类型可以不同，但特征标也必须不同

所以上面第一种写法就不行的，但第二种可以

💚 4、重载引用参数

类设计和 STL 经常使用引用参数，因此知道不同引用类型的重载很有用。请看下面三个原型.

void sink(double& rl);
void sank(const double& r2);
void sunk(double&& r3);

左值引用参数r1与可修改的左值参数(如double变量)匹配;
const左值引用参数r2与可修改的左值参数、const 左值参数和右值参数(如两个 double值的和)匹配;
最后，左值引用参数r3与左值匹配。注意到与r1或 r3匹配的参数都与r2匹配。这就带来了一个问题:如果重载使用这三种参数的函数，结果如何?答案是将调用最匹配的版本:

void staff(double& rs); 
void staff(const double& rcs); 
void stove(double& rl); 
void stove(const double& r2); 
void stove(double&& r3);

这让您能够根据参数是左值、const还是右值来定制函数的行为:

double x = 55.5; 
const double y = 32.0; 
stove(x);         // calls stove(double &)
stove(y);         //calls stove(const double &)
stove(x + y);   // calls stove(double &&)

如果没有定义函数 stove(double &&)，stove(x+y)将调用函数 stove(const double &)。

🏳️‍🌈何时使用函数重载

虽然函数重载很吸引人，但也不要滥用。仅当函数基本上执行相同的任务，但使用不同形式的数据才应采用函数重载。另外，您可能还想知道，是否可以通过使用默认参数来实现同样的目的。例如，可用两个重载函数来代替面向字符串的lef()函数:

char* left(const char* str, unsigned n);
char* left(const char* str);

使用一个带默认参数的函数要简单些。只需编写一个函数(而不是两个函数)，程序也只需为一个函(而不是两个)请求内存;需要修改函数时，只需修改一个。然而，如果需要使用不同类型的参数，则默认参数便不管用了，在这种情况下，应该使用函数重载。

---

本篇博文对 函数重载 做了一个较为详细的介绍，不知道对你有没有帮助呢

觉得博主写得还不错的三连支持下吧！会继续努力的~