解释器模式¶
亦称: 动作、事务、Action、Transaction、Command
背景¶
开发一套机器人控制程序。在该机器人控制程序中包含一些简单的英文控制指令,每个指令对应一个表达式(expression),该表达式可以是简单表达式,也可以是复合表达式。
每个简单表达式由移动方向(direction)、移动方式(action)和移动距离(distance)三部分组成:
移动方向包括上(up)、下(down)、左(left)、右(right);
移动方式包括移动(move)和快速移动(run);
移动距离为一个正整数。
两个表达式之间可以通过与(and)连接,形成复合(composite)表达式。例如输入控制指令“down run 10 and left move 20”,则向下快速移动10个单位再向左移动20个单位。其文法规则如下:
expression ::= direction action distance | composite // 表达式
composite ::= expression 'and' expression // 符合表达式
direction ::= 'up' | 'down' | 'left' | 'right' // 移动方向
action ::= 'move' | 'run' // 移动方式
distance ::= an integer // 移动距离
上述语言一共定义了5条文法规则,对应5个语言单位。这些语言单位可以分为两类:一类为终结符(也称为终结符表达式),例如direction、action和distance,它们是语言的最小组成单位,不能再进行拆分;另一类为非终结符(也称为非终结符表达式),例如expression和composite,它们都是一个完整的句子,包含一系列终结符或非终结符。
根据上述规则定义出的语言可以构成很多语句,计算机程序将根据这些语句进行某种操作。为了实现对语句的解释,可以使用解释器模式。在解释器模式中每一条文法规则都将对应一个类,扩展、改变文法以及增加新的文法规则都很方便。
定义¶
解释器模式(Interpreter Pattern):定义一个语言的文法,并且建立一个解释器来解释该语言中的句子,这里的“语言”是指使用规定格式和语法的代码。解释器模式是一种类行为型模式。
解释器模式结构图中包含的4个角色:
AbstractExpression(抽象表达式):
在抽象表达式中声明了抽象的解释操作,它是所有终结符表达式和非终结符表达式的公共父类。
TerminalExpression(终结符表达式):
是抽象表达式的子类,它实现了与文法中的终结符相关联的解释操作,在句子中的每一个终结符都是该类的一个实例。
通常,在一个解释器模式中只有少数几个终结符表达式类,它们的实例可以通过非终结符表达式组成较为复杂的句子。
NonTerminalExpression(非终结符表达式):
也是抽象表达式的子类,它实现了文法中非终结符的解释操作。
由于在非终结符表达式中可以包含终结符表达式,也可以继续包含非终结符表达式,因此其解释操作一般通过递归的方式来完成。
Context(环境类):
环境类又称为上下文类,它用于存储解释器之外的一些全局信息,通常它临时存储了需要解释的语句。
实现¶
AbstractNode 充当抽象表达式角色,DirectionNode、ActionNode 和 DistanceNode 充当终结符表达式角色, AndNode 和 SentenceNode 充当非终结符表达式角色。
评价¶
优点¶
易于改变和扩展文法。
由于在解释器模式中使用类来表示语言的文法规则,因此可以通过继承等机制来改变或扩展文法。
每一条文法规则都可以表示为一个类,因此可以方便地实现一个简单的语言。
实现文法较为容易。
在抽象语法树中每一个表达式节点类的实现方式都是相似的,这些类的代码编写都不会特别复杂,还可以通过一些工具自动生成节点类代码。
增加新的解释表达式较为方便。
如果用户需要增加新的解释表达式只需要对应增加一个新的终结符表达式或非终结符表达式类,原有表达式类代码无须修改,符合开闭原则。
缺点¶
对于复杂文法难以维护。
在解释器模式中,每一条规则至少需要定义一个类,因此如果一种语言包含太多文法规则,类的个数将会急剧增加,导致系统难以管理和维护,此时可以考虑使用语法分析程序等方式来取代解释器模式。
执行效率较低
由于在解释器模式中使用了大量的循环和递归调用,因此在解释较为复杂的句子时其速度很慢,而且代码的调试过程也比较麻烦。