# 7.C語言數組作為函數參數 數組可以作為函數的參數使用，進行數據傳送。 數組用作函數參數有兩種形式，一種是把數組元素（下標變量）作為實參使用；另一種是把數組名作為函數的形參和實參使用。 ## 數組元素作函數實參 數組元素就是下標變量，它與普通變量并無區別。?因此它作為函數實參使用與普通變量是完全相同的，在發生函數調用時，把作為實參的數組元素的值傳送給形參，實現單向的值傳送。【例5-4】說明了這種情況。 【例8-7】判別一個整數數組中各元素的值，若大于0 則輸出該值，若小于等于0則輸出0值。編程如下： ~~~ void nzp(int v){ if(v>0) printf("%d ",v); else printf("%d ",0); } main(){ int a[5],i; printf("input 5 numbers\n"); for(i=0;i<5;i++){ scanf("%d",&a[i]); nzp(a[i]); } } ~~~ 本程序中首先定義一個無返回值函數nzp，并說明其形參v為整型變量。在函數體中根據v值輸出相應的結果。在main函數中用一個for語句輸入數組各元素，每輸入一個就以該元素作實參調用一次nzp函數，即把a[i]的值傳送給形參v，供nzp函數使用。 ## 數組名作為函數參數 用數組名作函數參數與用數組元素作實參有幾點不同。 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]。 【例8-8】數組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); } ~~~ 本程序首先定義了一個實型函數aver，有一個形參為實型數組a，長度為5。在函數aver中，把各元素值相加求出平均值，返回給主函數。主函數main 中首先完成數組sco的輸入，然后以sco作為實參調用aver函數，函數返回值送av，最后輸出av值。 從運行情況可以看出，程序實現了所要求的功能。 3) 前面已經討論過，在變量作函數參數時，所進行的值傳送是單向的。即只能從實參傳向形參，不能從形參傳回實參。形參的初值和實參相同，而形參的值發生改變后，實參并不變化，兩者的終值是不同的。而當用數組名作函數參數時，情況則不同。由于實際上形參和實參為同一數組，因此當形參數組發生變化時，實參數組也隨之變化。當然這種情況不能理解為發生了“雙向”的值傳遞。但從實際情況來看，調用函數之后實參數組的值將由于形參數組值的變化而變化。為了說明這種情況，把【例5.4】改為【例5.6】的形式。 【例8-9】題目同【例8.7】。改用數組名作函數參數。 ~~~ 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]); } ~~~ 本程序中函數nzp的形參為整數組a，長度為5。主函數中實參數組b也為整型，長度也為5。在主函數中首先輸入數組b的值，然后輸出數組b的初始值。然后以數組名b為實參調用nzp函數。在nzp中，按要求把負值單元清0，并輸出形參數組a的值。 返回主函數之后，再次輸出數組b的值。從運行結果可以看出，數組b的初值和終值是不同的，數組b的終值和數組a是相同的。這說明實參形參為同一數組，它們的值同時得以改變。 用數組名作為函數參數時還應注意以下幾點： ①形參數組和實參數組的類型必須一致，否則將引起錯誤。 ②形參數組和實參數組的長度可以不相同，因為在調用時，只傳送首地址而不檢查形參數組的長度。當形參數組的長度與實參數組不一致時，雖不至于出現語法錯誤(編譯能通過)，但程序執行結果將與實際不符，這是應予以注意的。 【例8.10】如把例8.9修改如下： ~~~ 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]); } ~~~ 本程序與【例8.9】程序比，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的值由主調函數的實參進行傳送。由此，【例8-10】又可改為【例8-11】的形式。 【例8-11】 ~~~ 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]); } ~~~ 本程序nzp函數形參數組a沒有給出長度，由n 動態確定該長度。在main函數中，函數調用語句為nzp(b，5)，其中實參5將賦予形參n作為形參數組的長度。 ④多維數組也可以作為函數的參數。在函數定義時對形參數組可以指定每一維的長度，也可省去第一維的長度。因此，以下寫法都是合法的： ? ? int MA(int a[3][10]) 或 ? ? int MA(int a[][10])。