C++中为什么引用可以作为函数返回值？

本文背景

在程序设计与算法（三）第01周测验003:好怪异的返回值里面，题目的解答是这样子的：

#include <iostream>

using namespace std;
int & getElement(int * a, int i)
{
	return a[i];
}

int main()
{
	int a[] = {1,2,3};
	getElement(a,1) = 10;
	cout << a[1] ;
	return 0;
}

有读者奇怪的是，为什么int & getElement(int * a, int i)要加&，直接int getElement(int * a, int i)不可以么？

真机测试

那我们在CLion里不加&试试。

#include <iostream>

using namespace std;
int getElement(int * a, int i)//不加&
{
	return a[i];
}

int main()
{
	int a[] = {1,2,3};
	getElement(a,1) = 10;
	cout << a[1] ;
	return 0;
}

调试信息

调试，返回错误：

====================[ Build | test1 | Debug ]===================================
/opt/clion/bin/cmake/linux/bin/cmake --build /home/mrcangye/CLionProjects/test1/cmake-build-debug --target test1 -- -j 2
[ 50%] Building CXX object CMakeFiles/test1.dir/main.cpp.o
/home/mrcangye/CLionProjects/test1/main.cpp: In function ‘int main()’:
/home/mrcangye/CLionProjects/test1/main.cpp:12:20: error: lvalue required as left operand of assignment
   12 |  getElement(a,1) = 10;
      |                    ^~
make[3]: *** [CMakeFiles/test1.dir/build.make:63: CMakeFiles/test1.dir/main.cpp.o] Error 1
make[2]: *** [CMakeFiles/Makefile2:76: CMakeFiles/test1.dir/all] Error 2
make[1]: *** [CMakeFiles/Makefile2:83: CMakeFiles/test1.dir/rule] Error 2
make: *** [Makefile:118: test1] Error 2

调试信息指出了程序第12行，getElement(a,1) = 10;出现错误。

这也是接下来需要讲述的问题。

参考资料

为了解决这个问题，我拿出了C++ Primer Plus 第六版中文版 人民邮电出版社2012年七月第一版，2019年1月北京第31次印刷版本，第8章 函数探幽 第268页

基本原理

重点在于：

getElement(a,1) = 10;

这是一个赋值语句

在赋值语句中，语句左边，也就是=号左边，必须是可以修改的值，深入了解一下，必须是一个可以修改的内存块。重点是这个等号左边的值必须是可以修改的。

常规（非引用）的返回类型是放在=右边的，是不能通过地址访问的值。不可以出现在=号左边。

为什么呢？因为常规的返回值是存在临时内存单元中的，运行到下一条语句时，这个返回值就不存在了。return后面的表达式将结果的值计算出来，然后这个值被复制到一个临时位置，返回给调用函数，调用函数再到临时位置使用这个值

解答

上面的原理和调试出错的信息是一致的。

如果我们不加&,那么返回的是一个确切的int数值1，1 = 10是不符合左边可以修改的值的要求。

为了符合这个要求，我们就需要加&号，使得这个函数getElement(a,1)返回值是int &

，并将int &返回，就是：a[1] = 10，这样就合法了

文章来源: blog.csdn.net，作者：沧夜2021，版权归原作者所有，如需转载，请联系作者。

原文链接：blog.csdn.net/CANGYE0504/article/details/105164983