5

Boost Phoenixの記事「式ツリーの変換」では、カスタムクラスの特殊化のセットを使用して、バイナリ算術式を反転しています。invert_actionsたとえば、;a+bになります。になります; 両方ともその逆です。a-ba*ba/b

これには、式ツリーの再帰的なトラバーサルが含まれますが、明示的に処理されていない演算子を含む式が検出されると、このトラバーサルは停止します。たとえば、_1+_2-_3はになりますが_1-_2+_3、その_1+_1&_2ままになります（のハンドラーはありません&）。let(_a = 1, _b = 2) [ _a+_b ]また、変更されません。

これは記事の意図どおりだと思っていましたが、最後にリストされているテストを見ると、変更されることif_(_1 * _4)[_2 - _3]が予想されます。提供されたコード（ここ）では、そうではないことがわかりました。

次に、明示的にリストされた（n-ary）演算子のセットすべてに適用される一般的なBoostPhoenix式ツリー変換を定義するにはどうすればよいですか。他を変更せずに残しますか？

いくつかのコードが役立つ場合があります。次のC++11コード（自動）を出力したいのですが、;0ではありません。、またはその他の演算子/ステートメントを明示的に処理することなく。2&

#include <iostream>
#include <boost/phoenix.hpp>
#include <boost/proto/proto.hpp>

using namespace boost;
using namespace proto;
using namespace phoenix;
using namespace arg_names;

struct invrt {
  template <typename Rule> struct when : proto::_ {};
};

template <>
struct invrt::when<rule::plus>
  : proto::call<
    proto::functional::make_expr<proto::tag::minus>(
        evaluator(_left, _context), evaluator(_right, _context)
    )
  >
{};

int main(int argc, char *argv[])
{
  auto f = phoenix::eval( _1+_1&_2 , make_context(make_env(), invrt()) );
  std::cout << f(1,2) << std::endl; // Alas 2 instead of 0
  return 0;
}
4

1 に答える 1

2

これは、ストレートな Proto で行う方法です。

#include <iostream>
#include <boost/phoenix.hpp>
#include <boost/proto/proto.hpp>
namespace proto = boost::proto;
using namespace boost::phoenix;
using namespace arg_names;

struct invrt:
  proto::or_<
    proto::when<
      // Turn plus nodes into minus
      proto::plus<proto::_, proto::_>,
      proto::functional::make_expr<proto::tag::minus>(
        invrt(proto::_left), invrt(proto::_right)
      )
    >,
    proto::otherwise<
      // This recurses on children, transforming them with invrt
      proto::nary_expr<proto::_, proto::vararg<invrt> >
    >
  >
{};

int main(int argc, char *argv[])
{
  auto f = invrt()(_1+_1&_2);
  proto::display_expr(f);
  std::cout << f(1,2) << std::endl;
  return 0;
}

Phoenix は、Proto の上にたくさんのものを重ねました。pheonix::evalのセマンティクスや、試したことがうまくいかなかった理由がわかりません。おそらく、フェニックスに詳しい人が声をかけてくれるでしょう。

====編集====

フェニックスの例の問題を理解しました。プラス以外の場合は再帰的ではありません。コードは次のようになります。

#include <iostream>
#include <boost/phoenix.hpp>
#include <boost/proto/proto.hpp>

using namespace boost;
using namespace proto;
using namespace phoenix;
using namespace arg_names;

struct invrt {
  template <typename Rule>
  struct when :
    // NOTE!!! recursively transform children and reassemble
    nary_expr<_, vararg<proto::when<_, evaluator(_, _context)> > >
  {};
};

template <>
struct invrt::when<rule::plus> :
  proto::call<
    proto::functional::make_expr<proto::tag::minus>(
      evaluator(_left, _context), evaluator(_right, _context)
    )
  >
{};

int main()
{
  auto f = phoenix::eval( _1+_1&_2 , make_context(make_env(), invrt()) );
  display_expr(f);
  std::cout << f(1,2) << std::endl; // Prints 0. Huzzah!
}

それが単純な Proto ソリューションよりも単純であると考えるか、より複雑であると考えるかは、あなたが決めることです。

于 2013-02-26T18:30:26.447 に答える