c – ExprTK未知变量分辨率取决于表达式类型

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

那么这是一个无效的表达式,因为变量a.b只能有一个类型 – 标量或字符串,但不能同时包含两者.

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

> 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,然后继续用所述解析器编译它们的表达式.

有关更多信息,请查看Section 18 – Unknown Unknowns