C++语言学习（二）——⭐缺省参数、函数重载、引用

1.⭐缺省参数

（1）缺省参数概念

缺省参数是声明或定义函数时为函数的参数指定一个缺省值。在调用该函数时，如果没有指定实参则采用该形参的缺省值，否则使用指定的实参。

void Func(int a = 0)
{
    cout<<a<<endl;
}
int main()
{
    Func();     // 没有传参时，使用参数的默认值
    Func(10);   // 传参时，使用指定的实参

    return 0;
}

（2）缺省参数分类

①全缺省参数

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

1. 半缺省参数必须从右往左依次来给出，不能间隔着给

2. 缺省参数不能在函数声明和定义中同时出现，如果生命与定义位置同时出现，恰巧两个位置提供的值不同，那编译器就无法确定到底该 用那个缺省值。

3. 缺省值必须是常量或者全局变量

4. C语言不支持（编译器不支持）

2. ⭐函数重载

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

（2）为什么C++支持函数重载，而C语言不支持呢？

在C/C++中，一个程序要运行起来，要经历以下几个阶段：预处理、编译、汇编、链接

1. 项目通常是由多个头文件和多个源文件构成，【当前a.cpp中调用了b.cpp中定义的Add函数时】，编译后链接前，a.o的目标 文件中没有Add的函数地址，因为Add是在b.cpp中定义的，所以Add的地址在b.o中。
2. 所以链接阶段就是专门处理这种问题，链接器看到a.o调用Add，但是没有Add的地址，就 会到b.o的符号表中找Add的地址，然后链接到一起。
3. 那么链接时，面对Add函数，链接接器会使用哪个名字去找呢？这里每个编译器都有自己的函数名修饰规则。
4. 在linux下，采用g++编译完成后，函数名字的修饰发生改变，编译器将函数参数类型信息添加到修改后的名字中。
5. 通过这里就理解了C语言没办法支持重载，因为同名函数没办法区分。而C++是通过函数修饰规则来区分，只要参数不同，修饰出来的名字就不一样，就支持了重载。
6. 如果两个函数函数名和参数是一样的，返回值不同是不构成重载的，因为调用时编译器没办法区分。

3. ⭐引用

（1）引用概念

引用不是新定义一个变量，而是给已存在变量取了一个别名，编译器不会为引用变量开辟内存空间，它和它引用的变量共用同一块内存空间。

类型& 引用变量名(对象名) = 引用实体；

注意：引用类型必须和引用实体是同种类型的

void TestRef()
{
    int a = 10;
    int& ra = a;//<====定义引用类型
    printf("%p\n", &a);
    printf("%p\n", &ra);
}

（2）引用特性

1. 引用在定义时必须初始化
2. 一个变量可以有多个引用
3. 引用一旦引用一个实体，再不能引用其他实体

void TestRef()
{
   int a = 10;
   // int& ra;   // 该条语句编译时会出错
   int& ra = a;
   int& rra = a;
   printf("%p %p %p\n", &a, &ra, &rra);  
}

（3）常引用

常引用是指使用 const 关键字修饰的引用。常引用用于指示在函数中不会修改引用所绑定的对象。这样做的好处是可以确保在函数内部不会意外地修改传递给函数的参数，同时还能够允许函数接受常量作为参数。

void TestConstRef()
{
    const int a = 10;
    //int& ra = a;   // 该语句编译时会出错，a为常量
    const int& ra = a;
    // int& b = 10; // 该语句编译时会出错，b为常量
    const int& b = 10;
    double d = 12.34;
    //int& rd = d; // 该语句编译时会出错，类型不同
    const int& rd = d;
}

（4）使用场景

①做参数

void Swap(int& left, int& right)
{
   int temp = left;
   left = right;
   right = temp;
}

②做返回值

int& Count()
{
   static int n = 0;
   n++;
   // ...
   return n;
}

下面代码输出什么结果？

注意：如果函数返回时，出了函数作用域，如果返回对象还在(还没还给系统)，则可以使用引用返回，如果已经还给系统了，则必须使用传值返回。

int& Add(int a, int b)
{
	int c = a + b;
	return c;
}
int main()
{
	int& ret = Add(1, 2);
	cout << "ret is :" << ret << endl;
	Add(3, 4);
	cout << "ret is :" << ret << endl;

	return 0;
}

（5）传值、传引用效率比较

以值作为参数或者返回值类型，在传参和返回期间，函数不会直接传递实参或者将变量本身直接返回，而是传递实参或者返回变量的一份临时的拷贝，因此用值作为参数或者返回值类型，效率是非常低下的，尤其是当参数或者返回值类型非常大时，效率就更低。

#include <time.h>
struct A { int a[10000]; };
void TestFunc1(A a) {}
void TestFunc2(A& a) {}
void main()
{
	A a; // 创建一个结构体A的实例a

	// 1.以值作为函数参数的情况
	size_t begin1 = clock(); // 获取执行函数调用前的时间
	for (size_t i = 0; i < 10000; ++i) // 传值调用10000次，这种情况每调用一次就会产生一次拷贝
		TestFunc1(a);
	size_t end1 = clock();// 获取执行函数调用结束的时间

	// 2.以引用作为函数参数
	size_t begin2 = clock();// 获取执行函数调用前的时间
	for (size_t i = 0; i < 10000; ++i) // 传引用调用10000次，这种情况每次调用都直接用的引用
		TestFunc2(a);
	size_t end2 = clock();// 获取执行函数调用结束的时间


	// 分别计算两个函数运行结束后的时间
	cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;
	cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;
	
	// 结果
	// TestFuncl(A) - time:9
	// TestFunc2(A&) - time : 0
}

（6）引用和指针的区别

语法：

1. 引用是别名，语法上不开空间，指针是地址，需要开空间存地址
2. 引用必须初始化，指针可以初始化也可以不初始化
3. 引用不能改变指向，指针可以
4. 引用相对更安全，没有空引用，但有空指针，容易出现野指针，但是不容易出现野引用
5. sizeof、++、解引用访问等方面的区别

底层：

• 汇编层面上，没有引用，都是指针，引用在编译后也转换成指针了。