C++中的引用详解

- 引用的概念

引用不是新定义的一个变量,而是给已存在变量取了一个别名,编译器不会因为引用变量开辟内存空间,它和引用变量共用同一块内存空间
例如:在家里家人对你的称呼,在发小面前的外号,在同学面前的外号,当然这些称呼都是指的是你。

引用的方式:
类型&引用变量名(对象名) = 引用实体 ;
: 引用类型必须和引用实体是同种类型的

- 引用特性

  1. 引用在定义时必须初始化
  2. 一个变量可以有多个引用
  3. 一个引用一旦引用一个实体,再不能引用其他实体
void Test()
{
     int a = 10;
     // int &ra ;   // 必须定义时初始化,编译时会出错
     int &ra = a;
     int &rra = a; // 变量a可以有两个引用
}

**解释:**一个变量可以有多个引用,所以ra、raa都是a的别名,都是a那块空间

- 常引用

void Test()
{
     const int a = 10;
     // int &ra = a;     // 编译时会出错,a为常量
     const int&ra = a;
     // int &b = 10;     // 编译时会出错,10为常量
     const int&b = 10; 
     double d = 3.14;
     // int& rd = d       //编译时会出错,类型不同
      const int& rd = d;

}

解释:

  1. const int a = 10; const 变量说明a的值不能改变,而必须得使用const引用,使得a的别名ra的值也不能修改,
    如果引用实体(本身的值不能修改,同样引用传给的对象(引用变量名)也不能修改变引用实体值
  2. 如果引用实体是常量时,必须用常引用,加const的引用

再讲引用的作用之前,我们先来看一下传值和传引用的区别
传值

int  a = 10;
int  b = a;
b = 20;
cout  << a <<  endl;
cout  <<  b << endl;

解释:一开始给a开辟了一块地址空间,并赋值10,然后在给b开辟和a一样一块同样大(都是int型)的空间,再将
a的值拷贝给b, b值的改变不会影响a值的改变,因为都不是同一块空间
区别传值是变量a和变量b是不同的空间,一个值的变换不会影响另一个值得改变;
而引用是引用变量名和引用实体都是同一块空间,一个发生了变化会影响另一个发生了变化

- 引用的作用:

  1. 做参数
void Swap(int&x1 , int &x2) // 声明 还没有开空间 在这个地方作为实参的别名
{
     int x = x1;
     x1 = x2;
     x2 = x;

}

: 在函数里面做改变(交换x1和x2的值),外面可以看见里面的变化(实参的值发生变化)
因为形参x1,x2是实参的别名,形参的变化会引起实参的变化

  1. 做返回值

代码一:

int ArrayAt()
{
     static int a[10] = {0,1,2,3,4,5};
     return a[3];
}
int main()
{
	cout << ArrayAt() << endl; //输出3 没问题
	ArrayAt() = 5; //编译错误 不是可修改的左值
	cout << ArrayAt() << endl;
}

结果: 返回值是int型,本来要返回a[3]的值,又开辟了一块与a[3]相同的空间(中间变量),将a[3]的值拷贝给这块空间,返回的值是a[3]的值,但是这块空间不是a[3]的空间,不能进行修改。所以发生了编译错误
简单的来说:实际上没有赋值给[3],是[3]的中间变量,中间变量具有常性,不能赋值

代码二(返回值的地方加引用):

int &ArrayAt()
{
     static int a[10] = {0,1,2,3,4,5};
     return a[3];
}
int main()
{
	cout << ArrayAt() << endl; //输出3 没问题
	ArrayAt() = 5; //编译错误 不是可修改的左值
	cout << ArrayAt() << endl;
}

结果:此时 ArrayAt[3]就可以了,中间变量是它的别名,所以就可以修改了。

对比代码一和代码二可知:
也就是说 引用返回可以把它作为一个可读可写的接口,可以读到,也可以修改这个值

下面有个特殊的例子,值得注意!!!

int &ArrayAt() // 此时就不能用引用传递了
{
      int a[10] = {0,1,2,3,4,5};
     return a[i];
}

原因是:尽管返回的是a[3]的别名 但此时栈帧已经销毁,栈上的空间已经归还给系统,已经找不到a[3]。
所以,在这里返回值不能加引用。

引用做返回值的时候要注意 !

如果函数返回时,离开作用域后,其栈上空间已经归还给系统,因此不能用栈上的空间作为引用类型返回。如果以引用类型返回,返回值的生命周期必须不受函数的限制,比函数的生命周期长。
总结为两句也就是说:
出了作用域变量还在,能用引用做返回值
出了作用域变量不在, 不能用引用做返回值

- 传值、传引用效率比较:

传值作为参数或者返回值类型,在传参和返回值期间,函数不会直接传递实参或者返回变量的一份临时拷贝,因此用值作为参数或者返回类型,效率是非常低的。尤其是当参数或者返回值类型非常大时,效率会更低。

面试题:
引用与指针有什么区别?

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值