आत्मा X3, अर्थ कार्रवाई संकलन में विफल रहता है के साथ बनाता है: गुण नहीं है उम्मीद आकार

Question

इस कोड नहीं compiles (जीसीसी 5.3.1 + को बढ़ावा देने के 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()); 
} 

यह एक स्थिर दावे से विफल रहता है:

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

वंडबॉक्स के लिए धन्यवाद मैंने 1.61 और क्लैंग को भी बढ़ावा देने का प्रयास किया, दोनों एक ही परिणाम उत्पन्न करते हैं।

यदि मैं portal से जुड़ी अर्थपूर्ण कार्रवाई को हटा देता हूं, तो यह ठीक संकलित करता है;

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

किसी भी मदद की सराहना की जाएगी: एक ही अगर मैं dest करने के लिए बदल होता है। TIA।

Answer 1

यह भी मेरे लिए आश्चर्यजनक है, मैं इसे संभावित बग के रूप में मेलिंग सूची (या बग ट्रैकर) पर रिपोर्ट करता हूं।

इस बीच, आप इसे एक विशेषता प्रकार की आपूर्ति करके "ठीक" कर सकते हैं 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()); 
} 

प्रिंटों:

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

नोट मैंने char_('P') को lit('P') में बदल दिया क्योंकि मैं विशेषता में चरित्र से निपटने वाले नमूना को जटिल नहीं करना चाहता था। शायद आप इसका मतलब किसी भी तरह से उजागर विशेषता में नहीं लेना चाहते थे।