数组作为函数形参

请看下面的程序:
        #include <stdio.h>
        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)作为其地址传递的方式。而复制传递方式与数组的指针传递方式是完全相同,只是形参的说明形式不同而已。调用函数将实参数组传递给被调用函数形参,形参接收是实参的地址。不论哪种方式,被调用函数里对形参数组的操作都会影响调用函数里的实参数组。

猜你喜欢

转载自blog.csdn.net/icebergliu1234/article/details/80424069