C++实现字符串中括号匹配算法 _ 栈结构在表达式解析的应用【详解】

直截了当地说：用 std::stack 是最稳妥的选择，但必须处理好三类边界情况——空栈弹出、类型错配、遍历结束后栈非空；但凡漏掉一个，都会导致误判。这是括号匹配算法的核心共识，很多初学 C++ 的人在这上面栽过跟头。

为什么不能只靠 if (c == ')') 判断右括号？

仅仅比较字符是否相等？那可不够——你没法区分嵌套层级和交叉错误。比如字符串 "([)]" 中，')' 确实出现了，但离它最近的左括号是 '['，而不是 '('。必须检查栈顶才能发现类型对不上。

• 只比字符不查栈顶 → 会把 "([)]" 当成合法输入
• 遇到右括号时没先判断 stk.empty() → 程序直接崩溃（对空栈调用 top() 或 pop() 是未定义行为）
• 忽略 '{' 和 '}' 的支持 → 遇到 JSON 或 C++ 源码片段立刻失效

std::stack 的入栈/出栈时机怎么卡准？

入栈只发生在明确的左括号上；出栈仅在右括号触发且栈顶匹配时发生——不是“看到右括号就 pop”，而是“看到右括号 → 查栈顶 → 类型对得上才 pop”。

• 入栈条件：c == '(' || c == '[' || c == '{'
• 出栈条件：栈非空 且 (c == ')' && stk.top() == '(')（[] 和 {} 同理）
• 一旦发现右括号但栈顶不匹配（比如 ')' 对应 '['），立刻返回 false，不要继续处理

为什么遍历完必须检查 stk.empty()？

字符串结尾可能残留未闭合的左括号，比如 "(([" 或 "{[()"——这些情况在遍历过程中不会触发错误，但显然非法。

• 漏掉这步，"a(b[c{" 会被判为合法
• 常见写法是 return stk.empty(); 作为函数的最终返回值
• 如果还要定位错误位置（比如报第 5 个字符不匹配），就得额外维护索引变量，不能只依赖栈内字符

真正容易被忽略的是：栈里存的是字符还是下标，取决于你要返回「是否合法」还是「哪里不合法」。前者存 char 足够，后者必须存位置索引并配合原字符串做映射——这个选择点，很多人一开始就没想清楚。