直譯器的好處是它消除了編譯整個程式的負擔,但也會讓執行時的效率打了折扣。相對地,編譯器並不執行程式或原程式碼,而是一次將其翻譯成另一種語言,如機械碼,以供多次執行而無需再經編譯。其製成品無需依賴編譯器而執行,程式運行速度比較快。
直譯器與編譯器
直譯器執行程式的方法有:
直接執行高階程式語言 (如 Shell 內建的直譯器) 轉換高階程式語言碼到一些有效率的位元組碼 (Bytecode),並執行這些位元組碼 以直譯器包含的編譯器對高階語言編譯,並指示處理器執行編譯後的程式 (例如: JIT) Perl,Python,MATLB,與Ruby是屬於第二種方法,而 UCSD Pascal則是屬於第三種方式。在轉譯的過程中,這組高階語言所寫成的程式仍然維持在原始碼的格式(或某種中繼語言的格式),而程式本身所指涉的動作或行為則由直譯器來表現。
使用直譯器來執行程式會比直接執行編譯過的機器碼來得慢,但是相對的這個直譯的行為會比編譯再執行來得快。這在程式開發的雛型化階段和只是撰寫試驗性的程式碼時尤其來得重要,因為這個“編輯-直譯-除錯”的循環通常比“編輯-編譯-執行-除錯”的循環來得省時許多。
在直譯器上執行程式比直接執行編譯過的程式碼來得慢,是因為直譯器每次都必須去分析並轉譯它所執行到的程式行,而編譯過的程式就只是直接執行。這個在執行時的分析被稱為"直譯式的成本"。在直譯器中,變數的存取也是比較慢的,因為每次要存取變數的時候它都必須找出該變數實際儲存的位置,而不像編譯過的程式在編譯的時候就決定好了變數的位置了。
在使用直譯器來達到較快的開發速度和使用編譯器來達到較快的執行進度之間是有許多妥協的。有些系統(例如有一些LISP)允許直譯和編譯的程式碼互相呼叫並共享變數。這意味著一旦一個子程式在直譯器中被測試並除錯過之後,它就可以被編譯以獲得較快的執行進度。許多直譯器並不像其名稱所說的那樣執行原始程式碼,反而是把原始程式碼轉換成更壓縮的內部格式。舉例來說,有些BASIC的直譯器會把keywords取代成可以用來在jump table中找出相對應指令的單一byte符號。直譯器也可以使用如同編譯器一般的文字分析器(lex analyzer)和語法分析器(parser)然後再轉譯產生出來的抽象語法樹(abstract syntax tree)。
可攜性佳,直譯式程式相較於編譯式程式有較佳的可攜性,可以容易的在不同軟硬體平台上執行。而編譯式程式經過編譯後的程式則只限定於執行在開發環境平台。
位元組碼直譯器
考量程式執行之前所需要分析的時間,存在了一個介於直譯與編譯之間的可能性。例如,用Emacs Lisp所撰寫的原始碼會被編譯成一種高度壓縮且最佳化的另一種 Lisp原始碼格式,這就是一種位元組碼(bytecode),而它並不是機器碼(因此不會被綁死在特定的硬體上)。這個"編譯過的"碼之後會被位元組碼直譯器(使用C寫成的)轉譯。在這種情況下,這個"編譯過的"碼可以被說成是虛擬機(不是真的硬體,而是一種位元組碼直譯器)的機器碼。這個方式被用在 Open Firmware系統所使用的 Forth 程式碼中: 原始程式將會被編譯成 "F code" (一種位元組碼),然後被一個特定平台的虛擬機器直譯和執行。
即時編譯(Just-in-time compilation)
即時編譯,又名JIT,是指一種在執行時期把位元組碼編譯成原生機器碼的技術;這項技術是被用來改善虛擬機器的效能的。該技術在近幾年來才開始獲得重視,而它後來模糊了直譯、位元組碼直譯及編譯的差異性。在.NET和Java的平台上都有用到JIT的技術。大約在1980年代Smalltalk語言出現的時候JIT的技術就存在了