【文章內(nèi)容簡介】 , n 2連接數(shù)據(jù)連 接 數(shù) 據(jù) A 的 T O PA 的 T O P ∶ ∶ ∶ ∶ ( e ) ( f)( e ) 進入分程序 B4分配數(shù)組 C 之后； ( f ) 進入分程序 B5 。29 過程調(diào)用的參數(shù)傳遞 (1) procedure exchangel(i,j:integer)。 (2) var x:integer。 (3) begin。 (4) x:=a[i]。 a[i]:=a[j]。 a[j]:=x (5) end。 帶有非局部變量和形參的 PASCAL過程 非局變量 a[i]和 a[j]的值進行交換， i,j為形參（在這里是 傳值 ） 30 (1) program reference(input,output)。 (2) var a,b:integer。 (3) procedure swap({var} x,y:integer)。 (4) var temp:integer。 (5) begin (6) temp:=x。 (7) x:=y。 (8) y:=temp (9) end。 (10) begin /*reference*/ (11) a:=1。 b:=2。 (12) swap(a,b)。 (13) writeln(‘ a=‘ ,a)。writeln(‘ b=‘ ,b) (14) end. /*swap*/ 過程調(diào)用的參數(shù)傳遞 過程參數(shù)以傳地址方式被調(diào)用的PASCAL程序 31 ? 傳地址 （變量參數(shù)） 例如：過程 swap(var x,y:integer)。 swap(a,b）；（ a,b為調(diào)用時的實參 ） 調(diào)用結(jié)果 a,b的值 被改變 。 ? 傳值 （值調(diào)用） 例如：過程 swap(x,y:integer)。 特點是對形式參數(shù)的任何運算不影響實參的值。 swap(a,b）； 其結(jié)果： a,b調(diào)用前的值 不改變 。 過程調(diào)用的參數(shù)傳遞 32 傳值的實現(xiàn) ，即在被調(diào)過程的 活動記錄 中開辟形參的存儲空間，這些存儲位置即是我們所說的 形式單元 （用以存放實參）。 ，并將其放在對應形式單元開辟的空間中。 ，就像使用局部變量一樣使用這些形式單元。 過程調(diào)用的參數(shù)傳遞 33 procedure swap( x,y:integer)。 var temp:integer。 begin temp:=x。 x:=y； y:=temp end； 調(diào)用 swap(a,b) 過程將不會影響 a和 b的值。 其結(jié)果等價于執(zhí)行下列運算： x :=a； y :=b； temp :=x； x :=y； y :=temp 過程調(diào)用的參數(shù)傳遞 34 傳地址的實現(xiàn) 把實參的地址傳遞給相應的形參，即調(diào)用過程把一個指向?qū)崊⒌拇鎯Φ刂返?指針 傳遞給被調(diào)用過程相應的 形參 ： 實參是一個名字，或具有左值的表達式 ——傳遞左值 實在參數(shù)是無左值的表達式 —— 計算值，放入到一存儲單元，傳此存儲單元地址 目標代碼中，被調(diào)用過程對形參的引用變成對傳遞給被調(diào)用過程的指針的間接引用 過程調(diào)用的參數(shù)傳遞 35 procedure swap(var x,y:integer)。 var temp:integer。 begin temp:=x。 x:=y； y:=temp end； 調(diào)用 swap(i,a[i]) 其結(jié)果等價于執(zhí)行下列運算： i和 a[i]的地址分別放到 x和 y相應的單元a1,a2 2.( temp :=x； )temp的內(nèi)容置為 a1所指單元中存的內(nèi)容 3.(x :=y。) a1所指單元的內(nèi)容置為 a2所指單元值 4.( y :=temp) a2所指單元的內(nèi)容置為 temp的值 過程調(diào)用的參數(shù)傳遞 36 (1)swap(x,y) (2)int *x,*y。 (3){ int temp。 (4) temp=*x。 *x=*y。 *y=temp。 (5)} (6)main( ) (7){ int a=1,b=2。 (8) swap(a,b)。 (9) printf(? a is now %d,b is now %d\n? ,a,b)。 (10)} 在一個值調(diào)用過程中使用指針的 C程序在 C程序 中無傳地址所以用指針實現(xiàn)。 過程調(diào)用的參數(shù)傳遞 37 值結(jié)果傳遞 除了未建立真正的別名之外 ， 這個機制得到的結(jié)果與引用傳遞類似：在過 程中復制和使用自變量的值 ， 然后當過程退出時 ， 再將參數(shù)的最終值復制回自變量的地址 。 因此 ， 這個方法有時也被稱為復制進 ， 復制出 ， 或復制存儲 。 值結(jié)果傳遞與引用傳遞的唯一區(qū)別在于別名的表現(xiàn)不同 。 例如 ， 在以下的代碼中 （ C語法 ） ： void p (int x, int y) {++x。 ++y。 } main() {int a=1。 p(a,a)。 return 0。 } 在調(diào)用 p之后 ， 若使用了地址傳遞 ， 則 a的值為 3；若使用了值結(jié)果傳遞則 a的值為 2。 過程調(diào)用的參數(shù)傳遞 38 名字傳遞 這是傳遞機制中最復雜的參數(shù)了 。 由于名字傳遞的思想是直到在被調(diào)用的程序真正使用了自變量 （ 作為一個參數(shù) ） 之后才對這個自變量賦值 ， 所以它還稱作延盡賦值 （ d e l a y e d evaluation） 。 因此 ， 自變量的名稱或是它在調(diào)用點上的結(jié)構(gòu)表示取代了它對應的參數(shù)的名字 。 例如在代碼 void p (int x) {++x。} 中，若做了一個如 p(a[i])的調(diào)用時，其結(jié)果是計算 ++(a[i])。因此，若在 p中使用 x之前改變 i，那么它的結(jié)果就與在引用傳遞或在值結(jié)果傳遞中的不同 過程調(diào)用的參數(shù)傳遞 39 int i。 int a [10]。 void p (int x) { ++i。 ++x。 } main () { i=1。 a[1]=1。 a[2]=2。 p(a[i])。 return 0。 } 對 p的調(diào)用的結(jié)果是將 a[2]設置為 3并保持 a[1]不變 。 過程調(diào)用的參數(shù)傳遞 40 名字傳遞的解釋如下：在調(diào)用點上的自變 量的文本被看作是它自己右邊的函數(shù)，生 當在被用的過程的代碼中到達相應的參數(shù) 名時，就要計算它。我們總是在調(diào)用程序 的環(huán)境中計算自變，而總是在過程的定義 環(huán)境中執(zhí)行過程。 過程調(diào)用的參數(shù)傳遞 41 一、過程說明語句的翻譯； 說明語句或函數(shù)定義的語義處理 – 分析參數(shù)的類型 、 分配地址 – 統(tǒng)計參數(shù)和返回值的空間需求 表格管理 – 完成過程名的屬性登錄 二、過程調(diào)用的翻譯； – 建立 AR、 Display表等 跟過程相關(guān)的語義分析 42 過程調(diào)用的語義翻譯 ? [1] 在過程 P1中調(diào)用過程 P2 時 – a. P1 對實在參數(shù)求值 ， 將結(jié)果存入 P2的活動記錄參數(shù)域 – b. 在 P2的活動記錄中存放返回地址和當前棧頂指針 – c. 按照活動記錄的大小 ， 上移棧頂指針 – d. 從 P2的入口開始執(zhí)行 – e. P2存放寄存器值和其它狀態(tài)信息 – f. 執(zhí)行 P2的定義體 跟過程相關(guān)的語義分析 43 ?[2]從過程 P2返回時 – a. P2在返回值域中保存返回值 – b. 恢復原棧頂指針和其它寄存器 – c. 按返回地址轉(zhuǎn)移 ， 直接使用返回值進行計算 跟過程相關(guān)的語義分析 44 過程調(diào)用的代碼 ? 參數(shù)傳遞 param x –完成 [1] a. ? 調(diào)用 call f –完成 [1] b. c. d. ? 函數(shù)入口 –完成 [1] e. ? 過程出口 return x –完成 [2] a. b. c. 跟過程相關(guān)的語義分析 45 A → A1 , E 過程調(diào)用表達式的翻譯方案 { := || gen(‘ call’ ’ ,’ ) } { := 1。 := || gen(param ) } { := +1。 := |||| gen(param ) } 產(chǎn)生式 語義規(guī)則 S → id ( A )。 A → E 跟過程相關(guān)的語義分析 46 例：函數(shù)調(diào)用 f (3+a, 6) 的翻譯 id (EA , EA )S3 + a 6 生成的目標代碼 : t1 := 3 + a param t1 param 6 call f , 2 /*參數(shù)個數(shù)為 2 */ 跟過程相關(guān)的語義分析 47 過程調(diào)用的四元式序列 S ? call id(a