数组的引用与引用数组

在《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) ;

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