🌈个人主页：Yui_
🌈Linux专栏：Linux
🌈C语言笔记专栏：C语言笔记
🌈数据结构专栏：数据结构
🌈C++专栏：C++
文章目录
- 1. 函数重载
- 1.1 函数重载概念
- 1.2 C++支持函数重载的原理--名字修饰（name Mangling）
- 2. 引用
- 2.1 引用的概念
- 2.2 引用的特性
- 2.3 常引用
- 2.4 使用场景
- 2.5 传值、传引用效率比较
- 2.6 引用和指针的区别
1. 函数重载
在中文语境中有些词语它就是一词多义的，人们通过上下文来判断词语的意思，即该词被重载了。
就比如说：以前有个笑话，我们国家有两个体育项目大家根本不用看，也不用担心。一个是乒乓球，一个是足球。前者"谁也赢不了"后者"谁也赢不了"。
1.1 函数重载概念
函数重载：是函数的一种特殊情况，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 test()
{
cout<<"test()"<<endl;
}
void test(int a)
{
cout<<"test(int a)"<<endl;
}
//3.参数类型顺序不同
void test2(int a,char b)
{
cout<<"test2(int a,char b)"<<endl;
}
void test2(char b,int a)
{
cout<<"test2(char b,int a)"<<endl;
}
int main()
{
add(1,2);
add(1.1,2.2);
test();
test(100);
test2(10,'a');
test2('a',10);
return 0;
}
1.2 C++支持函数重载的原理–名字修饰（name Mangling）
为什么C++支持函数重载，而C语言不支持函数重载呢？
在C/C++中，一个程序要运行起来，需要经历以下几个阶段：预处理、编译、汇编、链接。
- 实际项目中通常是由多个头文件和多个源文件构成的，而通过C语言阶段学习的编译链接，我们可以知道，【当前a.cpp中调用了b.cpp中定义的Add函数时】，编译后链接前，a.o的目标文件中没有Add的函数地址，因为Add是在b.cpp中定义的，所以Add的地址在b.o中。那么怎么办呢？
- 所以链接阶段就是专门处理这种问题的，链接器看到a.o调用Add，但是没有Add的地址，就会到b.o的符号表中找Add的地址，然后链接到一起。
- 那么链接时，面对Add函数，链接器会使用哪个名字去找呢？这里每个编译器都有自己的函数名修饰规则。
- 由于windows下vs的修饰规则过于复杂，而Linux下g++的修饰规则简单易懂，下面我们使用了g++演示这个修饰后的名字。
- 通过下面我们可以看到gcc的函数修饰后名字不变。而g++的函数修饰后变成【__Z+函数长度+函数名+类型首字母】
- 采用C语言编译器编译后的结果：
//file.c中的代码
#include <stdio.h>
int Add(int a,int b)
{
return a+b;
}
void test(int a,double b,int*p)
{
//...
}
int main()
{
Add(10,20);
test(1,2,0);
return 0;
}
结论：在Linux下，采用gcc编译完成后，函数名字的修饰没有发生改变。
- 采用C++编译器编译后结果：
结论：在Linux下，采用g++编译完成后，函数名字的修饰发生改变，编译器将函数参数类型信息添加到修改后的名字中。
- windows下名字修饰规则
总结：对比Linux会发现，Windows下vs编译器对函数名字修饰规则相对复杂难懂，但道理类似。
6. 通过这里就理解了C语言没办法支持重载，因为同名函数没办法区分。而C++是通过函数修饰规则来区分地，只要参数不同，修饰出来地名字就不一样，那么就可以支持重载了。
7. 如果两个函数函数名和参数是一样的，返回值不同是不构成重载的，因为调用时编译器没办法区分。
2. 引用
2.1 引用的概念
引用不是新定义一个变量，而是给已存在变量取一个别名，编译器不会为引用变量开辟内存空间，它和它引用的变量共用同一块内存空间。
就像外号一样，尽管名字不同但人都是一个人。
语法：
类型& 引用变量名(对象名) = 引用实体
#include <cstdio>
void test()
{
int a = 10;
int& ra = a;//定义引用类型
printf("%p\n", &a);
printf("%p\n", &ra);
}
int main()
{
test();
return 0;
}
//打印结果:
/*
009EFDE0
009EFDE0
*/
注意：引用类型必须和引用实体是同种类型的。
2.2 引用的特性
- 引用在定义时必须初始化。
- 一个变量可以有多个引用。
- 引用一旦引用一个实体，就不能再引用其他实体。
void test()
{
int a = 10;
//int& ra;//引用在定义时必须初始化,否则报错
int& ra = a;
int& rra = a;
printf("%p\n", &a);
printf("%p\n", &ra);
printf("%p\n", &rra);
}
//打印结果:
/*
00AFF9A0
00AFF9A0
00AFF9A0
*/
2.3 常引用
void testconstref()
{
const int a = 10;
//int& ra = a;//该语句编译时会出错，a为常量
const int& ra = a;
//int& b = 10;//该语句编译时会出错，10为常量
const int& b = 10;
double d = 3.14;
//int& rd = d;该语句编译时会出错，类型不同
const int& rd = d;
}
2.4 使用场景
- 做参数
void Swap(int& left,int& right)
{
int temp = left;
left = right;
right = temp;
}
- 做返回值
int& Count()
{
static int n = 0;
n++;
//...
return n;
}
观察下来代码，会输出什么结果？
#include <iostream>
using namespace std;
int& add(int a, int b)
{
int c = a + b;
return c;
}
int main()
{
int& ret = add(2, 3);
add(4, 5);
cout << "add(2,3) is :" << ret << endl;
return 0;
}
//打印结果
/*
add(2,3) is :9
*/
函数运行时，系统需要给函数开辟独立的栈空间，用来保存函数的形参，局部变量以及一些寄存器信息等。
函数运行结束后，该函数对应的栈空间就被系统回收了。
空间被回收指该栈空间暂时不能使用，但是内存还在，比如：上课申请教室，上完课之后教师归还给学校，但是教室本身还在，不能说归还后，教室就消失了。
注意：如果函数返回了，出了函数作用域，如果返回对象还在（没有还给系统），则可以使用引用返回，如果已经还给系统了，则必须使用传值返回。
2.5 传值、传引用效率比较
以值作为参数或者返回类型，在传参和返回期间，函数不会直接传递实参或者将变量本身直接返回，而是传递实参或者返回变量的一份临时拷贝，因此用值作为参数或者返回类型，效率是非常低下的，尤其是当参数或返回类型非常大时，效率就更低。
演示：效率对比，值和引用作为参数类型的性能对比
#include <iostream>
#include <ctime>
using namespace std;
struct A
{
int a[10000];
};
void TestFunc(A a)
{
}
void TestFunc2(A& a)
{
}
int main()
{
A a;
//以值作为函数参数
size_t begin1 = clock();
for (size_t i = 0; i < 10000; ++i)
{
TestFunc(a);
}
size_t end1 = clock();
//以引用作为函数参数
size_t begin2 = clock();
for (size_t i = 0; i < 10000; ++i)
{
TestFunc2(a);
}
size_t end2 = clock();
//分别计算两个函数运行结束后的时间
cout << "Testfunc(A) time:" << end1 - begin1 << endl;
cout << "Testfunc2(A&) time:" << end2 - begin2 << endl;
return 0;
}
//打印结果
/*
Testfunc(A) time:12
Testfunc2(A&) time:0
(单位毫秒)
*/
演示：值和引用的作为返回类型的性能对比
#include <iostream>
#include <ctime>
using namespace std;
struct A
{
int a[10000];
};
struct A a;
//值返回
A TestFunc()
{
return a;
}
//引用返回
A& TestFunc2()
{
return a;
}
int main()
{
//以值作为函数的返回类型
size_t begin1 = clock();
for (size_t i = 0; i < 10000; ++i)
{
TestFunc();
}
size_t end1 = clock();
//以引用作为函数的返回类型
size_t begin2 = clock();
for (size_t i = 0; i < 10000; ++i)
{
TestFunc2();
}
size_t end2 = clock();
//分别计算两个函数运行结束后的时间
cout << "Testfunc(A) time:" << end1 - begin1 << endl;
cout << "Testfunc2(A&) time:" << end2 - begin2 << endl;
return 0;
}
//打印结果
/*
Testfunc(A) time:25
Testfunc2(A&) time:1
*/
结论：通过上述的代码可以清楚的发现，传值和传引用在作为传参以及返回值类型上效率相差很大。
2.6 引用和指针的区别
在语法层面上呢，引用就是一个别名，没有独立空间，和其被引用体共用一块空间。
#include <iostream>
using namespace std;
int main()
{
int val = 100;
int& rval = val;
cout<<"&val = "<<&val<<endl;
cout<<"&rval = "<<&rval<<endl;
return 0;
}
//打印结果
/*
&val = 003AFB98
&rval = 003AFB98
*/
但是呢，在底层方面实际是由空间的，因为引用是按照指针方式来实现的。
#include <iostream>
using namespace std;
int main()
{
int a = 10;
int& ra = a;
ra = 20;
int* pa = &a;
*pa = 20
return 0;
}
反汇编：
可以看到操作是类似的。
引用和指针的不同点：
- 引用概念上定义一个变量的别名，指针存储一个变量地址。
- 引用在定义时必须初始化，指针就没有要求。
- 引用在初始化时引用一个实体后，就不能再引用其他实体，而指针可以再任何时候指向任何一个同类型实体。
- 没有NULL引用，但是又NULL指针
- 再sizeof中含义不同：引用结果为引用类型的大小，但是指针始终是地址空间所占字节数个（根据所在平台确定，如32位平台占4个字节）
- 引用自加即引用的实体加1，指针自加即指针向后偏移一个类型的大小。
- 由多级指针，但是没有多级引用。
- 访问实体方式不同，指针需要显示解引用，引用编译器自己处理。
- 引用比指针使用起来相对安全。
