我有一个解析器,它包含三类对象:解析器本身、Token
s 和State
s。Parser 从词法分析器生成标记。一切都是黑盒的,因此令牌对解析器状态或解析器一无所知,而状态对令牌一无所知。一个相当简单的安排版本:
class Parser {
public function parse() {
$this->state = new StEmpty;
while ($token = $this->lexer->get()) {
$this->state = $this->token->expect($this);
}
}
public function stateStart() {
return $this->state->stateStart();
}
}
class StartToken {
public function expect(Parser $parser) {
return $parser->stateStart();
}
}
class StEmpty {
public function stateStart() {
return new StStart;
}
}
我遇到的问题是,有时当状态发生变化时,解析器需要采取一些行动(例如在到达结束规则标记时向树中添加规则)。只有那些State
知道这一点,所以由状态来告诉解析器该做什么。问题是Parser
获取State
. Parser
我可以在状态构造函数中注入,但不是每个人都State
需要解析器,这会导致很多重复的代码(除非我有State
s 的基类并且 theParser
是受保护的成员,但我想避免扩展任何东西)。我也可以在需要它Parser
的state
方法中注入,但我有一个类似的问题:这将是很多重复,而不是所有的State
实现将需要给定方法的解析器。
所以我的问题是如何在没有不必要的继承或代码重复的情况下State
知道Parser
何时需要?如果我需要另一个完全可以接受的课程。
如果这很难理解,这里有一个“未解开”的版本:
class Parser {
public function parse() {
$this->state = 'StEmpty';
while ($token = $this->lexer->get()) {
switch ($token) {
case 'StartToken':
switch ($this->state) {
case 'StEmpty':
$this->state = 'StStart';
break;
}
break;
}
}
}
}
这个问题的答案也适用于其他语言,但我知道这在允许重载的语言中更容易做到。PHP 没有。