6.1  函數(shù)定義

　　在C程序設(shè)計(jì)中，將完成指定功能的C代碼定義成函數(shù)，變成邏輯上一個(gè)相對(duì)獨(dú)立的程序單位。函數(shù)定義需要指明函數(shù)返回值的類型、函數(shù)名、函數(shù)的形式參數(shù)（常簡(jiǎn)稱形參）和函數(shù)體（包括說明和定義及語句序列）。函數(shù)定義的一般形式為

　　存儲(chǔ)類型說明符  數(shù)據(jù)類型說明符  函數(shù)名（形式參數(shù)表）

　　形式參數(shù)說明序列

　　{

　　說明和定義部分

　　執(zhí)行語句序列

　　}

　　存儲(chǔ)類型說明符或省缺，或?yàn)閟tatic.省缺表示一個(gè)全局函數(shù)，static表示一個(gè)靜態(tài)函數(shù)，只供同一源程序文件中的函數(shù)使用。

　　數(shù)據(jù)類型說明符用來指定函數(shù)返回值類型，可以是基本數(shù)據(jù)類型、某種指針類型、結(jié)構(gòu)類型等。但不可以是數(shù)組類型。特別當(dāng)函數(shù)不返回結(jié)果時(shí)，可用void明確指明函數(shù)不返回值。

　　數(shù)據(jù)類型說明符也可省缺，省缺被默認(rèn)為返回int型值。

　　函數(shù)名是一個(gè)標(biāo)識(shí)符。形式參數(shù)表是用遠(yuǎn)號(hào)分隔的若干形式參數(shù)，用不同的標(biāo)識(shí)符指明各形式參數(shù)的名。形式參數(shù)說明序列用來說明各形式參數(shù)的數(shù)據(jù)類型，相同數(shù)據(jù)類型的形式參數(shù)可以一起說明�，F(xiàn)在編寫C程序的習(xí)慣是形式參數(shù)說明序列直接放在形式參數(shù)表中，即在形式參數(shù)說明表中順序列出各形式參數(shù)的數(shù)據(jù)類型和形式參數(shù)的名稱。如是這樣，一般形式的第一行全部?jī)?nèi)容稱為函數(shù)頭，也稱為函數(shù)模型。

　　特別情況，函數(shù)可能不設(shè)形式參數(shù)，也就沒有形式參數(shù)表和形式參數(shù)說明序列。但函數(shù)名后的一對(duì)圓括號(hào)是不可以沒有的。

　　一對(duì)花括號(hào)括住的部分稱為函數(shù)體，函數(shù)體包括類型說明、變量定義和函數(shù)的執(zhí)行語句序列。在函數(shù)體內(nèi)可以有return語句終止函數(shù)的執(zhí)行。如函數(shù)有返回值類型，則return語句中一定要有表達(dá)式，作為函數(shù)調(diào)用的返回值。

　　6.2   函數(shù)調(diào)用

　　函數(shù)被定義以后，凡要實(shí)現(xiàn)函數(shù)功能的地方，就可簡(jiǎn)單地通過函數(shù)調(diào)用來完成。按函數(shù)調(diào)用在程序中的作用，有兩種不同類型的應(yīng)用：

　�。�1）函數(shù)調(diào)用只是利用函數(shù)所完成的功能。此時(shí)，將函數(shù)調(diào)用作為一個(gè)獨(dú)立的語句。其調(diào)用的一般形式為

　　函數(shù)名（實(shí)際參數(shù)表）；

　　這種應(yīng)用不要求或程序不利用函數(shù)的返回值。如程序中經(jīng)常調(diào)用格式輸入函數(shù)scanf（）和格式輸出函數(shù)printf（）等。

　�。�2）函數(shù)調(diào)用是利用函數(shù)的返回值。其調(diào)用的一般形式為

　　函數(shù)名（實(shí)際參數(shù)表）

　　這種應(yīng)用是利用返回值繼續(xù)進(jìn)行表達(dá)式的計(jì)算，或輸出函數(shù)返回值等。

　　函數(shù)調(diào)用時(shí)提供的實(shí)際參數(shù)按它們出現(xiàn)的順序與函數(shù)定義中的形式參數(shù)—一對(duì)應(yīng)，并要求實(shí)際參數(shù)類型與其對(duì)應(yīng)的形式參數(shù)類型相一致。一般情況下，函數(shù)調(diào)用應(yīng)為函數(shù)定義中的每個(gè)形式參數(shù)提供實(shí)際參數(shù)，當(dāng)有多個(gè)實(shí)際參數(shù)時(shí)，實(shí)際參數(shù)之間用逗號(hào)分隔。

