解释器模式
一、定义
摘自百度百科: 定义了一个解释器,来解释给定语言和文法的句子。其实质是把语言中的每个符号定义成一个(对象)类,从而把每个程序转换成一个具体的对象树。
点击查看源码
二、角色分类
抽象表达式/抽象解释器(Abstract Expression)
声明了一个所有具体表达式都要实现的抽象接口或抽象类,接口中存在一个解释操作的方法
终止符表达式(Terminal Expression)
实现与文法中的元素相关联的解释操作,通常一个解释器模式中只有一个终结符表达式,但有多个实例,对应不同的终结符
非终止符表达式(Nonterminal Expression)
文法中的每条规则对应于一个非终结符表达式,非终结符表达式一般是文法中的运算符或者其他关键字
上下文(Context)
该角色的任务一般是用来存放各个表达式所对应的值和定义的法则
客户角色(Client)
具体调用方法的角色
三、实现方式
UML图
![未命名文件](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
具体实现
接下来我们用解析数学表达式的示例来深入说明一下解释器模式
抽象解释器(Abstract Expression)
1 2 3 4 5 6 7 8 9
| public interface AbstractExpression {
int interpret(); }
|
终止符表达式(Terminal Expression)
1 2 3 4 5 6 7 8 9
| public abstract class TerminalExpression implements AbstractExpression { protected AbstractExpression expressionA; protected AbstractExpression expressionB;
public TerminalExpression(AbstractExpression expressionA, AbstractExpression expressionB) { this.expressionA = expressionA; this.expressionB = expressionB; } }
|
非终止符表达式(Nonterminal Expression)
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
|
public class AddNonterminalExpression extends TerminalExpression { public AddNonterminalExpression(AbstractExpression expressionA, AbstractExpression expressionB) { super(expressionA, expressionB); }
public int interpret() { return this.expressionA.interpret() + this.expressionB.interpret(); } }
public class SubNonterminalExpression extends TerminalExpression { public SubNonterminalExpression(AbstractExpression expressionA, AbstractExpression expressionB) { super(expressionA, expressionB); }
public int interpret() { return this.expressionA.interpret() - this.expressionB.interpret(); } }
public class NumNonterminalExpression implements AbstractExpression { private int value;
public NumNonterminalExpression(int value) { this.value = value; }
public int interpret() { return this.value; } }
|
上下文对象(Context)
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58
| public class Context { private Stack<AbstractExpression> stack = new Stack<AbstractExpression>();
public Context(String expression) { this.parse(expression); }
private void parse(String expression) { String[] elements = expression.split(" "); AbstractExpression expressionA, expressionB;
for (int i = 0; i <elements.length; i++) { String operator = elements[i]; if (Context.isOperator(operator)) { expressionA = this.stack.pop(); System.out.println("出栈: " + expressionA.interpret()); expressionB = new NumNonterminalExpression(Integer.valueOf(elements[++i])); TerminalExpression res = Context.util(expressionA, expressionB, operator); this.stack.push(res); System.out.println("计算: " + expressionA.interpret() + operator + expressionB.interpret()); System.out.println("计算结果: " + res.interpret() + " 入栈"); } else { NumNonterminalExpression numNonterminalExpression = new NumNonterminalExpression(Integer.valueOf(elements[i])); this.stack.push(numNonterminalExpression); System.out.println("入栈: " + numNonterminalExpression.interpret()); } } }
public int caculate() { int interpret = this.stack.pop().interpret(); System.out.println("计算结果为:" + interpret + " 出栈"); return interpret; }
public static TerminalExpression util(AbstractExpression a, AbstractExpression b, String symbol) { if (symbol.equals("+")) { return new AddNonterminalExpression(a, b); } else if (symbol.equals("-")) { return new SubNonterminalExpression(a, b); } else { return null; } }
public static boolean isOperator(String symbol) { return (symbol.equals("+") || symbol.equals("-")); } }
|
客户角色(Client)
1 2 3 4 5 6 7 8 9 10 11 12
| public class Client {
public static void main(String[] args) { Context calculatorContext = new Context("1 + 4"); System.out.println("calculatorContext.calculate() = " + calculatorContext.caculate());
Context calculatorContext2 = new Context("1 + 4 - 5"); System.out.println("calculatorContext.calculate() = " + calculatorContext2.caculate()); } }
|
运行结果
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
| 入栈: 1 出栈: 1 计算: 1+4 计算结果: 5 入栈 计算结果: 5 出栈 calculatorContext.calculate() = 5 入栈: 1 出栈: 1 计算: 1+4 计算结果: 5 入栈 出栈: 5 计算: 5-5 计算结果: 0 入栈 计算结果: 0 出栈 calculatorContext.calculate() = 0
|
四、应用场景
以下部分内容摘自菜鸟教程
意图: 给定一个语言,定义它的文法表示,并定义一个解释器,这个解释器使用该标识来解释语言中的句子。
主要解决: 对于一些固定文法构建一个解释句子的解释器。
何时使用: 如果一种特定类型的问题发生的频率足够高,那么可能就值得将该问题的各个实例表述为一个简单语言中的句子。这样就可以构建一个解释器,该解释器通过解释这些句子来解决该问题。
如何解决: 构建语法树,定义终结符与非终结符。
关键代码: 构建环境类,包含解释器之外的一些全局信息,一般是 HashMap。
应用实例: 编译器、运算表达式计算。
使用场景:
- 可以将一个需要解释执行的语言中的句子表示为一个抽象语法树。
- 一些重复出现的问题可以用一种简单的语言来进行表达。
- 一个简单语法需要解释的场景。
注意事项: 可利用场景比较少,JAVA 中如果碰到可以用 expression4J 代替。
五、优缺点
优点
- 可扩展性比较好,灵活。
- 增加了新的解释表达式的方式。
- 易于实现简单文法。
缺点
- 可利用场景比较少。
- 对于复杂的文法比较难维护。
- 解释器模式会引起类膨胀。
- 解释器模式采用递归调用方法。