0

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;
}
4

1 回答 1

3

您正在重新发明标准绑定机制。用户无需编写任何胶水代码。

auto tree = bind(plus<int>(), ref(variables["a"]), bind(multiplies<int>(), 2, ref(variables["b"])));
cout << tree();

http://liveworkspace.org/code/f06fd83b5d7bcbf4829306d4e590da38

std::ref使它成为一个引用，而不是一个值——这意味着你可以绑定一个变异操作。

于 2012-09-05T16:22:36.827 回答