ExprTK表达式求值异常：add_variable为何结果不符合预期？

问题场景 #

使用exprtk计算表达式"x3 - y"时，预期结果为2（x3=3，y=1），但实际输出-1。直接打印变量值显示x3和y的数值正确，将add_variable替换为create_variable后结果正常。

代码示例 #

void test() {
    typedef exprtk::symbol_table<double> symbol_table_t;
    typedef exprtk::expression<double> expression_t;
    typedef exprtk::parser<double> parser_t;

    std::string expression_str = "x3 - y";
    symbol_table_t symbol_table;
    double y = 1;
    std::vector<double> xs;
    for (int i = 0; i < 5; i++) {
        xs.push_back(i);
        // symbol_table.create_variable("x"+ std::to_string(i), xs[i]); The output is correct if use create_variable
        symbol_table.add_variable("x"+ std::to_string(i), xs[i]);
    }
    symbol_table.add_variable("y", y);

    std::cout << symbol_table.get_variable("x3")->value() << " " << symbol_table.get_variable("y")->value() << std::endl; // x3 == 3, y == 1
    expression_t expression;
    expression.register_symbol_table(symbol_table);

    parser_t tmp_parser;
    tmp_parser.compile(expression_str, expression);

    std::cout << expression.value(); // output is -1
}

问题根源 #

核心原因是**std::vector扩容导致add_variable绑定的引用失效**：

• 当调用xs.push_back(i)时，若vector当前容量不足会触发扩容，扩容时会将原有元素复制到新的内存区域，旧内存被释放。
• add_variable方法会将变量绑定到当前xs[i]的内存引用上，一旦vector扩容，之前绑定的引用就指向了已释放的无效内存。
• 虽然打印symbol_table.get_variable("x3")->value()时，旧内存的值可能尚未被覆盖，仍显示为3，但表达式求值时，该无效内存已被系统重新分配或覆盖，读取到的是随机值（此处为0），最终计算0 - 1 = -1。

而create_variable看似结果正常，本质是巧合：若测试环境中vector初始容量足够（比如默认容量≥5），则不会触发扩容，绑定的引用始终有效，变量值能被正确读取。

解决方案 #

1. 预先分配vector容量：在循环前调用xs.reserve(5)，避免扩容导致的内存地址变化：

   std::vector<double> xs;
   xs.reserve(5); // 预先分配足够容量
   for (int i = 0; i < 5; i++) {
       xs.push_back(i);
       symbol_table.add_variable("x"+ std::to_string(i), xs[i]);
   }
   

2. 使用固定数组替代vector：数组的内存地址固定，不会出现扩容问题：

   double xs[5];
   for (int i = 0; i < 5; i++) {
       xs[i] = i;
       symbol_table.add_variable("x"+ std::to_string(i), xs[i]);
   }
   

3. 改用create_variable并确保变量生命周期：如果坚持使用vector，需确保变量引用的生命周期覆盖表达式求值过程，不过更稳妥的方式是直接使用create_variable绑定外部变量（若vector不扩容则无问题）。

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