Programming languages and translation software

💻 程式語言與翻譯軟體：電腦的語言

歡迎來到這個關鍵章節！你也許已經懂得如何編寫程式，但你有沒有想過電腦究竟是如何理解你的指令的呢？本章的主題是「溝通」：探討我們用來與電腦溝通的各種語言（例如 Python、Java 或組合語言），以及那些負責將這些語言翻譯成 CPU 能夠執行的指令之重要軟體。

理解這種翻譯 (Translation) 過程是電腦科學的基石。它解釋了為什麼有些程式執行速度比其他程式快，以及軟體是如何建構並發佈到世界各地的。現在，讓我們深入探索電腦語言的迷人世界吧！

1. 程式語言的階級制度

程式語言是根據它們與電腦硬體之間的距離（低階）或是與人類語言之間的距離（高階）來分類的。

1.1 低階語言 (Low-Level Languages, LLL)

這些語言非常接近硬體，並直接對應於電腦處理器 (CPU) 的特定架構。

• 機器碼 (Machine Code)： 這是最底層的語言，完全由二進制數字 (0 和 1) 組成。
  • 這是處理器唯一能直接理解並執行的語言。
  • 指令由兩部分組成：運算碼 (Opcode)（執行什麼運算，例如 ADD）和運算數 (Operand)（要處理的數據或位址）。
• 組合語言 (Assembly Language)： 這是對機器碼的改進。它不再使用 0 和 1，而是使用助記符 (Mnemonics)（簡短且可讀的縮寫）來代表機器碼的操作。
  • 範例： 與其寫 00101001（機器碼），你可以寫 ADD R1, R2（組合語言）。
  • 關鍵在於，每一行組合語言程式碼都會轉換為剛好一行機器碼（一對一的關係）。

📝 快速複習：低階語言的優缺點

優點（為什麼要用低階語言？）：

• 速度： 低階語言編寫的程式執行速度極快，因為它們直接控制硬體，且只需極少的翻譯過程。
• 記憶體效率： 由於程式碼針對 CPU 進行了高度優化，因此佔用的記憶體空間極小。

缺點（為什麼要避免使用？）：

• 難以編寫與閱讀： 編程耗時長且極易出錯。
• 不可移植 (Non-portable)： 為某種 CPU 架構（例如 ARM）編寫的代碼，如果不在另一種架構（例如 Intel）上完全重寫，是無法運行的。

1.2 高階語言 (High-Level Languages, HLL)

這些語言設計上更接近人類語言，因此更容易閱讀、編寫和維護。例如 Python、Java、C++ 和 Pascal。

• 高階語言的一行指令通常對應多行機器碼指令（一對多的關係）。
• 它們使用類似數學符號或日常英語的語法與結構。
• 指令式高階語言 (Imperative HLL)： 最常見的高階語言屬於此類。它們要求程式設計師明確描述電腦執行任務時應遵循的過程或步驟（即「如何」做）。

📝 快速複習：高階語言的優缺點

優點（為什麼要用高階語言？）：

• 易於使用： 語法較簡單且接近人類語言。
• 可移植性： 同一套原始碼通常可以在不同的硬體平台上運行（前提是有正確的翻譯軟體）。
• 除錯： 錯誤更容易被發現和修復。

重點總結： 低階語言速度快，但難以編寫且不可移植；高階語言易於使用且具備可移植性，但需要複雜的翻譯過程。

2. 程式翻譯軟體（翻譯器）

由於人類使用高階語言或組合語言編寫程式，而電腦只理解機器碼（二進制），我們需要稱為翻譯器 (Translators) 的特殊軟體來消除這個鴻溝。

2.1 翻譯器的角色

你需要掌握三種主要的翻譯軟體：

組譯器 (Assembler)

組譯器將組合語言直接轉換為機器碼。由於語言間存在一對一的關係，這通常是一個直接且單步驟的過程。

編譯器 (Compiler)

編譯器在程式執行之前，將整個高階語言原始碼一次性翻譯成機器碼。

• 輸出： 它會產生一個獨立的目標代碼 (Object Code)（執行檔）。
• 執行： 目標代碼之後可以脫離編譯器獨立運行。
• 錯誤處理： 如果發現錯誤，程式將無法編譯，程式設計師必須在生成執行檔前修復所有錯誤。
• 適用場合： 需要速度至上的商業軟體發佈，且不希望用戶看到原始碼時（例如作業系統、大型遊戲）。

解譯器 (Interpreter)

解譯器在程式運行時，將高階語言原始碼逐行進行翻譯和執行。

• 輸出： 它不會產生永久的執行檔；翻譯過程是動態的，每次程式執行時都會發生。
• 執行： 每次執行程式時，都必須有解譯器軟體存在。
• 錯誤處理： 當在某一行遇到錯誤時，執行會立即停止，這使它非常適合作為除錯 (Debugging) 工具。
• 適用場合： 在程式開發和測試階段，或是可移植性至關重要時（只要有解譯器的地方，同一套原始碼就能運行）。

📝 編譯與解譯：快速比較

試想翻譯一本書（編譯）與同步翻譯一場對話（解譯）的區別：

• 編譯： 翻譯過程慢（要翻譯整本書），但執行快（翻譯好的書可以快速閱讀）。程式碼隱蔽。
• 解譯： 啟動時間快（可以立即開始翻譯），但執行慢（因為要逐行停下來翻譯）。原始碼必須公開。

3. 原始碼、目標代碼與中間語言

3.1 原始碼 vs. 目標代碼（執行碼）

• 原始碼 (Source Code)： 由程式設計師使用高階語言編寫的原始程式（例如 .py 或 .java 檔案），人類可讀。
• 目標代碼 / 執行碼 (Object Code / Executable Code)： 編譯器的輸出。它是機器碼，由處理器能直接執行的一系列二進制指令組成，電腦可讀。

3.2 中間語言（例如 Bytecode）

一些現代高階語言（如 Java 或 Python）採用兩階段翻譯過程，涉及一種稱為中間語言 (Intermediate Language)，通常稱為位元組碼 (Bytecode)。

原始碼 → 編譯器 → 中間語言 (Bytecode) → 執行

為什麼要使用中間語言？

中間語言帶來極大好處，特別是對於需要在多種系統上運行的應用程式：

1. 可移植性： 位元組碼是平台無關的。一旦編譯成位元組碼，它就可以在任何安裝了相容虛擬機 (Virtual Machine, VM) 的機器上運行，無需重新編譯原始碼。
2. 安全檢查： 虛擬機可以在執行前對中間代碼進行安全檢查，防止惡意程式碼直接在硬體上運行。
3. 記憶體效率： 中間語言程式碼有時比完全編譯的機器碼佔用更少的記憶體。

中間代碼如何執行？

• 虛擬機 (VM)： 虛擬機是一段軟體（解譯器），它模擬一個硬體環境，獲取位元組碼並將其逐行解譯為特定 CPU 的原生機器碼。
• 即時編譯器 (Just-In-Time Compiler, JIT)： JIT 編譯器透過將經常使用的中間代碼區塊在執行前那一刻編譯成原生機器碼，從而提升效能。這結合了「解譯的可移植性」與「編譯的速度優勢」。

你知道嗎？ Java 以使用位元組碼而聞名，實現了「一次編寫，隨處運行」(Write Once, Run Anywhere) 的目標。Java 虛擬機 (JVM) 就是實現這種可移植性的關鍵。