用普通变量做函数参数,形参和实参位于不同的内存区域,发生函数调用时,会把实参的值传递给形参,改变形参的值不会影响到实参,它们是相互独立的。这称为按值传递。
在用数组名作函数参数时,不是进行值的传送,不会把实参数组的每一个元素的值都赋予形参数组的各个元素。因为实际上形参数组并不存在,编译系统不为形参数组分配内存。那么,数据的传送是如何实现的呢?数组名就是数组的首地址,用数组名作函数参数时所进行的传送只是地址的传送,也就是说把实参数组的首地址赋予形参数组名。形参数组名取得该首地址之后,也就等于有了实实在在的数组。实际上是形参数组和实参数组为同一数组,拥有同一段内存空间。这种传值方式成为按引用传递。
图中设a为实参数组,类型为int。a占有以2000为首地址的一块内存区;b为形参数组名。当发生函数调用时,进行地址传送,把实参数组a的首地址传送给形参数组名b,于是b也取得该地址2000。于是a,b两数组共同占有以2000为首地址的一段连续内存单元。从图中还可以看出a和b下标相同的元素实际上也占有相同的一块内存(整型数组每个元素占4个字节),例如a[0]和b[0]都占用2000、2001、2002、2003四个字节。
【示例】数组a中存放了一个学生5门课程的成绩,求平均成绩。
#include <stdio.h>
float aver(float a[5]){
int i;
float average, sum=a[0];
for(i=1; i<5; i++)
sum += a[i];
average = sum/5;
return average;
}
int main(){
float scores[5], average;
int i;
printf("Input 5 scores:\n");
for(i=0; i<5; i++)
scanf("%f", &scores[i]);
average = aver(scores);
printf("Average score is %5.2f", average);
return 0;
}
注意:形参中给出数组长度是没有意义的,编译器并不为它分配内存,将上面 aver 函数的形参改为 float a[1]、float a[10] 依然是正确的。所以一般用指针变量来代替,可以改为float *a。
用普通变量作函数参数时,所进行的值传递是单向的,只能从实参传向形参,不能从形参传回实参。形参的初值和实参相同,而形参的值发生改变后,实参并不变化,两者的终值是不同的。而当用数组作函数参数时,情况有所不同。由于实际上形参和实参为同一数组,因此当形参数组发生变化时,实参数组也随之变化。当然这种情况不能理解为发生了“双向”的值传递。但从实际情况来看,调用函数之后实参数组的值将由于形参数组值的变化而变化。
【示例】判别一个整数数组中各元素的值,若大于0 则输出该值,若小于等于0则输出0值。
#include <stdio.h>
void nzp(int *a){
int i;
for(i=0; i<5; i++){
if(a[i]<0) a[i]=0; //小于0的元素,赋值为0
}
}
int main(){
int b[5], i;
printf("Input 5 numbers:\n");
for(i=0; i<5; i++)
scanf("%d", &b[i]);
printf("Initial values of array b are: ");
for(i=0; i<5; i++)
printf("%d ", b[i]);
nzp(b);
printf("\nFinal values of array b are: ");
for(i=0; i<5; i++)
printf("%d ",b[i]);
return 0;
}
运行结果:
总结:
1) 形参数组和实参数组的类型必须一致,否则将引起错误。
2) 形参数组和实参数组的长度可以不相同,因为在调用时,只传送首地址而不检查形参数组的长度。
3) 在函数形参表中,允许不给出形参数组的长度,例如可以写为:
也可以用指针来代替: