Das Parsen von Konstruktorinitialisierer für Vorlage verstehen

Question

Ich versuche zu verstehen a program demonstrating boost/spirit.

Im folgenden Template-Definition:

template <typename Iterator> 
struct roman : qi::grammar<Iterator,unsigned()> { 
    roman() : roman::base_type(start) 
    { 
     using qi::eps; 
     using qi::lit; 
     using qi::_val; 
     using qi::_1; 
     using ascii::char_; 

     start = eps[_val = 0] >> 
      (
       +lit('M')[_val += 1000] 
       || hundreds[_val += _1] 
       || tens[_val += _1] 
       || ones[_val += _1] 
       ) 
      ; 
    } 

    qi::rule<Iterator,unsigned()> start; 
}; 

Ich versuche, die Bedeutung von : roman::base_type(start) zu verstehen.

• Ich nehme an, es ist ein constructor initializer.
• Außerdem gehe ich davon aus, dass es sich um eine member initializer list und
  • , dass das Mitglied-initializer roman::base_type(start) eine Basis von romanbase_type
  • die eigentlich für grammar<Iterator, T1, T2, T3, T4> aus dem roman erbt ein typedef aufgerufen initialisiert.

Was ich nicht verstehe ist, wie es mit start initialisiert werden kann, wenn start Mitglied von roman ist, die abgeleitete Klasse wir konstruieren noch?

Answer 1

Aus der Erzählung um das Beispiel in der Dokumentation:

1. der Basisgrammatik Klasse initialisieren, indem er die Startregel (seine die erste Regel geben, die, wenn sie aufgerufen wird die Grammatik beginnt das Parsen)

Quelle: http://www.boost.org/doc/libs/1_60_0/libs/spirit/doc/html/spirit/qi/tutorials/roman_numerals.html

Es ist eine Referenz auf das Element übergeben. Obwohl das Element zu diesem Zeitpunkt nicht konstruiert ist, ist der Verweis darauf gültig. Sofern die Basisklasse die Referenz nicht dereferenziert (d. H. Nur speichert oder ihre Adresse nimmt), ist der Code legal ... wenn ein wenig "gefährlich".