C++ 引用参数 深入分析

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

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

1.需要改变实参的值，比如swap()。参数是引用时，函数接收的是实参的左值而不是值的拷贝。这意味着函数知道实参在内存中的位置，因而能够改变它的值或取它的地址。
2.向主调函数返回额外的结果。如下例：

view sourceprint? 01 /********************************************************* 02 * Description:  测试引用传递的第二种使用方式 03 * Author:charley 04 * DateTime:2010-12-13 23:00 05 * Compile Environment：win7 32 位 +vs2008 06    07 ***********************************************************/ 08    09 #include 10 #include   11 using namespace std; 12    13 // 引用参数 'occurs' 可以含有第二个返回值  14 vector<int>::const_iterator look_up( const vector<int> &vec,  15                                      int value, // 值在 vector 中吗?  16                                      int &occurs ) // 多少次?  17 {  18      // res_iter 被初始化为最后一个元素的下一位置   19     vector<int>::const_iterator res_iter = vec.end();  20     occurs = 0;  21     for ( vector<int>::const_iterator iter = vec.begin(); iter != vec.end(); ++iter )  22     { 23         //判断是否存在value 24         if ( *iter == value )  25         {  26             //只有第一次找到value时，该项才成立； 27             //找到第二个value时res_iter已经被下一步赋值了，该项不成立 28             //达到在多次出现value的情况下，指向第一次出现的iterator 被返回 29             if ( res_iter == vec.end() )  30                 res_iter = iter;  31             ++occurs;  32         }  33     } 34    35     //如果找不到该value值，返问一个指向vector 最后一个元素下一位置的iterator 36     return res_iter;  37 }  38    39 /** 40 * 调用look_up方法 41 */ 42 int main_test6(){ 43     vector<int> vInts; 44     int iVal; 45     cout<<"请输入数字，按Ctrl+Z结束："< 46     while(cin>>iVal) 47         vInts.push_back(iVal); 48    49     if(vInts.size()==0){ 50         cout<<"没有元素。"< 51         return -1; 52     } 53    54     cout<<"您输入的结果如下："< 55     for(vector<int>::const_iterator iter = vInts.begin();iter!=vInts.end();iter++) 56         cout<<*iter<<"\t"; 57     cout< 58        59     int occurs = 0; 60     //查找该容器中是否含有值2。 61     vector<int>::const_iterator resIter = look_up(vInts,2,occurs); 62    63     if(!occurs) 64     { 65         cout<<"容器中不含2。"< 66     } 67     else 68     { 69         cout<<"容器中2出现了："<"次，*iterator为："<<*resIter< 70     } 71     return 0; 72 }

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

class Huge { public: double stuff[1000]; };
extern int calc( const Huge & );
int main() {
Huge table[ 1000 ];
 
// ... 初始化 table
int 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 传递给非 const
return 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
}

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

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


view sourceprint? 1 void ptrswap( int *&v1, int *&v2 ) {  2  int *tmp = v2;  3  v2 = v1;  4  v1 = tmp;  5 }

如下声明 
int *&v1;   //实际是为指针取了一个别名，这样就可以通过别名改变指针本身
应该从右向左读，v1 是一个引用，它引用一个指针，指针指向 int 型的对象。

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


view sourceprint? 01 #include   02     03 void ptrswap( int *&v1, int *&v2 );  04 int main() {  05  int i = 10;  06  int j = 20;  07     08  int *pi = &i;  09  int *pj = &j;  10     11  cout << "Before ptrswap():\tpi: "  12   << *pi << "\tpj: " << *pj << endl;  13    14 //参数为指针的别名（即指针的引用，那么传递的实参就是指针本身，道理和传递普通变量一样的） 15  ptrswap( pi, pj );  16     17  cout << "After ptrswap():\tpi: "  18   << *pi << "\tpj: " << *pj << endl;  19  return 0;  20 }

编译并运行程序 产生下列输出 
Before ptrswap(): pi: 10 pj: 20
After ptrswap(): pi: 20 pj: 10

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

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

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

因为指针可能指向一个对象或没有任何对象，所以函数在确定指针实际指向一个有效的对象之前不能安全地解引用（dereference） 一个指针，例如： 
class X;
void manip( X *px )
{
// 在解引用指针之前确信它非 0
if ( px != 0 )
 
// 解引用指针
}