2

私は、jsonに似た精神を持った単純なパーサーを作成しました（ただし、より単純でより専門的です）。ここでのアドバイスに従って、エラー位置を追跡することでエラー処理を実装しようとしました。特に、私の構文解析機能は次のとおりです。

bool parse_properties(std::istream& is, const std::string &filename, PropertyList &pset)
{
    namespace qi = boost::spirit::qi;
    namespace ascii = boost::spirit::ascii;
    namespace classic = boost::spirit::classic;

    typedef std::istreambuf_iterator<char> base_iterator_type;
    base_iterator_type in_begin(is);

    // convert input iterator to forward iterator, usable by spirit parser
    typedef boost::spirit::multi_pass<base_iterator_type> forward_iterator_type;
    forward_iterator_type fwd_begin = boost::spirit::make_default_multi_pass(in_begin);
    forward_iterator_type fwd_end;

    // wrap forward iterator with position iterator, to record the position
    typedef classic::position_iterator2<forward_iterator_type> pos_iterator_type;
    pos_iterator_type position_begin(fwd_begin, fwd_end, filename);
    pos_iterator_type position_end;

    qi::rule<pos_iterator_type> skipper = ascii::space | 
    '#' >> *(ascii::char_ - qi::eol) >> qi::eol; 

    property_set_grammar<pos_iterator_type, qi::rule<pos_iterator_type> > g;
    bool r = false;
    try {
        r = phrase_parse(position_begin, 
                         position_end, 
             g, skipper, pset);
    }
    catch(const qi::expectation_failure<pos_iterator_type>& e) {
        const classic::file_position_base<std::string>& pos = e.first.get_position();
        std::stringstream msg;
        msg <<
            "parse error at file " << pos.file <<
            " line " << pos.line << " column " << pos.column << std::endl <<
            "'" << e.first.get_currentline() << "'" << std::endl <<
            std::setw(pos.column) << " " << "^- here";
        throw std::runtime_error(msg.str());
    }

    return r;
}

残念ながら、それは機能しません。関数phrase_parseは、正しいファイルと正しくないファイルの両方に対して、常にfalseをすぐに返し、例外を発生させることはありません。

ただし、上記のコードを変更して、forward_iterator代わりに単純なコードを使用すると、classic::position_iterator2正常に機能しますが、もちろんエラー位置は追跡されません。非常に奇妙なことは、ここの元の例がうまく機能することです。だから多分問題は私の文法に関連しています。ここにそれが続きます：

template <typename Iterator, typename Skipper>
struct property_set_grammar : qi::grammar<Iterator, PropertyList(),
                                          Skipper>
{
    qi::rule<Iterator, Property(), Skipper> prop;
    qi::rule<Iterator, std::string(), Skipper> name;
    qi::rule<Iterator, std::string(), Skipper> type;
    qi::rule<Iterator, std::string(), Skipper> value;
    qi::rule<Iterator, std::string(), Skipper> value_simple;
    qi::rule<Iterator, std::string(), Skipper> value_quoted;
    qi::rule<Iterator, PropertyList(), Skipper> plist;

    property_set_grammar() : 
        property_set_grammar::base_type(plist, "Set of Properties") {
        using qi::lit;
        using qi::alpha;
        using qi::alnum;
        using qi::lexeme;
        using qi::char_;

        name = lexeme[alpha >> *alnum];
        type = lexeme[alpha >> *alnum];
        value_simple = lexeme[*(alnum - lit('"'))];
        value_quoted = lit('"') > lexeme[*(char_ - lit('"'))] > lit('"');
        value = (value_quoted | value_simple);

        prop = name >> '=' > value > ';';
        plist = type >> '(' > name > ')' > '{' >> *(prop | plist) > '}' > ';';
    }
};

私はg++（Ubuntu / Linaro 4.7.2-2ubuntu1）4.7.2とバージョン1.50のBoostライブラリを使用しています。

私が見落としている愚かなことはありますか？必要に応じて、完全なコードを提供できます（ほんの数ファイルです）。

4

1 に答える 1

2

boost :: spirit::position_iteratorにバグがあるようです。

ここposition_iteratorの回答で提案されているように、のヘッダーを編集できます。

または、独自のposition_iteratorを実装することもできます。これは、基本的にの元のコードをコピーして貼り付けてからboost::spirit::position_iterator、不要なものを削除することで行いました。

また、から解析するときはistream、必ずnoskipwsマニピュレータを設定してください。

//is >> std::noskipws;

編集： istreambuf_iteratorでは必要ありません

于 2013-01-10T11:52:45.383 に答える