KMP模式匹配算法

串的字符串匹配算法，假设主串为S，模式串为P。
朴素的模式匹配算法：i,j初始0，开始遍历i在S中字符，如果当前字符匹配成功（即S[i] == P[j]），则i++，j++，继续匹配下一个字符；
如果失配（即S[i]! = P[j]），令i = i - (j - 1)，j = 0。相当于每次匹配失败时，i 回溯，j 被置为0。
KMP算法：由D.E.Knuth，J.H.Morris和V.R.Pratt同时发现，因此人们称它为克努特——莫里斯——普拉特操作（简称KMP算法）。KMP算法的关键是利用匹配失败后的信息，尽量减少模式串与主串的匹配次数以达到快速匹配的目的。具体实现就是实现一个next()函数，如果对于值k，已有p0 p1, …, pk-1 = pj-k pj-k+1, …, pj-1，相当于next[j] = k，函数本身包含了模式串的局部匹配信息。对于每一个模式串我们会事先计算出模式串的内部匹配信息，在匹配失败时，保持i 不回溯，通过修改j 的位置，让模式串尽量地移动到有效的位置。
参看这篇文章：http://blog.csdn.net/v_july_v/article/details/7041827，似懂非懂的样子，代码如下：

#include <string>
#include <iostream>

class KmpAlgorithm{  
    std::string s; //主串  
    std::string t; //子串  
    static const int MaxSize = 255;
    int next[MaxSize];
    void Get_Next(); //T串的模式匹配函数

public:  
    KmpAlgorithm(){  
        printf("请输入要匹配的字符串的主串:\n");  
        std::cin >> s;  
        printf("请输入要匹配的字符串的子串:\n");  
        std::cin >> t;  
    }

    int Index_Kmp(int pos);  //字符匹配函数  
};  

void KmpAlgorithm::Get_Next()  
{  
    std::memset(next, 0, sizeof(int) * 255);  

    int ts = t.size();
    next[0] = -1;
    int k = -1;
    int j = 0;  

    while(j < ts-1)  
    {  
        if(k == -1 || t[j] == t[k]) //如果相等则继续  
        {                           //next[0] == -1 j的值有可能回溯为-1数组越界  
            ++k;  
            ++j;
            if (t[j] != t[k])
            {
                next[j] = k;
            }
            else
            {
                next[j] = next[k];
            }           
        }  
        else
        {
            k = next[k];
        }
    }  
}

int KmpAlgorithm::Index_Kmp(int pos) //字符匹配函数  
{  
    Get_Next();
    int ts = t.size();
    int ss = s.size();
    int  i = 0; //数组从下标0开始  
    int j = 0;
    while(i < ss && j < ts)   
    {  
        if(j == -1 || s[i] == t[j]) //如果相等继续  
        {
            ++i;  
            ++j;  
        }  
        else  
        {  
            j = next[j];
        }  
    }

    if(j == ts) //匹配成功返回在主串中的位置
    {
        return i - ts + 1;
    }
    else
    {
        return -1; //失败返回-1
    }
}  

一开始总是不对，后来发现在j < ts，原本写成j < t.size()，一个无符号与有符号的比较。
大体是这有的。。