c++oding="utf-8" ?>
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>> memo(s.size()+1, vector<char>(p.size()+1, -1));
function<bool> 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
<p>注意：这里用 <code>vector<vector>></vector></code> 而非 <code>bool</code> 是为避免 vector<bool> 的代理引用陷阱；<code>p[j+1]</code> 访问前必须检查边界，否则 <code>"a*"</code> 最后一位会越界。</bool></p>
<h3>哪些输入会让这个递归直接崩掉</h3>
<p>不是所有 <code>*</code> 都安全。以下三类极易触发栈溢出或超时（即使加了 memo）：</p>
<ul>
<li>深层嵌套重复：如 <code>"a*a*a*a*a*a*a*a*a*"</code> 配 <code>"aaaaaaaaaa"</code>，memo 表虽能剪枝，但递归深度仍达 O(len(p))，32 位栈可能溢出</li>
<li>模糊通配：如 <code>".*.*.*.*b"</code> 配长字符串，因 <code>'.'</code> 和 <code>'*'</code> 组合导致大量等价路径被重复探索</li>
<li>未预处理的连续 <code>'*'</code>：像 <code>"a**b"</code> 是非法模式，但你的代码若没提前校验，会在 <code>p[j+1]</code> 处崩溃</li>
</ul>
<p>真正上线用，得加模式预处理（合并连续 <code>'*'</code>、检测 <code>"**"</code>）、设递归深度上限、或改用栈模拟递归。</p></bool></char></vector>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
