不能直接用std::stod或eval()解析带括号和优先级的表达式，因C++无eval()，std::stod仅转换单个数字；需手写递归下降解析器构建AST，显式处理优先级、结合性、括号与一元负号。
为什么不能直接用 std::stod 或 eval() 解析带括号和优先级的表达式
因为 C++ 标准库根本没有 eval()；std::stod 只能转换单个数字字符串，遇到 "2+3*4" 会停在 '+' 并抛出 std::invalid_argument。真实算术表达式含左结合性、运算符优先级、嵌套括号、一元负号（如 "-5" 或 "-(2+3)"），必须手写解析器——不是字符串替换，而是建树再求值。
常见错误现象：2 + 3 * 4 算成 20（从左到右顺序执行），而非 14（先乘后加）；1 - 2 - 3 算成 1 - (2 - 3) = 2（错误右结合），实际应为 (1 - 2) - 3 = -4。
- 运算符优先级必须显式编码，不能靠 if-else 链硬判断
- 括号必须触发递归下降或栈重置，不能仅靠计数器
- 一元负号和二元减号语法相同但语义不同，需依赖上下文（如开头、左括号后、运算符后）区分
如何用递归下降解析器构建 AST 节点
核心是把文法映射为函数：每个非终结符对应一个函数，返回 std::unique_ptr<node></node>。不写词法分析器也能起步——先用简单空格分隔 + 手动跳过空白，重点验证结构逻辑。
典型节点定义：
立即学习“C++免费学习笔记（深入）”；
struct Node {
virtual ~Node() = default;
virtual double eval() const = 0;
};
struct BinaryOp : Node {
char op;
std::unique_ptr<Node> left, right;
double eval() const override;
};
struct Number : Node {
double value;
double eval() const override { return value; }
};
struct UnaryMinus : Node {
std::unique_ptr<Node> expr;
double eval() const override { return -expr->eval(); }
};关键实现点：
-
parse_expression()处理+/-（最低优先级），调用parse_term() -
parse_term()处理*//（中优先级），调用parse_factor() -
parse_factor()处理数字、'('...')'、一元负号，是唯一可能新建Number或UnaryMinus的地方 - 每次匹配运算符后，必须递归调用「更紧绑定」的函数（如
parse_term()），而非重复调用自身
std::string 输入如何安全切分 token 而不崩掉索引
别用 std::stringstream >>——它会吞掉负号（"-5" 被当作文本流中的负数，但无法区分一元/二元）；也别用 std::string::find_first_of("+-*/()") 做暴力扫描，括号内字符会被误判。
推荐手动游标 + 状态机式扫描：
- 用
size_t pos = 0当前位置，循环中每次推进pos - 遇到数字：用
std::stod(input.substr(pos), &len)提取完整浮点数，更新pos += len - 遇到
'+'/'-'：检查前一个 token 是否为运算符、起始位置或'('——若是，则为一元；否则为二元 - 遇到
'('：递归调用parse_expression()，然后跳过匹配的')'（用括号计数） - 跳过所有
isspace()字符，但不要跳过'\0'或越界
容易踩的坑：std::stod 在输入为空或全空格时抛异常；substr(pos) 在 pos == str.size() 时返回空串，但 stod("") 抛 std::invalid_argument。
AST 求值时如何避免重复计算和栈溢出
eval() 是纯虚函数调用，每次递归都走虚表——对简单表达式影响小，但若后续扩展变量、函数调用，虚函数开销会明显。目前可接受，但要注意：
- 不要在
eval()里做内存分配（如 new 节点），AST 构建阶段已完成所有分配 - 深度嵌套表达式（如 1000 层括号）会导致递归求值栈溢出；生产环境应改用显式栈模拟递归（即把 AST 节点压栈，用 while 循环代替函数调用）
- 如果支持变量，
eval()必须接收const std::unordered_map<std::string, double>&环境参数，且VariableRef节点要查表——此时不能把环境存在节点里（破坏 AST 不变性）
最易被忽略的是错误恢复：当前实现遇到非法字符（如 '$'）通常直接 throw，但真实场景需要返回 std::expected<double, std::string> 或类似机制，并携带错误位置（pos 值）。没位置信息的错误消息对调试毫无价值。
