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

一、引用的基本使用

作用：给变量起别名
语法：数据类型 &别名 = 原名;
使用别名或原名进行操作，修改的都是同一块内存。

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

二、引用注意事项

• 引用必须初始化。不可以写成int& b;，一定要有原名！
• 引用一旦初始化，就不可以改变了。

int a = 10;
int& b = a;

int c = 20;
b = c;//赋值操作，而不是更改引用
cout << "a = " << a << endl;//20
cout << "b = " << b << endl;//20
cout << "c = " << c << endl;//20

三、引用作函数参数

作用：函数传参时，可以利用引用的技术让形参修饰实参
优点：可以简化指针修改实参

//交换函数

//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 << endl;//10
	cout << "b = " << b << endl;//20

	mySwap02(&a, &b);//地址传递，形参会修饰实参
	cout << "a = " << a << endl;//20
	cout << "b = " << b << endl;//10

	mySwap03(a, b);//引用传递，形参会修饰实参
	cout << "a = " << a << endl;//20
	cout << "b = " << b << endl;//10

	system("pause");
	return 0;
}

四、引用作函数返回值

作用：引用是可以作为函数的返回值存在的
注意：不要返回局部变量引用！
用法：函数调用作为左值

//引用作函数的返回值
//1、不要返回局部变量的引用
int& test01()
{
	int a = 10;//局部变量存放在四区中的栈区
	return a;
}

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

int main()
{
	int& ref = test01();
	cout << "ref = " << ref << endl;//10，结果正确，因为编译器做了保留
	cout << "ref = " << ref << endl;//乱码，结果错误，因为a的内存已经释放

	int& ref2 = test02();
	cout << "ref2 = " << ref2 << endl;//10，结果正确
	cout << "ref2 = " << ref2 << endl;//10，结果正确

	//如果函数的返回值是引用，这个函数调用可以作为左值
	test02() = 1000;//相当于a = 1000; 而ref2是a的别名
	cout << "ref2 = " << ref2 << endl;//1000，结果正确
	cout << "ref2 = " << ref2 << endl;//1000，结果正确

	system("pause");
	return 0;
}

五、引用的本质

引用的本质在C++内部实现是一个指针常量（指针的指向是不可以修改的，指针的值可以修改）。

以下两段代码等价：

int a = 10;
int& ref = a;
ref = 20;

int a = 10;
int* const ref = &a;
*ref = 20;

更推荐使用引用技术，因为语法更简单。

六、常量引用

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

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

int a = 10;
int& ref = a;//引用必须引一块合法的内存空间，不能写int& ref = 10;

//但加上const之后，编译器将代码修改为int temp = 10; const int& ref1 = temp;
const int& ref1 = 10;
//不可以ref1 = 20;因为加入const之后变为只读，不可以修改

常用于：

//打印数据函数
void showValue1(int& val)//用引用的方式来接收
{
	cout << "val = " << val << endl;
	val = 1000;
	cout << "val = " << val << endl;
}
void showValue2(const int& val)//此时在函数体内无法修改val
{
	cout << "val = " << val << endl;
}

int main()
{
	int a = 100;
	showValue1(a);
	cout << "a = " << a << endl;//此时会修改a的值为100
	
	int b = 100;
	showValue2(b);

	system("pause");
	return 0;
}