必须用栈校验括号匹配,因仅统计数量无法发现顺序、嵌套、跨类型错误;std::stack是安全选择,但需检查空栈、严格匹配、跳过非括号字符,遍历完须栈为空才算合法。

括号匹配校验必须用栈,且必须用 std::stack 或等效手动栈结构 —— 用 vector 模拟栈、用 index 手动管理 top 都可行,但用 std::string 或 std::vector 直接 push/pop 而不遵守 LIFO 语义,一定会漏判嵌套错误。
为什么不能用 find / count 简单统计括号数量
只统计 '(' 和 ')' 个数相等,无法发现 ")(" 或 "[(])" 这类顺序错误。真实场景中,前端传来的 JSON 片段、用户输入的表达式、配置文件中的模板语法,都要求“位置合法 + 嵌套合法”。std::count 返回 0 不能代表合规,它连最基础的左括号是否出现在右括号之前都无从判断。
- 典型误判:
"())("中左右括号各 2 个,但第 1 位就是')',应立即失败 - 嵌套层级错乱:
"[(){}"缺少闭合,count无法感知未配对的开括号残留 - 跨类型混用:
"{[}"中'{'开、'['开、'}'闭 —— 闭的是第一个还是第二个?必须靠栈顶元素比对
std::stack 是最简安全选择,但要注意三个细节
用 std::stack 不等于万事大吉。常见崩点在空栈 pop、类型不匹配、忽略非括号字符干扰。
- 每次调用
stk.pop()前必须if (!stk.empty()),否则触发std::runtime_error或未定义行为 - 匹配时必须严格比对:读到
')',栈顶必须是'(';读到']',栈顶必须是'['—— 不能只检查是否为开括号 - 跳过所有非括号字符(字母、数字、空格、引号等),仅用
if (c == '(' || c == ')' || c == '[' || c == ']' || c == '{' || c == '}')过滤,否则会把"a(b)c"中的'a'当作括号压栈
完整校验逻辑:遍历 + 分支 + 栈状态终判
核心就四步:初始化栈 → 遍历每个字符 → 遇开括号入栈,遇闭括号校验并弹出 → 遍历完检查栈是否为空。中间任一失败直接 return false。
bool isValid(const std::string& s) {
std::stack<char> stk;
for (char c : s) {
if (c == '(' || c == '[' || c == '{') {
stk.push(c);
} else if (c == ')' || c == ']' || c == '}') {
if (stk.empty()) return false;
char top = stk.top();
if ((c == ')' && top != '(') ||
(c == ']' && top != '[') ||
(c == '}' && top != '{')) {
return false;
}
stk.pop();
}
}
return stk.empty();
}
</char>
注意:这里没用 std::map 做映射,因为只有 3 对,硬编码分支更清晰、无哈希开销;若后续要支持 ,加两个条件即可,不用改结构。
容易被忽略的边界:空字符串、纯空格、全开括号、Unicode 引号干扰
真实输入不会只有 "()[]{}"。用户粘贴日志、编辑器自动补全、HTTP body 解析后的内容,常含不可见字符或半截符号。
-
""(空串)应返回 true —— 没有括号即无违规 -
" \t\n"应跳过并最终返回 true,不能因空格导致栈非空误判 -
"((("遍历完栈内剩 3 个'(',stk.empty()为 false,必须返回 false - 若输入含中文引号
“”或弯引号「」,它们不是 ASCII 括号,过滤条件自然跳过,不影响逻辑 —— 但若业务需支持,就得扩展判断范围,不能假定输入只有英文标点
真正难的不是写对一次测试用例,而是当输入来自不可控外部源时,栈是否在每种非法序列下都稳稳停在第一个错误位置,而不是吞掉错误继续跑完再报错。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











