std::regex在简单场景下不推荐使用，因其性能差、易栈溢出、错误提示模糊且回溯策略不可控；递归回溯需加长度约束与记忆化缓存，如match(s,i,p,j)配合memo避免重复计算。
为什么 std::regex 在简单场景下反而不推荐用
因为 C++11 引入的 std::regex 库在多数编译器（尤其是 libstdc++）中性能差、栈深度易爆、错误提示模糊，且对基础模式（如 "a*b" 或 "ab?c"）的匹配逻辑黑盒化——你改不了回溯策略，也看不到哪步卡住。真要调试匹配失败，往往得切到手写递归回溯。
递归回溯匹配函数怎么写才不爆栈
核心是避免无剪枝的指数级分支：每次遇到 * 或 ? 就分叉，但必须加长度约束和已访问状态缓存。典型结构是 match(s, i, p, j)，其中 i 是字符串当前位置，j 是模式当前位置。
- 基础终止条件：
j == p.size()时，要求i == s.size()；i == s.size()但j 时，只允许剩余模式全为 <code>'*' - 遇到
'*'：先跳过它（match(s, i, p, j+1)），再尝试匹配当前字符并递归（s[i] == p[j-1] || p[j-1] == '.'时调match(s, i+1, p, j)） - 必须加记忆化：用
std::map<:pair>, bool></:pair>缓存(i,j)结果，否则"a*a*a*a*b"这类会指数慢
支持 '.' 和 '*' 的最小完整实现长什么样
以下是最简可运行版本，仅处理 '.'（匹配任意单字符）和 '*'（前一字符的 0 次或多次），不支持转义、分组或字符类：
bool isMatch(const string& s, const string& p) {
vector<vector<char>> memo(s.size()+1, vector<char>(p.size()+1, -1));
function<bool(int,int)> dfs = [&](int i, int j) -> bool {
if (memo[i][j] != -1) return memo[i][j];
if (j == p.size()) return memo[i][j] = (i == s.size());
bool first_match = (i < s.size()) && (s[i] == p[j] || p[j] == '.');
if (j + 1 < p.size() && p[j + 1] == '*') {
memo[i][j] = dfs(i, j + 2) || (first_match && dfs(i + 1, j));
} else {
memo[i][j] = first_match && dfs(i + 1, j + 1);
}
return memo[i][j];
};
return dfs(0, 0);
}
注意：这里用 vector<vector>></vector> 而非 bool 是为避免 vectorp[j+1] 访问前必须检查边界，否则 "a*" 最后一位会越界。
立即学习“C++免费学习笔记（深入）”；
哪些输入会让这个递归直接崩掉
不是所有 * 都安全。以下三类极易触发栈溢出或超时（即使加了 memo）：
- 深层嵌套重复：如
"a*a*a*a*a*a*a*a*a*"配"aaaaaaaaaa"，memo 表虽能剪枝，但递归深度仍达 O(len(p))，32 位栈可能溢出 - 模糊通配：如
".*.*.*.*b"配长字符串，因'.'和'*'组合导致大量等价路径被重复探索 - 未预处理的连续
'*'：像"a**b"是非法模式，但你的代码若没提前校验，会在p[j+1]处崩溃
真正上线用，得加模式预处理（合并连续 '*'、检测 "**"）、设递归深度上限、或改用栈模拟递归。
