Parsing rekursive Regeln mit Geist x3

Question

Ich mag würde die folgende recusive Regel zu analysieren, die einfach hier Vorlage classe Kennung wie foo<bar> foo<bar,baz> foo<bar<baz>> parst ist die einfache Grammatik:

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

Ich habe versucht, einen Parser mit x3 wie folgt zu schreiben:

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) 

aber dieser Versuch fehlschlägt Sachen wie diese foo<bar<baz>> zu analysieren, aber foo ist in Ordnung. Gibt es einen logischen Fehler in meiner Grammatik oder verwende ich Boost Spirit falsch, da dies eine rekursive Regel ist?

Answer 1

Ich habe gefunden, warum dies nicht analysiert werden kann. Ich habe diese (identifier | class_identifier) zu dieser (class_identifier | identifier) ändern, weil es auch die class_identifier Regel beginnt mit einem identifier. das ist, warum es versucht, jedes Mal mit der identifier Regel zu analysieren und schlägt dann fehl am <