使用 boost 精神 (longest_d) 解析 int 或 double

Question

我正在寻找一种将字符串解析为 int 或 double 的方法，解析器应该尝试这两种方法并选择与输入流中最长部分匹配的方法。

有一个已弃用的指令 (longest_d) 完全符合我的要求：

number = longest_d[ integer | real ];

...既然它已被弃用，还有其他选择吗？如果需要实现语义动作来实现所需的行为，有没有人有建议？

Answer 1

首先，请切换到 Spirit V2 - 它已经取代了 classical 精神多年。

其次，您需要确保 int 被首选。默认情况下，double 可以很好地解析任何整数，因此您需要改用strict_real_policies：

real_parser<double, strict_real_policies<double>> strict_double;

现在你可以简单地陈述

number = strict_double | int_;

见

• realpolicies documentation

查看测试程序Live on Coliru

#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());
}