如何在ExprTk表达式评估中确定已变更的变量

• 给符号表加赋值回调钩子
  自己封装一个符号表实现，重载里面的赋值方法，每次有变量被真正赋值时，就把该变量名存入一个集合。比如处理COOLER_FAN := 1这类操作时，在赋值逻辑里加一行代码记录变量名，表达式执行完毕后，这个集合就是实际被修改的变量列表。

• 启用ExprTk的执行追踪功能
  ExprTk自带调试追踪接口，你可以打开执行追踪，监听赋值语句的执行事件。只有真正被执行到的赋值操作才会触发事件，能自动过滤掉分支中未走到的赋值（比如例子里如果TEMPERATURE > 20成立，HEATER就不会被记录）。具体可通过类似parser.enable_tracing(true)的配置，再注册回调函数捕获赋值事件。

• 修改AST节点添加标记逻辑
  解析表达式得到抽象语法树（AST）后，遍历所有赋值节点，给每个赋值语句额外添加一段逻辑：将被赋值的变量名加入追踪集合。比如在COOLER_FAN := 1后插入记录变量的操作，执行时只要走到这个节点，就会自动记录变量。不过这个方法需要你熟悉ExprTk的AST结构，适合对工具内部有一定了解的场景。

内容的提问来源于stack exchange，提问作者vinthewrench