手写双栈解析器最可控，需区分二元减号与一元负号、显式定义操作符优先级、跳过空格但慎用std::isspace，并推荐先转后缀表达式以提升可调试性与扩展性。
用 std::stack 手写双栈解析器最可控
标准库没有现成函数能安全解析带括号的四则表达式，std::stod 或 std::atof 只吃纯数字；用 eval() 类接口在 C++ 里根本不存在。手写一个双栈（操作数栈 + 操作符栈）是实际项目中最稳的选择，尤其当你需要控制错误提示、支持负数或处理空格时。
核心逻辑是「遇到数字就入操作数栈，遇到操作符就按优先级决定是否先算栈顶」，括号靠操作符栈里的 '(' 和 ')' 触发局部求值。注意：右括号不入栈，而是持续弹出直到左括号；左括号只入栈，不参与运算。
常见错误现象："1 + (2 * 3)" 算成 9（正确），但 "(1 + 2) * 3" 算成 7（错误）——多半是没在读到 ')' 时强制把栈内剩余乘除做完，或者忽略左括号后的首个负号（如 "1 + (-2)"）。
关键点：
立即学习“C++免费学习笔记（深入）”；
-
'-'可能是减号，也可能是负号：当它出现在开头、左括号后、或上一个 token 是操作符时，就是一元负号，应转为0 - x处理 - 操作符优先级必须显式定义，比如用
map<char int>{{'+', 1}, {'-', 1}, {'*', 2}, {'/', 2}}</char> - 字符串遍历时跳过空格，但别用
std::isspace直接判——它在某些 locale 下会把'\xa0'（NBSP）也算进去，导致解析中断
用 shunting_yard 转后缀再计算更易调试
如果你希望逻辑分层清晰、方便加日志或支持函数扩展（比如将来加 sin()），推荐先转后缀表达式（逆波兰），再单趟计算。Dijkstra 的调度场算法（Shunting Yard）天然支持括号和优先级，且每步行为可打印验证。
使用场景：需要向用户反馈具体哪段语法错（比如「缺少右括号在位置 12」），或后续要缓存编译结果复用多次计算。
性能影响不大，现代 CPU 上千位表达式耗时仍在微秒级；但要注意：后缀表达式本身是 std::vector<:string></:string> 或 std::vector<token></token>，别存裸 char*，否则临时 std::string 析构后指针悬空。
实操建议：
- Token 类型至少区分
NUMBER、OPERATOR、LPAREN、RPAREN，避免用char堆砌逻辑 - 遇到
'('直接入操作符栈；遇到')'就不断弹出直到'('，弹出内容全进输出队列 - 操作符入栈前，先弹出所有优先级 ≥ 当前的操作符——这是易错点，漏掉等号会导致
1 - 2 + 3算错
别碰 std::regex 做主解析
有人想用正则切分 token：std::regex re(R"((\d+\.?\d*)|([+\-*/()]|\s+))")。这在简单表达式上看似可行，但很快崩坏：
典型翻车现场："-1+-2" 被切成 "-1", "+", "-2"（对），但 "1+-2" 可能切出 "1", "+", "2"（漏负号）；更糟的是 "1.5e-3" 这种科学计数法，正则若没写全会误拆成 "1.5e" 和 "-3"，后面根本没法转数字。
真正该用正则的地方只有一个：预清洗——比如删掉注释 "// ..." 或合并连续空格。主解析必须靠状态机或栈，regex 不适合嵌套结构。
如果你坚持用正则，请确保：
- 数字匹配用
R"((?:\d+\.\d*|\.\d+|\d+)(?:[eE][+-]?\d+)?)覆盖浮点和科学计数 - 负号必须绑定到数字，不能单独作为 token；即匹配时用
(? 这类 lookaround，但注意 MSVC 旧版 std::regex 不支持 lookbehind - 永远先试
std::stod再入栈，别信正则“看起来像数字”
边界情况比想象中多，先列清单再编码
很多实现跑过 "2+3*4" 就以为完工，上线后被用户输入打脸。真实环境里这些必须明确支持或报错：
常见漏掉的点：
- 空字符串或全空格：应返回
std::nullopt或抛std::invalid_argument - 除零：计算阶段检查
if (op == '/' && operand == 0)，别等1/0触发 SIGFPE（不可移植） - 整数溢出：用
std::stoll+try/catch捕获std::out_of_range，或改用boost::multiprecision如果真要大数 - 小数精度：如果业务要精确十进制（如金融），别用
double，换std::decimal::decimal64（C++23）或第三方 decimal 库
括号嵌套深度本身不是问题，但递归下降写法容易栈溢出；双栈或调度场都是迭代，深度只吃堆内存，这点很安心。
