全部博文(240)
分类: LINUX
2011-11-07 09:07:40
请看下面的程序:
#include
void func1(int arr[])
{
printf("%d\n",sizeof(arr));
arr=arr+1;
printf("%d\n",*arr);
}
void func2(int *arr)
{
printf("%d\n",sizeof(arr));
arr=arr+1;
printf("%d\n",*arr);
}
int main()
{
int a[10]={1,2,3,4,5};
int *b=a;
printf("%d\n",sizeof(a));
func1(a);
func2(a);
printf("%d\n",sizeof(b));
func1(b);
func2(b);
//a=a+1;
printf("%d\n",*a);
b=b+1;
printf("%d\n",*a);
return 0;
}
为了说明问题,我写了一个简单的测试程序,在主函数中定义了一个a数组,并定义了一个b指针指向该数组的首地址。显然a=a+1是不能通过编译的,因为作为数组而言,a是地址常量,一旦定义是不允许指向其他地址的。
那么作为b,其仅仅是一个指针变量,里面存放的是a数组的首地址,故可以执行b=b+1,这样使得b指向a+1,也就是a数组中的a[1]。
下面问题就来了,我们该如何将一个数组作为形参传递给函数,也就是说若有一个实参数组,想在函数中改变此数组中的元素的值,我们该如何处理?
数组作为形参,和接受它的实参有以下的关系:
1. 形参和实参都是数组名。
2. 实参用数组,形参用指针变量.
3. 实参、形参都用指针变量。
4. 实参为指针变量,形参为数组名。
在上述的例子中我们来进一步的讲解。
首先来看结果:
40//sizeof(a)
4//func1(a)
2//arr=arr+1
4//func2(a)
2//arr=arr+1
4//sizeof(b)
4//func1(b)
2// arr=arr+1
4//func2(b)
2// arr=arr+1
1// a
1//b=b+1;
在C语言中,数组名是当作指针来处理的。更确切的说,数组名就是指向数组首元素地址的指针,数组索引就是距数组首元素地址的偏移量。理解这一点很重要,很多数组应用的问题就是有此而起的。这也就是为什么C语言中的数组是从0开始计数,因为这样它的索引就比较好对应到偏移量上。在C语言中,编译过程中遇到有数组名的表达式,都会把数组名替换成指针来处理;编译器甚至无法区分a[4]和4[a]的区别。
我们在题中定义了
int a[10];
int *b;
这两者并不等价,第一句话声明了数组a,并定义了这个数组,它有10个int型元素,sizeof(a)将得到整个数组所占的内存大小,是40;第二句话只是声明并定义了一个int型的指针,sizeof(b)将得到这个指针所占的内存大小,是4。所以说,虽然数组名在表达式中一般会当作指针来处理,但是数组名和指针还是有差距的,最起码有a==&a[0]但是sizeof(a)!=sizeof(a[0])。
并且在ANSI C标准中,也明文规定:在函数参数的声明中,数组名可以当作指向该数组第一个元素的指针。所以,下面的几种书写形式是等效的:
void func1(int arr[]){}
void func2(int *arr){}
对于第一种还可以写成void func1(int arr[100]){},在形参中其实不需要指定数组的大小,因为其实在这几个函数在函数调用时传入的只是一个该数组的指针,想要确定几行几列的话还需要另外定义参数进行传入.如果在使用该指针的过程中不清楚原数组的范围,指针很容易就越界,内存也就溢出了。
当用数组名作函数参数时,形参数组就可以从实参数组那里得到起始地址后,形参数组就和实参数组共占同一段内存单元,从而在调用函数期间,如果改变了形参数组的值,也就该变了实参数组的值。
最后要补充一点,也就是上次我们学员问我的一个问题,作为形参int arr[]和int *arr有什么区别。在本质上,我们看通过程序,貌似真的没有区别,虽然arr[]是作为数组传递进去,但是我们也可以修改arr的指向,而作为实参的数组的a却不能使其加一。我们都知道函数之间的参数传递有:复制传递方式、地址传递方式、全局变量。
那么姑且就将void func1(int arr[])最为函数按复制传递的方式,而void func2(int *arr)作为其地址传递的方式。而复制传递方式与数组的指针传递方式是完全相同,只是形参的说明形式不同而已。调用函数将实参数组传递给被调用函数形参,形参接收是实参的地址。不论哪种方式,被调用函数里对形参数组的操作都会影响调用函数里的实参数组。