关键在于“何时压、怎么比、怎么防错”：只处理表达层级的广义括号（如()[]{}<>），跳过运算符与普通字符；右括号处理须三防——先判栈空、再严判类型匹配、仅成功才弹出；遍历完栈必须为空才合法。
用栈解决复杂表达式中的括号匹配校验，关键不在“能不能压栈”，而在“何时压、怎么比、怎么防错”。它不是简单计数，而是模拟人类读代码时的嵌套直觉：最新打开的括号，必须最先被关闭。
识别哪些符号真正参与匹配
不是所有成对符号都要管。只关注表达结构层级的“广义括号”：
- 标准三类必须纳入：小括号 ()（函数调用、表达式分组）、中括号 []（数组访问、索引）、大括号 {}（作用域、对象字面量）
- 语言或场景特有符号需扩展：C++ 模板尖括号 <>、XML/HTML 标签 <tag>/</tag>、Python 中 def/class 后的缩进块可视为隐式配对
- 纯运算符如 +、=、逗号、字母、数字、空格、引号——一律跳过，不入栈也不报错
栈操作必须守住三道防线
遇到右括号时，仅检查“栈顶是否匹配”远远不够。真实崩溃常发生在边界上：
-
第一防：栈空即失败——先调
st.empty()，再取st.top()，否则未定义行为（Debug 崩溃，Release 静默错） -
第二防：类型严格对应——读到
')'，栈顶必须是'('；读到']'，栈顶必须是'['；不能只判断“是不是左括号” -
第三防：匹配成功才弹出——只有左右类型完全一致，才执行
st.pop()；失败直接返回 false，不继续遍历
校验完成后的终局判断
字符串扫完不等于结束。最终栈状态决定合法性：
- 栈非空 → 存在未闭合的左括号，例如
"if (x > 0 {"中的{没收尾 - 栈为空 → 所有嵌套均正确闭合，校验通过
- 注意：空字符串、仅空格等输入也应返回 true，只要没非法括号
工程落地的关键细节
写对逻辑只是第一步，线上稳定靠的是防御性设计：
- 用
unordered_map<char, char>建立右括号→左括号映射（如mapping[')'] = '('），比一长串 if-else 更安全可维护 - 输入读取避免
gets，优先用fgets或带长度限制的std::getline，防止缓冲区溢出 - 错误定位要带位置信息：记录当前字符下标（如第 42 个字符），方便前端高亮或日志追踪
- 模板或宏展开场景中，
<可能是小于号或模板起始——基础校验器可统一按括号处理；高精度需求需结合词法分析，区分 token 类型
