c ++ 11 — современная C ++ версия дерева выражений https://gist.github.com/2934374

https://gist.github.com/2934374

Таким образом, я был заинтригован этим сравнением, а также ужасными решениями C ++, которые появились в комментариях, но я должен признать, что у меня проблемы с написанием хорошего решения самостоятельно 🙂

Моя текущая попытка выглядит следующим образом, проблемы:

• среда копируется при создании дерева, я хотел бы, чтобы переменные были изменяемыми после создания дерева
• это все еще выглядит довольно некрасиво

Так, как я мог бы сжать это немного и связать переменные, чтобы они были затронуты изменениями?

#include <map>
#include <string>
#include <iostream>
#include <functional>
using namespace std;

/* environ */
map<string,int> variables = { { "a" , 3 }, { "b", 4 }, { "c", 5 } };

function<int(int,int)> add = [] (int lp, int rp) { return lp + rp; };
function<int(int,int)> mlt = [] (int lp, int rp) { return lp * rp; };

/* impl */
struct Var {
Var(int v) : p_v(v) {};
int eval() { return p_v; };

private:
int p_v;
};

template <typename LP, typename RP>
struct Op {
Op(function<int(int,int)> op, LP lp, RP rp) : p_op(op), p_l(lp), p_r(rp) {};
int eval() { return p_op(p_l.eval(), p_r.eval()); }
private:
function<int(int,int)> p_op;
LP p_l;
RP p_r;
};

Var var(int val) { return Var(val); }

template <typename LP, typename RP>
auto op(function<int(int,int)> op, LP lp, RP rp) -> Op<LP,RP>
{
return Op<LP,RP>(op,lp,rp);
}

Var operator "" _var(const char *key, size_t length)
{ return Var(variables[key]); }

/* gcc is failing me
Var operator "" _num(int val)
{ return Var(val); }
*/

int main()
{
auto tree = op ( add, "a"_var, op ( mlt, var ( 2 ), "b"_var ));
cout << tree.eval() << endl;
}