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

實際上是形參數組和實參數組為同一數組，共同使用一段記憶體空間。

起始地址 2000  

 

  設a為實參數組，類型為整形。a佔有以2000為首地址的一塊記憶體區。b為形參數組。當進行函數調用時，進行地址傳遞，把實參數組a的首地址傳送給形參數組名b，於是b也取得了該地址2000.至此a、b兩數組共同佔用以2000為首地址的一段連續記憶體單元。同時，a和b中下表相同的元素實際上也占相同的記憶體單元（整形數組每個元素佔兩個位元組）。

例1：有一個一維數組score，存放10個學生的成績，求平均值。

#include<stdio.h>
#include<string.h>
#include<conio.h>
#include<stdlib.h>
float average(float array[10]){
 int i;
 float aver,sum=array[0];
 for(i=1;i<10;i++)
  sum=sum+array[i];
 aver=sum/10;
 return aver;
}
main(){
 float score[10],aver;
 int i;
 printf("input 10 score:/n");
 for(i=0;i<10;i++)
  scanf("%f",&score[i]);
 printf("/n");
 aver=average(score);
 printf("average score is %5.2f/n",aver);
}

說明：

（1）用數組名作函數參數，應該在主調函數和被調函數中分別定義數組。

（2）實參數組與形參數群組類型應一致，如不一致，結果將出錯。

（3）實際上，指定被調函數中形參數組的大小是不起任何作用的，因為C編譯器對形參數組大小不做檢查，只是將形參數組的首地址傳給形參數組。

（4）形參數組也可以不指定大小，定義數組時在數組名後跟一個空的中括弧，為了在被調函數中處理數組元素的需要，可以另設一個參數，傳遞數組元素的個數。

例2：用參數傳遞數組元素的個數。

#include<stdio.h>
#include<string.h>
#include<conio.h>
#include<stdlib.h>
float average(float array[],int n){
 int i;
 float aver,sum=array[0];
 for(i=1;i<n;i++)
  sum=sum+array[i];
 aver=sum/n;
 return aver;
}
main(){
 float score1[5]={98.5,97,91.5,60,55};
 float score2[10]={67.5,89.5,99,69.5,77,89.5,76.5,54,60,99.5};
 printf("the average of class A is %6.2f/n",average(score1,5));
 printf("the average of class B is %6.2f/n",average(score2,10));
}

多維陣列做函數的參數

當多維陣列中元素做函數參數時，與一維數組元素做函數實參是相同的，這裡討論多維陣列名做函數的參數。以二維數組為例：
二維數組名做函數參數時，形參的文法形式是：
類型說明符 形參名[ ][常量運算式M]
形參數組可以省略一維的長度。
例如：int array[ ][10]
由於實參代表了數組名，是"地址傳遞"，二維數組在記憶體中是按行優先儲存，並不真正區分行與列，在形參中，就必須指明列的個數，才能保證實參數組與形參數組中的資料一一對應，因此，形參數組中第二維的長度是不能省略的。
調用函數時，與形參數組相對應的實參數組必須也是一個二維數組，而且它的第二維的長度與形參數組的第二維的長度必須相等。