用 std::stack 检查圆括号匹配:遇 '(' 入栈,遇 ')' 先判空再出栈,遍历完栈为空才合法;计数法无法识别 ")(" 等顺序错误;需注意空栈检查、使用 const 引用传参及扩展多类型括号时的配对校验。

用 std::stack 检查圆括号是否匹配
直接结论:用 std::stack 遍历字符串,遇到 '(' 入栈,遇到 ')' 尝试出栈;遍历完栈为空才说明完全匹配。这是最直观、最不易出错的做法。
为什么不能只计数(即用 int count++/--)
计数法看似简洁,但无法识别 ")(" 这类明显错误的序列——它会得到 count == 0,却不是合法匹配。栈能保留“顺序”和“嵌套结构”信息,而计数不能。
-
")(":计数法误判为合法;栈在第一个')'就因空栈无法 pop 而可立即返回 false -
"((())":计数法结果为 1,知道不匹配;但栈在遍历完后非空,同样可判断失败 - 真实场景中(如解析表达式、读取配置),必须拒绝非法前置右括号,否则后续逻辑可能崩溃
标准实现里容易漏掉的边界检查
核心逻辑之外,三个检查点常被忽略:
- 遇到
')'时,必须先用st.empty()判断栈是否为空,再调用st.pop(),否则触发未定义行为(UB) - 遍历结束后,仅检查
st.empty(),不要额外检查st.size() == 0—— 二者等价,但empty()是常量时间且语义更清晰 - 函数应接受
const std::string&而非std::string,避免无谓拷贝
bool isParenMatched(const std::string& s) {
std::stack st;
for (char c : s) {
if (c == '(') {
st.push(c);
} else if (c == ')') {
if (st.empty()) return false; // 关键:空栈时右括号非法
st.pop();
}
// 忽略其他字符(如字母、空格),按需可扩展
}
return st.empty();
}
扩展到多类型括号(() [] {})的关键改动
不能简单复用单字符栈,必须做配对校验:
立即学习“C++免费学习笔记(深入)”;
- 入栈仍为左括号(
'(','[','{') - 遇到右括号时,先检查栈顶是否为对应左括号:
st.top() == '('对应')',否则不匹配 - 仍需保持空栈检查,且每次 pop 前必须确认非空
- 建议用
std::map存映射关系(如{')', '('}),避免一长串 if-else










