函数在什么时候需要“引用”类型的参数

核心提示：在什么时候将函数的参数设为引用类型？？当你在函数体里要改变参数的值时，就将函数参数类型声明为引用或者指针，这样函数体里对参数本身的操作才能生效。

最近在看程序结合实例，慢慢明白了引用类型的实际好处。

如：int beforeChange;

    void ChangeValue(int valueBeforeChanged)

    {

        //change value

    }

    当把beforeChange传递给函数ChangeValue后，并没有将ChangeValue的实际值修改掉。因为在执行过程中只是将ChangeValue的副本传递给了函数，并没有将ChangeValue本身传递给函数。

    如果要实现改变beforeChange值的目的，有两种方式：

    第一种：为函数ChangeValue设函数返回值，返回值用来存放修改后的值，最后在函数体外将修改后的值赋给beforeChange。如下：

    int beforeChange=5;

    int ChangeValue(int valueBeforeChanged)

    {

        int valueAfterChanged;

        //change value 

        return valueAfterChanged;

    }

    调用方式：beforeChange=ChangeValue(beforeChange);

    第二种方法：将函数的参数设置为引用类型。如下：

    int beforeChange;

    void ChangeValue(int &valueBeforeChanged)

    {

        //change value

    }

    调用方式：ChangeValue(beforeChange);

    在第二种方法中，只需要直接将beforeChange传递给函数就可以达到改变其值的目的。

 

     

                 用引用传递函数参数
 

