图书馆存储涉及参考的“方程式”？

Question

所以我可以通过引用传递，并将该引用存储在结构或类中，如果我在其他地方进行更改并再次检查该引用，我将存储它的更改，因为我只是访问相同的内存。

有没有一个图书馆可以让我做这样的事情：

int foo = 9;
int bar = 5;
// obviously other arithmetic would exist too, and could be combined
Equation foo_minus_bar = Subtract(foo, bar);

// output: 4
cout << foo_minus_bar << endl;

foo = 11;

// output: 6
cout << foo_minus_bar << endl;

如果我可以访问输入（最好是作为一个平面阵列或类似的，但乞丐不能选择，甚至可能是这样的东西，这也是很好的：

// literal character for character output: foo - bar
cout << foo_minus_bar.formula() << endl;

我可以自己制作一个，但如果它存在，我宁愿不重新发明轮子。

Answer 1

OP的问题让我想起了另一个答案，我用AST为一个类似仿函数类的小例子编译器建模：The Tiny Calculator Project。

在该项目中，AST表达式节点拥有其子（表达式）节点的所有权。

我不确定我是否正确地阅读了OP的意图，当然，它也可以设计成具有子（表达式）节点所有权的表达式节点。

因此，我做了另一个（甚至更短的）例子。另外，我重载了operator()()（而不是virtual solve()成员函数）。虽然，在这种情况下，我认为这是一个品味问题。

示例代码：

#include <iostream>

struct Expr {
  virtual int operator()() const = 0;
};

struct ExprConst: Expr {
  const int value;
  ExprConst(int value): value(value) { }
  virtual int operator()() const { return value; }
};

struct ExprRef: Expr {
  const int &ref;
  ExprRef(const int &ref): ref(ref) { }
  virtual int operator()() const { return ref; }
};

struct ExprBin: Expr {
  const Expr &arg1, &arg2;
  ExprBin(const Expr &arg1, const Expr &arg2):
    arg1(arg1), arg2(arg2)
  { }
};

struct ExprSub: ExprBin {
  ExprSub(const Expr &arg1, const Expr &arg2):
    ExprBin(arg1, arg2)
  { }
  virtual int operator()() const { return arg1() - arg2(); }
};

int main()
{
  int foo = 9;
  int bar = 5;
  ExprRef exprFoo(foo), exprBar(bar);
  ExprSub exprSub(exprFoo, exprBar);
  std::cout << "foo - bar: " << exprSub() << '\n';
  std::cout << "foo = 7; bar = 10;\n";
  foo = 7; bar = 10;
  std::cout << "foo - bar: " << exprSub() << '\n';
  // done
  return 0;
}

输出：

foo - bar: 4
foo = 7; bar = 10;
foo - bar: -3

Live Demo on coliru