編譯與解釋：從 CPU 到語言實作的演進視角

從硬體指令到作業系統服務

CPU 僅能執行二進位基本指令。微代碼將複雜指令分解為基本指令執行。作業系統建構於硬體之上，提供檔案、進程/執行緒等抽象服務，擴展功能的同時限制直接硬體存取（如任意記憶體寫入）。應用程式調用磁碟讀寫，可能經由 Unix 管道串聯小工具、Win32 DLL 的 C API、甚至內嵌組合語言觸發中斷。層層封裝本質上都是解釋執行：ReadFile 並非編譯期靜態化為機器碼，而是執行期由 OS 解釋執行。即便系統中斷，若按此定義，亦屬解釋範疇。

從原始碼到可執行檔：編譯與解釋的分水嶺

• 組合語言 → 可執行檔：經典編譯，一對一映射，無歧義。
• C/C++ → 可執行檔：靜態編譯，但 C++ 異常處理等需執行期支援（RTTI、stack unwinding），無法完全靜態翻譯，含動態解釋成分。
• 早期 BASIC：純解釋執行，逐行讀取原始碼即時輸出。

在編譯與解釋間尋找平衡：現代語言的策略

Python、Java 等語言採用「編譯前端 + 解釋後端」架構：

1. 前端編譯：源碼 → 位元碼（Java .class、Python .pyc）。省去執行期語法/結構分析，中間語言更適合快速解釋。
2. 後端解釋/JIT：虛擬機解釋位元碼。Java 引入 Just-In-Time (JIT)：熱點程式碼預先編譯為原生機器碼，執行時直接跑原生碼，大幅提速。核心在於「預讀」與「預編譯」，靈感源自 CPU 快取預取與指令流水線優化。

啟發與延伸

CPU 的流水線、雙緩衝、分支預測等微架構技術，均可映射至解釋器優化：指令預取對應位元碼預讀，快取對應熱點代碼緩存，分支預測對應型別專門化。編譯與解釋並非二元對立，而是靜態分析與動態執行的連續譜系。理解此譜系，有助於設計高效語言實作、選擇適合專案的技術棧、甚至優化現有系統效能。