在《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) ;
最后这个代码就没有为引用分配空间…… 如果标准没有规定这些行为,不同的编译器会有不同的行为。