【C++笔记】 引用

一.引用

1.引用的概念

引用不是新定义一个变量，而是给已存在变量取了一个别名，编译器不会为引用变量开辟内存空间，它和它引用的变量共用同一块内存空间，可以理解为同一块空间可以有不同的名称。比如宋江，有人称他为“及时雨”。

• 格式：类型名& 引用变量名(对象名)=引用实体;
• 
  

  void fun1()
  {
  	int a = 10;
  	int& b = a;    //定义引用类型
  
  	printf("%p\n", &a);
  	printf("%p\n", &b);
  	system("pause");
  }
  

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

• 引用必须在定义的时候初始化；
• 一个变量可以有多个引用，对于任何一个引用变量的值改变，其它都会改变；
• 一旦引用了一个实体，不能再引用其他实体。
• 
  

  void fun2()
  {
  	int a = 10;
  	int b = 20;
  
  	int& ra;   //错误写法：没有初始化
  
  	int& ra = a;//错误写法：一旦引用了一个实体，不能再引用其它实体
  	int& ra = b;
  
  	int& rb = b; //一个变量可以有多个引用
  	int& rrb = b;
  	int& c = rb;//这种也是正确写法
  	system("pause");
  }
  

  
  3.常引用
  
  

  举例说明：

  void fun3()
  {
  	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;
  }
  

  再做延伸：

  void fun4()
  {
  	int a = 20;
  	const int& r = a;
  	const int b = 30;
  	const int& r = b;
  	int *p = &b;    //b本来是不可改变的，传给*p变为可以改变的，这是错误写法
  	const int *p2 = &b;
  	int *p3 = &a;
  	const int *p3 = &a;
  }
  

  
  4.使用场景
  
  

  4.1 做参数

  void swap(int& a, int& b)
  {
  	int tmp = a;
  	int a = b;
  	int b = tmp;
  }
  

  4.2 做返回值

  下面两个例子，第一个是正确写法，第二个是错误写法。

  int& fun5(int& a)
  {//a是从外面传进来的，不会被销毁
  	a += 10;
  	return a;
  }
  
  int& fun6(int a, int b)
  {//出了作用域后，c会被销毁
  	int c = a + b;
  	return c;
  }
  

  注意：传参建议传引用，效率较高，但是传引用有条件约束：要求参数是全局变量或者静态变量(出了作用域还在，不会被销毁)。如果函数返回时，离开函数作用域后，其栈上空间已经还给系统，因此不能用栈上的空间作为引用类型返回。如果以引用类型返回，返回值的生命周期必须不受函数的限制(即比函数生命周期长)。
  
  
  5.引用和指针的区别

  在语法概念上引用就是一个别名，没有独立空间，和其引用实体共用同一块空间。

  int main()
  {//可以做测试
      int a = 10;
      int& ra = a;
      cout<<"&a = "<<&a<<endl;
      cout<<"&ra = "<<&ra<<endl;
      return 0;
   }
  

  但在底层实现上实际是有空间的，因为引用是按照指针方式来实现的，即引用和指针在底层实现是相同的。

  int main()
  {
      int a = 10;
      int& ra = a;
      ra = 20;
      int* pa = &a; *pa = 20;
      return 0;
   }
  

  引用和指针的不同点：

  1. 引用在定义时必须初始化，指针没有要求；
  2. 引用在初始化时引用一个实体后，就不能再引用其他实体，而指针可以在任何时候指向任何一个同类型实体；
  3. 没有NULL引用，但有NULL指针；
  4. 在sizeof中含义不同：引用结果为引用类型的大小，但指针始终是地址空间所占字节个数(32位平台下占4个字节)；
  5. 引用自加即引用的实体增加1，指针自加即指针向后偏移一个类型的大小；
  6. 有多级指针，但是没有多级引用；
  7. 访问实体方式不同，指针需要显式解引用，引用编译器自己处理；
  8. 引用比指针使用起来相对更安全。