C++, Boost, Spirit: In Identifier-Ketten keine Blanks erlauben?

Gast #6190739
Ich versuche (erstmals mit Spirit) mit '.' verkettete Identifier zu 
parsen (wird Teil eines komplexeren Expression Parsers)

leider dürfen jetzt gerade zwischen den Identifieren und Punkten auch 
noch Blanks sein - was für die restliche Expression-Parser Entwicklung 
sehr gut ist aber in diesem Fall leider nicht

Ich habe versucht mit qi::lexeme und qi::no_skip zu arbeiten
aber leider scheint qi::lexeme nicht auf ganze Parser wie den Identifier 
anwendbar zu sein und mit no_skip wird gar nichts mehr geparst

d.h. die beiden letzten von den 4 Tests sollten nicht parsen

Zum Online kompilieren und spielen:
https://wandbox.org/permlink/o5kcYtUQEfKZqJgw
1
#include <iostream>
2
#include <iomanip>
3
#include <string>
4
#include <boost/spirit/include/qi.hpp>
5
#include <boost/spirit/include/support_utree.hpp>
6

7
namespace qi = boost::spirit::qi;
8
using boost::spirit::utree;
9

10
int main() {
11
    auto tests = std::vector<std::string> {
12
         "a", // ok
13
         "a.b", // ok
14
         "a . b", // nok
15
         "a . b. c" // nok
16
    };
17
    for (std::string str : tests) {
18
        auto iter = str.begin(), end = str.end();
19

20
        qi::rule<std::string::iterator, qi::blank_type, utree()> identifier 
21
            = qi::lexeme[qi::ascii::alpha >> *(qi::ascii::alnum | '_')];
22

23
        qi::rule<std::string::iterator, qi::blank_type, utree()> identifier_chain 
24
            = identifier >> *('.' >> identifier);
25

26
        utree ut;
27
        bool r = qi::phrase_parse(iter, end, identifier_chain, qi::blank, ut);
28

29
        if (r && iter == end) {
30
            std::cout << "OK: \n" << ut << "\n";
31
        }
32
        else {
33
            std::string rest(iter, end);
34
            std::cout << "Failed\nstopped at: \": " << rest << "\"\n";
35
        }
36
        std::cout << "----\n";
37
    }
38
    return 0;
39
}

Ziel:

so was will ich am Ende parsen können
1
"a.b.c.d[x,y][a,b].z.b[0].a(y,d,b)[39,2].x[3]"

da brauche ich wohl noch ein bisschen aber das wird schon
nur eben so whitespace Skipping blockiert mich gerade

TODOs die noch so auf meiner Liste sind:

double-quoted strings MIT Escaping:
1
double_quoted_string = '"' >> qi::no_skip[+~qi::char_('"')] >> '"';

wie kann man Escaping wie in CSV-Dateien mit einem weiteren " erreichen

also: "Hallo ""Spirit"" wie gehts"
Gast #6190741
Wenn ich qi::lexeme auf die identifier_chain anwenden bekomme ich eine 
Meldung das der Parser nicht auf Skippable gecastet werden kann - 
scheint also nur für Charakterklassen zu gehen
Gast #6190760
und natürlich kann ich mein identifier_chain rule auch "manuell" 
ausprägen
1
qi::rule<std::string::iterator, qi::blank_type, utree()> identifier_chain 
2
  = qi::lexeme[qi::ascii::alpha >> *(qi::ascii::alnum | '_') 
3
  >> *('.' >> qi::ascii::alpha >> *(qi::ascii::alnum | '_'))];

dann geht es auch - ist aber reichlich redundant und was ist dann der 
Sinn von den Rules?
Gast #6191397
bei Stackoverflow wurde mir geholfen
1
        qi::rule<std::string::const_iterator, utree()>
2
            identifier = qi::ascii::alpha >> *(qi::ascii::alnum | '_'),
3
            identifier_chain = identifier >> *('.' >> identifier);

einfach den qi::blank_type weglassen dann ist lexeme default
#6194116
cppbert schrieb:
>
1
>         std::cout << "----\n";
2
>

Prima, daß Du die Lösung schon gefunden hast, aber an dieser Stelle 
möchte ich kurz an std::endl anstelle von "\n" erinnern. std::endl setzt 
auf dem jeweiligen Betriebssystem den korrekten Zeilenumbruch ("\n" 
unter UNIXen, "\r\n" unter Windows, IIRC "\r" unter MacOS)... ;-)

Antwort schreiben

Eine eigene Frage? Dieser Thread ist über 6 Jahre alt. Stell sie in einem eigenen Thread – dort lesen mehr Leute mit, und sie wird öfter und schneller beantwortet.

Neuen Thread starten

Eine Lösung, Ergänzung oder Rückmeldung zu diesem Thread? Dann antworte hier.

Formatierung
  • [c]C-Code[/c]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.