C的许多(大多数)正则表达式库允许在运行时从字符串创建表达式.有人知道任何C语法分析程序生成器允许在运行时将一个表示为字符串的语法(最好是BNF)提供到生成器中？我发现所有的实现都需要运行一个显式的代码生成器,或者需要通过聪明的模板元编程来表达语法.
解决方法
应该很容易构建递归下降,回溯解析器接受语法作为输入.您可以将所有规则减少到以下表单(或者像您有的一样)：
A = B C D ;
通过递归下降来解析这样一个规则很容易：调用一个对应于找到一个B的例程,然后找到一个找到一个C的程序,然后找到一个.给定你正在做一个通用的解析器,你可以随时调用一个“parse_next_sentential_form x)“函数,并将所需表单(终端或非终结令牌)的名称传递为x(例如”B“,”C“,”D“).
在处理这样一个规则时,解析器想通过找到一个B,然后找到一个B,然后是D来生成一个A.要找到B(或C或D),你想要一个索引的规则集,其中所有的左侧是一样的,所以可以轻松地列举B生成规则,并递归处理其内容.如果你的解析器发生故障,它只是回溯.
这不会是一个闪电般快速的解析器,但如果实施得当,不应该是可怕的.
还可以使用Earley解析器,通过创建部分处理规则的状态进行解析.
如果你想要这么快,我想你可以简单地拿出野牛的胆量,把它变成一个图书馆.然后,如果你有语法文本或语法规则(不同的入口点到Bison),你可以启动它,并在内存中生成它的表(它必须以某种形式进行).不要吐出来;只需构建一个使用它们的LR解析引擎. Voila,即时高效的解析器生成.如果你这样做,你必须担心歧义和LALR(1)你的语法;以前的两个解决方案与任何上下文无关的语法一起工作.