本文实例代码:https://github.com/JamesZBL/java_design_patterns
解释器(Interpreter)模式提供了校验语言的语法或表达式的途径,它属于行为型模式的一种。这种模式通常会提供一个表达式接口,通过这个接口可以解释对应特定环境的上下文。
解释器模式在日常开发的过程中不是很常用,但它在 SQL 解析、符号处理引擎、编译程序等场景中使用非常广泛。
实例
给定一个语言,解释器模式可以定义出其文法的一种表示,并定义一个解释器,该解释器使用该表示来解释语言中的句子。举个简单的例子,在某种计算器中输入 5+1-3*2
,每输入一个字符,屏幕上都会显示当前的结果,和这种计算器不同的是另外一种,即一次性输入 5+1-3*2
然后点击 =
,直接得出最终结果,后面这种计算器就用到了解释器。
我们输入的这一系列符号可以用二叉树的形式来表示,比如 5+1-3*2
:
这个二叉树就是一个简单的语法树,在一般的计算机程序设计语言的编译过程中,通常都包含类似的语法树生成的过程。
图中的 5
、 1
、 3
、 2
都叫做 终结符表达式,所谓终结符就是本身不能再推导出其他符号了,图中的 +
、 -
、 *
这些四则运算符号就是 非终结符表达式 了,因为可以由这些符号分别展开,形成各自的子表达式。对于四则运算表达式,解析的结果就是运算结果,所以运算符号可以抽象出一个接口,包含一个返回值为整数(假设只有整数参与运算)的 interpret()
方法。
Expression.java
1 | ublic abstract class Expression { |
由于加减乘除解释的出来的运算结果显然是不同的,所以分别实现这个接口形成四个类,四则运算符号需要左右两个操作数才能进行解释运算,所以每个运算符都持有两个符号的引用,分别作为其左运算数和右运算数:
加号,PlusExpression.java:
1 | public class PlusExpression extends Expression { |
减号,MinusExpression.java:
1 | public class MinusExpression extends Expression { |
乘号,MultipleExpression.java:
1 | public class MultipleExpression extends Expression { |
除号,DivisionExpression.java:
1 | public class DivisionExpression extends Expression { |
对于一个四则运算的算式,除了这四个四则运算符号,就是数字了,所以将数字抽象出一个数字符号类:
NumberExpression.java
1 | public class NumberExpression extends Expression { |
将上文中的算式用二叉树的形式表示,按顺序展开为一个字符序列,即 - + * 5 1 3 2
,现在模仿计算器对其进行解释,这里用到了一点数据结构的知识,遍历二叉树通常采用 堆栈 (Stack) 结构来实现:
App.java
1 | public class Application { |
总结
解释器主要运用方式就是解释语法树的节点,它将语法解释规则和实现结构,将复杂的解释工作指派到不同的解释器对象中,是什么语法就由什么解释器来解释。对于一棵生成好的语法树,通常由根节点开始解释,不断递归,依次选择适合子节点的解释器来进行解释。
解释器的应用场景:
- 当一个语言需要解释执行,并可以将该语言中的句子表示为一个抽象语法树的时候,例如 XML 文件或正则表达式
- 一些重复出现的问题可以用一种简单的语言来进行表达
- 一个语言的文法较为简单,比如四则运算
- 当执行效率不是关键和主要关心的问题时可考虑解释器模式,因为大量使用递归循环调用,随着语法的复杂程度加剧,解释器的执行效率会非常低