BoostSpirit:在解析过程中设置子语法

为了处理大量的编译时间和语法的重用，我将语法组成了几个按顺序调用的子语法。其中一个子语法（称之为SETUP语法）提供了解析器的一些配置（通过符号解析器），因此后面的子语法在逻辑上依赖于该子语法（同样通过不同的符号解析器）。因此，在解析SETUP之后，需要更改以下子语法的符号解析器。

我的问题是，如何有效地处理这一问题，同时保持子语法之间的松散耦合？

目前我只看到两种可能性：

• SETUP语法的on_ccess处理程序可以完成这项工作，但这会引入一些耦合
• SETUP之后，将所有内容解析为一个字符串，构建一个新的解析器（根据修改后的符号），并在第二步中解析该字符串。这将留下相当多的开销

我想要的是一个on_before_parse处理程序，它可以由任何需要在每次解析之前做一些工作的语法来实现。从我的角度来看，这将减少耦合，并且解析器的一些设置在其他情况下也可以派上用场。这样的事情可能发生吗？

更新：

抱歉说得太粗略了，那不是我的本意。

任务是用一些关键字（如#task1和#task2）解析输入I。但在某些情况下，这些关键字需要不同，比如$$task1和$$task2。

因此，解析后的文件将以开头

setup {
  #task1=$$task1
  #task2=$$task2
}
realwork {
  ...
}

一些代码草图：Given是一个主解析器，由几个（至少两个）解析器组成。

template<typename Iterator>
struct MainParser: qi::grammar<Iterator, Skipper<Iterator>> {
  MainParser() : MainParser::base_type(start) {
    start = setup >> realwork;
  }
  Setup<Iterator>    setup;
  RealWork<Iterator> realwork;
  qi::rule<Iterator, Skipper<Iterator> > start;
}

CCD_ 5和CCD_。在设置部分，语法中的一些关键字可能会被更改，因此设置部分具有qi::symbols<char, keywords>规则。在开头，这些符号将包含#task1和#task2。在解析文件的第一部分之后，它们包含$$task1和$$task2。

由于关键字已经更改，并且RealWork需要解析I，因此它需要了解新的关键字。因此，在文件的配对过程中，我必须将符号从Setup传输到RealWork。

我看到的两种方法是：

• 使Setup知道RealWork，并在Setup的qi::on_success处理程序中将符号从Setup传输到RealWork。（坏，耦合）

• 切换到两个解析步骤。MainParser的start看起来像

  start = setup >> unparsed_rest
  

  并且在CCD_ 23之后将存在第二解析器。示意图：

  SymbolTable Table;
  string Unparsed_Rest;
  MainParser.parse(Input, (Unparsed_Rest, Table));
  RealWordParser.setupFromAlteredSymbolTable(Table);
  RealWorkParser.parse(Unparsed_Rest);
  

  几个解析步骤的开销。

因此，到目前为止，属性还没有发挥作用。只是在解析时更改解析器来处理几种类型的输入文件。

我希望是一个像qi::on_success一样的qi::on_before_parse处理程序。从这个想法来看，每当解析器开始解析输入时，就会触发这个处理程序。从理论上讲，这只是解析开始时的拦截，就像我们的拦截on_success和on_error一样。