第6章 函數(shù)和過程

1、第6章第6章 函數(shù)和過程 函數(shù)和過程程序表達的計算本身近似于代數(shù)演算，演算在符號上進行。只要給出實際的輸入值即可得到輸出值或所需要的計算機動作。一般說來，程序是通用的，適合于一組輸入值。如果把程序中某一段實施某種功能的計算單獨劃出來，給它取個名字并給出本段所需的參數(shù)即將名字束定于執(zhí)行某種功能的代碼塊。在程序世界里這段程序叫子程序。50年代人們就理解了這種分割的好處：它實施的功能單一，便于調(diào)試；它相對獨立，便于多人分工完成且時間不受約束

2、；它相對封閉，所有數(shù)據(jù)從接口出入，人們易于控制，是分解復雜性的有力措施。命令式語言中子程序有兩種形式：函數(shù)(必須返回值)和過程(實施一組動作)，有時叫函數(shù)過程和子例程subroutine。它們是程序的第一次分割。子程序開創(chuàng)程序世界里局部性、模塊性的先河。由于子程序是程序的一個相對獨立部分， 它和主程序聯(lián)系的接口特別重要。在這個界面上要指出該例程的數(shù)據(jù)特征，即輸入什么輸出什么。而整個子程序體是完成從輸入到輸出的實現(xiàn)手段。因此，界面指出“做

3、什么？”而子程序體回答“怎么做”。于是，在80年代程序完成第二次分割：將子程序定義(即界面)和子程序體顯式的分開，成為相對獨立的規(guī)格說明(Specification)和體(body)。這樣在程序設計的早期只寫規(guī)格，詳細設計時再選算法、數(shù)據(jù)結構實現(xiàn)它的體。只要規(guī)格說明不變，即使過程體作重大的修改或換掉也不會影響整個程序系統(tǒng)。Ada 和C++即是完成第二次分割的實例。本章我們首先研究函數(shù)和過程的定義和調(diào)用。關注的焦點在第二章中討論，它們的接

4、口和數(shù)據(jù)傳送機制。原則上所有的程序值都可以作參數(shù)傳遞，第三節(jié)討論實參求值策略，最后討論參數(shù)本身為函數(shù)或返回值及函數(shù)的高階函數(shù)。6.1 函數(shù)和過程抽象 函數(shù)和過程抽象函數(shù)抽象是用一個簡單的名字抽象代表一個函數(shù)。該函數(shù)由函數(shù)型構(Signature)和函數(shù)體(body)組成。函數(shù)計算的目的是求值。函數(shù)體等同于一個復合的表達式。所以，函數(shù)抽象是對表達式的抽象。同樣，過程抽象是用一個簡單的名字抽象代表一個計算過程。該過程由過程型構和過程體組成。

5、過程調(diào)用的目的是執(zhí)行一組命令以更新數(shù)據(jù)，過程抽象是對命令(即語句)集的抽象。6.1.1 6.1.1 函數(shù)定義與引用 函數(shù)定義與引用函數(shù)定義定義了一個程序世界的函數(shù)，它有名字，輸入、輸出參數(shù)(組成函數(shù)型構)，和實現(xiàn)函數(shù)從輸入到輸出的映射的函數(shù)體組成：function FUNC (fp1,fp2,...)：returntype; //函數(shù)型構B; //函數(shù)體，可包括任何

6、聲明和語句函數(shù)型構中fp1，fp2，…為形式參數(shù)，也叫形式變元(argument).returntype為返回值類型，函數(shù)引用是應用函數(shù)的唯一手段，它在同名的函數(shù)名之下給出實在參數(shù)(實在變元)：FUNC (ap1,ap2,...);第1頁第6章beginif N = 1 then return(1);elsereturn (N*FACT(N-1));endif;end FACT;(e) ML的函數(shù)定義fun fact (n :int)

7、= if n = 1 then 1 else n*fact (n-1)val fact = fn(n:int) =>if n = 1 then 1 else n*fact (n-1)ML是函數(shù)式語言，見例6-1(e)，它的函數(shù)定義即為對表達式的求值.示例中給出函數(shù)抽象的型構后，函數(shù)體為一條件表達式。在函數(shù)引用處得該表達式結果值 (臨時中間變量傳遞)。參數(shù)類型在參數(shù)表中聲明。即使是ML的值定義也用函數(shù)定義實現(xiàn)，因函數(shù)必然求值，此

8、時則用抽象符號fn代表函數(shù)，指明參數(shù)后用'=>'帶出函數(shù)體，以便和'='帶出的函數(shù)定義的函數(shù)體區(qū)別。語義是一樣的。(2) (2) 引用或調(diào)用的形式 引用或調(diào)用的形式函數(shù)引用源于代數(shù)中參數(shù)置換的思想。以同名的函數(shù)名帶實參表，運行時置換形參表 ，謂之參數(shù)結合(association)。顯然，形－實參數(shù)表中元素個數(shù)，次序，類型應一致。早期語言都嚴格遵此準則。近代語言提供了較多的靈活表示法。例6-2 Ad

9、a的參數(shù)結合表示法本例為一自動洗衣機控制程序的函數(shù)型構部分。設事先已將CLOTH_TYPE(衣服類型)、SOIL_TYPE (弄臟類型)、ERROR_TYPE(錯誤類型)作了枚舉類型定義。function WASH_CYCLE(WEIGHT : in INTEGER;FABRIC : in CLOTH_TYPE ∶= COTTONKNIT;SOIL_LEVER: in SOIL_TYPE ∶= AVERAGE;DARK

10、 : in BOOLEAN ∶= FALSE;DELICATE : in BOOLEAN ∶= FALSE;) return ERROR_TYPE is…其中五個形參四個給出初值。Ada允許以下引用：RESULT ∶= WASH_CYCLE (5, WOOL, SLIGHT, TRUE);--5公斤毛織品，不太臟，深色，不嬌貴的衣服--實參與形參按位置一一對應。最后一個有缺省值則不另重復。RESULT ∶= WASH_CLCLE(

11、10);--10公斤，棉織品，一般程度的臟，淺色，不嬌貴--除第一參數(shù)外其余全用缺省值RESULT ∶= WASH_CYCLE(8, SOIL_LEVEL=>FILTHY);--8公斤，棉織品，臟得很，淺色，不嬌貴--第三個是指名參數(shù)結合，第一個按位，其余按缺省。RESULT ∶= WASH_CYCLE(WEIGHT=>2,DELICATE => TURE,SOIL_LEVEL => SLIGHT,FABRIC