传地址（函数的形参和实参都是数组）

6.3.3　传地址（函数的形参和实参都是数组）

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

1．用带下标数组元素作实参时，只要数组类型和函数的形参变量的类型一致，那么对数组元素的处理就是按普通变量对待的。用数组名作函数参数时，则要求形参和相对应的实参必须是类型相同的数组，都必须有明确的数组说明。

2．在普通变量或数组元素作函数参数时，形参变量和实参变量存储在两个不同的内存单元。在函数调用时发生的值传送是将实参变量的值赋予形参变量。在用数组名作函数参数时，不进行值的传送（即不是将实参数组的每一个元素的值都赋予形参数组的各个元素）；数组名代表数组的首地址，在数组名作函数参数时所进行的传送只是地址的传送，也就是说将实参数组的首地址赋予形参数组。实际上是形参数组和实参数组为同一数组，共同拥有一段内存空间。对形参数组的操作就是对实参数组的操作。

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

函数aver的形参为实型数组a，长度为5。在函数aver中，将各元素值相加求出平均值，返回给主函数。主函数main中首先完成数组sco的输入，然后以sco作为实参调用aver函数，函数返回值送av，最后输出av值。

3．在变量作函数参数时，所进行的值传送是单向的。即只能从实参传向形参，不能从形参传回实参。形参的初值和实参相同，而形参的值发生改变后，实参并不变化，两者的终值是不同的。例6-5和例6-7证实了这个结论。而当用数组作函数参数时，情况则不同。由于实际上形参和实参为同一数组，因此当形参数组发生变化时，实参数组也随之变化。为了说明这种情况，将例6-8改为例6-10的形式。

例6-10　题目同例6.8，改用数组名作函数参数。

函数nzp的形参为整数数组a，长度为 5。主函数中实参数组b也为整型，长度也为5。在主函数中首先输入数组b的值，然后输出数组b的初始值，接着以数组名b为实参调用nzp函数。在nzp中，按要求将负值单元清0，并输出形参数组a的值。返回主函数之后，再次输出数组b的值。数组b 的初值和终值是不同的，数组b 的终值和数组a是相同的。这说明实参、形参为同一数组，它们的值同时得以改变。

用数组名作为函数参数时还应注意几点：

1．形参数组和实参数组的类型必须一致，否则将引起错误。

2．形参数组和实参数组的长度可以不相同，因为在调用时，只传送首地址而不检查形参数组的长度。当形参数组的长度与实参数组不一致时，虽然没有语法错误（编译能通过），但程序执行结果将与实际不符，这是应予以注意的，如将例6-10修改为例6-11。

例6-11　要求同例6-8，不检查形参数组的长度。

与例6-10程序比，nzp函数的形参数组长度改为8，函数体中，for 语句的循环条件也改为i<8。因此，形参数组 a和实参数组b的长度不一致。从结果分析，数组a的元素a[5]、a[6]和a[7]对数组是无意义的（即下标越界）。

3．在函数形参表中，允许不给出形参数组的长度，或用一个变量来表示数组元素的个数。

例如：可以写为

　　void nzp(int a[ ])

或写为

　　void nzp(int a[ ]，int n)

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

由此，例6-10又可改为例6-12的形式。

例6-12　针对例6-8，动态确定数组的长度。

nzp函数形参数组a没有给出长度，由n动态确定该长度，这增加了函数的灵活性。在main函数中，函数调用语句为

　　nzp(b,5);

其中，实参5将赋予形参n作为形参数组的长度。

4．多维数组也可以作为函数的参数。在函数定义时对形参数组可以指定每一维的长度，也可省去第一维的长度。因此

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

或

　　int fun(int a[ ][10])

都是合法的。