二、數組名作為函數參數
用數組名作函數參數與用數組元素作實參有幾點不同：
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])
