我正在寻找一种将字符串解析为 int 或 double 的方法,解析器应该尝试两种选择并选择与输入流的最长部分匹配的那个。
有一个已弃用的指令 (longest_d) 完全符合我的要求:
number = longest_d[ integer | real ];
...因为它已被弃用,还有其他选择吗?如果有必要实施语义动作来实现所需的行为,有人有建议吗?
我正在寻找一种将字符串解析为 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_;
看
查看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());
}