函数返回值为数组

      以前想到函数返回值是数组的问题,从来没有深究,今天又遇到了此类问题,和同学探讨了下,总结如下:

   首先先看一个返回值为数组的类子:

   

#include<stdio.h>
#define N 5
int *print()
{
    int a[N];
    int i;
    for(i=0;i<N;i  )
        a[i]=i;

    return a;
}
int main()
{
    int *b,i;
    b=print();

    for(i=0;i<N;i  )
        printf("%d\n",b[i]);

    return 0;
}

     这个类子就是一个函数返回数组,运行结果是错误的.原因在于: 在函数print()里面 ,数组a[N]是一个局部变量,当你函数执行完之后,会自动释放其空间,所以 return a这句只是返回了一个指向数组a[N]的地值.而在主函数中,b应该接收的是数组a[N]的地址(即数组本身的地址),而它所占用的空间随着函数的调用完毕也随之被释放掉了,所以得到的答案是不正确的.

就函数的返回值是数组而言,经过底下的两种修改,会得到正确答案,代码如下:

#include<stdio.h>
#include<stdlib.h>
#define N 5
int *print()
{
    static int a[N];
    int i;
    for(i=0;i<N;i  )
        a[i]=i;

    return a;
}
int *print1()
{
    int *a;
    int i;
    a=(int *)malloc(N);
    for(i=0;i<N;i  )
    {
        a[i]=i;
    }

    return a;
}
int main()
{
    int *b;
//    int b[N];
    int i;
    b=print1();

    for(i=0;i<N;i  )
        printf("%d\n",b[i]);

    return 0;
}

无论是调用print()函数还是调用print1()函数都能得到正确结果.原因如下

调用print()函数:

     在数组a[N]前面加入了static关键字,它就使得a[N]存放在内存中的静态存储区中,所占用的存储单元不释放直到整个整个程序运行结束.所以当主函数调用完print()函数后,该空间依然存在.所以main()函数中b指针接收到这个数组的首地值后可以访问数组中的元素.

调用print1()函数:

     把数组a[N]换为指针*a,再给这个指针申请空间,也可以正常运行.因为当给指针a申请空间时,给指针分配的空间在堆上,堆上的空间是由程序员自动给予分配和释放的.若程序员不释放,程序结束时可能由OS释放.所以main函数中b指针也可以接收到这段空间的首地值,得到正确的答案.

     

当把main函数中的 int *b注释掉 换成int b[N] 会出现错误

test.c:30: warning: assignment makes integer from pointer without a cast

或者test.c:30: error: incompatible types when assigning to type ‘int[5]’ from type ‘int *’

都不能得到正确结果,原因如下:

main函数中 b得到的返回值是该数组的首地值,如果是*b,就是指针b指向这个数组的首地值,使指针变量向后移动就可以访问该数组中的所有元素.  而如果是b[N]的话,相当于编译器在栈上给数组b[N]分配了N个int空间,所以b指向a的首地值,不能通过这个地址,修改其自身申请的值.只能通过一个指针通过这个首地值,让指针向后移动来访问源数据.而且因为b没有进行初始化,所以得到的是随机值.

后记:  

    编写这个的目的只是想通过返回值了解这些知识,当然,这种实现,行参是最好的选择.