ブーストスピリットx3 int32 | double_はdoubleを解析できません

Question

私はint32_tまたはdoubleのいずれかを解析するパーサーを作成しようとしています。私はboost::variant<int32_t, double> パーサは12, 100, -42, 7のようなint型を解析するために成功したが、それはここで13.243, 42.7, 12.0 -10000.3

などのダブルスの解析に失敗取り戻すことを期待

const auto int_or_double = boost::spirit::x3::int32 | boost::spirit::x3::double_; 

は生きている：私はこのパーサを書いた最初の試みとして、 demo

なぜこのパーサーはダブルに失敗するのですか？

Answer 1

問題はthis questionとよく似ています。

文法で最初に整数パーサーが発生する場合は、それが望ましいです。入力が"12.9"の場合、パーサはの文字部分を解析し、12になり、.で停止します。 あなたは二重のパーサは、整数1よりも優先されるように順序を逆にする必要がありlive example

：これは今"12.9"のために動作します

const auto double_or_int = boost::spirit::x3::double_ | boost::spirit::x3::int32; 

：live example

しかし、二重のため、パーサも整数を解析すると、入力が"12"であっても常にdoubleを得る：live example

これを防ぐために、あなたは厳密ダブルパーサ必要があります。

boost::spirit::x3::real_parser<double, boost::spirit::x3::strict_real_policies<double> > const double_ = {}; 

live example

Answer 2

を私が便利に聞こえること、のいずれかについてstrict_real_policiesを知りませんでした。

私はそうのように、一度、より直接的な方法でこれを回避働いていた：

(qi::int_ >> !lit('.') >> !lit('e') >> !lit('E')) | qi::float_ 

あなたはhttp://www.json.org/ 上のフロー・チャートを見て持っている場合は、これら3つの文字は、すべての法的な方法カバーしていることがわかります数はフロートとして解析される可能性があります。 （特に私の問題では）