Thần X3, hành động ngữ nghĩa làm cho biên soạn không thành công với: Thuộc tính không có kích thước dự kiến ​​

Question

Mã này không biên dịch (gcc 5.3.1 + tăng 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()); 
} 

Nó không thành công với một sự khẳng định tĩnh:

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

Nhờ Wandbox, tôi cũng cố gắng tăng 1,61 và kêu vang, cả hai đều cho ra kết quả tương tự.

Nếu tôi xóa hành động ngữ nghĩa được đính kèm với portal, nó sẽ biên dịch tốt; điều tương tự cũng xảy ra nếu tôi thay đổi dest thành:

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

Mọi trợ giúp sẽ được đánh giá cao. TIA.

Answer 1

Điều này cũng gây ngạc nhiên cho tôi, tôi sẽ báo cáo nó trong danh sách gửi thư (hoặc trình theo dõi lỗi) là một lỗi tiềm ẩn.

Trong khi đó, bạn có thể "sửa chữa" nó bằng cách cung cấp một loại thuộc tính cho 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] 

LƯU Ý Tôi đã thay đổi char_('P') thành chỉ lit('P') vì tôi không muốn làm phức tạp mẫu xử lý ký tự trong thuộc tính. Có lẽ bạn đã không có ý nghĩa để có nó trong thuộc tính tiếp xúc anyways.