模式动机:
1、如果在系统中某一特定类型的问题发生的频率很高,此时可以考虑将这些问题的实例表述为一个语言中的句子,因此可以构建一个解释器,该解释器通过解释这些句子来解决这些问题。
2、解释器模式描述了如何构成一个简单的语言解释器,主要应用在使用面向对象语言开发的编译器中。
模式意图:
解释器模式(Interpreter Pattern) :定义语言的文法,并且建立一个解释器来解释该语言中的句子,这里的“语言”意思是使用规定格式和语法的代码,它是一种类行为型模式。
UML图:
角色:
AbstractExpression: 抽象表达式中声明了抽象的解释操作,它是所有的终结符表达式和非终结符表达式的公共父类。
TerminalExpression: 终结符表达式是抽象表达式的子类,它实现了与文法中的终结符相关联的解释操作。
NonterminalExpression: 非终结符表达式也是抽象表达式的子类,它实现了文法中非终结符的解释操作。
Context: 环境类又称为上下文类,它用于存储解释器之外的一些全局信息。
Client: 客户类
模式分析:
1、解释器模式描述了如何为简单的语言定义一个文法,如何在该语言中表示一个句子,以及如何解释这些句子。
2、文法规则实例:
expression ::= value | symbol
symbol ::= expression '+' expression |expression '-' expression
value ::= an integer //一个整数值
3、在文法规则定义中可以使用一些符号来表示不同的含义,如使用“|”表示或,使用“{”和“}”表示组合,使用“*”表示出现0次或多次等,其中使用频率最高的符号是表示或关系的“|”。
抽象语法树:
除了使用文法规则来定义一个语言,在解释器模式中还可以通过一种称之为抽象语法树(Abstract Syntax Tree, AST)的图形方式来直观地表示语言的构成,每一棵抽象语法树对应一个语言实例。
4、抽象语法树描述了如何构成一个复杂的句子,通过对抽象语法树的分析,可以识别出语言中的终结符和非终结符类。
5、在解释器模式中,每一种终结符和非终结符都有一个具体类与之对应,正因为使用类来表示每一个语法规则,使得系统具有较好的扩展性和灵活性。
代码:
典型的抽象表达式类实现代码:
public abstract class AbstractExpression
{
publicabstract void interpret(Context ctx);
}
典型的终结符表达式类实现代码:
public class TerminalExpression extendsAbstractExpression
{
publicvoid interpret(Context ctx)
{
//对于终结符表达式的解释操作
}
}
典型的非终结符表达式类实现代码:
public class NonterminalExpression extendsAbstractExpression
{
privateAbstractExpression left;
privateAbstractExpression right;
publicNonterminalExpression(AbstractExpression left,AbstractExpression right)
{
this.left=left;
this.right=right;
}
publicvoid interpret(Context ctx)
{
//递归调用每一个组成部分的interpret()方法
//在递归调用时指定组成部分的连接方式,即非终结符的功能
}
}
典型的环境类实现代码:
public class Context
{
private HashMap map = new HashMap();
public void assign(String key, String value)
{
//往环境类中设值
}
public String lookup(String key)
{
//获取存储在环境类中的值
}
}
优缺点:
优点
1、易于改变和扩展文法。
2、易于实现文法。
3、增加了新的解释表达式的方式。
缺点:
1、对于复杂文法难以维护。
2、执行效率较低。
3、应用场景很有限。
使用范围:
1、可以将一个需要解释执行的语言中的句子表示为一个抽象语法树。
2、一些重复出现的问题可以用一种简单的语言来进行表达。
3、文法较为简单。
4、效率不是关键问题。
模式扩展:
……