输出型参数的设计及C++引用运算符“&”的使用

输出型参数的设计及引用运算符“&”的使用

函数根据数据传递方向可分为：
1、输入型参数：是指这个参数的值已知,由外面传给函数里使用。
2、输出型参数：是指这个参数的值未知,要通过函数传出来。

设计一个交换两个整数的算法，编写相应的函数swap(x,y)如下：

#include<stdio.h>

void swap(int x, int y)
{
	int tmp;
	tmp = x;
	x = y;
	y = tmp;
}
int main()
{
	int a = 1, b = 2;
	printf("交换前a=%d,b=%d\n",a,b);
	swap(a, b);
	printf("交换后a=%d,b=%d\n",a,b);
	getchar();
	return 0;
}

在该函数中的确实现了两个形参x和y的值的交换，但调用该算法swap(a, b)时发现实参a,b的值并不会发生交换。出现错误的原因是这里的形参x,y既是输入型参数也是输出型参数，而swap(x, y)中仅仅将x,y作为输入型参数设计。
改正方法1： 采用指针的方式来回传形参的值，将swap(x, y)函数改为如下：

void swap(int * x, int * y)
{
	int tmp;
	tmp = * x;
	* x = * y;
	* y = tmp;
}

这样调用该函数的方式改为swap(&a, &b)，其中&a,&b分别是实参a,b的地址，显然改正后的算法swap()比较复杂，可读性差
改正方法2： 采用引用形参，也就是将输出型参数设计为引用类型形参。

这种方式是由C++语言提供的，C++中提供了引用运算符“&”。当建立引用时，程序用另一个已定义的变量（目标变量）的名字初始化它，从那时起，引用变量作为目标变量的别名使用，对引用变量的改动实际是对目标变量的改动。

引用常用于函数形参中，当采用引用型形参时，在函数调用时会将形参的改变回传给实参。利用引用运算符将swap()改为如下：

void swap(int & x, int & y)
{
	int tmp;
	tmp = x;
	x = y;
	y = tmp;
}

当执行函数swap(a, b)时，形，实参的匹配相当于：

int & x = a;	//x为a的引用
int & y = b;	//y为b的引用

这样，a与x共享同一储存空间，b与y共享同一储存空间（同一地址），因此执行函数后x和y的值交换等于a和b的值交换。