Синтаксический анализ списка диапазонов и чисел с семантическими действиями

С помощью Boost.Spirit X3, Я хочу разобрать разделенный запятыми список диапазонов и отдельных номеров (например, 1-4, 6, 7, 9-12) в один std::vector<int>, Вот что я придумала:

namespace ast {
struct range
{
int first_, last_;
};

using expr = std::vector<int>;
}

namespace parser {
template<typename T>
auto as_rule = [](auto p) { return x3::rule<struct _, T>{} = x3::as_parser(p); };

auto const push = [](auto& ctx) {
x3::_val(ctx).push_back(x3::_attr(ctx));
};

auto const expand = [](auto& ctx) {
for (auto i = x3::_attr(ctx).first_; i <= x3::_attr(ctx).last_; ++i)
x3::_val(ctx).push_back(i);
};

auto const number = x3::uint_;
auto const range  = as_rule<ast::range> (number >> '-' >> number                   );
auto const expr   = as_rule<ast::expr>  ( -(range [expand] | number [push] ) % ',' );
}

Учитывая вход

    "1,2,3,4,6,7,9,10,11,12",   // individually enumerated
"1-4,6-7,9-12",             // short-hand: using three ranges

это успешно анализируется как ( Жить на Колиру ):

OK! Parsed: 1, 2, 3, 4, 6, 7, 9, 10, 11, 12,
OK! Parsed: 1, 2, 3, 4, 6, 7, 9, 10, 11, 12,

Вопрос: Я думаю, что понимаю, что применение семантического действия expand к range часть необходима, но зачем мне также применять семантическое действие push к number часть? Без этого (то есть с равниной ( -(range [expand] | number) % ',') правило для exprотдельные номера не распространяются в AST ( Жить на Колиру ):

OK! Parsed:
OK! Parsed: 1, 2, 3, 4, 6, 7, 9, 10, 11, 12,

Бонусный вопрос: мне вообще нужны семантические действия для этого? Документация Spirit X3, кажется, не одобряет их.

5

Решение

Часто задаваемые вопросы о том, что семантические действия подавляют автоматическое распространение атрибутов. Предполагается, что семантическое действие позаботится об этом.

В целом есть два подхода:

  • либо использовать operator%= вместо operator= назначить определение правилу

  • или используйте третий (необязательный) аргумент шаблона для rule<> шаблон, который можно указать как true заставить автоматическую семантику распространения.


Упрощенный образец

Здесь я в основном упрощаю, удаляя семантическое действие внутри самого правила диапазона. Теперь мы можем отбросить ast::range введите в целом. Нет больше слияния адаптации.

Вместо этого мы используем «естественно» синтезированный атрибут numer>>'-'>>number которая представляет собой последовательность слияния (fusion::deque<int, int> в этом случае).

Теперь все, что осталось, чтобы заставить его работать, это убедиться, что ветви | дать совместимые типы. Просто repeat(1)[] исправляет это.

Жить на Колиру

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

namespace x3 = boost::spirit::x3;

namespace ast {
using expr = std::vector<int>;

struct printer {
std::ostream& out;

auto operator()(expr const& e) const {
std::copy(std::begin(e), std::end(e), std::ostream_iterator<expr::value_type>(out, ", "));;
}
};
}

namespace parser {
auto const expand = [](auto& ctx) {
using boost::fusion::at_c;

for (auto i = at_c<0>(_attr(ctx)); i <= at_c<1>(_attr(ctx)); ++i)
x3::_val(ctx).push_back(i);
};

auto const number = x3::uint_;
auto const range  = x3::rule<struct _r, ast::expr> {} = (number >> '-' >> number) [expand];
auto const expr   = x3::rule<struct _e, ast::expr> {} = -(range | x3::repeat(1)[number]  ) % ',';
}

template<class Phrase, class Grammar, class Skipper, class AST, class Printer>
auto test(Phrase const& phrase, Grammar const& grammar, Skipper const& skipper, AST& data, Printer const& print)
{
auto first = phrase.begin();
auto last = phrase.end();
auto& out = print.out;

auto const ok = phrase_parse(first, last, grammar, skipper, data);
if (ok) {
out << "OK! Parsed: "; print(data); out << "\n";
} else {
out << "Parse failed:\n";
out << "\t on input: " << phrase << "\n";
}
if (first != last)
out << "\t Remaining unparsed: '" << std::string(first, last) << '\n';
}

int main() {
std::string numeric_tests[] =
{
"1,2,3,4,6,7,9,10,11,12",   // individually enumerated
"1-4,6-7,9-12",             // short-hand: using three ranges
};

for (auto const& t : numeric_tests) {
ast::expr numeric_data;
test(t, parser::expr, x3::space, numeric_data, ast::printer{std::cout});
}
}

Печать:

OK! Parsed: 1, 2, 3, 4, 6, 7, 9, 10, 11, 12,
OK! Parsed: 1, 2, 3, 4, 6, 7, 9, 10, 11, 12,
3

Другие решения

Других решений пока нет …

По вопросам рекламы ammmcru@yandex.ru
Adblock
detector