X3, qu'est-ce que attr_gen?

Question

Je finis par obtenir ces erreurs de mouvement beaucoup et je ne sais pas pourquoi, sinon d'avoir quelque chose à voir avec la façon dont je suis l'analyse des chaînes. Supprimer tout ce qui a trait à 'mannequin' et les erreurs reviennent. Quelqu'un a mentionné using attr_gen (n'a pas pu trouver ceci dans les docs) et en faisant ainsi, je peux passer ces erreurs de compilation de «traits :: move_to», mais l'analyseur échoue toujours. J'ai marqué les lignes que j'ai ajoutées pour le compiler, mais ne pense pas être nécessaire avec "< ---".

#define BOOST_SPIRIT_X3_DEBUG 

#include <complex> 
#include <iostream> 
#include <string> 
#include <vector> 

#include <boost/spirit/home/x3.hpp> 
#include <boost/fusion/include/adapt_struct.hpp> 
#include <boost/fusion/include/io.hpp> 

namespace client { 
    namespace ast { 
     struct number { 
      int num1; 
      int num2; 
     }; 

     struct comment { 
      std::string text; 
      bool dummy;  // <--- 
     }; 

     struct input { 
      std::vector<comment> comments; 
      std::vector<number> numbers; 
     }; 
    } 
} 

BOOST_FUSION_ADAPT_STRUCT(client::ast::comment, text, dummy) // <--- 
BOOST_FUSION_ADAPT_STRUCT(client::ast::number, num1, num2) 
BOOST_FUSION_ADAPT_STRUCT(client::ast::input, comments, numbers) 

namespace client {  
    namespace parser { 

     namespace x3 = boost::spirit::x3; 
     namespace ascii = boost::spirit::x3::ascii; 

     using namespace x3; 
     x3::attr_gen dummy; // <---     

     auto const comment = char_ % ' ' >> dummy(false);  // <--- 
     //auto const comment = lexeme[+graph] >> dummy(false); 
     auto const number = int_ >> int_; 

     auto lines = [](auto p) { return *(p >> eol); }; 

     auto const input = skip(blank) [ 
      lines(comment) >> 
      lines(number) 
     ]; 
    } 
} 

int main() 
{ 
    namespace x3 = boost::spirit::x3; 
    using boost::spirit::x3::ascii::blank; 
    using x3::char_; 

    std::string const iss(R"(this is a test 
    1 2)"); 

    auto iter = iss.begin(), eof = iss.end(); 

    client::ast::input types; 

    bool ok = parse(iter, eof, client::parser::input, types); 

    if (iter != eof) { 
     std::cout << "Remaining unparsed: '" << std::string(iter, eof) << "'\n"; 
    } 
    std::cout << "Parsed: " << (100.0 * std::distance(iss.begin(), iter)/iss.size()) << "%\n"; 
    std::cout << "ok = " << ok << std::endl; 

    for (auto& item : types.comments) { std::cout << boost::fusion::as_deque(item) << "\n"; } 
    for (auto& item : types.numbers) { std::cout << boost::fusion::as_deque(item) << "\n"; } 
} 

Answer 1

x3::attr() est parfaitement documented (le type de générateur derrière elle est un détail de mise en œuvre, tout comme vous utiliseriez x3::int_, non x3::int_gen).

Le fait que vous en ayez besoin a déjà été répondu. La clé est d'avoir des séquences de fusion à un seul élément.

• Spirit Qi attribute propagation issue with single-member struct
• Boost spirit compile error for trivial grammar

Answer 2

comment = char_ % ' '; 

Cette analyse 1 ou plusieurs caractères arbitraires séparés par des littéraux seul espace. Dans votre cas, il peut correspondre seulement 't' parce que ce qui suit est 'h', pas un ' '.

Je naturellement épelle

comment = *(char_ - eol); 

Donc, il correspondre à quelque chose jusqu'à ce que eol. Si vous insistez sur l'adéquation entre les choses « verbeux », par tous les moyens

comment = skip(blank) [ *lexeme[+graph_] ]; 

Synthétiser l'entrée adaptée dans un attribut de chaîne, l'envelopper dans raw[]:

comment = raw [ skip(blank) [ *graph_ ] ]; 

Ou si, en effet vous voulez pas d'autre des espaces que ' ', rendent si

comment = raw[ skip(' ') [ *graph_ ] ]; 

il est un peu bizarre de ce sort comme

comment = raw[ (+graph_) % ' ' ]; 

Parce que

• il ne correspond pas à une ligne vide
• il ne correspond pas "hello world" ou ` "bonjour \ tworld" »