boost Spirit qi 整数和浮点数的数字解析

Question

我试图理解以下结果。测试用例代码的

#include <boost/config/warning_disable.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix_core.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>
#include <boost/spirit/include/phoenix_fusion.hpp>
#include <boost/spirit/include/phoenix_stl.hpp>
#include <boost/fusion/include/adapt_struct.hpp>
#include <boost/variant/recursive_variant.hpp>
#include <boost/spirit/home/support/context.hpp>
#include <boost/spirit/home/phoenix.hpp>
#include <boost/foreach.hpp>

#include <iostream>
#include <fstream>
#include <string>
#include <cstdlib>
#include <vector>

namespace sp = boost::spirit;
namespace qi = boost::spirit::qi;
using namespace boost::spirit::ascii;

namespace fusion = boost::fusion;
namespace phoenix = boost::phoenix;

using phoenix::at_c;
using phoenix::push_back;
using phoenix::bind;

template <typename P>
void test_parser(
    char const* input, P const& p, bool full_match = true)
{
    using boost::spirit::qi::parse;

    char const* f(input);
    char const* l(f + strlen(f));
    if (parse(f, l, p) && (!full_match || (f == l)))
        std::cout << "ok" << std::endl;
    else
        std::cout << "fail" << std::endl;
}


int main() {

test_parser("+12345", qi::int_ ); //Ok
test_parser("+12345", qi::double_ - qi::int_ ); //failed, as expected
test_parser("+12345.34", qi::int_ );  // failed, as expected
test_parser("+12345.34", qi::double_ - qi::int_ );  //failed but it should be Ok!
};

动机是我想将数字“12345”匹配为整数，而不是浮点数。 '12345.34' 将匹配 double_ 而不会匹配 int_ 但倒数情况不成立； '12345' 匹配整数 (int_ ) 和浮点数 (double_ )。我尝试了 double_ - int_ ，但它成功地未能匹配“12345”。然而，我希望最后一个测试用例“12345.34”能够肯定地匹配 double_ - int_，但我得到的结果是无法匹配。

为什么会这样，以及如何获得一个仅匹配整数的解析器和另一个仅匹配浮点的解析器（如在 c 中，5.0 将被解释为浮点）

Answer 1

对于您的具体示例，我认为它实际上在 Boost Spirit 文档，位于 RealPolicies 专业化下。为了让事情对你来说更容易一些，我推出了一个快速的“真实”解析器，它只解析实数而不解析整数（或者至少它与你的简化示例一起工作）：

template <typename T>
struct strict_real_policies : qi::real_policies<T>
{
    static bool const expect_dot = true;
};

qi::real_parser< double, strict_real_policies<double> > real;

你可以像使用任何其他解析器一样使用它（如 int_ 和 double_）。您可能需要添加：

#include <boost/spirit/include/qi_numeric.hpp>

才能编译。

Answer 2

double-not-int qi::double_ - qi::int_ 的问题是单个解析器不必匹配整个输入才能成功匹配。对于“+12345.34”，qi::double_ 对整个内容进行成功匹配，并且 qi::int 对“+12345”进行成功匹配，因此 qi::double_ - qi::int_ 是不匹配的。对于差分运算符，请考虑单独应用每个解析器，以及每个解析器是否存在有效匹配，甚至对于输入的第一部分也是如此。

您可以通过在 qi::int_ 之后要求某种边界来获得您想要的行为。当 qi::int_ 与 float 的第一部分匹配时，接下来的内容是有效的 float（例如，“+12345.34”上的 qi::int_ 匹配“+12345”，在流上留下“.34”）。因此，您可以对 float 进行否定前瞻：

int_rule %= qi::int_ >> !qi::double_;

double_rule %= qi::double_ - int_rule; 

或者

double_rule %= qi::double_ - (qi::int_ >> !qi::double_); 

!qi::double 对于空格和 eoi 也是如此，所以我认为这对于标准格式来说应该是非常通用的。但这不适用于科学记数法。