程序設計語言-cha(1)(參考版)
2025-01-09 18:28本頁面
【正文】 5）綁定時間可分成哪幾個類型。 4）請畫出虛擬計算機系統的典型層次結構。 2）什么叫固件計算機，虛擬計算機，綁定，綁定時間。對于兩個兼顧的語言，應提供綁定時間選擇機制。對于追求效率為主要目標的語言，通常應盡可能進行早綁定。綁定和綁定時間可由語言定義或由實現來確定。 ? 綁定是指程序元素與其特性或性質的約束關系。 ? 虛擬計算機是一個層次性的結構，典型的虛擬計算機可分成 7個層次。 – 信息完整性：翻譯可能造成源程序信息丟失，調試、測試較為困難；解釋不會。 – 順序控制：翻譯遵循輸入的物理序列語句；解釋遵循程序的邏輯控制流程。 ? 編譯與解釋的相同點是：二者都接受高級語言作為輸入。 ? 解釋是通過使用一臺主機上運行的程序來模擬一臺機器語言是高級語言的計算機的執(zhí)行。從而，計算機上的硬件可以直接運行目標程序?？赏ㄟ^編譯和軟件解釋兩種途徑。 ? 固件計算機是一臺可進行微編程的硬件計算機上通過微程序模擬實現的計算機。 ? 可見，綁定時間與語言的實現密切相關。如果語言的設計允許在編譯時完成綁定，而將綁定延遲到執(zhí)行完成可能會導致程序運行的低效。如，對于 Pascal語言，變量的類型在編譯時就已確定，但 Pascal實現可能在執(zhí)行時進行類型檢查。 綁定時間與語言實現 ? 綁定時間一般允許在語言定義中指定。 ? 而追求靈活性為主要目標的語言，如 ML，LISP， HTML等，大部分采用遲綁定，以便與數據相關。 綁定時間重要性的結論 ? 綁定時間對于程序設計語言的效率和靈活性起重要的作用。因此， ML在處理字符串方面的靈活性優(yōu)于Fortran. 早綁定與遲綁定概念 ? 早綁定（ Early Binding）：大部分綁定在程序執(zhí)行之前，即翻譯階段完成。 ? 但，在處理字符串方面，由于 Fortran大部分的綁定在翻譯時完成，輸入數據較為固定，要編寫一個與執(zhí)行環(huán)境相關的數據處理程序較為困難。 Why? Fortran與 ML綁定時間之比較 ? Fortran語言中，數組算術運算和字符串等特性的綁定大部分在翻譯時一次完成，只有一小部分需要在運行時處理。 – 異同點： ?Fortran適合于大型科學數據處理，運行效率高。例如，若變量 X是實型，則 “ +”被綁定為實數加；若 X是整形，則“ +”被綁定為整數加。 ? 但操作符 “ +”的具體操作性質的綁定時簡是編譯時。這種可能的性質是由語言定義時確定的。即常數 10在語言定義時進行了一個綁定，而在語言實現時，重新進行綁定。 ? 5）常數 10的表示：在程序文本中，整數 10是使用字符串 “ 10”表示的，而在執(zhí)行時表示為一個位串序列。 在程序運行過程中，通常會根據賦值語句重新改變變量 X與其值的綁定關系。如 int X=12。 ? 4) 變量 X的值：在程序執(zhí)行的任何一點，變量 X都有一個值。如 Basic語言 10 LET X = 20 LET X = X+10 ? 3) 變量 X可能的值：如果 X的類型是實型，則X的值就是實數集合中的一個元素，該集合的大小由定義語言的虛擬計算機可以表示和操作的實數確定，它通常是機器硬件上可以方便表示的全體實數。通常通過在程序中使用顯式聲明 語句，如 C中的 int X。有的語言，如 C，Java等，允許在程序中自定義類型，則變量 X的類型集綁定時間是編譯時。 X的類型通常在語言定義時確定，如只有實型、整型、布爾類型、集合類型是允許類型。如選擇語句的形式、數據結構類型和程序結構通常在語言定義時是固定的。如，對于Pascal語言，變量的類型在編譯時就已確定，但Pascal實現 可能在執(zhí)行時進行類型檢查。如 子程序 變量 編譯后 P(X)的地址 重定向后 P(X)的地址 P x 0~999 (165) 1000~1999( 1165) ? 語言實現時： – 綁定時間一般允許在語言定義中指定。如 int ary[10]。 – 翻譯程序選定：在沒有直接規(guī)范的情況下，由翻譯程序確定。 ? 轉換時（編譯時） – 程序設計者選定：程序設計者有意識地選擇變量名、變量的類型和語句結構等在編譯時綁定。如， int x。} ? 執(zhí)行時：在程序執(zhí)行的任何時候發(fā)生。 else maxInt= x。如 int maxInt(int x, int y) main() { if (xy) maxInt = y。這種綁定關系存在兩種主要子類： ? 進入時：在進入一個子程序或一個塊結構時發(fā)生。
教學教案相關推薦
鄂ICP備17016276號-1