定义了一个数组 int a[10] ;
分别有这两个默认的值: a代表数组首个元素的地址;&a代表指向数组的指针;
于是有这些赋值:int * p = a; int (*q)[10] = &a;是合法的。
那么在c++引用上,有以下引用:
int * &p = a;int (*&q)[10] = &a; //但这个在c++编译器上确实错误的。
原因是,无论是数组的a还是&a,它们的值都是常量,不能用非const引用来绑定。(我们知道非const引用的使用是比较严格的)
于是我们改为:
int * const &p = a; int (* const &q)[10] = &a;//编译器通过。p为指向首元素的指针,q为指向整个数组的指针。
同时,c++还支持一个引用:数组的引用。
int (&b)[10] = a; //这时候的a不再代表第一个元素的地址,而是整个数组。这时候编译器将不仅检查数组的类型是否匹配,还会检查数组的大小。
这里的b为什么不需要const指定呢?因为b引用的是数组的元素(全部的数组元素),b[1-10]分别是a[1-10]的引用。而数组的元素都是可以修改的。
笔者认为这些引用在函数传递参数的时候也有很大的用处。
引用参数不需要另外开辟空间传递指针的值就能够改变形参的值,而且十分直观,有利于程序的可阅读性。