引用参数是由调用部位传入实参的地址（写在留言板上）的形参。

在形参表中以符号“&”开始的参数即为引用参数。如果一个形参是引用参数，调用部位将把实参的地址传递给子程序。子程序可以改变传递给引用参数的任何实参，因为子程序操作的是真正的变量，而不是它的副本。

把参数声明成引用，实际上改变了缺省的按值传递参数的传递机制，在按值传递时，函数操纵的是实参的本地拷贝。

一、引用参数的三种常见用法：

1.需要改变实参的值，比如swap( )。参数是引用时，函数接收的是实参的左值而不是值的拷贝。这意味着函数知道实参在内存中的位置，因而能够改变它的值或取它的地址。

2.向主调函数返回额外的结果。如下例：

3.向函数传递大型的类对象。例如：

class Huge {public:double stuff[1000];};

extern int calc( const Huge & );

int main( ) {Huge table[ 1000 ];// ... 初始化 tableint sum = 0;for ( int ix=0; ix ＜ 1000; ++ix )// 函数 calc( ) 将指向 Huge 类型的数组元素指定为实参sum += calc( table[ix] );// ...}

二、如果引用参数不希望在被调用的函数内部被修改，那么把参数声明为 const 型的引用是个不错的办法。

如下例：

class X;

extern int foo_bar( X& );

int foo( const X& xx ) {// 错误: const 传递给非 constreturn foo_bar( xx );}

为使该程序通过编译 我们改变 foo_bar( )的参数的类型 以下两种声明都是可以接受的

extern int foo_bar( const X& );

extern int foo_bar( X ); // 按值传递

或者可以传递一个 xx 的拷贝做实参 允许 foo_bar( )改变它

int foo( const X &xx ) {// ...X x2 = xx; // 拷贝值// 当 foo_bar( ) 改变它的引用参数时, x2 被改变, xx 保持不变return foo_bar( x2 ); // ok}

三、 我们可以声明任意内置数据类型的引用参数

例如，如果程序员想修改指针本身，而不是指针引用的对象，那么他可以声明一个参数，该参数是一个指针的引用，例如：下面是交 换两个指针的函数

?

如下声明

int *&v1; //实际是为指针取了一个别名，这样就可以通过别名改变指针本身

应该从右向左读，v1 是一个引用，它引用一个指针，指针指向 int 型的对象。

用函数 main( ) 操纵函数 rswap( ) 我们可以如下修改代码以便交换两个指针值：

编译并运行程序 产生下列输出

Before ptrswap( ): pi: 10 pj: 20

After ptrswap( ): pi: 20 pj: 10

四、引用参数还是指针参数

这2种参数都能够改变实参的值，也可以有效的传递大型类对象，怎么样决定参数该声明成哪种呢？

根本区别是：引用必须被初始化为指向一个对象，一旦初始化了，它就不能再指向其他对象；指针可以指向一系列不同的对象也可以什么都不指向 。

因为指针可能指向一个对象或没有任何对象，所以函数在确定指针实际指向一个有效的对象之前不能安全地解引用（dereference） 一个指针，例如：

class X;

void manip( X *px )

{// 在解引用指针之前确信它非 0if ( px != 0 )// 解引用指针}

另一方面，对于引用参数，函数不需要保证它指向一个对象。引用必须指向一个对象，甚至在我们不希望这样时也是如此，例如 ：

class Type { };

void operate( const Type& p1, const Type& p2 );

int main( ) {Type obj1;// 设置 obj1 为某个值// 错误: 引用参数的实参不能为 0Type obj2 = operate( obj1, 0 );}

如果一个参数可能在函数中指向不同的对象，或者这个参数可能不指向任何对象，则必须使用指针参数 。

引用参数的一个重要用法是：它允许我们在有效地实现重载操作符的同时，还能保证用法的直观性。

以Matrix 对象的加法重载操作符来举例：

Matrix // 加法返回一个 Matrix 对象

operator+( // 重载操作符的名字Matrix m1, // 操作符左操作数的类型Matrix m2 // 操作符右操作数的类型)

{Matrix result;// do the computation in resultreturn result;}

可以这样使用：

Matrix a,b,c; a = b+c; a+b+c;

但是operator+是按值传递，效率较低，如果我们改成指针参数：

Matrix operator+( Matrix *m1, Matrix *m2 )

{Matrix result;// 在 result 中计算return result;}

虽然在获得了效率，但在使用时将出现这样的代码：a = &b +&c 和&( &a+&b)+&c；显然并不友好。

下面是 Matrix类的重载加法操作符的修订版本

// 使用引用参数的新实现

Matrix operator+( const Matrix &m1, const Matrix &m2 )

{Matrix result;// 在 result 中进行计算return result;}

该实现支持如下形式的 Matrix对象的加法

a + b + c