应该算是KMP算法中一个最清楚的版本了，对next数组的详解尤为突出。