C語言中數組名作為參數進行函數傳遞

用數組名作函數參數與用數組元素作實參有幾點不同。

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]。

【例1】數組a中存放了一個學生5門課程的成績，求平均成績。

#include <stdio.h>

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;
}

int main(void){
    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);
    return 0;
}

 

本程序首先定義了一個實型函數aver，有一個形參為實型數組a，長度為5。在函數aver中，把各元素值相加求出平均值，返回給主函數。主函數main 中首先完成數組sco的輸入，然后以sco作為實參調用aver函數，函數返回值送av，最后輸出av值。 從運行情況可以看出，程序實現了所要求的功能。

3) 前面已經討論過，在變量作函數參數時，所進行的值傳送是單向的。即只能從實參傳向形參，不能從形參傳回實參。形參的初值和實參相同，而形參的值發生改變后，實參並不變化，兩者的終值是不同的。而當用數組名作函數參數時，情況則不同。由於實際上形參和實參為同一數組，因此當形參數組發生變化時，實參數組也隨之變化。當然這種情況不能理解為發生了“雙向”的值傳遞。但從實際情況來看，調用函數之后實參數組的值將由於形參數組值的變化而變化。

【例2】

#include <stdio.h>

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]);
    }
}

int main(void){
    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]);

    return 0;
}

 

本程序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的值由主調函數的實參進行傳送。

【例3】

#include <stdio.h>

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]);
    }
}

int main(void){
    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]);

    return 0;
}

本程序nzp函數形參數組a沒有給出長度，由n 動態確定該長度。在main函數中，函數調用語句為nzp(b，5)，其中實參5將賦予形參n作為形參數組的長度。

④多維數組也可以作為函數的參數。在函數定義時對形參數組可以指定每一維的長度，也可省去第一維的長度。因此，以下寫法都是合法的：
    int MA(int a[3][10])
或
    int MA(int a[][10])。