C语言中数组名作为参数实现函数传递

用数组名作函数参数与用数组元素作实参有几点不同。

1) 用数组元素作实参时，只要数组类型和函数的形参变量的类型一致，那么作为下标变量的数组元素的类型也和函数形参变量的类型是一致的。因此，并不要求函数的形参也是下标变量。换句话说，对数组元素的处理是按普通变量对待的。用数组名作函数参数时，则要求形参和相对应的实参都必须是类型相同的数组，都必须有明确的数组说明。当形参和实参二者不一致时，即会发生错误。

2) 在普通变量或下标变量作函数参数时，形参变量和实参变量是由编译系统分配的两个不同的内存单元。在函数调用时发生的值传送是把实参变量的值赋予形参变量。在用数组名作函数参数时，不是进行值的传送，即不是把实参数组的每一个元素的值都赋予形参数组的各个元素。因为实际上形参数组并不存在，编译系统不为形参数组分配内存。那么，数据的传送是如何实现的呢?在我们曾介绍过，数组名就是数组的首地址。因此在数组名作函数参数时所进行的传送只是地址的传送，也就是说把实参数组的首地址赋予形参数组名。形参数组名取得该首地址之后，也就等于有了实在的数组。实际上是形参数组和实参数组为同一数组，共同拥有一段内存空间。

上图说明了这种情形。图中设a为实参数组，类型为整型。a占有以2000为首地址的一块内存区。b为形参数组名。当发生函数调用时，进行地址传送，把实参数组a的首地址传送给形参数组名b，于是b也取得该地址2000。于是a，b两数组共同占有以2000为首地址的一段连续内存单元。从图中还可以看出a和b下标相同的元素实际上也占相同的两个内存单元（整型数组每个元素占二字节）。例如a[0]和b[0]都占用2000和2001单元，当然a[0]等于b[0]。类推则有a[i]等于b[i]。

【例1】数组a中存放了一个学生5门课程的成绩，求平均成绩。

#include

float aver(float a[5]){
    int i;
    float av,s=a[0];
    for(i=1;i<5;i++)
        s=s+a[i];
    av=s/5;
    return av;
}

int main(void){
    float sco[5],av;
    int i;
    printf("ninput 5 scores:n");
    for(i=0;i<5;i++)
        scanf("%f",&sco[i]);
    av=aver(sco);
    printf("average score is %5.2f",av);
    return 0;
}
本程序首先定义了一个实型函数aver，有一个形参为实型数组a，长度为5。在函数aver中，把各元素值相加求出平均值，返回给主函数。主函数main 中首先完成数组sco的输入，然后以sco作为实参调用aver函数，函数返回值送av，最后输出av值。 从运行情况可以看出，程序实现了所要求的功能。

3) 前面已经讨论过，在变量作函数参数时，所进行的值传送是单向的。即只能从实参传向形参，不能从形参传回实参。形参的初值和实参相同，而形参的值发生改变后，实参并不变化，两者的终值是不同的。而当用数组名作函数参数时，情况则不同。由于实际上形参和实参为同一数组，因此当形参数组发生变化时，实参数组也随之变化。当然这种情况不能理解为发生了“双向”的值传递。但从实际情况来看，调用函数之后实参数组的值将由于形参数组值的变化而变化。

【例2】

#include

void nzp(int a[8]){
    int i;
    printf("nvalues of array aare:n");
    for(i=0;i<8;i++){
        if(a[i]<0)a[i]=0;
        printf("%d ",a[i]);
    }
}

int main(void){
    int b[5],i;
    printf("ninput 5 numbers:n");
    for(i=0;i<5;i++)
        scanf("%d",&b[i]);
    printf("initial values of array b are:n");
    for(i=0;i<5;i++)
        printf("%d ",b[i]);
    nzp(b);
    printf("nlast values of array b are:n");
    for(i=0;i<5;i++)
        printf("%d ",b[i]);

    return 0;
}
本程序nzp函数的形参数组长度改为8，函数体中，for语句的循环条件也改为i<8。因此，形参数组a和实参数组b的长度不一致。编译能够通过，但从结果看，数组a的元素a[5]、a[6]、a[7]显然是无意义的。

