解释器模式

1.四则运算问题

通过解释器模式来实现四则运算,如计算a+b-c的值,具体要求

  1. 先输入表达式的形式,比如 a+b+c-d+e,要求表达式的字母不能重复
  2. 在分别输入 a, b, c, d, e 的值
  3. 最后求出结果:如图

1609769216697

传统方案解决四则运算问题分析

  1. 编写一个方法,接收表达式的形式,然后根据用户输入的数值进行解析,得到结果
  2. 问题分析:如果加入新的运算符,比如 ‘*’、’/’ ( 等等,不利于扩展, 另外让一个方法来解析会造成程序结构混乱,不够清晰
  3. 解决方案:可以考虑使用解释器模式, 即: 表达式 --> 解释器(可以有多种) --> 结果

2. 解释器模式介绍

解释器模式

  1. 在编译原理中, 一个算术表达式通过词法分析器形成词法单元,而后这些词法单元再通过语法分析器构建语法分析树,最终形成一颗抽象的语法分析树。这里的词法分析器和语法分析器都可以看做是解释器
  2. 解释器模式(Interpreter Pattern):是指给定一个语言(表达式), 我们编程人员需要定义语句的文法的一种表示,并定义一个解释器, 使用该解释器来解释语言中的句子(表达式)

应用场景

  1. 应用可以将一个需要解释执行的语言中的句子表示为一个抽象语法树
  2. 一些重复出现的问题可以用一种简单的语言来表达
  3. 一个简单语法需要解释的场景
  4. 这样的例子还有,比如编译器、 运算表达式计算、正则表达式、 机器人等

原理类图:

1609769345296

  1. Context:是环境角色,含有解释器之外的全局信息
  2. AbstractExpression:抽象表达式, 声明一个抽象的解释操作,这个方法为抽象语法树中所有的节点所共享(所有节点的抽象父类)
  3. TerminalExpression:为终结符表达式,实现与文法中的终结符相关的解释操作(不能再细分的解释操作, 例如解释一个表达式中的变量值)
  4. NonTermialExpression:为非终结符表达式,为文法中的非终结符实现解释操作(还可以再分的解释操作,例如一个表达式操作,a+b)
  5. 说明: 输入 ContextTerminalExpression 信息通过 Client 输入即可

所有的 TerminalExpressionNonTermialExpression 对象,构建一个 抽象解释语法树,可以用于解释需要的表达式

3. 解释器模式来实现四则运算

通过解释器模式来实现四则运算,如计算a+b-c的值

类图:

1609771627154

代码实现:

  1. 解释器的抽象父类,定义解释器的解释动作规范

    /**
     * 抽象类表达式,通过HashMap 键值对, 可以获取到变量的值
     * 
     * @author Administrator
     *
     */
    public abstract class Expression {
    	// a + b - c
    	// 解释公式和数值, key 就是公式(表达式)中的参数[a,b,c], value就是就是具体值
    	// HashMap {a=10, b=20}
    	public abstract int interpreter(HashMap<String, Integer> var);
    }
    
    
  2. 变量的解释器,重写了 interpreter() 方法,该方法通过变量的名称获取变量的值 ,直接获取参数中对应的变量的值,不可再分,

    /**
     * 变量的解释器
     * 
     * @author Administrator
     *
     */
    public class VarExpression extends Expression {
    
    	private String key; // key=a,key=b,key=c
    
    	public VarExpression(String key) {
    		this.key = key;
    	}
    
    	// var 就是{a=10, b=20}
    	// interpreter 根据 变量名称,返回对应值
    	@Override
    	public int interpreter(HashMap<String, Integer> var) {
    		return var.get(this.key);
    	}
    }
    
    
  3. 抽象运算符的解释器,由于运算符有多中类型,所以在 interpreter() 无法完成具体的运算操作,具体操作交由子类实现 , 子类可以定义一些复杂的运算模板

    /**
     * 抽象运算符号解析器 这里,每个运算符号,都只和自己左右两个数字有关系,
     * 但左右两个数字有可能也是一个解析的结果,无论何种类型,都是Expression类的实现类
     * 
     * @author Administrator
     *
     */
    public abstract class SymbolExpression extends Expression {
    
    	protected Expression left;
    	protected Expression right;
    
    	public SymbolExpression(Expression left, Expression right) {
    		this.left = left;
    		this.right = right;
    	}
    
    	// 因为 SymbolExpression 是让其子类来实现,因此 interpreter 是一个默认实现
    	@Override
    	public int interpreter(HashMap<String, Integer> var) {
    		return 0;
    	}
    }
    
    
  4. 加法运算符的解释器,递归调用:表达式的值 = 左边表达式的值 + 右边表达式的值

    /**
     * 加法解释器
     * 
     * @author Administrator
     *
     */
    public class AddExpression extends SymbolExpression {
    
    	public AddExpression(Expression left, Expression right) {
    		super(left, right);
    	}
    
    	// 处理相加
    	// var 仍然是 {a=10,b=20}..
    	// 一会我们debug 源码,就ok
    	public int interpreter(HashMap<String, Integer> var) {
    		// left.interpreter(var) : 返回 left 表达式对应的值 a = 10
    		// right.interpreter(var): 返回right 表达式对应值 b = 20
    		return left.interpreter(var) + right.interpreter(var);
    	}
    }
    
    
  5. 减法运算符的解释器,递归调用:表达式的值 = 左边表达式的值 + 右边表达式的值

    /**
     * 减法解释器
     * 
     * @author Administrator
     *
     */
    public class SubExpression extends SymbolExpression {
    
    	public SubExpression(Expression left, Expression right) {
    		super(left, right);
    	}
    
    	// 求出left 和 right 表达式相减后的结果
    	public int interpreter(HashMap<String, Integer> var) {
    		return left.interpreter(var) - right.interpreter(var);
    	}
    }
    
    
  6. 计算器类,通过 Expression 的实现类完成具体的解释运算 ,根据传入的参数,构建解释模型表达式

    public class Calculator {
    
    	// 定义表达式
    	private Expression expression;
    
    	// 构造函数传参,并解析
    	public Calculator(String expStr) { // expStr = a+b
    		// 安排运算先后顺序
    		Stack<Expression> stack = new Stack<>();
    		// 表达式拆分成字符数组
    		char[] charArray = expStr.toCharArray();// [a, +, b]
    
    		Expression left = null;
    		Expression right = null;
    		// 遍历我们的字符数组, 即遍历 [a, +, b]
    		// 针对不同的情况,做处理
    		for (int i = 0; i < charArray.length; i++) {
    			switch (charArray[i]) {
    			case '+': //
    				left = stack.pop();// 从stack取出left => "a"
    				right = new VarExpression(String.valueOf(charArray[++i]));// 取出右表达式 "b"
    				stack.push(new AddExpression(left, right));// 然后根据得到left 和 right 构建 AddExpresson加入stack
    				break;
    			case '-': //
    				left = stack.pop();
    				right = new VarExpression(String.valueOf(charArray[++i]));
    				stack.push(new SubExpression(left, right));
    				break;
    			default:
    				// 如果是一个 Var 就创建一个 VarExpression 对象,并push到 stack
    				stack.push(new VarExpression(String.valueOf(charArray[i])));
    				break;
    			}
    		}
    		// 当遍历完整个 charArray 数组后,stack 就得到最后Expression
    		this.expression = stack.pop();
    	}
    
    	public int run(HashMap<String, Integer> var) {
    		// 最后将表达式a+b和 var = {a=10,b=20}
    		// 然后传递给expression的interpreter进行解释执行
    		return this.expression.interpreter(var);
    	}
    }
    
    
  7. 测试代码

    public class ClientTest {
    
    	public static void main(String[] args) throws IOException {
    		String expStr = getExpStr(); // a+b
    		HashMap<String, Integer> var = getValue(expStr);// var {a=10, b=20}
    		Calculator calculator = new Calculator(expStr);
    		System.out.println("运算结果:" + expStr + "=" + calculator.run(var));
    	}
    
    	// 获得表达式
    	public static String getExpStr() throws IOException {
    		System.out.print("请输入表达式:");
    		return (new BufferedReader(new InputStreamReader(System.in))).readLine();
    	}
    
    	// 获得值映射
    	public static HashMap<String, Integer> getValue(String expStr) throws IOException {
    		HashMap<String, Integer> map = new HashMap<>();
    
    		for (char ch : expStr.toCharArray()) {
    			if (ch != '+' && ch != '-') {
    				if (!map.containsKey(String.valueOf(ch))) {
    					System.out.print("请输入" + String.valueOf(ch) + "的值:");
    					String in = (new BufferedReader(new InputStreamReader(System.in))).readLine();
    					map.put(String.valueOf(ch), Integer.valueOf(in));
    				}
    			}
    		}
    
    		return map;
    	}
    }
    
    

4. Spring SpelExpressionParser

测试:

public class Interpreter {

	public static void main(String[] args) {
		// 创建一个 Parser 对象
		ExpressionParser parser = new SpelExpressionParser();

		// 通过 Parser 对象 获取到一个Expression对象
		// 会根据不同的 Parser 对象 ,返回不同的 Expression对象
		Expression expression = parser.parseExpression("10 * (2 + 1) * 1 + 66"); // 96
		int result = (Integer) expression.getValue();
		System.out.println(result);
	}

}

源码:

  1. ExpressionParser 是个接口,定义了获取 Express 表达式对象的行为规范,其继承关系如下

    public interface ExpressionParser {
    
    	Expression parseExpression(String expressionString) throws ParseException;
    
    	Expression parseExpression(String expressionString, ParserContext context) throws ParseException;
    
    }
    

    1609773505217

  2. TemplateAwareExpressionParser 实现了 ExpressionParser 接口,其中有个重要的方法为 parseExpression(),根据不同的类型,情况,获取到不同的 表达式对象,用于解释不同类型的表达式

    public abstract class TemplateAwareExpressionParser implements ExpressionParser {
        
        // ...
        
        @Override
    	public Expression parseExpression(String expressionString) throws ParseException {
    		return parseExpression(expressionString, NON_TEMPLATE_PARSER_CONTEXT);
    	}
    
    	@Override
    	public Expression parseExpression(String expressionString, ParserContext context)
    			throws ParseException {
    		if (context == null) {
    			context = NON_TEMPLATE_PARSER_CONTEXT;
    		}
    
    		if (context.isTemplate()) {
    			return parseTemplate(expressionString, context); // 创建 CompositeStringExpression 对象
    		}
    		else {
    			return doParseExpression(expressionString, context); // 创建 SpelExpression 对象
    		}
    	}
        
        
        // ...
        
        private Expression parseTemplate(String expressionString, ParserContext context)
            	throws ParseException {
    		if (expressionString.length() == 0) {
    			return new LiteralExpression("");
    		}
    		Expression[] expressions = parseExpressions(expressionString, context);
    		if (expressions.length == 1) {
    			return expressions[0];
    		}
    		else {
    			return new CompositeStringExpression(expressionString, expressions);
    		}
    	}
        
        protected abstract Expression doParseExpression(String expressionString,
    		ParserContext context) throws ParseException;
    
        // ...
    
        
    
  3. SpelExpressionParser 类继承自 TemplateAwareExpressionParser 类,实现了 doParseExpression() 抽象方法 ,返回一个 SpelExpression 对象,用于解释数学运算

    public class SpelExpressionParser extends TemplateAwareExpressionParser {
        
        // ...
        
        @Override
    	protected SpelExpression doParseExpression(String expressionString, ParserContext context) throws ParseException {
    		return new InternalSpelExpressionParser(this.configuration).doParseExpression(expressionString, context);
    	}
        
        // ...
    
    
  4. Expression 是个接口,定义了表达式解释器的业务规范, 类比我们例子中的 Expression 抽象类

    public interface Expression {
    
    	Object getValue() throws EvaluationException;
    
    	Object getValue(Object rootObject) throws EvaluationException;
    
    	<T> T getValue(Class<T> desiredResultType) throws EvaluationException;
    
    	<T> T getValue(Object rootObject, Class<T> desiredResultType) throws EvaluationException;
        
        // ...
    
    
  5. SpelExpression 实现了 Expression 接口,

    public class SpelExpression implements Expression {
    
    	private final String expression;
    
    	private final SpelNodeImpl ast;
    
    	private final SpelParserConfiguration configuration;
    
    	// the default context is used if no override is supplied by the user
    	private EvaluationContext defaultContext;
    
    
    	/**
    	 * Construct an expression, only used by the parser.
    	 */
    	public SpelExpression(String expression, SpelNodeImpl ast, SpelParserConfiguration configuration) {
    		this.expression = expression;
    		this.ast = ast;
    		this.configuration = configuration;
    	}
    
    
    	// implementing Expression
    
    	@Override
    	public Object getValue() throws EvaluationException {
    		ExpressionState expressionState = new ExpressionState(getEvaluationContext(), this.configuration);
    		return this.ast.getValue(expressionState);
    	}
    
    	@Override
    	public Object getValue(Object rootObject) throws EvaluationException {
    		ExpressionState expressionState = new ExpressionState(getEvaluationContext(), toTypedValue(rootObject), this.configuration);
    		return this.ast.getValue(expressionState);
    	}
    
    	@Override
    	public <T> T getValue(Class<T> expectedResultType) throws EvaluationException {
    		ExpressionState expressionState = new ExpressionState(getEvaluationContext(), this.configuration);
    		TypedValue typedResultValue = this.ast.getTypedValue(expressionState);
    		return ExpressionUtils.convertTypedValue(expressionState.getEvaluationContext(), typedResultValue, expectedResultType);
    	}
    
    	@Override
    	public <T> T getValue(Object rootObject, Class<T> expectedResultType) throws EvaluationException {
    		ExpressionState expressionState = new ExpressionState(getEvaluationContext(), toTypedValue(rootObject), this.configuration);
    		TypedValue typedResultValue = this.ast.getTypedValue(expressionState);
    		return ExpressionUtils.convertTypedValue(expressionState.getEvaluationContext(), typedResultValue, expectedResultType);
    	}
    
    	@Override
    	public Object getValue(EvaluationContext context) throws EvaluationException {
    		Assert.notNull(context, "The EvaluationContext is required");
    		return this.ast.getValue(new ExpressionState(context, this.configuration));
    	}
        
        // ...
    
    

总结:

Expression 接口有不同的实现类,比如 SpelExpression,使用的时候,根据我们创建的 ExpressionParser 对象不同,就返回不同的实际干活的 Expression 对象

5. 解释器模式的总结

  1. 当有一个语言需要解释执行, 可将该语言中的句子表示为一个抽象语法树, 就可以考虑使用解释器模式, 让程序具有良好的扩展性
  2. 应用场景: 编译器、 运算表达式计算、 正则表达式、 机器人等
  3. 使用解释器可能带来的问题: 解释器模式会引起类膨胀、 解释器模式采用递归调用方法, 将会导致调试非常复杂、 效率可能降低

这也就是在jvm中 在引进实时编译器 JIT 前, 因为运行效率低下而被人诟病的原因了,

posted @ 2021-01-08 14:29  哈哈丶丶  阅读(108)  评论(0编辑  收藏  举报