C++ 中的引用

引用用途：给变量起一个别名。

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

#include<iostream>
using namespace std;


int main()
{

	int a = 10;
	int& b = a;
	cout << "a的原值为：" << a << endl;
	cout << "b的原值为：" << b << endl;   // a与b指向同一块内存。

	b = 20;
	cout << "修改b后a的值为：" << a << endl;
	cout << "修改b后b的值为：" << b << endl;   // a与b指向同一块内存。	
	
	system("pause");
	return 0;
}

a的原值为：10
b的原值为：10
修改b后a的值为：20
修改b后b的值为：20

a和b操作同一块内存。

注意事项：

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

int main() {

	int a = 10;
	int b = 20;
	//int &c; //错误，引用必须初始化
	int &c = a; //一旦初始化后，就不可以更改
	c = b; //这是赋值操作，不是更改引用

	cout << "a = " << a << endl;
	cout << "b = " << b << endl;
	cout << "c = " << c << endl;

	system("pause");

	return 0;
}

 b作为a的引用，不可以再去引用c。

---

---

---

 引用做函数参数

别名可以与原名一样。

因此函数通过引用传值，也可以通过形参修改实参值。

看一下引用传值的操作。swap03的调用，相当于，将a和b的引用传入，也相当于将地址传入。因此，形参可以改变实参值。（好处：不需要指针的解引用。）

//1. 值传递
void mySwap01(int a, int b) {
	int temp = a;
	a = b;
	b = temp;
}

//2. 地址传递
void mySwap02(int* a, int* b) {
	int temp = *a;
	*a = *b;
	*b = temp;
}

//3. 引用传递
void mySwap03(int& a, int& b) {
	int temp = a;
	a = b;
	b = temp;
}

int main() {

	int a = 10;
	int b = 20;

	mySwap01(a, b);
	cout << "a:" << a << " b:" << b << endl;

	mySwap02(&a, &b);
	cout << "a:" << a << " b:" << b << endl;

	mySwap03(a, b);
	cout << "a:" << a << " b:" << b << endl;

	system("pause");

	return 0;
}

---

---

---

引用作为返回值：

引用也可以看做一种类型。

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

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

其本质就是地址承接值。对地址直接赋值。

//返回局部变量引用
int& test01() {
	int a = 10; //局部变量  ：存放在内存四区的栈区。
	return a;
}

//返回静态变量引用：这样这个变量的生命周期就变长了。
// 加上static关键字之后，这个变量就不存在栈上了。此时变成了静态变量，静态变量存在全局区
// 全局区变量的特点：全局区上的数据在程序结束后由系统释放。
int& test02() {
	static int a = 20;
	return a;
}

int main() {

	//不能返回局部变量的引用
	int& ref = test01();
	cout << "ref = " << ref << endl;
	cout << "ref = " << ref << endl;

	//如果函数做左值，那么必须返回引用
	int& ref2 = test02();
	cout << "ref2 = " << ref2 << endl;
	cout << "ref2 = " << ref2 << endl;

	test02() = 1000;     // 函数调用作为等号的左值存在。

	cout << "ref2 = " << ref2 << endl;
	cout << "ref2 = " << ref2 << endl;

	system("pause");

	return 0;
}

局部变量存在：内存栈区，在函数运行结束后即自动释放，这样一个销毁的变量还被别的变量引用，就会出错。

解决方案：返回静态变量引用：这样这个变量的生命周期就变长了。

加上static关键字之后，这个变量就不存在栈上了。此时变成了静态变量，静态变量存在全局区。

全局区变量的特点：全局区上的数据在程序结束后由系统释放。

这样在整个程序的生命周期内，静态变量和关于静态变量的引用都不用担心回收问题。 

---

---

---

引用的本质：

引用的本质在C++内部实现是一个指针常量：地址指向不可以改，但是值可以改。

这也是为何引用不可修改引用指向的原因。

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

引用：int& ref = a;会在动转换为指针常量来实现：int * const ref = &a;将变量a的地址赋值给指针常量。地址不可再改。

---

---

---

常量引用

//引用使用的场景，通常用来修饰形参
void showValue(const int& v) {
	//v += 10;
	cout << v << endl;
}

int main() {

	//int& ref = 10;  引用本身需要一个合法的内存空间，因此这行错误
	//加入const就可以了，编译器优化代码，int temp = 10; const int& ref = temp;
	const int& ref = 10;

	//ref = 100;  //加入const后不可以修改变量
	cout << ref << endl;

	//函数中利用常量引用防止误操作修改实参
	int a = 10;
	showValue(a);

	system("pause");

	return 0;
}

防止引用形参修改实参值。