解释器
此条目没有列出任何参考或来源。 (2020年6月25日) |
程序执行 |
---|
基础概念 |
代码类型 |
编译策略 |
|
知名运行环境 |
著名编译器及工具链 |
解释器(英语:interpreter),是一种电脑程序,能够把解释型语言解释执行。解释器就像一位“中间人”。解释器边解释边执行,因此依赖于解释器的程序运行速度比较缓慢。解释器的好处是它不需要重新编译整个程序,从而减轻了每次程序更新后编译的负担。相对的编译器一次性将所有源代码编译成二进制文件,执行时无需依赖编译器或其他额外的程序。
历史
第一个解释器是由史帝芬·罗素(Steve Russell)写成的LISP的解释器,基于IBM 704的机器码。
解释器与编译器
解释器执行程序的方法有:
Perl,Python,MATLAB,与Ruby是属于第二种方法,而UCSD Pascal则是属于第三种方式。在翻译的过程中,这组高级语言所写成的程序仍然维持在原始码的格式(或某种中继语言的格式),而程序本身所指涉的动作或行为则由解释器来表现。
使用解释器来执行程序会比直接执行编译过的机器代码来得慢,但是相对的这个解释的行为会比编译再执行来得快。这在程序开发的雏型化阶段和只是撰写试验性的代码时尤其来得重要,因为这个“编辑-解释-调试”的循环通常比“编辑-编译-执行-调试”的循环来得省时许多。
在解释器上执行程序比直接执行编译过的代码来得慢,是因为解释器每次都必须去分析并翻译它所执行到的程序行,而编译过的程序就只是直接执行。这个在执行时的分析被称为"解释式的成本"。在解释器中,变量的存取也是比较慢的,因为每次要存取变量的时候它都必须找出该变量实际存储的位置,而不像编译过的程序在编译的时候就决定好了变量的位置了。
在使用解释器来达到较快的开发速度和使用编译器来达到较快的执行进度之间是有许多妥协的。有些系统(例如有一些LISP)允许解释和编译的代码互相调用并共享变量。这意味着一旦一个子程序在解释器中被测试并调试过之后,它就可以被编译以获得较快的执行进度。许多解释器并不像其名称所说的那样执行原始代码,反而是把原始代码转换成更压缩的内部格式。举例来说,有些BASIC的解释器会把保留字取代成可以用来在转移表中找出相对应指令的单一字节符号。解释器也可以使用如同编译器一般的文字分析器和语法分析器然后再翻译产生出来的抽象语法树。
解释式程序相较于编译式程序有较佳的可携性,可以容易的在不同软硬件平台上执行。而编译式程序经过编译后的程序则只限定于执行在开发环境平台。
字节码解释器
考量程序执行之前所需要分析的时间,存在了一个介于解释与编译之间的可能性。例如,用Emacs Lisp所撰写的原始码会被编译成一种高度压缩且优化的另一种Lisp原始码格式,这就是一种字节码(bytecode),而它并不是机器代码(因此不会被绑死在特定的硬件上)。这个"编译过的"码之后会被字节码直译器(使用C写成的)翻译。在这种情况下,这个"编译过的"码可以被说成是虚拟机(不是真的硬件,而是一种字节码解释器)的机器代码。这个方式被用在Open Firmware系统所使用的Forth代码中:原始程序将会被编译成"F code"(一种字节码),然后被一个特定平台的虚拟机解释和执行。
即时编译
即时编译(Just-in-time compilation)是指一种在执行时期把字节码编译成原生机器代码的技术;这项技术是被用来改善虚拟机的性能的。该技术在近几年来才开始获得重视,而它后来模糊了解释、字节码解释及编译的差异性。在.NET和Java的平台上都有用到JIT的技术。大约在1980年代Smalltalk语言出现的时候JIT的技术就存在了。
一个简单的解释器的例子
在文学编程文章中有一个简单的程序和一个解释器。
打孔卡读卡器
“interpreter”这个字眼有时候是指一些可以读取打孔卡的机器。这些机器可以读取卡片上的孔并以人们读得懂的格式打印出来。IBM 550数字读卡器和IBM 557字母读卡器是主要的两个例子。
有编译器的高级语言
- AWK
- BASIC
- JavaScript
- LISP
- Racket
- Scheme
- Haskell
- Idris
- Clojure
- Shell
- Perl
- Prolog
- Ruby
- Python
- PHP Hypertext Preprocessor
- C
- C++
- Java
参考文献
参阅
- partial evaluation
- 解释型语言
- 编译语言
- 动态编译
- Threaded code, a compact form of code that depends on a simple interpreter.
- Metacircular Interpreter
外部链接
- IBM Card Interpreters (页面存档备份,存于互联网档案馆) page at Columbia University