【正文】 } 它 的運行時存儲組織 臨時變量 局部變量 控制鏈 (EBP) 返回地址 (EIP) 實參 …… Apple的實例 …… …… Vtable of Fruit Vtable of Apple …… vtable int price(100) string name string color …… …… 棧區(qū) 堆區(qū) 。 day=Tuesday。 (100,apple)。} } void foo() { class Apple a。 void setcolor(string c){color=c。} void print(){ Print(On ,day, the price of ,name, is ,price,\n)。 void init(int p,string s){price=p。 class Fruit { int price。 class D d1,d2。 class B b。 void f1(){…} } class B extends A {void f2(){…} } class C entends B {void f2(){…} } class D extends C{bool m2。 現(xiàn)在每個對象不僅包括實例變量還包括了一個相應(yīng)的方法索引表的指針而不是類結(jié)構(gòu)的指針 （ 當(dāng)然 ， 這個指針的位置必須也有可預(yù)測的偏移量 ） 。 折衷方法 將整個類結(jié)構(gòu)保存在存儲中 ， 計算出每個類的可用方法的代碼指針列表 (稱為方法索引表 , 如 :C++的 virtual function table） 。其缺點在于：雖然實例變量具有可預(yù)測的偏移量（正如在標(biāo)準(zhǔn)環(huán)境中的局部變量一樣），方法卻沒有，而且它們必須由帶有查詢功能的符號表結(jié)構(gòu)中的名字維護。此時，只記錄一次方法指針（在類結(jié)構(gòu)中），而且對于每個對象并不將其復(fù)制到存儲器中。 另外一種方法是在執(zhí)行時將類結(jié)構(gòu)的一個完整的描述保存在每個類的存儲中，并由超類指針維護繼承性（有時這也稱作繼承圖（ inheritance graph））。 Smalltalk與 LISP相似是完全堆式環(huán)境 C＋＋則保持 C的基于棧的環(huán)境 實現(xiàn)對象 實現(xiàn)對象的一個簡單機制是，初始化代碼將所有當(dāng)前的繼承特征（屬性和方法）直接地復(fù)制到記錄結(jié)構(gòu)中（將方法當(dāng)作代碼指針）。 ? C語言中有這些操作的若干個版本 ， 但最基本的是 malloc和 free， 它們都是標(biāo)準(zhǔn)庫 （ stdlib）的一部分 面向?qū)ο蟮恼Z言的動態(tài)存儲 面向?qū)ο蟮恼Z言在運行時環(huán)境中要求特殊的機制以完成其增添的特性：對象 、 方法 、繼承以及動態(tài)綁定 。 ? (9)begin ? (10) c ? (11)end 嵌套過程作為參數(shù)傳遞 p a r a m c 存取鏈 m b f . 存取鏈 連同存取鏈一起 傳遞過程實參 堆式動態(tài)存儲分配 ? 需求： – 一個程序語言允許用戶自由地申請數(shù)據(jù)空間和退還數(shù)據(jù)空間，或者不僅有過程而且有進程（ process）的程序結(jié)構(gòu)， ? 操作： – 堆提供兩個操作，分配操作和釋放操作 ? 情況 : – 經(jīng)一段運行時間之后，這個大空間就必定被分劃成許多塊塊，有些占用，有些無用（空閑） 碎片問題 程序語言允許用戶自由地申請數(shù)據(jù)空間和退還數(shù)據(jù)空間 ? C++語言中 new操作符施加在一個類型標(biāo)識符上 （ 包括類名 ） ? Pascal語言中 ， 標(biāo)準(zhǔn)過程 new能夠動態(tài)建立存儲空間并相應(yīng)地置上指針 。 ? (8)begin m := 0。 ? (6) function f(n:integer):integr。 ? (4)procedure c。 ? (2)procedure b(function h(n:integer):integer)。 (10)} 在一個值調(diào)用過程中使用指針的 C程序 在 C程序中無傳地址所以用指針實現(xiàn)。b)。 (8) swap(amp。 *y=temp。 (4) temp=*x。) a1所指單元 的內(nèi)容置為 a2所指單元值 4( y :=temp) a2所指單元 的內(nèi)容置為 temp的 值 (1)swap(x,y) (2)int *x,*y。 begin temp:=x。 其結(jié)果等價于執(zhí)行下列運算： x :=a； y :=b； temp :=x； x :=y； y :=temp 傳地址 的實現(xiàn) （ call by reference )(callbyaddress)(callbylocation) 把實在參數(shù)的地址傳遞給相應(yīng)的形參，即 調(diào)用過程把一個指向?qū)崊⒌拇鎯Φ刂返闹羔槀鬟f給被調(diào)用過程相應(yīng)的形參： 1實在參數(shù)是一個名字，或具有左值的表達式 傳遞左值 2實在參數(shù)是無左值的表達式 計算值，放入一存儲單元，傳此存儲單元地址 3目標(biāo)代碼中，被調(diào)用過程對形參的引用變成對傳遞給被調(diào)用過程的指針的間接引用 procedure swap( x,y:integer)。 begin temp:=x。 procedure swap( x,y:integer)。 ? ，并將其放在對應(yīng)形式單元開辟的空間中。 swap(a,b）； 其結(jié)果： a,b調(diào)用前的值不改變。 ? 傳值（值調(diào)用） 特點是對形式參數(shù)的任何運算不影響實參的值。writeln(?b=?,b) (14)end. 帶有過程 swap的 PASCAL程序 ? 傳地址（變量參數(shù)） 例如：過程 swap(var x,y:integer)。 (12) swap(a,b)。 (10)begin (11) a:=1。 (7) x:=y。 (4) var temp:integer。 (2)var a,b:integer。 a[j]:=x (5) end。 (4) x:=a[i]。 (2) var x:integer。 B 的 內(nèi) 情 向 量 Z B1的 T O P D I S P L A Y 形式單元 m , n 2 連 接 數(shù) 據(jù) A 的 T O P ∶ ∶ ( b) 進 入 分 程 序 B1。當(dāng)進入分程序時它含現(xiàn)行棧頂?shù)刂罚院?，用來定義棧的新高度（分程序的 TOP值）； （ 2)分程序的局部變量， 數(shù)組內(nèi)