初识设计模式 - 解释器模式

简介

在某些情况下，为了更好地描述某一些特定类型的问题，我们可以创建一种新的语言，这种语言拥有自己的表达式和结构，即文法规则。

解释器设计模式（Interpreter Design Pattern）描述了如何为简单的语言定义一个文法，如何在该语言中表示一个句子，以及如何解释这些句子。

因此，解释器模式的定义是，为某个语言定义它的语法（文法）表示，并定义一个解释器用来处理这个语法。

典型实现

首先，需要定义一个抽象表达式类，其声明了抽象的解释操作，其代码示例如下：

public abstract class AbstractExpression {
 public abstract void interpret(Context context);
}

终结符表达式是抽象表达式的子类，它实现了与文法中的终结符相关联的解释操作，在句子中的每一个终结符都是该类的一个实例。其代码示例如下：

public class TerminalExpression extends AbstractExpression {
 public void interpret(Context context) {
 // 终结符表达式的解释操作
 }
}

非终结符表达式类相对比较复杂，由于在非终结符表达式中可以包含终结符表达式，也可以继续包含非终结符表达式，因此其解释操作一般通过递归的方式来完成。其代码示例如下：

public class NonTerminalExpression extends AbstractExpression {
 private AbstractExpression left;
 private AbstractExpression right;
 public NonTerminalExpression(AbstractExpression left, AbstractExpression right) {
 this.left = left;
 this.right = right;
 }
 public void interpret(Context context) {
 // 递归调用每一个组成部分的 interpret() 方法
 // 在递归调用时指定组成部分的连接方式，即非终结符的功能
 }
}

通常在解释器模式中会提供一个环境类用于存储一些全局信息，如使用 HashMap 或者 ArrayList 等类型的集合对象，存储一系列公共信息，其代码示例如下：

public class Context {
 private HashMap<String, String> map = new HashMap<>();
 public void assign(String key, String value) {
 // 往环境中设值
 map.put(key, value);
 }
 public String lookup(String key) {
 // 获取存储在环境类中的值
 return map.get(key);
 }
}

总结

优点

解释器模式的主要优点如下：

• 易于改变和扩展文法
• 每一条文法规则都可以表示为一个类，因此可以方便地实现一个简单的语言
• 实现文法较为容易
• 增加新的解释器表达式较为方便

缺点

解释器模式的主要缺点如下：

• 对于复杂文法难以维护，增加文法规则会导致类急剧增加，导致系统难以管理和维护
• 解释器模式使用了大量循环和递归调用，执行效率较低

适用场景

解释器模式的适用场景如下：

• 可以将一个需要解释执行的语言中的句子表示为一个抽象语法树
• 一些重复出现的问题可以用一种简单的语言来进行表达
• 一个语言的文法较为简单

源码

在 JDK 中，java.text.Format 就是一个抽象表达式类的实现，如下是其部分源码：

public abstract class Format implements Serializable, Cloneable {
 AttributedCharacterIterator createAttributedCharacterIterator(String s) {
 AttributedString as = new AttributedString(s);
 return as.getIterator();
 }
 AttributedCharacterIterator createAttributedCharacterIterator(
 AttributedCharacterIterator[] iterators) {
 AttributedString as = new AttributedString(iterators);
 return as.getIterator();
 }
}