首先先看一个返回值为数组的类子:
#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没有进行初始化,所以得到的是随机值.
后记:
编写这个的目的只是想通过返回值了解这些知识,当然,这种实现,形参是最好的选择.