Question

我在C ++中实现了Knuth-Morris-Pratt算法。实现似乎是正确的但是我遇到了运行时错误，我似乎无法弄清楚。需要帮助。

#include <iostream>
#include <cstring>
#include <string>

using namespace std;

int* PrefixFunction(string pattern) {
    int m = pattern.length() ;
    int PrefixTable[m] ;
    PrefixTable[0] = 0 ;
    int k = 0 ;

    for(int q = 1; q<m; q++) {
        while(k>0&&pattern[k]!=pattern[q]) {
            k = PrefixTable[k] ;
        }
        if(pattern[k]==pattern[q]){
            k = k + 1 ;
        }
        PrefixTable[q] = k ;
    }

    return PrefixTable ;
}

void KMP(string text,string pattern) {
    int* PrefixTable = PrefixFunction(pattern) ;
    int n = text.length() ;
    int m = pattern.length() ;
    int q = 0 ; //characters matched

    for(int i=0;i<n;i++) {
        while(q>0&&pattern[q]!=text[i]) {
            q = PrefixTable[q] ;
        }
        if(pattern[q]==text[i]) {
            q = q + 1 ;
        }
        if(q==m) {
            cout<<"found : "<<i-m ;
            q = PrefixTable[q] ;
        }
    }

}

int main() {
    string text, pattern ;

    cout<<"Enter the text : " ;
    cin>>text ;

    cout<<"Enter the pattern : " ;
    cin>>pattern ;

    KMP(text,pattern) ;
    return 0 ;
}

程序要求输入后出现运行时错误。需要指导。

Answer 1

PrefixFunction正在返回一个指向本地变量PrefixTable的指针，并带有自动存储功能当函数返回时，数组不再存在，并且取消引用指针会使程序未定义。

（在这种情况下可能会发生的事情是，对length()的调用会将自己的自动变量放在数组所在的位置，以及何时使用这些＆＃34;值＆＃34 ;作为索引，程序蓬勃发展。）

考虑使用std::vector<int>而不是数组。

std::vector<int> PrefixFunction(string pattern) {
    int m = pattern.length();
    std::vector<int> PrefixTable(m);
    // As before...

如果你不能使用std::vector，你可以使用动态分配（记得以后释放内存），或者你可以将表作为参数传递给函数而不是返回它：

void PrefixFunction(string pattern, int* PrefixTable)

// ...

void KMP(string text,string pattern) {
    int m = pattern.length();
    int PrefixTable[m];
    PrefixFunction(pattern, PrefixTable);
    // ...

Answer 2

返回一个局部变量PrefixTable。但是一旦你离开了你的函数，就会释放这个变量的堆栈空间。你应该传入它或者用新的方式分配它。

一个挑剔的评论：如果你只用大写字母开始你的类，那么你的程序会更有可读性，所以函数，变量等都是小写的。

C ++中的KMP算法实现给出了运行时错误

2 个答案: