c++ - ExprTK 未知变量解析取决于表达式类型

Question

我正在尝试为 bool 表达式创建一个解析器。表达式中的符号是从类似 XML 的数据结构中读取的。

实现类似的解析器很简单

a.b == 'some value'

通过使用“未知符号解析器”使用 ExprTK，它通过返回 <a><b>some value</b></a> 的字符串值将 a.b 解析为字符串.

但现在考虑 XML <a><b>5</b></a>

有没有什么方法可以编写一个未知符号解析器，它允许同时评估 a.b == 5和 a.b == '5' ？

Answer 1

最初，在 ExprTk 中，变量(用户定义或表达式局部)只能是一种类型(标量、字符串或标量 vector )。所以如果你的表达是:

"a.b == 5 and a.b == '5'"

那么这是一个无效的表达式，因为变量 a.b 只能有一种类型 - 要么是标量要么是字符串，但不能同时具有这两种类型。

但是，如果您想要两个单独的表达式，它们使用相同的变量名但在不同的上下文中，如下所示:

• a.b == 5
• a.b == '5'

那么是，ExprTk 的 USR(Unknown Symbol Resolver)功能确实提供了一种在调用 USR 期间确定未知符号类型的方法> 回调，允许正确编译表达式。

---

例如，假设我们想定义一个 USR，它只会解析带有前缀 "var_" 和 的未知符号“str_”分别具有 Scalar 和 String 类型。

示例表达式可能如下所示:

var_x := 2; var_x + 7

str_y := 'abc';  str_y + '123' == 'abc123'

以下是一个使用扩展回调机制的 USR 示例，它将解析上述格式的变量，并将它们添加到被解析表达式的主符号表中:

typedef exprtk::symbol_table<double> symbol_table_t;
typedef exprtk::parser<double>             parser_t;

template <typename T>
struct my_usr : public parser_t::unknown_symbol_resolver
{
   typedef typename parser_t::unknown_symbol_resolver usr_t;

   my_usr()
   : usr_t(usr_t::e_usrmode_extended)
   {}

   virtual bool process(const std::string& unknown_symbol,
                        symbol_table_t&      symbol_table,
                        std::string&        error_message)
   {
      bool result = false;

      //Is this unknown symbol in the format var_xyz ?
      if (0 == unknown_symbol.find("var_"))
      {
         const T default_scalar = T(0);
         result = symbol_table.create_variable(unknown_symbol, default_scalar);
         if (!result)
         {
            error_message =
             "Failed to create variable(" + unknown_symbol + ") in primary symbol table";
         }
      }
      //Is this unknown symbol in the format str_xyz ?
      else if (0 == unknown_symbol.find("str_"))
      {
         const std::string default_string = "N/A";
         result = symbol_table.create_stringvar(unknown_symbol,default_string)
         if (!result)
         {
            error_message =
             "Failed to create string variable(" + unknown_symbol + ") in primary symbol table";
         }
      }
      else
         error_message = "Indeterminable symbol type.";

      return result;
   }
};

代码的其余部分是相同的:将实例化的 USR 注册到解析器，然后继续使用所述解析器编译它们的表达式。

有关更多信息，请查看 Section 18 - Unknown Unknowns