//---------------------------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
;

virtual BooleanExp* Replace(constchar*, BooleanExp&) =
;

virtual BooleanExp* Copy()
;

};

//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) ==
)

{

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;

}

04-14 12:03