1.引用类型 　　引用类型 (reference type) 　　由类型的实际值引用（类似于指针）表示的数据类型。如果为某个变量分配一个引用类型，则该变量将引用（或“指向”）原始值。不创建任何副本。引用类型包括类、接口、委托和装箱值类型。   2．引用传递参数 　　传递引用给函数与传递指针的效果一样，传递的是原来的变量或对象，而不是在函数作用域内建立变量或对象的副本。 　　我们看到对swap(int,int)传值方式函数的调用不影响调用函数中的实参，结果并未达到交换数据的预想目的。 　　使用指针传递方式的swap(int *,int *)函数的调用，能够达到预定的目的(见8．6 节)，但是函数的语法相对传值方式来说比较累赘。首先，在swap()函数内需要重复递引用(dereference)(*px)，这容易产生错误且难于阅读。其次，调用函数需要传递变量地址，使swap()内部的工作对用户太过显然。而且还有swap(&x,&y)的形式会造成一种交换两个变量地址的错觉。 　　C++的目标之一就是让使用函数的用户无须考虑函数是如何工作的。传递指针给使用函数的用户增加了编程和理解的负担，这些负担本应属于被调用函数。 　　例如，下面的程序用引用改写swap()函数的定义及调用： 　　　　//********************* 　　　　//** 　　ch9_4.cpp　 ** 　　　　//********************* 　　　　#include <iostream.h> 　　　　void swap(int &x,int &y); 　　　　void main() 　　　　{ 　　　　　int x=5, y=6; 　　　　　cout <<"before swap, x:" <<x <<" ,y:" <<y <<endl; 　　　　　swap(x,y); 　　　　　cout <<"after swap, x:" <<x <<" ,y:" <<y <<endl; 　　　　} 　　　　void swap(int &rx,int &ry) 　　　　{ 　　　　　int temp=rx; rx=ry; ry=temp; 　　　　} 　　运行结果为： 　　　　before swap，X：5，y：6 　　　　after swap，x：6，y：5 　　在主函数中，调用swap()函数的参数是x和y，简单地传递变量而不是它们的地址。而事实上，传递的是它们的地址。引用传递的内存布局与指针相仿，只是操作完全不同。每当使用引用时， C++就去求该引用所含地址中的变量值. 　　引用具有指针的威力，但是调用引用传递的函数时，可读性却比指针传递好。引用具有传值方式函数调用语法的简单性与可读性，但是威力却比传值方式强。   3．引用存在的问题 　　尽管引用可以表达清晰并让程序员负责了解如何传递参数，但是在有些情况下它们能隐藏错误。 　　例如，下面的代码在没有看到函数原型之前可能会误认为实参a和b是通过值来传递的，从而不能通过函数调用来修改它，而事实上却能够修改： 　　　　int a=10； 　　　　int b=20； 　　　　swap(a，b)； 　　因为引用隐藏了函数所使用的参数传递的类型，所以无法从所看到的函数调用判断其是值传递还是引用传递。正因为此，下面的代码中两个重载函数将引起编译报错： 　　　　void fn(int s) 　　　　{ 　　　　　　//... 　　　　} 　　　　void fn(int&t) 　　　　{ 　　　　　　//... 　　　　} 　　　　void main() 　　　　{ 　　　　　int a=5； 　　　　　fn(a)； //error匹配哪一个函数? 　　　　} 有了变量名，为什么还需要一个别名呢？C++之所以增加引用类型， 主要是把它作为函数参数，以扩充函数传递数据的功能。 到目前为止我们介绍过函数参数传递的两种情况。 1) 将变量名作为实参和形参 这时传给形参的是变量的值，传递是单向的。如果在执行函数期间形参的值发生变化，并不传回给实参。因为在调用函数时，形参和实参不是同一个存储单元。 【例6.18】要求将变量i和j的值互换。下面的程序无法实现此要求。 复制纯文本新窗口 #include <iostream> using namespace std; int main( ) { void swap(int,int); //函数声明 int i=3,j=5; swap(i,j); //调用函数swap cout<<i<<" "<<j<<endl; //i和j的值未互换 return 0; }   void swap(int a,int b) //企图通过形参a和b的值互换,实现实参i和j的值互换 { int temp; temp=a; //以下3行用来实现a和b的值互换 a=b; b=temp; } #include <iostream> using namespace std; int main( ) { void swap(int,int); //函数声明 int i=3,j=5; swap(i,j); //调用函数swap cout<<i<<" "<<j<<endl; //i和j的值未互换 return 0; } void swap(int a,int b) //企图通过形参a和b的值互换,实现实参i和j的值互换 { int temp; temp=a; //以下3行用来实现a和b的值互换 a=b; b=temp; } 运行时输出3 5i和j的值并未互换。见图6.27示意。 为了解决这个问题，采用传递变量地址的方法。 图6.27 2) 传递变量的指针 形参是指针变量，实参是一个变量的地址，调用函数时，形参(指针变量)指向实参变量单元。程序见例6.19。 【例6.19】使用指针变量作形参，实现两个变量的值互换。 复制纯文本新窗口 #include <iostream> using namespace std; int main( ) { void swap(int *,int *); int i=3,j=5; swap(&i,&j); //实参是变量的地址 cout<<i<<" "<<j<<endl; //i和j的值已互换 return 0; }   void swap(int *p1,int *p2) //形参是指针变量 { int temp; temp=*p1; //以下3行用来实现i和j的值互换 *p1=*p2; *p2=temp; } #include <iostream> using namespace std; int main( ) { void swap(int *,int *); int i=3,j=5; swap(&i,&j); //实参是变量的地址 cout<<i<<" "<<j<<endl; //i和j的值已互换 return 0; } void swap(int *p1,int *p2) //形参是指针变量 { int temp; temp=*p1; //以下3行用来实现i和j的值互换 *p1=*p2; *p2=temp; } 形参与实参的结合见图6.28示意。 图6.28 这种虚实结合的方法仍然是“值传递”方式，只是实参的值是变量的地址而已。通过形参指针变量访问主函数中的变量(i和j)，并改变它们的值。这样就能得到正确结果，但是在概念上却是兜了一个圈子，不那么直截了当。 在Pascal语言中有“值形参”和“变量形参”(即var形参)，对应两种不同的传递方式，前者采用值传递方式，后者采用地址传递方式。在C语言中，只有“值形参”而无“变量形参”，全部采用值传递方式。C++把引用型变量作为函数形参，就弥补了这个不足。 C++提供了向函数传递数据的第(3)种方法，即传送变量的别名。 【例6.20】利用“引用形参”实现两个变量的值互换。 复制纯文本新窗口 #include <iostream> using namespace std; int main( ) { void swap(int &,int &); int i=3,j=5; swap(i,j); cout<<"i="<<i<<" "<<"j="<<j<<endl; return 0; }   void swap(int &a,int &b) //形参是引用类型 { int temp; temp=a; a=b; b=temp; } #include <iostream> using namespace std; int main( ) { void swap(int &,int &); int i=3,j=5; swap(i,j); cout<<"i="<<i<<" "<<"j="<<j<<endl; return 0; } void swap(int &a,int &b) //形参是引用类型 { int temp; temp=a; a=b; b=temp; } 输出结果为：     i=5 j=3 在swap函数的形参表列中声明a和b 是整型变量的引用。 图6.29 实际上，在虚实结合时是把实参i的地址传到形参a，使形参a的地址取实参i的地址，从而使a和i共享同一单元。同样，将实参j的地址传到形参b，使形参b的地址取实参j的地址，从而使b和j共享同一单元。这就是地址传递方式。 为便于理解，可以通俗地说：把变量i的名字传给引用变量a，使a成为i的别名。 请思考：这种传递方式和使用指针变量作形参时有何不同？分析例6.20(对比例6.19)，可以发现： 使用引用类型就不必在swap函数中声明形参是指针变量。指针变量要另外开辟内存单元，其内容是地址。而引用变量不是一个独立的变量，不单独占内存单元，在例6.20中引用变量a和b的值的数据类型与实参相同，都是整型。 在main函数中调用swap函数时，实参不必用变量的地址(在变量名的前面加&)，而直接用变量名。系统向形参传送的是实参的地址而不是实参的值。 这种传递方式相当于Pascal语言中的“变量形参”，显然，这种用法比使用指针变量简单､直观､方便。使用变量的引用，可以部分代替指针的操作。有些过去只能用指针来处理的问题，现在可以用引用来代替，从而降低了程序设计的难度。 【例6.21】对3个变量按由小到大的顺序排序。 复制纯文本新窗口 #include <iostream> using namespace std; int main( ) { void sort(int &,int &,int &); //函数声明,形参是引用类型 int a,b,c; //a,b,c是需排序的变量 int a1,b1,c1; //a1,b1,c1最终的值是已排好序的数列 cout<<"Please enter 3 integers:"; cin>>a>>b>>c; //输入a,b,c a1=a;b1=b;c1=c; sort(a1,b1,c1); //调用sort函数,以a1,b1,c1为实参 cout<<"sorted order is "<<a1<<" "<<b1<<" "<<c1<<endl; //此时a1,b1,c1已排好序 return 0; } void sort(int &i,int &j,int &k) //对i,j,k 3个数排序 { void change(int &,int &); //函数声明,形参是引用类型 if (i>j) change (i,j); //使i<=j if (i>k) change (i,k); //使i<=k if (j>k) change (j,k); //使j<=k } void change (int &x,int &y) //使x和y互换 { int temp; temp=x; x=y; y=temp; } #include <iostream> using namespace std; int main( ) { void sort(int &,int &,int &); //函数声明,形参是引用类型 int a,b,c; //a,b,c是需排序的变量 int a1,b1,c1; //a1,b1,c1最终的值是已排好序的数列 cout<<"Please enter 3 integers:"; cin>>a>>b>>c; //输入a,b,c a1=a;b1=b;c1=c; sort(a1,b1,c1); //调用sort函数,以a1,b1,c1为实参 cout<<"sorted order is "<<a1<<" "<<b1<<" "<<c1<<endl; //此时a1,b1,c1已排好序 return 0; } void sort(int &i,int &j,int &k) //对i,j,k 3个数排序 { void change(int &,int &); //函数声明,形参是引用类型 if (i>j) change (i,j); //使i<=j if (i>k) change (i,k); //使i<=k if (j>k) change (j,k); //使j<=k } void change (int &x,int &y) //使x和y互换 { int temp; temp=x; x=y; y=temp; } 运行情况如下： Please enter 3 integers：23 12 -345↙ sorted order is -345 12 23 可以看到：这个程序很容易理解，不易出错。由于在调用sort函数时虚实结合使形参i，j，k成为实参a1，b1，c1的引用，因此通过调用函数sort(a1, b1, c1)既实现了对i，j，k排序，也就同时实现了对a1，b1，c1排序。同样，执行change (i, j)函数，可以实现对实参i和j的互换。 引用不仅可以用于变量，也可以用于对象。例如实参可以是一个对象名，在虚实结合时传递对象的起始地址。这会在以后介绍。 当看到&a这样的形式时，怎样区别是声明引用变量还是取地址的操作呢？当&a的前面有类型符时(如int &a)，它必然是对引用的声明;如果前面无类型符(如cout<<&a)，则是取变量的地址。