数组的引用与引用数组、指针的引用

最新推荐文章于 2023-09-10 21:59:10 发布

weixin_33824363

最新推荐文章于 2023-09-10 21:59:10 发布

阅读量94

点赞数

原文链接：https://my.oschina.net/u/2515635/blog/725386

版权

2019独角兽企业重金招聘Python工程师标准>>>

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

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

指针的引用

再看一下指针的引用代码

int m_value = 1;

void func(int *&p)
{
    p = &m_value;

    // 也可以根据你的需求分配内存
    p = new int;
    *p = 5;
}

int main(int argc, char *argv[])
{
    int n = 2;
    int *pn = &n;
    cout << *pn << endl;
    func(pn);
    cout << *pn <<endl;
    return 0;
}

看一下func(int *&p)方法