设计模式 _第十五招式_解释器模式

一、定义

解释器模式（Interpreter Pattern）是一种按照规定语法进行的解析方案，现在在项目中运用比较少。给定一门语音，定义它的文法的一种表示，并定义一个解释器，该解释器使用该表示来解释语言中的句子。

二、代码演示

2.1 通用类图

2.2 角色说明

• AbstractExpression–抽象解释器
  具体的解释任务由各个实现类完成，具体的解释器分别有TerminalExpression和NonterMinaExpression完成。
• TerminalExpression–终端符号表达式
  实现与文法中的元素相关联的解释操作，通常一个解释器模式中只有一个终结符表达式，但又多个实例，对应不同的终结符，具体到我们例子就是VarExpression类，表达式中的每一个终端符都在栈中产生一个VarExpression。
• NonteterminalExpression–非终端表达式
  文法中的每条规则对应于一个非终结表达式，例如：加、减法则 对应到 AddExpression、SubExpression两个类。非终端表达式根据逻辑的复杂程度而增加，原则上一个每个文法规则对应一个非终结表达式。
• Context–环境角色
  负责到状态的切换。

2.3 抽象表达式

抽象表达式是生成语法集合（也叫语法树）的关键，每个语法集合完成指定语法解析任务，他是同归递归调用的方式， 最终已最小的语法单元进行解析完成。

package com.design.Interpreter.pattern;


/**
 * @description TODO
 * @date: 2019/9/22 22:36
 * @version: v 0.1
 */
public abstract class Expression {
    //每个表达式必须有一个解析任务
    public abstract Object interpreter(Context context);
}

2.4 终结符表达式

终结符表达式比较简单，主要是处理场景元素和数据的转换。

package com.design.Interpreter.pattern;

/**
 * @description TODO
 * @date: 2019/9/22 22:39
 * @version: v 0.1
 */
public class TerminalExpression extends Expression {
    public Object interpreter(Context context) {
        //终端符表达式只有一个，但是有多个对象
        System.out.println("TerminalExpression interpreter TODO ");
        return null;
    }
}

2.5 非终结符表达式

每个非终结符表达式都代表了一个文法规则，并且每个文法规则都只关心自己周边的文法规则的结果，因此产生了非终结符表达式调用自己周边的非终结符表达式，让后最终、最小的文法规则及时终结符表达式。

package com.design.Interpreter.pattern;


/**
 * @description TODO
 * @date: 2019/9/22 22:43
 * @version: v 0.1
 */
public class NonterminalExpression extends Expression {
    //每个非终结符表达式都会对其它表达式产生依赖
    public NonterminalExpression(Expression... expressions) {

    }

    public Object interpreter(Context context) {
        //进行文法处理
        System.out.println("NonterminalExpression interpreter TODO ");
        return null;
    }
}

2.6 验证场景类

通常Client是一个封装类，封装的结果就是传递进来一个规范的语法文件，解析器分析后产生结果并返回，避免了调用者与语法解析器的耦合关系。

package com.design.Interpreter.pattern;

import java.util.Stack;

/**
 * @description TODO
 * @date: 2019/9/22 22:48
 * @version: v 0.1
 */
public class Client {
    public static void main(String args[]) {
        Context ctx = new Context();
        //通常一个语法容器，容纳一个具体的表达式，通常为ArrayList、LinkedList,Stack等类型
        Stack<Expression> stack = new Stack();
        //正常情况， 这里应该是一个循环，判断语法，并产生递归调用
        //for(;;){}
        stack.add(new TerminalExpression());

        //产生一个完整的语法树，由各个具体的语法分析解析
        Expression exp = stack.pop();
        //具体元素进入场景
        exp.interpreter(ctx);
    }
}

2.7 运行结果

TerminalExpression interpreter TODO 

三、优点

解析器是一个简单的语法分析工具，它最显著的优点就是扩展性，修改语法规则只要修改相应的非终结符表达式就可以了。 若扩展语法，则只要增加非终结符类就可以了。

四、缺点

• 可能会引起类膨胀
  每个语法都要产生一个非终结符表达式，语法规则比较复杂时，就可能产生大量的类文件，可能会出现，子类太多导致，类膨胀。
• 解释器模式采用递归调用模式
  每个非终结符表达式只关心与自己相关的表达式，每个表达式需要知道的最终结果，必须一层一层的遍历，遍历导致调试难度变大。
• 效率问题
  由于解释器模式大量使用了循环和递归，导致效率比较低。

五、应用场景

• 重复发生的问题可以使用解释器模式
  例如：日志服务器，每天都有大量的日志，需要对日志进行分析，由于各服务的日志格式不同，但数据要素是相同的，我们可以按解释器模式，终结符表达式都是相同的，非终结符表达式就是需要定制的。
• 一个简单语法需要解释的场景
  解析器模式一般用来解析比较标准的字符集，如sql 分析。在商业中可以在数据分析的场景，用上解释器模式。

六、注意事项

1. 尽量不在重要的模块中使用解释器模式，负责维护非常痛苦，在项目中可以使用shell、JRuby、Groovy等脚本来代替解析器模式。
2. 解释器模式在实际系统开发中，使用非常少，因为它有效率及维护等问题，在使用解释器模式时可以考虑用Expression4J、MESP、Jep等开源工具包。