解释器模式
解释器模式(Interpreter Pattern)提供了评估语言的语法或表达式的方式,它属于行为型模式。这种模式实现了一个表达式接口,该接口解释一个特定的上下文。这种模式被用在 SQL 解析、符号处理引擎等。
适用性:
在以下情况下可以考虑使用解释器模式:
(1) 可以将一个需要解释执行的语言中的句子表示为一个抽象语法树。
(2) 一些重复出现的问题可以用一种简单的语言来进行表达。
(3) 一个语言的文法较为简单。
(4) 执行效率不是关键问题。(注:高效的解释器通常不是通过直接解释抽象语法树来实现的,而是需要将它们转换成其他形式,使用解释器模式的执行效率并不高。)
优缺点:
优点:
(1) 易于改变和扩展文法。由于在解释器模式中使用类来表示语言的文法规则,因此可以通过继承等机制来改变或扩展文法。
(2) 每一条文法规则都可以表示为一个类,因此可以方便地实现一个简单的语言。
(3) 实现文法较为容易。在抽象语法树中每一个表达式节点类的实现方式都是相似的,这些类的代码编写都不会特别复杂,还可以通过一些工具自动生成节点类代码。
(4) 增加新的解释表达式较为方便。如果用户需要增加新的解释表达式只需要对应增加一个新的终结符表达式或非终结符表达式类,原有表达式类代码无须修改,符合“开闭原则”。
缺点:
(1) 对于复杂文法难以维护。在解释器模式中,每一条规则至少需要定义一个类,因此如果一个语言包含太多文法规则,类的个数将会急剧增加,导致系统难以管理和维护,此时可以考虑使用语法分析程序等方式来取代解释器模式。
(2) 执行效率较低。由于在解释器模式中使用了大量的循环和递归调用,因此在解释较为复杂的句子时其速度很慢,而且代码的调试过程也比较麻烦。
总论:
尽量不要在重要模块中使用解释器模式,因为维护困难。在项目中,可以使用脚本语言来代替解释器模式。
实现
抽象表达式角色(AbstractExpression): 声明一个抽象的解释操作,这个接口为所有具体表达式角色都要实现的。
终结符表达式角色(TerminalExpression): 实现与文法中的元素相关联的解释操作,通常一个解释器模式中只有一个终结符表达式,但有多个实例对应不同的终结符,
终结符就是语言中用到的基本元素,一般不能再被分解,如: x -> xa, 这里a是终结符,因为没有别的规则可以把a变成别的符号,不过x可以变成别的符号,所以x是非终结符。
非终结符表达式角色(NonterminalExpression): 文法中的每条规则对应于一个非终结表达式, 非终结表达式根据逻辑的复杂程度而增加,原则上每个文法规则都对应一个非终结符表达式。
环境角色(Context):包含解释器之外的一些全局信息。
步骤 1
创建上下文
class Contex{
private:
map<string,int> _valueMap;
public:
int getValue(const string & key){
return _valueMap[key];
}
void addValue( const string & key,int value){
_valueMap.insert(pair<string,int>(key,value));
}
};
步骤 2
创建抽象表达式接口
class AbstractExpression{
public:
virtual ~ AbstractExpression(){}
virtual int interpreter(Contex & contex) = 0;
};
步骤 3
创建两种非终结表达式
class AddNonterminalExpression : public AbstractExpression{
private:
AbstractExpression * _left;
AbstractExpression * _right;
public:
AddNonterminalExpression(AbstractExpression * left,AbstractExpression * right):_left(left)
,_right(right){}
int interpreter(Contex &contex) override {
return _left->interpreter(contex) + _right->interpreter(contex);
}
};
class SubNonterminalExpression : public AbstractExpression{
private:
AbstractExpression * _left;
AbstractExpression * _right;
public:
SubNonterminalExpression(AbstractExpression *_left, AbstractExpression *_right) : _left(_left), _right(_right) {}
int interpreter(Contex &contex) override {
return _left->interpreter(contex) - _right->interpreter(contex);
}
};
步骤 4
创建终结表达式实现
class TerminalExpresiion : public AbstractExpression{
private:
int _i;//终结符不能再切割
public:
TerminalExpresiion(int i) : _i(i) {}
int interpreter(Contex &contex) override {
return _i;
}
};
步骤 5
验证
Contex contex;
contex.addValue("a",1);
contex.addValue("b",2);
contex.addValue("c",3);
AbstractExpression * sub_left = new TerminalExpresiion(contex.getValue("a"));
AbstractExpression * sub_right = new TerminalExpresiion(contex.getValue("b"));
AbstractExpression * subvalue = new SubNonterminalExpression(sub_left,sub_right);
AbstractExpression * add_right = new TerminalExpresiion(contex.getValue("c"));
AbstractExpression * addvalue = new AddNonterminalExpression(subvalue,add_right);
std::cout << addvalue->interpreter(contex) << std::endl;
delete(addvalue);
delete(add_right);
delete(subvalue);
delete(sub_right);
delete(sub_left);
输出结果
2