C++函数重载详解_c++函数重载规则(2)，2024年最新2024金九银十Golang大厂面试题来袭-CSDN博客

本文链接：https://blog.csdn.net/2301_82102393/article/details/137847304

先自我介绍一下，小编浙江大学毕业，去过华为、字节跳动等大厂，目前阿里P7

深知大多数程序员，想要提升技能，往往是自己摸索成长，但自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！

因此收集整理了一份《2024年最新Golang全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友。

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上Go语言开发知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

如果你需要这些资料，可以添加V获取：vip1024b （备注go）

正文

Swap(&f1, &f2);
cout<<f1<<", "<<f2<<endl;

//交换 char 变量的值
char c1 = ‘A’, c2 = ‘B’;
Swap(&c1, &c2);
cout<<c1<<", "<<c2<<endl;

//交换 bool 变量的值
bool b1 = false, b2 = true;
Swap(&b1, &b2);
cout<<b1<<", "<<b2<<endl;
return 0;
}

运行结果：
200, 100
56.93, 12.5
B, A
1, 0

本例之所以使用Swap这个函数名，而不是使用swap，是因为 C++ 标准库已经提供了交换两个变量的值的函数，它的名字就是swap，位于algorithm头文件中，为了避免和标准库中的swap冲突，本例特地将S大写。

既然标准库已经提供了 swap() 函数，本例为何又要自己实现一遍呢，这不是费力不讨好吗？交换两个变量的值是一个经典且实用的函数重载案例，本例这样做仅仅是为了教学演示，并不是要替代标准库中的 swap()，读者在以后的编码过程中也应该坚持使用标准库中的 swap()。

通过本例可以发现，重载就是在一个作用范围内（同一个类、同一个命名空间等）有多个名称相同但参数不同的函数。重载的结果是让一个函数名拥有了多种用途，使得命名更加方便（在中大型项目中，给变量、函数、类起名字是一件让人苦恼的问题），调用更加灵活。

在使用重载函数时，同名函数的功能应当相同或相近，不要用同一函数名去实现完全不相干的功能，虽然程序也能运行，但可读性不好，使人觉得莫名其妙。

注意，参数列表不同包括参数的个数不同、类型不同或顺序不同，仅仅参数名称不同是不可以的。函数返回值也不能作为重载的依据。

函数的重载的规则：

函数名称必须相同。
参数列表必须不同（个数不同、类型不同、参数排列顺序不同等）。
函数的返回类型可以相同也可以不相同。
仅仅返回类型不同不足以成为函数的重载。

C++ 是如何做到函数重载的

C++代码在编译时会根据参数列表对函数进行重命名，例如void Swap(int a, int b)会被重命名为_Swap_int_int，void Swap(float x, float y)会被重命名为_Swap_float_float。当发生函数调用时，编译器会根据传入的实参去逐个匹配，以选择对应的函数，如果匹配失败，编译器就会报错，这叫做重载决议（Overload Resolution）。

不同的编译器有不同的重命名方式，这里仅仅举例说明，实际情况可能并非如此。

从这个角度讲，函数重载仅仅是语法层面的，本质上它们还是不同的函数，占用不同的内存，入口地址也不一样。

C++函数重载过程中的二义性和类型转换

上节我们讲到，发生函数调用时编译器会根据传入的实参的个数、类型、顺序等信息去匹配要调用的函数，这在大部分情况下都能够精确匹配。但当实参的类型和形参的类型不一致时情况就会变得稍微复杂，例如函数形参的类型是int，调用函数时却将short类型的数据交给了它，编译器就需要先将short类型转换为int类型才能匹配成功。

现在有以下几种形式的函数重载（例1）：

#include
using namespace std;
//1号函数
void func(char ch){
cout<<“#1”<<endl;
}
//2号函数
void func(int n){
cout<<“#2”<<endl;
}
//3号函数
void func(long m){
cout<<“#3”<<endl;
}
//4号函数
void func(double f){
cout<<“#4”<<endl;
}
int main(){
short s = 99;
float f = 84.6;

func(‘a’); //不需要类型转换，调用func(char)
func(s); //将short转换成int，调用func(int)
func(49); //不需要类型转换，调用func(int)
func(f); //将float转换成double，调用func(double)
return 0;
}

运行结果：

#1
#2
#2
#4

这段代码很容易理解，相信大家都不会有什么疑问。对代码稍作修改，将2号函数void func(int n)去掉（例2）：

#include
using namespace std;
//1号函数
void func(char ch){
cout<<“#1”<<endl;
}
//3号函数
void func(long m){
cout<<“#3”<<endl;
}
//4号函数
void func(double f){
cout<<“#4”<<endl;
}
int main(){
short s = 99;
float f = 84.6;

func(‘a’);
func(s);
func(49);
func(f);
return 0;
}

这段代码在编译时发生了错误，大概的意思是：func(s)和func(49)这两个函数发生调用错误，它们可以匹配三个重载函数中的任何一个，编译器不知道如何抉择。

这着实有点让人摸不着头脑！根据以往的编程经验，s 和 49 不都应该被转换成 long 类型，从而匹配3号函数void func(long m)吗？这种推论在一般的函数调用或者四则运算中确实没错，但它不一定适用于重载函数！

C++ 标准规定，在进行重载决议时编译器应该按照下面的优先级顺序来处理实参的类型：

优先级	包含的内容	举例说明
精确匹配	不做类型转换，直接匹配	（暂无说明）
只是做微不足道的转换	从数组名到数组指针、从函数名到指向函数的指针、从非 const 类型到 const 类型。
类型提升后匹配	整型提升	从 bool、char、short 提升为 int，或者从 char16_t、char32_t、wchar_t 提升为 int、long、long long。
小数提升	从 float 提升为 double。
使用自动类型转换后匹配	整型转换	从 char 到 long、short 到 long、int 到 short、long 到 char。
小数转换	从 double 到 float。
整数和小数转换	从 int 到 double、short 到 float、float 到 int、double 到 long。
指针转换	从 int * 到 void *。

C++ 标准还规定，编译器应该按照从高到低的顺序来搜索重载函数，首先是精确匹配，然后是类型提升，最后才是类型转换；一旦在某个优先级中找到唯一的一个重载函数就匹配成功，不再继续往下搜索。

如果在一个优先级中找到多个（两个以及以上）合适的重载函数，编译器就会陷入两难境地，不知道如何抉择，编译器会将这种模棱两可的函数调用视为一种错误，因为这些合适的重载函数同等“优秀”，没有一个脱颖而出，调用谁都一样。这就是函数重载过程中的二义性错误。

在例1中，func('a')、func(49)分别和void func(char)、void func(int)精确匹配；func(s)没有精确匹配的重载函数，编译器将 s 的类型提升为 int 后和void func(int)匹配成功；func(f)也是类似的道理，将 f 提升为 double 类型后和void func(double)匹配成功。

在例2中，func(s)、func(49)没有精确匹配的重载函数，将它们的类型都提升为 int 后仍然不能匹配，接下来进入自动类型转换阶段，发现 s 被转换为 char（整型转换）、long（整型转换）、double（整数和小数转换）后都有比较合适的函数，而且它们在同一个优先级中，谁也不比谁优秀，调用哪个都一样，产生了二义性，所以编译器会报错。

注意，类型提升和类型转换不是一码事！类型提升是积极的，是为了更加高效地利用计算机硬件，不会导致数据丢失或精度降低；而类型转换是不得已而为之，不能保证数据的正确性，也不能保证应有的精度。类型提升只有上表中列出的几种情况，其他情况都是类型转换。