解释器模式
给定一门语言,定义它的文法的一种表示,并定义一个解释器,该解释器使用该表示来解释语言中的句子
1. UML类图
2. 定义
- AbstractExpression抽象解释器:具体的解释任务由各个实现类完成,具体的解释器分别由TerminalExpression和NonTerminalExpression完成
- TerminalExpression终结符表达式:实现与文法中的元素相关联的解释操作,通常一个解释器模式中只有一个终结符表达式,但是有多个实例,对应不同的终结符
- NonTerminalExpression非终结符表达式:文法中的每条规则对应于一个非终结表达式,非终结符表达式根据逻辑的复杂程度而增加,原则上每个文法规则都对应一个非终结符表达式
- Context环境角色:可以用HashMap等代替
3. 通用源码
//抽象表达式
public abstract class Expression{
//每个表达式必须有一个解析任务
public abstract Object interpreter(Context ctx);
}
//终结符表达式
public class TerminalExpression extends Expression{
//通常终结符表达式只有一个,但是有多个对象
public Object interpreter(Context ctx){
return null;
}
}
//非终结表达式
public class NonTerminalExpression extends Expression{
//每个非终结符表达式都会对其他表达式产生依赖
public NonTerminalExpression(Expression... expression){
}
public Object interpreter(Context ctx){
//进行文法处理
return null;
}
}
//客户类
public class Client{
public stati void main(String[] args){
Context ctx = new Context();
//通常定一个语法容器,容纳一个具体的表达式,通常为ListArray、LinkedList、Stack等类型
Stack<Expression> stack = null;
for(;;){
//进行语法判断,并产生递归调用
}
//产生一个完整的语法树,由各个具体的语法分析进行解析
Expression exp = stack.pop();
//具体元素进入场景
exp.interpreter(ctx);
}
}
4. 应用
4.1 优点
解释器是一个简单语法分析工具,它最显著的优点就是扩展性,修改语法规则只要修改相应的非终结符表达式就可以了,若扩展语法,则只要增加非终结符就可以了
4.2 缺点
- 解释器模式会引起类膨胀:每个语法都要产生一个非终结符表达式,语法规则比较复杂时,就可能产生大量的类文件,为维护带来了非常多的麻烦
- 解释器模式采用递归调用方法:每个非终结符表达式只关心与自己有关的表达式,每个表达式需要知道最终的结果,必须一层一层的剥茧,无论是面向过程还是面向对象语言,递归都是在必要的条件下才使用的,它导致调试非常复杂
- 效率问题:解释器模式由于使用了大量的循环和地柜,效率是一个不容忽视的问题
4.3 使用场景
重复发生的问题可以使用解释器模式
例如多个应用服务器每天产生大量的日志,需要对日志文件进行分析处理,由于各个服务的日志格式不同,但是数据要素是相同的,也就是终结符表达式都是相同的,但是非终结符表达式就需要制定了
一个简单语法需要解释的场景