设计模式 笔记 解释器模式 Interpreter
//---------------------------15/04/26----------------------------
//Interpreter 解释器模式----类行为型模式
/*
1:意图：
给定一个语言，定义它的文法的一种表示，并定义一个解释器，这个解释器使用该表示来解释语言中的句子。
2:动机：
3:适用性：
当有一个语言需要解释执行，并且你可将该语言中的句子表示为一个抽象语法书时，可使用解释器模式。当
存在以下情况时该模式效果最好：
1>该文法简单对于复杂的文法，文法的类层次变得庞大而无法管理。此时语法分析程序生成器这样的工具是
更好的选择。它们无需构建抽象语法树即可解释表达式。这样可以节省空间而且节省时间。
2>效率不是一个关键问题，最高效的解释器通常不是通过直接解释语法分析树实现的，而是首先将它们转换成
另外一种形式。
4:结构：
|-----------Context
|
Client------------------>AbstractExpression:<--------------------
Interpret(Context) |
| |
--------------------- |
| | |
TerminalExpression: NonterminalExpression:---
Interpret(Context) Interpret(Context)
5:参与者：
1>AbstractExpression：
声明一个抽象的解释操作，这个接口为抽象语法树中所有的节点所共享。
2>TerminalExpression(终结)：
1)实现与文法中的终结符相关联的解释操作。
2)一个句子中的每个终结符需要该类的一个实例。
3>NonterminalExpression(非终结)：
1)对文法中的每一条规则R::R1R2...Rn都需要一个NonterminalExpression类。
2)为从R1到Rn的每个符号都维护一个AbstractExpression类型的实例变量。
3)为文法中的非终结符实现解释操作。解释一般要递归地调用表示R1到Rn的那些对象的解释操作。
4>Context：
包含解释器之外的一些全局信息。
5>Client：
1)构建表示该文法定义的语言中一个特定的句子的抽象语法树。该抽象语法树由
NonterminalExpression和TerminalExpression的实例装配而成。
2)调用解释操作
6:协作：
1>Client构建一个句子，它是NonterminalExpression和TerminalExpression的实例的一个抽象语法
树，然后初始化上下文并调用解释操作。
2>每一非终结符表达式节点定义相应子表达式的解释操作。而各终结符表达式的解释操作构成了递归的基础。
3>每一节点的解释操作用上下文来存储和访问解释器的状态。
7:效果：
1>优点：
1)易于改变和扩张文法：
因为该模式使用类来表示文法规则，你可食用继承来改变或扩展该文法。已有的表达式可被增量式地
改变，而新的表达式可定义为旧表达式的变体。
2)易于实现文法：
定义抽象语法树中各个节点的类的实现大体类似。这些类易于直接编写，通常它们也可用一个编辑器
或语法分析程序生成器自动生成。
3)增加了新的解释表达式的方式:
解释器模式使得实现新表达式变的容易。
2>缺点：
1)复杂的文法难以维护：
解释器模式为文法中的每一条规则至少定义了一个类，所以包含许多规则的文法可能难以管理和维护。
8:实现：
1>创建抽象语法树：
解释器模式并未解释如何创建一个抽象的语法树。它只提供创建的规则。
2>定义解释操作：
并不一定要在表达式类中定义解释操作。可以配合Visitor模式，创建新的解释器。
3>与Flyweight模式共享终结符：
终结节点一般不存储它们在抽象语法树中位置的信息。在解释过程中，任何它们所需要的上下文信息都由父
节点传递给它们。所以可以配合Flyweight模式。
9:代码示例： */
文法定义：
BooleanExp ::= VariableExp | Constant | OrExp | AndExp | NotExp |'(' BooleanExp ')'
AndExp ::= BooleanExp'and' BooleanExp
OrExp ::= BooleanExp'or' BooleanExp
NotExp ::='not' BooleanExp
Constant ::='true' | 'false'
VariableExp ::='A' | 'B' | ... |'Y' | 'z'
//AbstractExpression：定义了操作
class BooleanExp
{
public:
BooleanExp();
virtual ~BooleanExp();
virtual bool Evaluate(Constext&) =0;
virtual BooleanExp* Replace(constchar*, BooleanExp&) = 0;
virtual BooleanExp* Copy() const = 0;
};
//Contex:定义了变量到布尔值的映射
class Context
{
public:
//检查一个变量返回什么bool值。
bool LookUp(constchar*) const;
void Assign(VariableExp*, bool);
};
//TerminalExpression:定义了终止符表达式，也就是说这个类既是表达式，也算单个变量，因为
//它是终止符了
class VariableExp :public BooleanExp
{
public:
VariableExp(constchar*);
virtual ~VariableExp();
virtual bool Evaluate(Constext&);
virtual BooleanExp* Replace(constchar*, BooleanExp&);
virtual BooleanExp* Copy() const ;
private:
char* _name;
};
VariableExp::VariableExp(constchar*)
{
_name = strdup(name);
}
//求值，直接借助Context类的LookUp返回布尔值
bool VariableExp::Evaluate(Context& aContext)
{
return aContext.LookUp(_name);
}
BooleanExp* VariableExp::Copy()const
{
return new VariableExp(_name);
}
//替换，如果变量的name和自己相等，就返回一个拷贝，否则用自己的name来创建一个变量
BooleanExp* VariableExp::Replace(constchar* name, BooleanExp& exp)
{
if(strcmp(name, _name) == 0)
{
return exp.Copy();
}
else
{
return new VariableExp(_name);
}
}
//NonterminalExpression：and操作，借助AbstractExpression接口接可以实现了
class AndExp :public BooleanExp
{
public:
AndExp(BooleanExp*, BooleanExp*);
virtual ~AndExp();
virtual bool Evaluate(Constext&);
virtual BooleanExp* Replace(constchar*, BooleanExp&);
virtual BooleanExp* Copy() const ;
private:
BooleanExp* _operand1;
BooleanExp* _operand2;
};
//要and就把内部的两个表达式and一下
AndExp::AndExp(BooleanExp* op1, BooleanExp* op2): _operand1(op1), _operand2(op2)
{
}
bool AndExp::Evaluate(Context& aContext)
{
return _operand1->Evaluate(aContext) && _operand2->Evaluate(aContext);
}
//要copy就把内部的两个表达式一起copy一下。
BooleanExp* AndExp::Copy()const
{
return AndExp(_operand1->Copy(), _operand2->Copy());
}
//要替换就，一起替换。
BooleanExp* AndExp::Replace(constchar* name, BooleanExp& exp)
{
return new AndExp(_operand1->Replace(name, exp,)
_operand2->Replace(name,exp));
}
//说明一下，NonterminalExpression类是无需关心底部具体操作的，这些事归TerminalExpression管
//它们只要调用接口就行了。
//使用：
(trueand x) or (yand (not x))
//也就是 OrExp(AndExp(true, x), AndExp(y, NotExp(x)))
BooleanExp* expression;
Context context;
VariableExp* x =new VariableExp("X");
VariableExp* y =new VariableExp("Y");
expression =new OrExp( new AndExp(new Constant(true), x),
new AndExp(y, new NotExp(x)));
context.Assign(x,false);
context.Assign(y,true);
bool result = expression->Evaluate(context);
//Constant类也算一个终止符，不过这个终止符不需要context来确定返回值，它不管constext的情况
//都返回固定的值。但是为了接口统一，它也要接受一个context，看起来像这样：
bool Constant::Evaluate(Context&)
{
return _boolean;
}
