KMP算法，可读性较好的一种实现。

最近看了July的博文《从头到尾彻底理解KMP》。讲解得非常详细，也给我一些启发，让我仔细地思考了一下KMP算法。

作为产品维护工程师，我们会更多地考虑代码的可维护性，即代码的可读性。July的文章中，在计算next数组时，给next数组的第0位设置为－1做为旗标使用，并且在字符失配的情况下，令k＝next[K]，这样的写法让人比较难以理解。于是我也写了一份计算next数组的实现，供大家参考。

    public static int[] getNextArray(String p)
    {
        int len = p.length();
        int next[] = new int[len];
        next[0] = -1;
        if (len >= 2)
        {
            next[1] = 0;
            int cursor = 2;
            int flag = 0;
            int value = 0;

            while (cursor <= len -1)
            {
                if (p.charAt(cursor - 1) == p.charAt(flag))
                {
                    ++flag;
                    ++value;
                }
                else
                {
                    if (flag != 0)
                    {
                        flag = 0;
                        value = 0;

                        if (p.charAt(cursor - 1) == p.charAt(flag))
                        {
                            ++flag;
                            ++value;
                        }
                    }
                }
                next[cursor] = value;
                ++cursor;
            }
        }


        return next;
    }

next数组的含义是：设i是next数组中的一位，则next[i]的值的含义是在这一位之前自负串中相同的前缀和后缀的长度。比如字符串ABCABD，当i＝5，即字符D位置，该位置之前的字符串为ABCAB，有相同的前后缀AB，其长度为2，则对应next数组的值为2。需要指出的是，位置0和1比较特殊。位置0之前没有字符串，对应next数组的值设置为－1，这个值是做为占位符存在的，其值除了做为旗标外并无其他意义。而位置1之前，只有一个字符，此处认为其前后缀为0。

我的实现和之前博文描述的不同之处在于适配时候的处理。在计算next数组时，当适配发生的时候，如果当前字符不是和字符串的第一位进行比较，需要再和字符串第一位进行一次比较。在此实现中，我用flag代表前缀的游标，value做为当前next数组的值，可以看到，这两个变量的增减变化是同步的。其实是可以合在一起的。然而，合在一起的代价就是对程序理解的变得更困难了，因为flag和value在含义上并没有必要的联系。这也是之前next[k]=k在理解上面的难点。

next数组完成之后，KMP算法的实现也就变得唾手可得了。附上我自己的实现供大家参考。

    public static int kmpMatch(String s, String p)
    {
        int ret = -1;
        int i = 0;
        int j = 0;

        int[] next = getNextArray(p);
        while ( i < s.length() - p.length()+1)
        {
            if (s.charAt(i) == p.charAt(j))
            {
                if (j == p.length() -1)
                {
                    ret = i - j;
                    break;
                }
                else
                {
                    ++i;
                    ++j;
                }
            }
            else
            {
                if (j != 0)
                {
                    j = next[j];
                }
                else
                {
                    ++i;
                }
            }

        }

        return ret;
    }