5

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

为类似的东西实现解析器很简单

a.b == 'some value'

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

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

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

4

1 回答 1

8

最初，在 ExprTk 中，变量（用户定义或本地表达式）只能是一种类型（标量、字符串或标量向量）。所以如果你的表达是：

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

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

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

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

那么是的，ExprTk 的 USR（未知符号解析器）功能确实提供了一种在调用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，然后继续使用所述解析器编译它们的表达式。

有关更多信息，请查看第 18 节 - 未知未知

于 2017-04-17T20:08:49.807 回答