【C++核心编程 2】——引用

2.引用

2.1 引用的基本使用

作用：给变量起别名

语法：数据类型 &别名 = 原名

示例：

#include<iostream>
using namespace std;
int main() {
	//引用的基本语法
	int a = 10;
	int& b = a;
	cout << "a=" << a << endl;//10
	cout << "b=" << b << endl;//10

	b = 100;//引用改变后，原名的值也改变
	cout << "a=" << a << endl;//100
	cout << "b=" << b << endl;//100

	return 0;
}

2.2 引用的注意事项

• 引用必须初始化
• 引用在初始化后，不可以改变

示例：

#include<iostream>
using namespace std;
int main() {
	//引用必须初始化
	int a = 10;
	int& b = a;
	cout << a << endl;//10
	cout << b << endl;//10
	//引用在初始化后，不可以改变
	int c = 20;
	b = c;//赋值操作，不是更改引用
	cout << a << endl;//20
	cout << b << endl;//20
	return 0;
}

2.3 引用做函数参数

作用：函数传参时，可以利用引用的技术让形参修饰实参。

优点：可以简化指针修改实参。

示例：

#include<iostream>
using namespace std;

//1.值传递
void swap01(int a, int b) {
	int temp = a;
	a = b;
	b = temp;
}
//2.地址传递
void swap02(int* a, int* b) {
	int temp = *a;
	*a = *b;
	*b = temp;
}
//3.引用传递
void swap03(int& a, int& b) {
	int temp = a;
	a = b;
	b = temp;

}
int main() {
	int a = 10, b = 20;
	swap01(a, b);//值传递，形参不会修饰实参
	swap02(&a, &b);//地址传递，形参会修饰实参
	swap03(a, b);//引用传递，形参会修饰实参
	return 0;
}

通过引用参数产生的效果同按地址传递是一样的，引用的语法更清楚

2.4 引用做函数返回值

作用：引用是可以作为函数的返回值存在的。

注意：不要返回局部变量引用。

用法：函数调用作为左值。

示例：

#include<iostream>
using namespace std;

//引用做函数的返回值 
	//1.不要返回局部变量的引用
int& test01() {
	int a = 10;//局部变量存放在栈区
	return a;
}
//2.函数的调用可以作为左值
int& test02() {
	static int a = 10;//静态变量存放在全局区，全局区上的数据在程序结束后由系统释放
	return a;
}

int main() {
	int &ret = test01();
	cout << ret << endl;//第一次能正确输出，编译器做了保留
	cout << ret << endl;//第二次，a的内存已经释放

	int& ret02 = test02();//ret02相当于a的别名
	cout << ret02 << endl;//10
  //--------------------------
	test02() = 1000;//如果函数的返回值是引用，这个函数调用可以作为左值
  //--------------------------
	cout << ret02 << endl;//1000
	return 0;
}

2.5 引用的本质

本质：引用的本质在C++内部实现是一个指针常量

示例：

//发现是引用，转换为 int* const ref=&a;
void func(int& ref) {
	ref = 1000;
}

int main() {
	int a = 10;
	//自动转换为int* const ref=&a;
	//指针常量是指针指向不可改变，也说明引用为什么不可更改
	int& ref = a;
	cout << "a:" << a << endl;//10
	cout << "ref:" << ref << endl;//10
	ref = 20;//内部发现ref是引用，自动转换为 *ref=20
	cout << "a:" << a << endl;//20
	cout << "ref:" << ref << endl;//20

	func(a);
	return 0;
}

2.6 常量的引用

作用：常量引用主要用来修饰形参，防止误操作。

在函数形参列表中，可以加const修饰形参，防止形参改变实参。

示例：

//常量引用使用的场景，通常用来修饰形参
void showValue(const int& v) {
	cout << "v:" << v << endl;
}
int main() {
	//int a = 10;
	//int& ref = a;
	//int& ref = 10;//报错，引用必须引一块合法的内存空间
	const int& ref = 10;//加上const之后，编译器将代码修改：int temp=10;int& ref=temp;
	//ref = 20;//表达式必须是可修改的左值，加上const之后变为只读，不能修改
	//cout << ref << endl;
	int a = 100;
	showValue(a);
	return 0;
}