　　函數(shù)調(diào)用的執(zhí)行過程描述如下：

　�。╨）為函數(shù)的形式參數(shù)分配內(nèi)存空間；

　�。�2）計(jì)算實(shí)際參數(shù)表達(dá)式的值，并將實(shí)際參數(shù)表達(dá)式的值賦給對(duì)應(yīng)的形式參數(shù)；

　�。�3）為函數(shù)的局部變量分配內(nèi)存空間；

　�。�4）執(zhí)行函數(shù)體內(nèi)的語句序列；

　�。�5）函數(shù)體執(zhí)行完成，或執(zhí)行了函數(shù)體內(nèi)的return語句（若return語句帶表達(dá)式，則計(jì)算出該表達(dá)式的值，并以此值作為函數(shù)的返回值）后，釋放為這次函數(shù)調(diào)用分配的全部?jī)?nèi)存空間；

　�。�6）將函數(shù)值（如果有）返回到函數(shù)調(diào)用處繼續(xù)執(zhí)行。

　　下面以簡(jiǎn)單的程序例子說明函數(shù)調(diào)用的執(zhí)行過程。

　　「例6.l」函數(shù)調(diào)用時(shí)，由實(shí)際參數(shù)向函數(shù)形式參數(shù)傳遞值的示意程序。

　　# include<stdio.h>

　　double x，y，d；

　　double min（double a，double b）

　　{double temp；

　　temp＝a> b？ b ：a；

　　return temp；

　　}

　　void main（）

　　{ printf（“Enter x， y.\n”）；

　　scanf（“%lf%lf”，&x，&y）；

　　d=min（x，y）；

　　printf（“MIN（%.3f，%.3f＝%.3f\n”， x， y，d）

　　}

　　以上示意程序的大致執(zhí)行過程如下：

　　首先執(zhí)行主函數(shù)的第一個(gè)語句，調(diào)用格式輸出函數(shù)輸出提示信息。接著調(diào)用格式輸入函數(shù)，等待用戶輸入數(shù)據(jù)。用戶看到程序輸出的提示信息，輸入數(shù)據(jù)，輸入的數(shù)據(jù)被格式輸入函數(shù)所接受，并將輸入數(shù)據(jù)譯成內(nèi)部形式后，存入變量X和y.接著執(zhí)行賦值語句，求右瑞表達(dá)式的值。該表達(dá)式以x和y的值為實(shí)際參數(shù)，調(diào)用函數(shù)main（）。對(duì)函數(shù)min（）的調(diào)用發(fā)生時(shí)，系統(tǒng)先保留好控制的返回點(diǎn)。在執(zhí)行被調(diào)用函數(shù)min（）之前，先為函數(shù)的形式參數(shù)a和b分配存儲(chǔ)單元，并以它們對(duì)應(yīng)的實(shí)際參數(shù)表達(dá)式的植給它們賦初值。接著為函數(shù)內(nèi)部的變量（稱為局部變量）分配存儲(chǔ)單元。之后才開始執(zhí)行被調(diào)用函數(shù)體中的語句。執(zhí)行完函數(shù)體的語句，或執(zhí)行了return語句，函數(shù)準(zhǔn)備返回。在返回之前先將形式參數(shù)和局部變量所占用的存儲(chǔ)單元全部釋放。函數(shù)返回時(shí)，將函數(shù)的返回值帶回調(diào)用處，從原先保留的控制返回點(diǎn)，繼續(xù)執(zhí)行，將函數(shù)調(diào)用的返回值存于變量d，輸出結(jié)果，結(jié)束程序。綜上所述，函數(shù)調(diào)用時(shí)，系統(tǒng)要做許多輔助工作，函數(shù)調(diào)用時(shí)發(fā)生的數(shù)據(jù)傳遞最主要的是實(shí)際參數(shù)向形式參數(shù)傳遞數(shù)據(jù)和函數(shù)的返回值傳遞給調(diào)用處。為正確編寫函數(shù)，實(shí)現(xiàn)函數(shù)調(diào)用所希望的要求，需正確了解以下幾項(xiàng)內(nèi)容：

　�。�1）當(dāng)函數(shù)執(zhí)行return語句或執(zhí)行完函數(shù)體的語句序列后，函數(shù)的這次調(diào)用就執(zhí)行結(jié)束，隨之將控制返回到函數(shù)調(diào)用處繼續(xù)執(zhí)行。

　�。�2）函數(shù)的返回值是通過執(zhí)行return語句時(shí)，計(jì)算return之后的表達(dá)式值而獲得的。如果函數(shù)不提供返回值，則return語句不應(yīng)包含表達(dá)式。

