C++引用的基本概念与应用

对网上资料的学习与总结。

原文地址：http://www.cnblogs.com/gw811/archive/2012/10/20/2732687.html

一、基本概念

1、定义

目标变量的别名，对引用的操作与对目标变量的操作完全相同。

2、声明

类型标志符 &引用名 = 目标变量名；

例：int a；

         Int&r_a = a; //声明了a的引用为r_a

注意：（1）声明一个引用必须要对其进行初始化

            （2）声明完成后，引用不能再更改，不能再作为别的变量的引用名

            （3）声明一个引用，并不是定义了一个新的变量，知识为目标变量设置了一个别名，不会分配内存空间，引用本身不占用存储单元

            （4）不能建立数组名的引用，因为数组是由若干元素组成的集合，不能创建引用

二、引用的应用

1、做函数的参数

在C中函数的参数有两种情况，一般的形参，实现值传递；用指针做参数，实现地址传递，在C++中，引用也可以作为函数的参数，如下例

 

voidexch(int &p1,int &p2){    //此处将形参定义为引用

      intp=p1;

     p1=p2;

     p2=p;

  }

 

  voidmain(){

      inta,b;

    cin>>a>>b;     //输入a,b两个变量的值，假设此处输入1 2

     exch(a,b);     //直接以a和b作为实参调用exch函数

    cout<<"a="<<a<<",b="<<b<<endl;    //输出结果为a=2,b=1

}

 

引用作为函数参数的特点：

（1）传递引用给函数与传递指针的效果是一样的。这时，被调函数的形参就成为原来主调函数中的实参变量或对象的一个别名来使用，所以在被调函数中对形参变量的操作就是对其相应的目标对象（在主调函数中）的操作。

（2）使用引用传递函数的参数，在内存中并没有产生实参的副本，它是直接对实参操作；而使用一般变量传递函数的参数，当发生函数调用时，需要给形参分配存储单元，形参变量是实参变量的副本；如果传递的是对象，还将调用拷贝构造函数。因此，当参数传递的数据较大时，用引用比用一般变量传递参数的效率和所占空间都好。

（3）使用指针作为函数的参数虽然也能达到与使用引用的效果，但是，在被调函数中同样要给形参分配存储单元，且需要重复使用"*指针变量名"的形式进行运算，这很容易产生错误且程序的阅读性较差；另一方面，在主调函数的调用点处，必须用变量的地址作为实参。而引用更容易使用，更清晰。

2、常引用

什么时候需要常引用？如果既要利用引用提高程序的效率，又要保护传递给函数的数据不在函数中被改变，就应使用常引用。

常引用声明方式：const  类型标识符 &引用名 = 目标变量名；

例1： int a = 1;

             const int &b =a;

             b = 3;  //编译会出错

             a = 3； //正确

例2：string foo( );

             void bar(string & s);   //引用s未声明成常引用

那么下面的表达式将是非法的：

             bar(foo( ));

             bar("hello world");

原因在于foo( )和"hello world"串都会产生一个临时对象，而在C++中，这些临时对象都是const类型的。因此上面的表达式就是试图将一个const类型的对象转换为非const类型，这是非法的。引用型参数应该在能被定义为const的情况下，尽量定义为const 。

3、作为函数的返回值

定义格式：

                    类型标识符  &函数名 （形参列表及类型说明）

　　　　｛  函数体  ｝

特点：

（1）优点是在内存中不会生成返回值的副本

（2）不能返回局部变量的引用

（3）不能返回函数内部new分配的内存

（4）可以返回类成员变量的引用

（5）在另外的一些操作符中，却千万不能返回引用：+-*/ 四则运算符

（6）引用与一些操作符的重载：流操作符<<和>>，这两个操作符常常希望被连续使用，例如：cout << \"hello\" << endl;　因此这两个操作符的返回值应该是一个仍然支持这两个操作符的流引用。可选的其它方案包括：返回一个流对象和返回一个流对象指针。但是对于返回一个流对象，程序必须重新（拷贝）构造一个新的流对象，也就是说，连续的两个<<操作符实际上是针对不同对象的！这无法让人接受。对于返回一个流指针则不能连续使用<<操作符。因此，返回一个流对象引用是惟一选择。这个唯一选择很关键，它说明了引用的重要性以及无可替代性，也许这就是C++语言中引入引用这个概念的原因吧。 赋值操作符=。这个操作符象流操作符一样，是可以连续使用的，例如：x = j = 10;或者(x=10)=100;赋值操作符的返回值必须是一个左值，以便可以被继续赋值。因此引用成了这个操作符的惟一返回值选择。