C++中数组名、指针的引用传递

int (&b)[5] = a;

一直以来我都认为只有在进行函数的参数传递时才会使用到引用传递，后来发现引用传递也可以在普通的代码中使用，相当于给变量增加了一个别名，如下面的代码：

#include <iostream>
using namespace std;

int main()
{
	int a = 20;
	int &b = a;
	b++;
	cout << a;
	return 0;
} 

输出结果为21，说明b成为了a的一个别名。

此外，数组名也可以进行引用传递，使用方法如下：

#include <iostream>
using namespace std;

int main()
{
	int a[5]={0};
	int (&b)[5] = a;
	for(int i = 0; i < 5; i++)
		cout << b[i] << endl;
	return 0;
} 

当

int (&b)[5] = a;

中不是5时，编译器会报错。

在给函数传入一个数组时，如果使用引用传递，相当于同时传入了数组的首地址和数组长度，示例如下：

#include <iostream>
using namespace std;
void output(int (&a)[5])
{
	for(int i = 0; i < 5; i++)
		cout << a[i] << endl;
}
int main()
{
	int a[5]={0};
	output(a);
	return 0;
} 

同样地，数组长度不同时编译器会报错。

指针也能进行引用传递，写法如下：

int *p = &a;
int *&p1 = p;

则b是int型指针p的一个引用，指向指针的引用有时会被用作函数的形式参数。

那么什么时候会使用到指针的引用传递呢——当需要对指针本身的值进行修改时，如下面的C++代码：

#define MaxSize 50
typedef char ElemType;
typedef struct
{
	ElemType data[MaxSize];
	int length;
}SqList;					

void InitList(SqList *&La)	 
{
	La = (SqList*)malloc(sizeof(SqList));
	La->length = 0;
} 

SqList *L;
InitList(L);

代码初始化一个顺序存储的线性表，函数InitList中要对La赋值，La是L的一个别名，因此要用到指针的引用传递。

此时如果形参写作 SqList *La，当后续函数对顺序表进行操作时会发生运行时错误，

因为此时La是一个临时变量，InitList函数结束后被释放，L并未分配到空间。

当不需要对指针本身的值进行修改，而只需修改其所指向的对象时，使用指针的值传递与引用传递皆可，如下面代码：

void DispList(SqList *L)	 
{
	int i;
	if(ListEmpty(L)) return;
	for(i = 0; i < L->length; i++)
		printf("%c", L->data[i]);
	printf("\n");
}

参考文章：http://blog.csdn.net/desilting/article/details/7983530