　�。�3）如果函數(shù)有返回值，則應(yīng)有確定的類型，并在函數(shù)定義時(shí)指明。同時(shí)，return語句的表達(dá)式類型應(yīng)與函數(shù)定義中指明的返回值類型相一致。

　�。�4）為了明確指明函數(shù)不提供返回值，建議在函數(shù)定義時(shí)，在函數(shù)名之前寫上void.并在這樣的函數(shù)體內(nèi)，所有的return語句都不應(yīng)該帶表達(dá)式。

　　6.3  函數(shù)說明

　　C函數(shù)都是外部的，一般來說，任一函數(shù)都能被其它函數(shù)調(diào)用。而一個(gè)函數(shù)要調(diào)用另一個(gè)函數(shù)，應(yīng)知道被調(diào)用函數(shù)的一些有關(guān)如何正確調(diào)用的信息。調(diào)用函數(shù)與被調(diào)用函數(shù)之間在程序正文中可能會(huì)存在以下幾種情況。

　　（l）調(diào)用同一程序文件中前面已定義的函數(shù)。

　　（2）調(diào)用處于同一程序文件后面定義的函數(shù)。

　�。�3）調(diào)用別的程序文件中定義的函數(shù)。

　　對(duì)于第一種情況，因在函數(shù)調(diào)用處，被調(diào)用函數(shù)的詳細(xì)信息已被編譯程序所接受，在函數(shù)定義之后調(diào)用前面已定義的函數(shù)，能方便地檢查調(diào)用的正確性。對(duì)于后兩種情況，這時(shí)因被調(diào)用函數(shù)的信息還未被編譯程序所接受，不能檢查函數(shù)調(diào)用的正確性，所以在調(diào)用之前需對(duì)被調(diào)用函數(shù)有關(guān)調(diào)用的一些信息作出說明。如函數(shù)的返回值類型、函數(shù)名和函數(shù)有關(guān)形式參數(shù)的個(gè)數(shù)及其類型等。這樣的說明稱作函數(shù)說明。函數(shù)說明的一般形式為

　　存儲(chǔ)類型說明符 數(shù)據(jù)類型說明符 函數(shù)名（形式參數(shù)說明表）；

　　其中存儲(chǔ)類型說明符可以省缺，或?qū)懗蒭xtern.形式參數(shù)說明表可以為空，也可以順序列出各形式參數(shù)的類型，同樣也可以順序列出各形式參數(shù)的類型和形式參數(shù)的名。

　　6.4   函數(shù)調(diào)用中的數(shù)據(jù)傳遞方式

　　函數(shù)調(diào)用時(shí)，調(diào)用處與被調(diào)用函數(shù)之間會(huì)有數(shù)據(jù)傳遞發(fā)生。在C程序中，函數(shù)調(diào)用的數(shù)據(jù)傳遞方式有四種：實(shí)際參數(shù)的數(shù)據(jù)值傳遞給形式參數(shù)（值傳遞方式）、實(shí)際參數(shù)的指針值傳遞給形式參數(shù)（地址傳遞方式）、函數(shù)以返回值傳遞給調(diào)用環(huán)境（返回值方式）、調(diào)用環(huán)境與被調(diào)用函數(shù)共用全局變量（全局變量傳遞方式）。在地址傳遞方式中，實(shí)際參數(shù)可以是傳遞一般變量的指針、數(shù)組某元素的指針、字符串某字符指針等。

　　1.實(shí)際參數(shù)向形式參數(shù)傳遞非指針數(shù)據(jù)

　　調(diào)用帶形式參數(shù)的函數(shù)時(shí)，調(diào)用處將實(shí)際參數(shù)的值傳遞給被調(diào)用函數(shù)的形式參數(shù)。在此要特別說明以下幾點(diǎn)：

　�。� l）函數(shù)調(diào)用時(shí)實(shí)際參數(shù)為對(duì)應(yīng)的形式參數(shù)提供初值，實(shí)際參數(shù)表達(dá)式的值是在執(zhí)行函數(shù)體之前計(jì)算的，函數(shù)調(diào)用中的實(shí)際參數(shù)可以是常量、變量或是一般的表達(dá)式。

　　（2）C語言規(guī)定，實(shí)際參數(shù)表達(dá)式對(duì)形式參數(shù)的數(shù)據(jù)傳遞是“值傳遞”的，是單向傳遞。如實(shí)際參數(shù)也是變量，則實(shí)際參數(shù)變量與形式參數(shù)是不同的變量，實(shí)際參數(shù)變量的值傳給形式參數(shù)，而不能由形式參數(shù)直接傳回給實(shí)際參數(shù)。在函數(shù)執(zhí)行過程中，形式參數(shù)變量的值可能被改變，但這改變對(duì)原先與它對(duì)應(yīng)的實(shí)際參數(shù)變量沒有影響。

