鉴于原理有点复杂，详细原理可以参考这篇文章http://blog.csdn.net/v_july_v/article/details/7041827
本文直接从结论入手，应付考试和竞赛足够了。
设T为目标串（"aaabbbaabbabcabcabbaba"），pat为模式串（"aabbabc"）。
这是模式串的next数组：
| j(下标) | 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| pat | a | a | b | b | a | b | c |
| next[j] | -1 | 0 | 1 | 0 | 0 | 1 | 0 |
KMP算法：
j=0时，next[j]=-1。表示下一趟匹配比较时，模式串的第-1个字符与目标串上次失配的位置对齐。（其实等同于第0个字符与目标串上次失配的下一个位置对齐），模式串需要移动到posT-next[j]的位置。（posT为T串下标）
j=1时，next[j]=0。表示下一趟匹配比较时，模式串的第0个字符与目标串上次失配的位置对齐。模式串需要移动到posT-next[j]个位置。
j=2时，next[j]=1。表示下一趟匹配比较时，模式串的第1个字符与目标串上次失配的位置对齐。模式串需要移动到posT-next[j]个位置。
以此类推......
那么下面只要求出next数组即可，next数组是如何形成的？
从下标0开始，一直到lengthP-1为止（lengthP是模式串的长度），每次寻找该下标前面前缀与后缀相同的最大长度（前后缀不包括前面整个字符串，即起始位置和终止位置都相等的那一个字符串，下面有解释）。
j=0时，字符a前面无字符，故标记-1；
j=1时，字符a前面有字符a，但由于“前后缀不包括前面整个字符串”的规则，所以并没有相同的前后缀一说，故标记为0。
j=2时，字符b前面有字符aa，前后缀相同的字符串为a，故标记为前后缀的长度1。
以此类推......(PS：前后缀的计算都是从左到右的)
其实这样说是为了方便理解next数组，而next数组的实际形成也是一次KMP算法，它也是一个匹配字符串的过程，用后缀去匹配前缀的过程。
代码如下：
1 #include<iostream>
2 #include<string>
3 using namespace std;
4 string T;
5 string pat;
6 void getNext(int next[],int lengthP){//lengthP为模式串P的长度
7 int j=0,k=-1;//j为P串的下标，k用来记录该下标对应的next数组的值
8 next[0]=-1;//初始化0下标下的next数组值为-1
9 while(j<lengthP){ //对模式串进行扫描
10 if(k==-1||pat[j]==pat[k]){//串后缀与前缀没有相等的子串或者此时j下标下的字符与k下的字符相等。
11 j++;k++;
12 next[j]=k;//设置next数组j下标的值为k
13 }else
14 k=next[k];//缩小子串的范围继续比较
15 }
16 }
17
18 int kmp(int k,int next[]){
19 int posP=0,posT=k;//posP和posT分别是模式串pat和目标串T的下标，先初始化它们的起始位置
20 int lengthP=pat.length();//lengthP是模式串pat长
21 int lengthT=T.length();//lengthT是目标串T长
22 while(posP<lengthP&&posT<lengthT){//对两串扫描
23 if(posP==-1||pat[posP]==T[posT]){//对应字符匹配
24 posP++;posT++;
25 }else
26 posP=next[posP];//失配时，用next数组值选择下一次匹配的位置
27 }
28 if(posP<lengthP) return -1;
29 else return posT-lengthP;//匹配成功
30 }
31
32 int main(){
33 T="aaabbbaabbabcabcabbaba";
34 pat="aabbabc";
35 int lengthP=pat.length();
36 int next[lengthP]={0};
37 getNext(next,lengthP);
38 int pos=kmp(0,next);
39 cout<<pos<<endl;
40 cout<<"next[]:";
41 for(int i=0;i<lengthP;i++){
42 cout<<next[i]<<" ";
43 }
44 return 0;
45 }