2

我想解析以下解析简单模板类标识符的递归规则，如下所示foo<bar> foo<bar,baz> foo<bar<baz>>是简单语法：

identifier := A-Z | a-z | _
class_identifier = identifier ?("<" identifier|class_identifier 
                                    ( "," identifier|class_identifier)* 
                                ">")

我试图用 x3 编写一个解析器，如下所示：

 auto const identifier = x3::rule<class identifier_id, std::string>{"identifier"}
                          = +x3::char_("A-Za-z");

 x3::rule<class class_identifier, std::string> class_identifier = "class_identifier";

 auto const class_identifier_def  = identifier //classname
                                            >> -(x3::string("<")
                                                 >> (identifier | class_identifier)                                           
                                                 >> *(x3::string(",")                                                     
                                                      >> (identifier | class_identifier))
                                                 >> x3::string(">"));
 BOOST_SPIRIT_DEFINE(class_identifier)

但是这个尝试无法解析这样的东西，foo<bar<baz>>但 foo 很好。我的语法中是否存在一些逻辑错误，或者我是否使用了错误的提升精神，因为这是一个递归规则？

4

1 回答 1

3

我找到了为什么这无法解析。我不得不将其更改为此(identifier | class_identifier) ，(class_identifier | identifier)因为它的class_identifier规则也以identifier. 这就是为什么它每次都尝试使用identifier规则解析然后在<

于 2016-05-26T19:42:35.090 回答