我想解析以下回避规则,该规则解析简单的模板类标识符,如下所示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 很好。我的语法中是否存在一些逻辑错误,或者我是否错误地使用了提升精神,因为这是一个递归规则?
我已经找到了为什么无法解析。我必须将此(identifier | class_identifier)
更改为此(class_identifier | identifier)
,因为它也是class_identifier
规则也以identifier
开头。这就是为什么它每次都尝试使用 identifier
规则解析,然后在<