这篇博客写得很详细，看了那么多关于KMP的博客觉得那最长公共前后缀来说明是最好理解next数组是干嘛的，以及其是怎么计算的。

下面我附上next数组计算部分的代码，以具体的例子来说明next数组的计算过程：

//其中P为模板串，next数组为所求,next[i]表示P[i]的最长相同真前后缀的长度
void GetNext(string P, int next[])
{
    int p_len = P.size();
    int i = 0;   // P 的下标,也就是当前正在遍历的字母
    int j = -1;  //标记在i之前的等于P[i]的P[j]的位置j
    next[0] = -1;//初始化0位置为-1

    while (i < p_len)//p_len=7
    {
        if (j == -1 || P[i] == P[j])
        {
            i++;
            j++;
            next[i] = j;
        }
        else
            j = next[j];
    }
}

  0   1   2   3   4   5   6
//A   B   C   D   A   B   D
以上面为例子进行过程分析：
j=-1,i=0:i=1,j=0,next[1]=0;//P[0]的最长相同真前后缀的长度肯定是0，只有一个字符哪来的前后缀啊
i=1,j=0:，P[1]!=P[0]，j=next[0]=-1;
i=1,j=-1:i=2,j=0,next[2]=0;
i=2,j=0,P[0]!=P[2]: j=next[0]=-1;
i=2,j=-1:i=3,j=0,next[3]=0;
i=3,j=0,P[3]!=p[0]:j=next[0]=-1;
i=3,j=-1:i=4,j=0,next[4]=-1;
P[0]=P[4]:i=5,j=1,next[5]=1;
i=5,j=1,P[1]=P[5]:i=6,j=2,next[6]=2;//ABCDAB的最长相同真前后缀的长度为2
i=6,j=2,P[6]!=P[2]:next[2]=j=0;
j=0,i=6,P[0]!=P[6]:next[0]=j=-1;
j=-1,i=6:j=0,i=7,next[7]=-1;
i=7跳出循环

这是目前我自己还捋得比较清楚的部分，以后有新的再补充