std::stack足够求值但不能直接生成AST，因RPN求值只需线性栈操作，而AST需树形结构与持久化节点；二者必须分离实现，共用栈会导致悬空指针和所有权混乱。
逆波兰表达式（RPN）求值在 C++ 中不需要语法树也能高效完成；若需构建算术语法树（AST），必须显式设计节点结构并分离解析与构建逻辑——二者目标不同，混用会导致边界模糊、错误难定位。
为什么 std::stack 足够求值，但不能直接生成 AST
RPN 本身无括号、无优先级歧义，按顺序扫描即可：遇到数字压栈，遇到运算符弹出两个操作数计算后压回。整个过程天然线性，std::stack<double> 完全胜任。
而 AST 是树形结构，需记录每个运算符的左右子树（可能是子表达式节点），这意味着：必须为每个 token 分配独立生命周期的节点对象，且要维护父子引用关系。栈只能提供临时值，不保存结构信息。
- 常见错误：试图用一个
std::stack<Node*>在求值过程中“顺便”拼 AST —— 当前节点的子指针可能指向已被后续 pop 掉的栈顶元素，造成悬空指针 - 正确做法：求值与建树必须拆成两步，或至少共用同一套 token 流但走不同分支逻辑
- 性能影响：建树必然引入堆分配（
new Node）和指针跳转，比纯数值栈慢 2–5 倍（视表达式长度）
如何用 std::vector<std::string> 安全分割 RPN token
RPN 输入通常是空格分隔字符串（如 "3 4 + 2 *"），不能直接用 std::istringstream >> 循环读取——它会把 "-5" 或 "1.23" 拆成多个 token，且无法区分负号与减号（RPN 中负数必须带符号，如 "-5" 是合法 operand，"5 -" 才是 operator）。
立即学习“C++免费学习笔记（深入）”；
- 推荐方式：用
std::stringstream配合std::getline(ss, token, ' ')，再对每个token做token.empty()和首字符检查 - 关键判断：若
token[0]是'-'且token.size() > 1，才可能是负数；若后续全是数字或小数点，则归为 operand；否则视为 operator - 容易踩的坑：
"-"单独出现必须是 operator，但"--"不合法，应报错而非忽略
AST 节点定义必须支持递归和统一访问
最简可行的节点结构需包含类型标记、数值（operand）、运算符（operator）及左右子节点指针。用 std::unique_ptr 管理内存，避免裸指针泄漏：
struct Node {
enum Type { OPERAND, OPERATOR };
Type type;
double value = 0.0;
char op = 0;
std::unique_ptr<Node> left;
std::unique_ptr<Node> right;
};
构建时从左到右扫描 token，遇到 operand 新建叶子节点；遇到 operator 新建内部节点，并将栈顶两个节点分别赋给 right 和 left（注意顺序：RPN 中 a b + 表示 a + b，所以先弹的是右操作数）。
- 必须检查栈大小：operator 要求栈中至少有 2 个节点，否则非法 RPN
- 不要用
shared_ptr——AST 是单所有权树，循环引用风险高且无必要 - 若需后续遍历（如打印中缀表达式），在节点中加
std::string toString() const方法比外部 visitor 更轻量
求值函数与 AST 构建函数不能共享同一栈变量
这是最容易被忽略的设计断点。下面这段代码看似简洁，实则危险：
std::stack<Node*> stk;
for (auto& t : tokens) {
if (isOperator(t)) {
auto r = stk.top(); stk.pop();
auto l = stk.top(); stk.pop();
auto node = new Node{Node::OPERATOR, 0, t[0], std::unique_ptr<Node>(l), std::unique_ptr<Node>(r)};
stk.push(node); // ❌ l/r 已被 unique_ptr 接管，原指针失效
}
}
真正安全的做法是：建树全程只用 std::stack<std::unique_ptr<Node>>，且所有节点必须由 std::make_unique<Node>() 创建；求值则另起一个 std::stack<double>，两者栈变量名、生命周期、作用域完全隔离。
复杂点在于 token 类型判定逻辑要复用——建议抽成独立函数 TokenType classifyToken(const std::string& t)，返回 enum class TokenType { NUMBER, PLUS, MINUS, MUL, DIV }，避免在两个栈处理分支里重复写 if-else。
