不能直接用 std::string::find 替代 kmp，因其底层不保证是 kmp 算法，多为优化暴力法，无法获取 next 数组或支持流式匹配；需手写 kmp_search，先构建 next 数组再驱动匹配，注意空串处理、边界判断与索引偏移。
为什么不能直接用 std::string::find 就去套KMP？
因为 std::string::find 底层不保证是 KMP，多数实现用的是优化过的暴力（如 SIMD 加速的 Boyer-Moore 变种），它快但不可控——你没法拿到部分匹配表（next 数组），也没法做多次模式复用、流式匹配或自定义失败跳转逻辑。真要 KMP，就得手写。
怎么写一个安全可用的 kmp_search 函数？
核心是两步：先算 next 数组，再用它驱动主串扫描。注意边界和索引偏移，C++ 里 std::string 下标从 0 开始，next[i] 表示子串 pattern[0..i] 的最长真前缀后缀长度。
-
next数组必须用vector<int></int>动态分配，长度为pattern.size()；初始next[0] = 0 - 构建
next时用双指针：j指向前缀尾，i指向后缀尾；当pattern[i] == pattern[j]时next[i] = ++j，否则回退j = next[j-1]（注意判j > 0） - 搜索阶段保持
i扫主串、j跟模式串；匹配失败时，j不归零，而是设为next[j-1]（同样要判j > 0） - 一旦
j == pattern.size()，说明找到，返回位置i - j；继续找下一个就重置j = next[j-1]
常见错误：next 数组越界或初始化错
典型表现是程序崩溃或永远找不到匹配——比如把 next 数组长度设成 pattern.size() + 1 却没初始化最后一项，或在构建时写成 next[i] = j++（应是 ++j）。更隐蔽的是：当 pattern 为空时，next 构建循环根本不会执行，但后续搜索里 j 初始为 0，pattern[j] 访问越界。
- 务必在函数开头加
if (pattern.empty()) return 0;或直接返回-1 -
next数组大小严格等于pattern.size()，不要多开一位 - 构建循环从
i = 1开始，j初始为 0；每次循环内先比较pattern[i]和pattern[j]，再决定赋值或回退 - 搜索时每次访问
pattern[j]前确保j
性能和适用场景提醒
KMP 的优势只在「模式串远短于主串，且需多次复用同一模式」时才明显。单次查找，std::string::find 通常更快；而如果主串是分块到达的流（比如网络包拼接），KMP 的状态可保存 j 值继续，这是内置函数做不到的。
- 若需支持 UTF-8 字符串，KMP 本身不关心编码，但你要确保传入的是按字节切分的
std::string，而非误用std::u8string导致size()和实际字符数不符 - 避免在循环内反复构造
next数组；模式不变时，把它缓存为类成员或静态局部变量 - 调试时打印
next数组能快速定位构建逻辑错误，例如"abababca"的正确next是[0,0,0,1,2,3,4,0]
真正麻烦的不是写对算法，而是处理空串、单字符、全相同字符这些边界 case；一不留神，j 就变成 -1 或越界访问了。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
