C++之引用及其与指针的区别

一、基本概念及使用

1.引用的基本概念和基本使用

• 定义：引用不是新定义一个变量，而是给已存在的变量取一个别名，编译器不会为引用变量开辟空间，它和它引用的变量共用同一块内存空间。
• 特性：
  ① 引用在定义时必须初始化。
  ② 一个变量可以有多个引用。
  ③ 一个引用一旦引用了一个实体，再也不能引用其他实体。

#include <iostream>

using namespace std;

int main()
{
	int a = 100;
	int& b = a;
	int& c = b;
	cout << "a:" << a << ", " << "b:" << b << ", " << "c:" << c << endl;
	c = 20;
	cout << "a:" << a << ", " << "b:" << b << ", " << "c:" << c << endl;

	return 0;
}

• 以上例子中，a、b、c是同一块内存空间，所以当c改变时，a和b也同样改变了。

2.引用的使用

• 引用的使用场景：做函数参数和做返回值，二者都减少了拷贝构造。

（1.）做参数

#include <iostream>

using namespace std;

void Swap(int& a, int& b)
{
	int tmp = a;
	a = b;
	b = tmp;
}
int main()
{
	int p = 20, q = 40;
	Swap(p, q);
	cout << "p:" << p << ", " << "q:" << q << endl;

	return 0;
}

（2.）做返回值

#include <iostream>

using namespace std;

int func(int i)
{
	int arr[5] = { 1, 2, 3, 4, 5 };
	return arr[i];
}
int& func2(int i)
{
	static int arr[5] = { 1, 2, 3, 4, 5 };
	return arr[i];
}
int main()
{
	func(3) = 100;
	cout << "func(3):" << func(3) << endl;
	func2(3) = 100;
	cout << "func2(3):" << func2(3) << endl;

	return 0;
}

• 总结：① 传值返回： 出了作用域（即该函数运行完），该栈帧即被销毁，里面所有内容被销毁，int arr[5]也被销毁，所以不可以用引用，因为引用是和实体共用同一块空间的。
  ② 传引用返回： 出了作用域（即该函数运行完），该栈帧即被销毁，里面所有内容被销毁，int arr[5]也被销毁，但是static是静态变量（存在静态区），作用范围是整个工程，故不会被销毁。
  ③ 若出了作用域该变量依然在，没有被销毁，即可引用该变量。若该变量也被销毁，则不可以应用该变量。

二、引用和指针的区别

1. 在语法概念上，引用就是一个别名，没有独立空间，和其引用实体共用同一块空间。
2. 在底层实现上，实际引用是有空间的，因为引用是按照指针方式来实现的。
3. 引用在初始化时，引用一个实体后，就不能再引用其他实体了；而指针可以在任何时候指向任何同一类型实体。
4. 没有NULL引用，但有NULL指针。
5. 引用在定义时必须初始化，而指针没有要求。
6. 在sizeof中含义不同：引用结果我引用实体的大小，指针始终是地址空间所占的字节个数（32位下为4字节，64位下为8字节）。
7. 引用自加即引用实体增加1，指针自加即指针向后偏移一个类型大小。
8. 有多级指针，但是没有多级引用。
9. 访问实体方式不同：指针需要显示解引用，而引用编译器自己处理。
10. 引用比指针使用起来相对更加安全。