C++学习笔记——引用变量、参数传递、返回值

1.引用变量

(1)什么是引用变量？为什么要引入引用变量？

(1)应用变量是已定义变量的一个别名。

(2)引用变量的底部实际上有一根指针，引用的传递数据的速度与指针的传递数据速度一样快，都是四个字节。但是引用传递比指针传递更好用，因为它的形式更好。

(2)如何定义引用变量？

如下面的例子：

int x; 
int &y=x; 

(3)引用变量与常规变量有什么不同之处？

• 常规变量在作为函数参数传递时，操作的是数据的副本，而引用变量作为函数参数传递时操作的是原始数据。
• 常规变量作为函数参数或返回值传递时，传递的是整包数据，而引用变量传递的其实相当于一个指针，故其速度很快。
• 另外使用引用变量的限制比常规变量多。

(4)引用变量作为函数参数传递有什么限制？

传递引用变量的限制比较严格。普通变量作为函数参数传递，实参可以以表达式或字面值的形式传递，而引用变量则不行。也就是C++不允许将表达式传递给引用。但是可以将字面值和表达式传递给const引用。

注意：如果将表达式或者可转为正确类型的字面值传递给引用标量，C++将会给出警告。而早期的C++其实是允许将表达式传递给引用的，它采取的方案是，首先创建一个临时变量，然后将表达式的值存储到临时变量中，然后临时变量可以传递给引用变量。在现在的C++用，只有参数为const引用时，C++才会采取上述方案。对于形参为 const引用的C++函数，如果实参不匹配，其行为类似于按值传递，为确保原始数据不被修改，将创建临时变量来存储值。

(5)如果函数参数确实为const引用，编译器什么情况下才会创建临时变量呢？

• 实参类型正确，但非左值。(例如：函数接受传递的引用变量为int型，但是实际传递的是一个字面值5或者 x+3，其中x是int型。字面值和表达式就不属于左值。)
• 实参类型不正确，但是可转换为正确类型。(例如：函数接受传递的引用变量为int型，但是实际传递的是一个double型变量，因为double型变量可以转为int型。)

(6)什么是左值？

左值包括常规变量和const变量，左值原本应该是可以改变的值，引入const后，其概念变为可通过指针访问的值。

(7)引用变量与指针的区别与联系？

(1)相似之处：

• 定义非常相似。
• 作为函数参数传递都是操作原始数据(地址概念)。

(2)不同之处：

• 二者的表示方法不同。
• 引用变量必须在声明时初始化，而指针变量则不需要。(引用的概念更接近于const指针)。
• 引用只是一个别名，而指针变量具有实体。
• 引用变量不需要使用解引用运算符，而指针需要。
• 引用必须在声明时初始化，而且绑定变量后不可更改。但是指针在声明时可以不进行初始化，而且可以指向别的同类型变量。
• 指针和引用使用自增自减运算符时，其二者意义不同。
• 传递引用和指针，程序员可以通过是否设定const来决定接受改变数据是否影响原始数据。
• 如果想要达到的效果是想改变原始数据的，则不需要添加const。
• 如果想要达到的效果是不想要改变原始数据，那么应该添加const，这样接受者即使改变了传递的对象中的数据，也不影响原始对象中的数据。
• 若引用变量作为函数返回值，传递者无需知道接受者以什么形式接受返回对象。这是引用变量的优点之一。（例如：return一个value值（非local变量），接受可以通过引用变量接受）

(8)引用变量适用的场景有哪些？

主要适用于函数参数函数返回值传递。具体说来：

(1)从函数参数的数据类型的角度来说

• 用于结构
• 用于类对象

(2)从位置的角度来说

• 用于函数形参
• 用于函数返回值（什么情况下返回引用？）

(9)为什么要尽可能将函数引用形参设为const?

• 避免无意中修改(本不该)数据
• 能够处理const和非const实参(非const参数只能接受非const数据)
• 能够处理实参为非左值的情况

2.函数参数、函数返回值传递

(1)作为函数参数和函数返回值，使用值传递、指针传递、还是引用传递依据的原则是什么？

• 传递的数据为数组时，只能通过指针传递，原始数据允许被改变的使用普通指针，不允许被改变的使用const指针。
• 传递的数据允许修改原始数据时：小型数据(内置数据类型)使用指针，大型数据(大型结构、类对象)使用指针或引用。
• 传递的数据不允许修改原始数据时：小型数据按值传递，大型数据按const指针或const引用传递。 

• 函数参数传递尽量以通过引用变量传递。
• 函数返回值传递如果可以的话尽量以通过引用变量传递。

注：后两点采用的是侯捷老师的观点。                           

(2)什么情况下函数返回值传递不可以通过引用变量传递？

要通过函数结果存放的位置判断是否能够使用引用变量传递数据。

情况一：函数的运算结果放在原来已有的空间用。(发起此函数调用前，变量(数据的存储内存)已经存在。)

情况二：运算结果存储在被调函数创建的内容空间中。(发起函数调用后，在执行此函数时，在函数内部创建的变量(申请的栈内存)。这里创建的对象为local对象)

情况一可以通过引用变量传递数据，因为当函数执行完以后，只是访问了原本已经存在的内存空间，并且在函数执行完以后该内存空间还没有被回收，可以继续访问。因此可以返回引用该内存空间中数据的引用变量

而情况二不能够通过引用变量传递数据。因为，数据存储在函数运行过程中分配的内存空间中，当函数执行完以后，期间分配的内存就自动回收了。相当于引用了一块已经回收的内存空间中的数据，这些数据显然是没有意义的。

说明：上述观点整理自《C++ primer plus》书籍和侯捷老师C++视频。