std::string::find 通常采用优化暴力算法（如Boyer-Moore变种或SIMD加速），平均性能优于KMP；手写KMP仅在模式串极长、主串流式输入且需严格O(n+m)最坏时间的特殊场景（如网络包解析）中才有价值，普通场景用find更安全高效。
为什么 std::string::find 不是 KMP，但你通常也不该手写 KMP
标准库的 find 在多数实现中用的是优化过的暴力（Boyer-Moore 变种或 SIMD 加速），平均比朴素 KMP 更快；而手写 KMP 的真正价值，只在「模式串极长、主串流式输入、且需严格 O(n+m) 最坏时间」的场景下才体现出来——比如网络包解析、嵌入式日志过滤。普通字符串查找，find 足够，还更安全。
kmp_table 构建时最常错的三件事
KMP 的核心是前缀函数（pi 数组），构建逻辑简单但边界极易出错：
- 索引从 0 开始，但
pi[0]必须为 0（空真前缀）——有人误设为 -1 或 1 - 内层 while 循环条件必须是
j > 0 && pattern[i] != pattern[j]，漏掉j > 0会导致数组越界 - 匹配失败后回退用的是
j = pi[j-1]，不是pi[j]；后者会跳过已验证的最长真前缀
示例片段（修正版）：
vector<int> build_pi(const string& p) {
vector<int> pi(p.size(), 0);
for (int i = 1, j = 0; i < p.size(); ++i) {
while (j > 0 && p[i] != p[j]) j = pi[j-1];
if (p[i] == p[j]) ++j;
pi[i] = j;
}
return pi;
}
匹配循环里 i 和 j 的推进规则
主循环中，i 遍历主串，j 表示当前已匹配长度。关键点在于：「只有匹配成功才同时推进两者；失败时只推进 i，j 回退」——这和朴素算法完全不同。
立即学习“C++免费学习笔记（深入）”；
- 匹配成功：
++i; ++j;，若j == pattern.size()则找到位置i - j - 匹配失败且
j > 0：执行j = pi[j-1]，i不动（等待下次比较） - 匹配失败且
j == 0：直接++i（当前字符完全无法匹配模式首字符）
漏掉「j == 0 时必须推进 i」会导致死循环——这是调试时最常卡住的地方。
实际项目中要不要用自己写的 KMP？
除非满足全部三个条件：① 模式串编译期固定且长度 > 1KB；② 主串来自不可缓存的流（如 socket recv）；③ 性能剖析确认字符串匹配是瓶颈。否则，用 std::search + std::boyer_moore_searcher（C++17）更稳——它内部自动选择策略，且支持自定义谓词。
手写 KMP 容易忽略的细节：无符号整数溢出（size_t 下 j-1 变成极大值）、多字节字符（KMP 原生只处理字节，不处理 UTF-8）、内存局部性差（pi 数组随机访问）。这些在真实系统中比理论复杂度更伤性能。
