私はBoost.Spirit(Boost 1.44から)を3日間だけ使用しており、RFC2822の正確な文法を使用して生の電子メールメッセージを解析しようとしています。私はそれを理解し始めてどこかに行き始めたと思っていましたが、それから私は問題に遭遇しました:
#include <iostream>
#include <boost/spirit/include/qi.hpp>
namespace qi = boost::spirit::qi;
using qi::omit;
using qi::repeat;
using std::cout;
using std::endl;
typedef qi::rule<std::string::const_iterator, std::string()> strrule_t;
void test(const std::string input, strrule_t rule) {
std::string target;
std::string::const_iterator i = input.begin(), ie = input.end();
if (qi::parse(i, ie, rule, target)) {
cout << "Success: '" << target << "'" << endl;
} else {
cout << "Failed to match." << endl;
}
}
int main() {
strrule_t obsolete_year = omit[-qi::char_(" \t")] >> repeat(2)[qi::digit] >>
omit[-qi::char_(" \t")];
strrule_t correct_year = repeat(4)[qi::digit];
test("1776", correct_year | repeat(2)[qi::digit]); // 1: Works, reports 1776.
test("76", obsolete_year); // 2: Works, reports 76.
test("76", obsolete_year | correct_year); // 3: Works, reports 76.
test(" 76", correct_year | obsolete_year); // 4: Works, reports 76.
test("76", correct_year | obsolete_year); // 5: Fails.
test("76", correct_year | repeat(2)[qi::digit]); // 6: Also fails.
}
テスト#3が機能する場合、なぜテスト#5(2つの選択肢を逆にしたまったく同じテスト)が失敗するのでしょうか。
同様に、式を許す場合:テスト#4が機能し、先頭のスペースがオプションとしてマークされている場合、なぜテスト#5を実行するのですか(まったく同じ入力を使用したまったく同じテストです。入力に先頭のスペースがありません)失敗しますか?
そして最後に、これがBoost.Spiritのバグである場合(私が思うに)、どうすれば回避できますか?