4

名前付き変数が (バージョン 1_51_0) の nullary である数式のパーサーを作成しようとしていますがboost::spirit、これはまったく新しいものです。私が定義するtypedef boost::function<double()> Valueと、私のルールは次のように宣言されます。qi::rule<Iterator, Value()> expression, term, others, ...;

このマクロを使用して、nullaries に二項演算子を定義します

#define BINARY_FUNCTOR(name, op)                        \
struct name                                             \
{                                                       \
  name(Value x, Value y): x_(x), y_(y) {}               \
  double operator()() { return x_() op y_(); }          \
  Value x_, y_;                                         \
};

ADD、などがありますSUB。私が見た例から、ルールは次のように定義されると思います。

expression = term
             >> *( (lit('+') >> term[ADD(_val, _1)])
                 | (lit('-') >> term[SUB(_val, _1)])
                 );

しかし、エラーが発生するため、それは正しい構文ではないようです

boost/spirit/home/support/action_dispatch.hpp:162: error: no match for call to ‘(const<unnamed>::SUB) (boost::function<double ()()>&, boost::spirit::context<boost::fusion::cons<boost::function<double ()()>&, boost::fusion::nil>, boost::fusion::vector0<void> >&, bool&)’
SRParser.cpp:38: note: candidates are: double<unnamed>::SUB::operator()()

_1これは、私が期待しているものとはまったく違うように見えます。つまりValue、次の用語に関連しています。このようなルールを定義する正しい構文は何ですか?

4

1 に答える 1

5

パーサー式は問題ないように見えます。

あなたが混乱しているのは、ASTの構築です。どうやら、あなたはそれを行うためにセマンティックアクションを使用することを決定しましたが、あなたの努力は私にはどのように（またはこれに基づいているサンプルを決定することさえ）理解するにはあまりにも大雑把です。

本質的に：あなたが魔法のようにあなたのルールに「する」ように見える「ADD」/「SUB」のインスタンスで何をしたいですか？

現在は、インスタンスをセマンティックアクションとして直接使用しています。これにより、表示されるエラーメッセージが表示され、インスタンスがセマンティックアクションとして無効であることが直接通知されます。

代わりに、Phoenix代入を使用して、二項演算を公開された属性に割り当てることを本当に望んでいたと思います。これは次のようになります。

expression = term
     >> *( (lit('+') >> term[ _val = phx::construct<ADD>(_val, _1)])
         | (lit('-') >> term[ _val = phx::construct<SUB>(_val, _1)])
         );

これは、従来の表現文法とより密接に一致していることがわかります。

楽しみのために、私はあなたのタイプに基づいて完全な式パーサーを適応させ、Valueこの実用的なデモンストレーションを作成しました：http: //liveworkspace.org/code/3kgPJR$0

#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/karma.hpp>
#include <boost/spirit/include/phoenix.hpp>

namespace qi    = boost::spirit::qi;
namespace karma = boost::spirit::karma;
namespace phx   = boost::phoenix;

typedef std::function<double()> Value;

#define BINARY_FUNCTOR(name, op)                        \
struct name                                             \
{                                                       \
  name(Value x, Value y): x_(x), y_(y) {}               \
  double operator()() { return x_() op y_(); }          \
  Value x_, y_;                                         \
}; 

BINARY_FUNCTOR(ADD, +)
BINARY_FUNCTOR(SUB, -)
BINARY_FUNCTOR(MUL, *)
BINARY_FUNCTOR(DIV, /)

struct LIT
{
  LIT(double x): x_(x) {}
  double operator()() { return x_; }
  double x_;
}; 

struct NEG
{
  NEG(Value x): x_(x) {}
  double operator()() { return -x_(); }
  Value x_;
}; 


template <typename It, typename Skipper = qi::space_type>
    struct parser : qi::grammar<It, Value(), Skipper>
{
    parser() : parser::base_type(expression)
    {
        using namespace qi;
        expression =
            term                    [_val = _1]
            >> *( ('+' >> term  [_val = phx::construct<ADD>(_val, _1)])
                | ('-' >> term  [_val = phx::construct<SUB>(_val, _1)])
                );

        term =
            factor                [_val = _1]
            >> *( ('*' >> factor  [_val = phx::construct<MUL>(_val, _1)])
                | ('/' >> factor  [_val = phx::construct<DIV>(_val, _1)])
                );

        factor =
            double_               [_val = phx::construct<LIT>(_1)]
            |   '(' >> expression [_val = _1] >> ')'
            |   ('-' >> factor    [_val = phx::construct<NEG>(_1)])
            |   ('+' >> factor    [_val = _1]);

        BOOST_SPIRIT_DEBUG_NODE(expression);
        BOOST_SPIRIT_DEBUG_NODE(term);
        BOOST_SPIRIT_DEBUG_NODE(factor);
    }

  private:
    qi::rule<It, Value(), Skipper> expression, term, factor;
};

Value doParse(const std::string& input)
{
    typedef std::string::const_iterator It;
    parser<It, qi::space_type> p;
    Value eval;

    auto f(begin(input)), l(end(input));

    if (!qi::phrase_parse(f,l,p,qi::space,eval))
        std::cerr << "parse failed: '" << std::string(f,l) << "'\n";
    if (f!=l) 
        std::cerr << "trailing unparsed: '" << std::string(f,l) << "'\n";

    return eval;
}

int main()
{
    auto area = doParse("2 * (3.1415927 * (10*10))");
    std::cout << "Area of a circle r=10: " << area() << "\n";
}

印刷されます

Area of a circle r=10: 628.319
于 2013-03-18T23:10:45.407 に答える