C++与C不同之二——引用

引用类型

C++新增了一种符合类型——引用变量。引用时已定义的变量的别名（另一个名称）。引用变量的主要用途是用作函数的形参。通过引用变量用作参数，函数将使用原始数据，而不是副本。这样除指针之外，引用也为函数处理大型结构提供了一种非常方便的途径，同时对于设计类来说，引用也是必不可少的。

1 创建引用变量

C和C++使用&符号来指示变量的地址。C++给&符号赋予了另一个含义，将其用来声明引用。例如：

int rats；

int &rodents=rats；

其中，&不是地址运算符，而是类型标识符的一部分。就像声明中的char*指的是指向char的指针一样，int&指的是指向int的引用。

int rats=101；

int &rodents=rats；

int *prats=&rats；

这样，表达式rodents和*prats可以同rats交换，而表达式&rodents和prats都可以同&rats互换。从这一点上来说，引用看上去很像伪装表示的指针（其中，*解除引用运算符被隐式了理解）。实际上，引用还是不同于指针的。除了表示法不同外，还有其他的差别。

差别一：必须在声明引用时将其初始化，而不能像指针那样，先声明，再赋值：

int rat；

int &rodent；

rodent=rat；（错的）

注意:必须在声明引用变量时进行初始化。

引用更接近于const指针，必须在创建时进行初始化，一旦与某个变量关联起来，就将一直效忠于它。也就是说：

int &rodents=rats；

实际上是将下述代码的伪装表示：

int *const pr=&rats;

其中，引用rodents扮演的角色与表达式*pr相同。

2 将引用用作函数参数

  引用经常被用作函数参数，使得函数中的变量名称为调用程序中的变量的别名。这种传递参数的方法称为引用传递。按引用传递允许被调用的函数能够访问调用函数中的变量。C++新增的这项特性是对C语言的超越，C语言只能按值传递。按值传递导致被调用程序的值得拷贝。当然，C语言也允许避开值传递的限制，采用按指针传递的方式。

3 应用的属性和特别之处

使用引用，需要了解其一些特点。

首先，对于值传递的函数，可使用多种类型的实参。

如果使用与上面相似的参数传递给接受引用参数的函数，将会发现，传递引用的限制更严格。

临时变量、引用参数和const

如果实参与引用变量参数不匹配，C++将生成临时变量。当前，仅当参数为const引用时，C++才允许这样做。

首先，什么时候将创建临时变量呢？如果引用参数是const，则编译器将在下面两种情况下生成临时变量：

1）实参的类型正确，但不是左值；

2）实参的类型不正确，但可以转换为正确的类型。

左值是什么？左值参数是可被引用的数据对象，例如，变量、数组元素、结构成员、引用和解除引用的指针都是左值。非左值包括字面常量（用引号括起的字符串除外，它们可由其地址表示）和包含多项的表达式。在C语言中，左值最初指的是可出现在赋值语句左边的实体，但这是引入关键字const之前的情况。现在，常规变量和const变量都可视为左值，因为可通过地址访问它们。但常规变量属于可修改的左值，而const变量属于不可修改的左值。

可以随意将其删除。

但是，如果接受引用参数的函数的意图是修改作为参数传递的变量，则创建临时变量将阻止这种意图的实现。解决的方法是，禁止创建林是变量，现在的C++标准正式这样做的。

如果只是使用传递的值，而不是修改它们，那么林是变量不会造成任何影响，反而会是函数在可处理的参数种类方面更通用。因此，如果声明将引用指定为const，C++将在必要的时候生成临时变量。实际上，对于形参为const引用的C++函数，如果实参匹配，则其行为类似于按值传递，为确保原始数据不修改，将使用临时变量来存储值。

注意：如果函数调用的参数不是左值或与相应的const引用参数的类型不匹配，则C++将创建类型正确的匿名变量，将函数调用的参数的值传递给该匿名变量，并让参数来引用该变量。

应尽可能使用const

将引用参数声明为常量数据的引用的理由有三个：

1）使用const可以避免无意中修改数据的编程错误；

2）使用const使函数能够处理const和非const实参，否则将只能接受非const数据；

3）使用const引用使函数能够之前声称并使用临时变量。

C++11新增了另一种引用——右值引用。这种引用可指向右值，是使用&&声明的。

4 将引用用于结构

返回值为引用：

1）为何要返回引用

传统返回机制与按值传递函数参数类似：计算关键字return后面的表达式，并将结构返回给调用函数。从概念上说，这个值被复制到一个临时位置，而调用程序将使用这个值。

如果仅仅返回一个结构，而不是指向结构的引用，将把整个结构复制到一个临时位置，再将这个拷贝复制给返回值。但是返回值为引用，将直接把返回值赋给需要的变量，其效率更高。

注意:返回引用的函数实际上是被引用的变量的别名。

2）返回引用时需要注意的问题

返回引用时最重要的一点是，应避免返回函数终止时不再存在的内存单元的引用。（例如，返回函数的局部变量的引用）

为避免这种问题，最简单的方法是，返回一个作为参数传递给函数的引用。作为参数的引用指向调用函数使用的数据，因此返回的引用也将指向这些数据。

另一种方法是用new来分配新的存储空间。

3）为何将const用于引用返回类型

一般返回引用是可以作为左值的。在赋值语句中，左值必须是可修改的左值。也就是说，在赋值表达式中，左边的子表达式必须标识一个可修改的内存块。

另一方面，常规（非引用）返回类型是右值——不能通过地址访问的值。这种表达式可出现在赋值语句的右边，但不能出现在左边。其他右值包括字面值（如10.0）和表达式（如x+y)。显然，获取字面值的地址没有意义，但为何常规函数返回值是右值呢？这是因为这种返回值位于临时内存单元中，运行到下一条语句时，它们可能不再存在。

如果想要返回的引用不能作为右值，可以返回类型加const，这样返回作为左值仍然可以，但是不能作为右值。

5 何时使用引用参数

使用引用参数的主要原因有两个。

1)程序员能够修改调用函数中的数据对象。

2）通过传递引用而不是整个数据对象，可以通过程序的运行速度。

当数据对象较大时，第二个原因很重要。这些也是使用指针参数的原因。这是有道理的，因为引用参数实际上是基于指针的代码的另一个接口。那么，什么时候应使用引用、什么时候应使用指针呢？什么时候应按值传递呢?下面是一些知道原则：

对于使用传递的值而不作修改的函数。

1）如果数据对象小，如内置数据类型或小型结构，则按值传递。

2）如果数据对象时数组，则使用指针，因为这是唯一的选择，并将指针声明为指向const的指针。

3）如果数据对象时较大的结构，则使用const指针或const引用，以提高程序的效率。这样可以节省复制结构所需的时间和空间。

4）如果数据对象是类对象，则使用const引用。类设计的语义常常要求使用引用，这是C++新增这项特性的主要原因。因此，传递类对象参数的标准方式是按引用传递。

对于修改调用函数中数据的函数：

1）如果数据对象时内置数据类型，则使用指针。如果看到诸如fixit（&x）这样的代码（其中x是int），则很明显，给函数将修改x。

2）如果数据对象时数组，则只能使用指针。

3）如果数据对象时结构，则使用引用或指针。

4）如果数据对象时类对象，则使用引用。

当然，这只是一些指导原则，很可能有充分的理由做出其他的选择。