【设计模式】行为模式：解释器模式

意图

给定一个语言，定义它的文法的一种表示，并定义一个解释器，这个解释器使用该表示来解释语言中的句子。

适合应用场景

• 可以将一个需要解释执行的语言中的句子表示为一个抽象语法树。

• 一些重复出现的问题可以用一种简单的语言来进行表达。

• 一个简单语法需要解释的场景。

相关术语

巴科斯范式(BNF)

BNF(Backus-Naur Form)是以美国人巴科斯(Backus)和丹麦人诺尔(Naur)的名字命名的一种形式化的语法表示方法，用来描述语法的一种形式体系，是一种典型的元语言。

• ::=：表示定义为，左边的语言单位可以通过右边进行说明和定义。
• |：表示或者。
• ""或''：双引号或单引号里面的字符串表示字符串本身。
  终结符：语言的最小组成单位，不能再拆分，比如上面的literal。
  非终结符：一个完整的句子，包含一些列终结符或非终结符。

例子

现在以上图5条文法规则构建一个解析器，每一条文法规则会实现一个表达式类：

用以上解析器解析一条语句：raining & (dogs | cats) *，得到下图抽象语法树：

通过实现表达式类中的interpret()函数就可以实现解释语言的功能了。
还有例子就是AWTK中的fscript，通过解析器解析xml中的语句，并且实现对应功能。

解释器模式结构

AbstractExpression（抽象表达式）：在抽象表达式中声明了抽象的解释操作，它是所有终结符表达式和非终结符表达式的公共父类。
TerminalExpression（终结符表达式）：终结符表达式是抽象表达式的子类，它实现了与文法中的终结符相关联的解释操作，在句子中的每一个终结符都是该类的一个实例。通常在一个解释器模式中只有少数几个终结符表达式类，它们的实例可以通过非终结符表达式组成较为复杂的句子。
NonterminalExpression（非终结符表达式）：非终结符表达式也是抽象表达式的子类，它实现了文法中非终结符的解释操作，由于在非终结符表达式中可以包含终结符表达式，也可以继续包含非终结符表达式，因此其解释操作一般通过递归的方式来完成。
Context（上下文类）：它用于存储解释器之外的一些全局信息，通常它临时存储了需要解释的语句。

小结

优点

• 易于改变和扩展文法。

• 易于实现简单文法。

• 增加了新的解释表达式的方式。

缺点

• 可利用场景比较少。

• 对于复杂的文法比较难维护。

• 解释器模式会引起类膨胀。

• 解释器模式采用递归调用方法，递归调用浪费了空间，而且递归太深容易造成堆栈的溢出 。

参考

《设计模式：可复用面向对象软件的基础》