　　2.實(shí)際參數(shù)向形式參數(shù)傳遞指針

　　實(shí)際參數(shù)向形式參數(shù)傳遞變量的指針

　　函數(shù)可以設(shè)置指針類型的形式參數(shù)，調(diào)用帶指針類型形式參數(shù)的函數(shù)時(shí)，對(duì)應(yīng)指針形式參數(shù)的實(shí)際參數(shù)必須是相同類型的指針（如胡同類型的某變量的指針），指針形式參數(shù)變量從實(shí)際參數(shù)處得到某變量的指針。指針形式參數(shù)對(duì)于函數(shù)來說有特別的作用，它使函數(shù)得到了調(diào)用環(huán)境中某變量的地址，函數(shù)就可用這個(gè)地址間接訪問函數(shù)之外的變量。因此，指針類型形式參數(shù)為函數(shù)改變調(diào)用環(huán)境中的數(shù)據(jù)對(duì)象提供了手段。

　　如希望函數(shù)能通過形式參數(shù)改變?nèi)我庵付ㄗ兞康闹�，需要在三個(gè)方面協(xié)調(diào)一致：

　�。�1）首先，函數(shù)應(yīng)設(shè)置指針類型的形式參數(shù)；

　　（2）其次，函數(shù)體必須通過指針形式參數(shù)間接訪問變量，或引用其值或修改其值；

　　（3）最后，調(diào)用函數(shù)時(shí)，要以欲改變值的變量的指針為實(shí)際參數(shù)調(diào)用函數(shù)。

　　實(shí)際參數(shù)向形式參數(shù)傳遞數(shù)組元素的指針

　　為了能使函數(shù)處理不同的成組變量，應(yīng)向形式參數(shù)傳遞數(shù)組元素的指針，最通常的情況是數(shù)組首元素的指針。由于數(shù)組名能代表數(shù)組首元素的指針，所以常用數(shù)組名實(shí)際參數(shù)給形式參數(shù)傳遞數(shù)組首元素的指針。例如，用于求數(shù)組前n個(gè)元素和的函數(shù)sun（），這個(gè)函數(shù)被正確地設(shè)置有兩個(gè)形式參數(shù)：一個(gè)形式參數(shù)是數(shù)組元素的指針；另一個(gè)整型的形式參數(shù)用于指定求和數(shù)組的元素個(gè)數(shù)。

　　「例6.2」求數(shù)組元素和的函數(shù)。

　　int sum（ int *a， int n）

　　{ int i， s；

　　for（s＝i＝0； i< n； i++）

　　s＋＝a[i]；

　　return s；

　　}

　　利用函數(shù)sum（），如有以下變量定義：

　　int x[]＝ {1， 2， 3， 4， 5 }， i， j；

　　則語句

　　i＝sum（x，5）； j＝sum（&x[2]，3）；

　　printf（“i＝%d\n j＝%d\n”， i，j）；

　　將輸出：

　　i=15

　　j＝ 12

　　函數(shù)調(diào)用sum（x，5）將數(shù)組x的首元素地址（&x[0]）傳送給形式參數(shù)a；函數(shù)調(diào)用sum（&x[2]， 3）將數(shù)組x的元素x[2]的地址（&x[2]）傳送給形式參數(shù)a，而x[2]的地址就是數(shù)組元素段x[2]、x[3]、x[4] 的開始地址。

　　為了明確指明形式參數(shù)是數(shù)組元素的指針，形式參數(shù)的類型可以指定為數(shù)組類型的。如改寫后的函數(shù)sum（）定義如下：

　　int sum（int a[]， int n）

　　{int i，s；

　　for（s＝ i＝0； i<n； i++）

　　s＋＝a[i] ；

　　return s；

　　}

　　對(duì)于數(shù)組類型的形式參數(shù)來說，函數(shù)被調(diào)用時(shí)，與它對(duì)應(yīng)的實(shí)在數(shù)組由多少個(gè)元素是不確定的，可能會(huì)對(duì)應(yīng)一個(gè)大數(shù)組，也可能會(huì)對(duì)應(yīng)一個(gè)小數(shù)組，甚至?xí)��?duì)應(yīng)數(shù)組中的某一段。所以在數(shù)組形式參數(shù)說明中，形式參數(shù)數(shù)組不必指定數(shù)組元素的個(gè)數(shù)。任何數(shù)組形式參數(shù)說明：

　　類型   形式參數(shù)名[ ]

　　都可改寫成：

　　類型  *形式參數(shù)名