数组的引用与引用数组

    在《C++ Primer 第四版》的第七章中，讲到了通过引用传递数组，和其他类型一样，数组形参可声明为数组的引用。如果形参是数组的引用，编译器不会将数组实参转化为指针，而是传递数组的引用本身。在这种情况下，数组大小成为形参与实参类型的一部分，编译器检查数组实参的大小与形参的大小是否匹配。

#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);
	getchar();
	return 0;
} 

 

输出结果为：

也可以在函数中直接声明一个对数组的引用：

#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;
	cout<<sizeof(b);
	getchar();
	return 0;
} 

输出结果为：

 从运行结果中可以看到b的大小和数组a的大小一样，也为20。

可见数组的引用同样可以看做是数组的一个别名。

但如果将上面代码中的 int (&b)[5] = a; 改为 int &b[5] = a;则编译无法通过，因为声明了一个引用数组。即便你将引用数组b中的每一个元素b[i]看做对a[i]的引用，然后对每一个元素进行初始化，也是错误的：

 int &b[5] = {a[0],a[1],a[3],a[3],a[4]};

一句话，你可以创建对数组的引用，但你不能创建一个元素都是引用的数组。

 

附：引用占用内存空间吗？摘自http://topic.csdn.net/u/20090604/10/4d7d6b83-8477-4817-8bd0-b4c3e6df8e20.html

 引用是在汇编代码中是如何实现的，这要看编译器的实现，不过大数多编译器用指针来实现。但并不代码会为它分配空间。

以下面程序为例：

int ia =1;
int &ib = ia ;
int ic = 2 ;
printf("%p\n",&ia) ;
printf("%p\n",&ib) ;
printf("%p\n",&ic) ; 

经编译器后，可以转换成如下的代码：

int ia =1;
int *ib = &ia ;    //ib由引用变成指针
int ic = 2 ;
printf("%p\n",&ia) ;
printf("%p\n",ib) ;  //引用取地址＝＞指针本身就是地址
printf("%p\n",&ic) ; 

 

这里为ib分配了一个空间，但由ib这个指针很特殊，在定义的时候一定要有初始化，这就为它的优化提供了很好的依据。
上面的代码完全可以变成下面这样：

int ia =1;
//int &ib = ia ; 编译只需记住ib是ia的引用，不需要分配空间
int ic = 2 ;
printf("%p\n",&ia) ;
printf("%p\n",&ia) ; //原来是printf("%p\n",&ib) ;ib即ia(引用定义），故直接用ia来替换
printf("%p\n",&ic) ; 

最后这个代码就没有为引用分配空间…… 如果标准没有规定这些行为，不同的编译器会有不同的行为。