Esprit X3, l'action sémantique fait compilation échoue avec: attribut n'a pas la taille attendue

Question

Ce code ne compile (gcc 5.3.1 SURCPL 1,60):

#include <boost/spirit/home/x3.hpp> 

namespace x3 = boost::spirit::x3; 

template <typename T> 
void parse(T begin, T end) { 
    auto dest = x3::lit('[') >> x3::int_ >> ';' >> x3::int_ >> ']'; 

    auto on_portal = [&](auto& ctx) {}; 
    auto portal = (x3::char_('P') >> -dest)[on_portal]; 

    auto tiles = +portal; 
    x3::phrase_parse(begin, end, tiles, x3::eol); 
} 

int main() { 
    std::string x; 
    parse(x.begin(), x.end()); 
} 

Il échoue avec une assertion statique:

error: static assertion failed: Attribute does not have the expected size. 

Grâce à wandbox j'ai également essayé 1.61 boost et clang, les deux produisent les mêmes résultats.

Si je supprime l'action sémantique attachée à portal, il compile bien; la même chose se produit si je change dest à:

auto dest = x3::lit('[') >> x3::int_ >> ']'; 

Toute aide serait appréciée. TIA.

Answer 1

Cela me surprend aussi, je le signalerais sur la liste de diffusion (ou le bug tracker) comme un bug potentiel.

Pendant ce temps, vous pouvez "réparer" en fournissant un type d'attribut pour dest:

Live On Coliru

#include <boost/fusion/adapted/std_tuple.hpp> 
#include <boost/spirit/home/x3.hpp> 
#include <iostream> 

namespace x3 = boost::spirit::x3; 

template <typename T> 
void parse(T begin, T end) { 
    auto dest = x3::rule<struct dest_type, std::tuple<int, int> > {} = '[' >> x3::int_ >> ';' >> x3::int_ >> ']'; 

    auto on_portal = [&](auto& ctx) { 
     int a, b; 
     if (auto tup = x3::_attr(ctx)) { 
      std::tie(a, b) = *tup; 
      std::cout << "Parsed [" << a << ", " << b << "]\n"; 
     } 
    }; 
    auto portal = ('P' >> -dest)[on_portal]; 

    auto tiles = +portal; 
    x3::phrase_parse(begin, end, tiles, x3::eol); 
} 

int main() { 
    std::string x = "P[1;2]P[3;4]P[5;6]"; 
    parse(x.begin(), x.end()); 
} 

Prints:

Parsed [1, 2] 
Parsed [3, 4] 
Parsed [5, 6] 

NOTE J'ai changé char_('P') en juste lit('P') parce que je ne voulais pas compliquer l'exemple traitant du caractère dans l'attribut. Peut-être que vous ne vouliez pas l'avoir dans l'attribut exposé de toute façon.