Разобрать int или double, используя Boost Spirit (longest_d)
Я ищу способ разобрать строку как int или double, парсер должен попробовать обе альтернативы и выбрать ту, которая соответствует самой длинной части входного потока.
Существует устаревшая директива (longest_d), которая делает именно то, что я ищу:
number = longest_d[ integer | real ];
…поскольку он устарел, есть ли другие альтернативы? Если для достижения желаемого поведения необходимо осуществить семантическое действие, есть ли у кого-нибудь предложение?
Решение
Во-первых, переключитесь на Spirit V2 — который заменил классический дух в течение многих лет.
Во-вторых, вам нужно убедиться, что int предпочтительнее. По умолчанию double может одинаково хорошо анализировать любое целое число, поэтому вам нужно использовать strict_real_policies вместо:
real_parser<double, strict_real_policies<double>> strict_double;
Теперь вы можете просто заявить
number = strict_double | int_;
Увидеть
Смотрите тестовую программу Жить на Колиру
#include <boost/spirit/include/qi.hpp>
using namespace boost::spirit::qi;
using A = boost::variant<int, double>;
static real_parser<double, strict_real_policies<double>> const strict_double;
A parse(std::string const& s)
{
typedef std::string::const_iterator It;
It f(begin(s)), l(end(s));
static rule<It, A()> const p = strict_double | int_;
A a;
assert(parse(f,l,p,a));
return a;
}
int main()
{
assert(0 == parse("42").which());
assert(0 == parse("-42").which());
assert(0 == parse("+42").which());
assert(1 == parse("42.").which());
assert(1 == parse("0.").which());
assert(1 == parse(".0").which());
assert(1 == parse("0.0").which());
assert(1 == parse("1e1").which());
assert(1 == parse("1e+1").which());
assert(1 == parse("1e-1").which());
assert(1 == parse("-1e1").which());
assert(1 == parse("-1e+1").which());
assert(1 == parse("-1e-1").which());
}
Другие решения
Других решений пока нет …