③在函数形参表中，允许不给出形参数组的长度，或用一个变量来表示数组元素的个数。例如，可以写为：

void nzp(int a[])

或写为

void nzp( int a[], int n )

其中形参数组a没有给出长度，而由n值动态地表示数组的长度。n的值由主调函数的实参进行传送。

【例3】

#include

void nzp(int a[],int n){
    int i;
    printf("nvalues of array a are:n");
    for(i=0;i         if(a[i]<0) a[i]=0;
        printf("%d ",a[i]);
    }
}

int main(void){
    int b[5],i;
    printf("ninput 5 numbers:n");
    for(i=0;i<5;i++)
        scanf("%d",&b[i]);
    printf("initial values of array b are:n");
    for(i=0;i<5;i++)
        printf("%d ",b[i]);
    nzp(b,5);
    printf("nlast values of array b are:n");
    for(i=0;i<5;i++)
        printf("%d ",b[i]);

    return 0;
}

本程序nzp函数形参数组a没有给出长度，由n 动态确定该长度。在main函数中，函数调用语句为nzp(b，5)，其中实参5将赋予形参n作为形参数组的长度。

④多维数组也可以作为函数的参数。在函数定义时对形参数组可以指定每一维的长度，也可省去第一维的长度。因此，以下写法都是合法的：

int MA(int a[3][10])

或

int MA(int a[][10])。

实际上是形参数组和实参数组为同一数组，共同使用一段内存空间。

起始地址 2000  

  设a为实参数组，类型为整形。a占有以2000为首地址的一块内存区。b为形参数组。当进行函数调用时，进行地址传递，把实参数组a的首地址传送给形参数组名b，于是b也取得了该地址2000.至此a、b两数组共同占用以2000为首地址的一段连续内存单元。同时，a和b中下表相同的元素实际上也占相同的内存单元（整形数组每个元素占两个字节）。

例1：有一个一维数组score，存放10个学生的成绩，求平均值。

#include
#include
#include
#include
float average(float array[10]){
 int i;
 float aver,sum=array[0];
 for(i=1;i<10;i++)
  sum=sum+array[i];
 aver=sum/10;
 return aver;
}
main(){
 float score[10],aver;
 int i;
 printf("input 10 score:/n");
 for(i=0;i<10;i++)
  scanf("%f",&score[i]);
 printf("/n");
 aver=average(score);
 printf("average score is %5.2f/n",aver);
}

说明：

（1）用数组名作函数参数，应该在主调函数和被调函数中分别定义数组。

（2）实参数组与形参数组类型应一致，如不一致，结果将出错。

（3）实际上，指定被调函数中形参数组的大小是不起任何作用的，因为C编译器对形参数组大小不做检查，只是将形参数组的首地址传给形参数组。

（4）形参数组也可以不指定大小，定义数组时在数组名后跟一个空的中括号，为了在被调函数中处理数组元素的需要，可以另设一个参数，传递数组元素的个数。

例2：用参数传递数组元素的个数。

#include
#include
#include
#include
float average(float array[],int n){
 int i;
 float aver,sum=array[0];
 for(i=1;i   sum=sum+array[i];
 aver=sum/n;
 return aver;
}
main(){
 float score1[5]={98.5,97,91.5,60,55};
 float score2[10]={67.5,89.5,99,69.5,77,89.5,76.5,54,60,99.5};
 printf("the average of class A is %6.2f/n",average(score1,5));
 printf("the average of class B is %6.2f/n",average(score2,10));
}

多维数组做函数的参数

当多维数组中元素做函数参数时，与一维数组元素做函数实参是相同的，这里讨论多维数组名做函数的参数。以二维数组为例：
二维数组名做函数参数时，形参的语法形式是：
类型说明符 形参名[ ][常量表达式M]
形参数组可以省略一维的长度。
例如：int array[ ][10]
由于实参代表了数组名，是"地址传递"，二维数组在内存中是按行优先存储，并不真正区分行与列，在形参中，就必须指明列的个数，才能保证实参数组与形参数组中的数据一一对应，因此，形参数组中第二维的长度是不能省略的。
调用函数时，与形参数组相对应的实参数组必须也是一个二维数组，而且它的第二维的长度与形参数组的第二维的长度必须相等。