[时空权衡]字符串匹配KMP算法代码（引自算法导论）

这里只贴一份来自《算法导论》的伪代码改写的代码。
void KMP_prefix( const char *t, int *next )
{
int len = strlen(t) ;
int i, j = -1 ;
next[0] = -1 ;
//请读者自行思考i什么时候增长
for( i=1; i<len; ++i )
{
//i永远和j+1位的比较（因为j初始值为-1）
//如果失配就执行跳转。直到j为-1为止。
while( (j+1>0)&&(t[j+1]!=t[i]) )
j = next[j] ;
//如果匹配，则两个串的指针都增长
if( t[j+1]==t[i] )
++j ;
//这句很抽象，意思是：
//跳转的位置永远是匹配成功的下一位
//也是唯一给跳转表赋值的一句
next[i] = j+1 ;
}
}

//主函数：可以看出这个函数与上面的函数极其相似
int KMP_matcher( const char *s, const char *t, int beg )
{
int l1 = strlen(s), l2 = strlen(t) ;
int *next = new int[l2] ;
KMP_prefix( t, next ) ;
int i, j = -1, ans = beg ;
for( i=beg; i<l1; ++i )
{
while( (j+1>0)&&(t[j+1]!=s[i]) )
{
j = next[j] ;
}
if( t[j+1]==s[i] )
{
++j ;
}
if( j+1==l2 )
{
ans = i-l2+1 ;
break ;
}
}
return ans ;
}