我试图开发一种方法来构造算术和逻辑表达式,并对它们执行操作。对于结构,我使用复合模式,对于操作,我使用访问者模式。
我对具体访问者类的实现有点困惑。
这是我目前的做法:
我的附加课:
class
ADDITION
inherit
BINARY
create
make
feature -- ctor
make (left : EXPRESSION ; right : EXPRESSION)
do
left_expression := left
right_expression := right
end
feature -- deferred implementation
evaluate : INTEGER
do
Result := left_expression.evaluate + right_expression.evaluate
end
to_string : STRING
do
create Result.make_empty
end
accept (v : VISITOR)
do
v.visit_addition (Current)
end
end
现在对于访问者模式,这是一个应该评估给定表达式的具体访问者(我还想要一个进行类型检查、漂亮打印等的具体访问者)。
class
EVALUATE_VISITOR
inherit
VISITOR
create
make
feature -- attribs
value : INTEGER
value_bool : BOOLEAN
feature -- ctor
make
do
end
feature
visit_addition (expression : ADDITION)
do
value := expression.left_expression.evaluate +
expression.right_expression.evaluate
end
end
我的问题是,在我的每个结构(加法、减法、否定等)中都有评估方法是否违背了访问者模式的目的,因为所有评估都应该在访问者类中完成?那么如何在访问者类中实现它呢?我在想我可以做类似的事情:
visit_addition (expression : ADDITION)
do
value := expression.left_expression.accept(Current) +
expression.right_expression.accept(Current)
end
但是我的结构中必须有许多接受方法,对于算术表达式,它必须返回 INTEGER,对于逻辑运算,它必须返回 BOOLEAN。