c++中引用面试点7连问以及引用真的不分配内存吗

Posted cpp加油站

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了c++中引用面试点7连问以及引用真的不分配内存吗相关的知识,希望对你有一定的参考价值。

本篇文章从面试官的口吻连问7个引用有关的问题,并且从汇编的层面上对引用进行深入分析,让你充分理解引用的概念和原理。

首先还是看一下思维导图:

在这里插入图片描述

1. 引用的背景和概念

说到引用,首先要说一下’&'标识符,其实c语言中这个符号只是用来取地址的,并没有引用的概念,直到c++对这个标识符的作用进行了扩充,才有了引用这个概念。

所谓引用,其实就是给变量取了一个别名,一个简单的例子如下:

int main()
{
	int a = 2;
	int &b = a;
	return 0;
}

对于这段c++代码而言,其实b就是a的别名,对变量b进行操作其实就是对a进行操作。

2. 引用本身具有哪些特点

对于引用,有如下特点:

  • &标识符这里是引用,不是取地址符;
  • 声明引用的时候就必须对其进行初始化,因为引用声明以后你没有办法再对它进行修改,语法上就不支持;
  • 声明一个引用并没有新增加一个变量,只是被引用的变量多了一个别名而已,此时对引用求地址其实就是对被引用的变量求地址;
  • 引用也会分配存储空间,用于保存被引用变量的地址,这一点在第7点中会进行说明;
  • 基于以上原因,引用不可作为数组的元素。

3. 引用作为函数参数有什么特点

引用也可以作为函数参数,而且我们经常会用到,比如如下代码:

#include <stdio.h>

void add(int &p_a)
{
	p_a = p_a+1;
}

int main()
{
	int a = 2;
	printf("a=%d\\n", a);
	add(a);
	printf("a=%d\\n", a);

	return 0;
}

这段代码在调用add函数的时候,对参数p_a操作其实就是直接对变量a操作,所以在函数调用完成以后,变量a的值也被改变了,基于这一点,当需要在函数内部修改传递进来的变量的值并传出去,也就是一个变量既作为入参,也作为出参,此种情况下,可以使用引用。

4. 什么时候需要使用常引用

当既要使用引用提高程序的效率,又不能在函数内部修改实参的值时,可使用常引用。

大家可能会想,不想修改实参的值,直接使用const传递参数就可以了,何必要使用引用呢,其实就是避免了临时对象的拷贝,这一点对于基础内置类型而言,可能不能提高效率,但是对于一些比较复杂的自定义类型,它所占用的内存较大的情况下,使用引用肯定要比拷贝临时对象效率要高的多。

5. 引用作为函数返回值有什么好处以及需要遵循什么规则

引用作为函数返回值的好处:在内存中不会产生被返回值的临时副本。

引用作为函数返回值需遵循的规则:

  • 不能返回局部变量的引用,因为局部变量在函数返回的同时也会被释放掉;

  • 不能返回函数内部动态分配的变量的引用,因为引用只是作为一个临时变量的出现,并未赋予一个实际的变量,该引用所指向的空间无法被释放;

  • 可以返回类成员的引用,但最好是const类型,防止成员被修改;

  • 为了保证连续使用流操作符(<< >>)重载返回值时,操作的是同一个对象,流操作符重载返回值应该声明为引用;

  • ±*/这四则运算符重载不能返回引用。

6. 引用和多态的关系

引用是c++中另外一种实现多态的手段,与指针一样,也是基类的引用可指向派生类的实例。

7. 引用和指针的区别

之前都说引用和指针最大的区别是引用不会分配存储空间,而数组需要,但其实不是这样的,我们用一段代码进行说明一下:

//test.cpp
int main()
{
	int a = 2;
	int &b = a;
	int *c = &a;

	return 0;
}

对于这段代码,我们使用g++ -g test.cpp编译以后用gdb进行一下调试,看看它对应的汇编指令是怎样的:

(gdb) b main  #在main函数入口处打断点
Breakpoint 1 at 0x400560: file test.cpp, line 3.
(gdb) set disassemble-next-line on  #打开汇编指令开关,后续代码每执行一步,就会打印出来对应执行的汇编指令
(gdb) r
Starting program: /root/a.out 

Breakpoint 1, main () at test.cpp:3
3		int a = 2;
=> 0x0000000000400560 <main()+4>:	c7 45 ec 02 00 00 00	movl   $0x2,-0x14(%rbp) #把2这个值赋给寄存器rbp偏移20个位置的地方,也就是把a这个变量的值赋给它的地址
(gdb) n
4		int &b = a;
=> 0x0000000000400567 <main()+11>:	48 8d 45 ec	lea    -0x14(%rbp),%rax #rbp寄存器偏移20个位置的地址存入rax寄存器,其实就是取变量a的地址
   0x000000000040056b <main()+15>:	48 89 45 f8	mov    %rax,-0x8(%rbp) #rax寄存器的值赋给rbp寄存器偏移8个位置的地方,其实就是把变量a的地址存入rbp寄存器偏移8个位置的地方
(gdb) 
5		int *c = &a;
=> 0x000000000040056f <main()+19>:	48 8d 45 ec	lea    -0x14(%rbp),%rax#rbp寄存器偏移20个位置的地址存入rax寄存器,这里也是在取变量a的地址
   0x0000000000400573 <main()+23>:	48 89 45 f0	mov    %rax,-0x10(%rbp) #把变量a的地址存入rbp寄存器偏移16个位置的地方

看到了吗,注释清楚的写明了每行汇编指令的意思,通过这个注释,我们可以看出来其实引用和指针的汇编指令是一样的,并且引用也是分配了8个字节用来存放被引用变量的地址的,所以从汇编的层面看,引用和指针其实是一样的。

通过以上代码和汇编指令,对引用和数组的区别总结如下:

  • 从c++的层面看,引用是变量的别名,对引用进行操作其实就是对变量本身操作,而指针是通过它所保存的地址来对变量进行间接的操作;
  • 引用和指针一样,都会申请一段内存用来存放变量的地址,我们可以认为引用是匿名指针;
  • 指针本身的值可以修改,也就是说指针可以指向不同的变量,而引用在声明时初始化以后不能再指向别的变量,从这个角度而言,引用可以认为是常量指针。

好了,本篇文章就为大家介绍到这里,觉得内容对你有用的话,记得顺手点个赞哦~

以上是关于c++中引用面试点7连问以及引用真的不分配内存吗的主要内容,如果未能解决你的问题,请参考以下文章

c++类和继承面试点25连问

c++类和继承面试点25连问

c++类和继承面试点25连问

c++中函数中变量内存分配以及返回指针引用类型的思考

高频面试点:Android性能优化之内存优化(下篇)

在 C++ 文件主体中为引用变量分配内存和设置值的问题(不在函数中)