C语言进修教程第五章-函数(4)

二、数组名作为函数参数

用数组名作函数参数与用数组元素作实参有几点差异：
1. 用数组元素作实参时，只要数组范例和函数的形参变量的范例一致，那么作为下标变量的数组元素的范例也和函数形参变量的范例是一致的。因此， 并不要求函数的形参也是下标变量。 换句话说，对数组元素的处理惩罚是按普通变量看待的。用数组名作函数参数时， 则要求形参和相对应的实参都必需是范例沟通的数组，都必需有明晰的数组说明。当形参和实参二者纷歧致时，即会产生错误。

2. 在普通变量或下标变量作函数参数时，形参变量和实参变量是由编译系统分派的两个差异的内存单位。在函数挪用时产生的值传送是把实参变量的值赋予形参变量。在用数组名作函数参数时，不是举办值的传送，即不是把实参数组的每一个元素的值都赋予形参数组的各个元素。因为实际上形参数组并不存在，编译系统不为形参数组分派内存。那么，数据的传送是如何实现的呢? 在第四章中我们曾先容过，数组名就是数组的首地点。因此在数组名作函数参数时所举办的传送只是地点的传送， 也就是说把实参数组的首地点赋予形参数组名。形参数组名取得该首地点之后，也就便是有了实在的数组。实际上是形参数组和实参数组为同一数组，配合拥有一段内存空间。图5.1说明白这种景象。图中设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]。
[例5.5]数组a中存放了一个学生5门课程的后果，求平均后果。
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;
}
void main()
{
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);
}
float aver(float a[5])
{ ……
}
void main()
{
……
for(i=0;i<5;i++)
scanf("%f",&sco[i]);
av=aver(sco);
……
}
本措施首先界说了一个实型函数aver，有一个形参为实型数组a，长度为5。在函数aver中，把各元素值相加求出平均值，返回给主函数。主函数main 中首先完成数组sco的输入，然后以sco作为实参挪用aver函数，函数返回值送av，最后输出av值。 从运行环境可以看出，措施实现了所要求的成果

3. 前面已经接头过，在变量作函数参数时，所举办的值传送是单向的。即只能从实参传向形参，不能从形参传回实参。形参的初值和实参沟通， 而形参的值产生改变后，实参并稳定革， 两者的终值是差异的。例5.3证实了这个结论。 而当用数组名作函数参数时，环境则差异。 由于实际上形参和实参为同一数组， 因此当形参数组产生变革时，实参数组也随之变革。 虽然这种环境不能领略为产生了“双向”的值通报。但从实际环境来看，挪用函数之后实参数组的值将由于形参数组值的变革而变革。为了说明这种环境，把例5.4改为例5.6的形式。[例5.6]题目同5.4例。改用数组名作函数参数。
void nzp(int a[5])
{
int i;
printf("\nvalues of array a are:\n");
for(i=0;i<5;i++)
{
if(a[i]<0) a[i]=0;
printf("%d ",a[i]);
}
}
main()
{
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]);
}
void nzp(int a[5])
{ ……
}
main()
{
int b[5],i;
……
nzp(b);
……
}
本措施中函数nzp的形参为整数组a，长度为 5。 主函数中实参数组b也为整型，长度也为5。在主函数中首先输入数组b的值，然后输出数组b的初始值。 然后以数组名b为实参挪用nzp函数。在nzp中，按要求把负值单位清0，并输出形参数组a的值。 返回主函数之后，再次输出数组b的值。从运行功效可以看出，数组b 的初值和终值是差异的，数组b 的终值和数组a是沟通的。这说明实参形参为同一数组，它们的值同时得以改变。 用数组名作为函数参数时还应留意以下几点：
a. 形参数组和实参数组的范例必需一致，不然将引起错误。
b. 形参数组和实参数组的长度可以不沟通，因为在挪用时，只传送首地点而不查抄形参数组的长度。当形参数组的长度与实参数组纷歧致时，虽不至于呈现语法错误(编译能通过)，但措施执行功效将与实际不符，这是应予以留意的。如把例5.6修改如下：
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]);
}
}
main()
{
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]);
}
本措施与例5.6措施比，nzp函数的形参数组长度改为8，函数体中，for语句的轮回条件也改为i<8。因此，形参数组 a和实参数组b的长度纷歧致。编译可以或许通过，但从功效看，数组a的元素a[5]，a[6]，a[7]显然是无意义的。c. 在函数形参表中，答允不给出形参数组的长度，或用一个变量来暗示数组元素的个数。
譬喻：可以写为：
void nzp(int a[])
或写为
void nzp(int a[]，int n)
个中形参数组a没有给出长度，而由n值动态地暗示数组的长度。n的值由主调函数的实参举办传送。
由此，例5.6又可改为例5.7的形式。
[例5.7]
void nzp(int a[],int n)
{
int i;
printf("\nvalues of array a are:\n");
for(i=0;i<n;i++)
{
if(a[i]<0) a[i]=0;
printf("%d ",a[i]);
}
}
main()
{
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]);
}
void nzp(int a[],int n)
{ ……
}
main()
{
……
nzp(b,5);
……
}
本措施nzp函数形参数组a没有给出长度，由n 动态确定该长度。在main函数中，函数挪用语句为nzp(b，5)，个中实参5将赋予形参n作为形参数组的长度。
d. 多维数组也可以作为函数的参数。 在函数界说时对形参数组可以指定每一维的长度，也可省去第一维的长度。因此，以下写法都是正当的。
int MA(int a[3][10])
或
int MA(int a[][10])