C++怎么实现一个KMP字符串匹配算法_C++算法设计与KMP原理

KMP算法通过构建next数组实现高效字符串匹配，利用模式串自身重复信息减少主串指针回退，在O(n+m)时间内完成匹配。核心是预处理生成部分匹配表（next数组），记录各位置最长相等前后缀长度；匹配时失配则根据next数组移动模式串指针，避免主串指针回溯。C++实现包含buildNext和kmpSearch函数，分别构造next数组并执行搜索，适用于长文本场景，较暴力匹配更稳定高效。

KMP（Knuth-Morris-Pratt）算法是一种高效的字符串匹配算法，能够在O(n + m)时间内找出模式串在主串中的位置，避免了暴力匹配中大量的回溯。C++实现KMP的关键在于预处理模式串生成“部分匹配表”（即next数组），然后利用该表跳过不必要的比较。

理解KMP的核心思想

KMP算法的核心是利用模式串自身的重复信息来减少主串指针的回退。当匹配失败时，主串指针不回退，仅移动模式串指针到合适位置，这个位置由next数组决定。

next数组记录的是：对于模式串每个位置j，其前面子串的最长相等前缀与后缀的长度。例如模式串"ABABC"，在位置4（字符'C'前），最长公共前后缀是"AB"，长度为2，因此next[4] = 2。

构建next数组（失配函数）

next数组的构造过程也是一个类似KMP匹配的过程，本质上是模式串自己和自己匹配。

立即学习“C++免费学习笔记（深入）”；

代码实现：

vector buildNext(const string& pattern) {
    int m = pattern.length();
    vector next(m, 0);
    int j = 0;
    for (int i = 1; i < m; i++) {
        while (j > 0 && pattern[i] != pattern[j]) {
            j = next[j - 1];
        }
        if (pattern[i] == pattern[j]) {
            j++;
        }
        next[i] = j;
    }
    return next;
}

执行KMP字符串匹配

使用构建好的next数组进行主串和模式串的匹配。

Vondy

下一代AI应用平台，汇集了一流的工具/应用程序

下载

完整匹配函数：

vector kmpSearch(const string& text, const string& pattern) {
    vector positions;
    if (pattern.empty()) return positions;
vectorzuojiankuohaophpcnintyoujiankuohaophpcn next = buildNext(pattern);
int n = text.length();
int m = pattern.length();
int j = 0;

for (int i = 0; i zuojiankuohaophpcn n; i++) {
    while (j > 0 && text[i] != pattern[j]) {
        j = next[j - 1];
    }
    if (text[i] == pattern[j]) {
        j++;
    }
    if (j == m) {
        positions.push_back(i - m + 1);
        j = next[j - 1]; // 继续查找下一个匹配
    }
}
return positions;
}
使用示例与注意事项
调用方式简单：
int main() {
    string text = "ABABDABACDABABCABC";
    string pattern = "ABABC";
    vector result = kmpSearch(text, pattern);
    for (int pos : result) {
        cout << "Match found at index " << pos << endl;
    }
    return 0;
}
注意边界情况：空模式串、完全匹配、无匹配等。next数组构造是关键，理解j的回退逻辑是掌握KMP的重点。
基本上就这些。KMP虽然初看复杂，但只要搞懂next数组的意义和构造过程，实现起来并不难。在实际应用中，它比暴力匹配稳定高效，尤其适合长文本搜索场景。