使用引用参数时,需要了解其一些特点。首先,看看下面的程序。它使用两个函数来计算参数的立方其中一个函数接受 double 类型的参数,另一个接受 double 引用。为了说明这一点,我们有意将计算立方的代码编写得比较奇怪。
演示源码:
// Len_const.cpp : 此文件包含 "main" 函数。程序执行将在此处开始并结束。
//
#include <iostream>
using namespace std;
double cube(double a);
double refcube(double &ra);
int main()
{
double x = 3.0;
cout << cube(x);
cout << " = cube of " << x << endl;
cout << refcube(x);
cout<<" = cube of "<<x <<endl;
return 0;
}
double cube(double a)
{
a *= a * a;
return a;
}
double refcube(double &ra)
{
ra *= ra * ra;
return ra;
}
执行结果:
refcube()函数修改了main()中的x值而cube()没有,这提醒我们为何通常按值传递。变量a位于cube()中,它被初始化为x的值,但修改a并不会影响x。但由于refcube()使用了引用参数,因此修改ra实际上就是修改x。如果程序员的意图是让函数使用传递给它的信息,而不对这些信息进行修改,同时又想使用引用,则应使用常量引用。例如,在这个例子中,应在函数原型和函数头中使用 const:
double refcube(const double &ra);
如果这样做,当编译器发现代码修改了ra的值时,将生成错误消息。如果要编写类似于上述示例的函数,应采用按值传递的方式,而不要采用按引用传递的方式。当数据比较大(如结构和类)时,引用参数将很有用。
按值传递的函数,如上述示例中的函数cube(),可使用多种类型的实参。例如下面的调用都是合法的:
double z = cube(x + 2.0);
z = cube(8.0);
int k = 10;
z = cube(k);
double yo[3] = {2.2, 3.3, 4.4};
z = cube(yo[2]);
如果将与上面类似的参数传递给接受引用参数的函数,将会发现,传递引用的限制更严格。毕竟,如果ra是一个变量的别名,则实参应是该变量。下面的代码不合理,因为表达式x+3.0并不是变量:
double z = refcube(x + 3.0);
例如,不能直接赋值给表达式:
x + 3.0 = 5.0;
如果试图使用像refcube(x+3.0)这样的函数调用,编译器将会指出错误。
将引用参数声明为常量数据的引用的理由有三个:
1. 使用 const 可以避免无意中修改数据的编程错误;
2. 使用 const 使函数能够处理 const 和非 const 实参,否则将只能接受非 const 数据;
3. 使用 const 引用使函数能够正确生成并使用临时变量。