解释器
解释有拆解、释义的意思,一般可以理解为针对某段文字,按照其语言的特定语法进行解析,再以另一种表达形式表达出来,以达到人们能够理解的目的。类似地,解释器模式(Interpreter)会针对某种语言并基于其语法特征创建一系列的表达式类(包括终极表达式与非终极表达式),利用树结构模式将表达式对象组装起来,最终将其翻译成计算机能够识别并执行的语义树。例如结构型数据库对查询语言SQL的解析,浏览器对HTML语言的解析,以及操作系统Shell对命令的解析。不同的语言有着不同的语法和翻译方式,这都依靠解释器完成。
以最常见的Java编程语言为例。当我们以人类能够理解的语言完成了一段程序并命名为Hello.java后,经过调用编译器会生成Hello.class的字节码文件,执行的时候则会加载此文件到内存并进行解释、执行,最终被解释的机器码才是计算机可以理解并执行的指令格式,如图24-1所示。从Java语言到机器语言,这个跨越语言鸿沟的翻译步骤必须由解释器来完成,这便是其存在的意义。
1 语言与表达式
要进行解释翻译工作,必须先研究语法。以人类的语言为例,假如我们要进行英文翻译工作,首先要将句子理解为“非终极表达式”,对它进行拆分,直到单词为止,此时我们可以将单词理解为“终极表达式”。举个具体的例子,我们对英语句子“I like you.”(非终极表达式)进行拆分,按空格分割为单词“I”“like”“you”(终极表达式),然后将每个单词翻译后,再按顺序合并为“我喜欢你”。虽然我们得到了正确的翻译结果,但这种简单的规则也存在例外,例如对句子“How are you?”按照这个规则