KMP演算法的原理就是利用相匹配的字首子串與字尾子串，來確定失配時下次對齊的位置；

其中最關鍵的就是next陣列的確立；

資料結構課本上KMP演算法next陣列計算經典的例子：

void getNext(const char *pStr, int *nextArr)
{
	int i = 0, k = -1, pLen = strlen(pStr);
	nextArr[i] = k;
	int mLen = pLen - 1;
	while (i < mLen)
	{
		if (k == -1 || pStr[i] == pStr[k])
		{
			nextArr[++i] = ++k;
		}
		else k = nextArr[k];
	}
}
 

比如：ABACA，當第2個A失配時，說明被匹配串的當前位置的字元必定不等於A，所以將第0位對齊到此位也必定失配，所以應該繼續回溯到第0位失配時所需要對齊的位，這裡也就是-1；

這個"必定不等於(!=)"是可以被利用的！我們對KMP演算法next陣列計算的優化正是基於此；

廢話不多說，下面是優化後的KMP演算法next陣列計算與註釋：

//優化過後的next陣列求法
void getNext(const char *pStr, int *nextArr)
{
	int j = 0, j_next = -1, pLen = strlen(pStr);
	nextArr[j] = j_next;//此處第0位失配，則對齊第-1位；
	int mLen = pLen - 1;
	while (j < mLen)
	{
		//基於第j位與第j_next已經相等（或者j_next為-1）
		//廣義地將空字元（pStr[-1]）看做可以與任意字元相等，這樣很益於理解
		//求下一個j失配時的對齊位
		if (pStr[++j] != pStr[++j_next])
		{
			//因為（自增++之後）pStr[j]與pStr[j_next]不相等
			//所以此時pStr[j]失配後，可以用pStr[j_next]來試試，所以nextArr[j] = j_next;
			nextArr[j] = j_next;
			//因為此時pStr[j]與pStr[j_next]不相等
			//所以回溯取pStr[j_next]失配時的對齊位pStr[nextArr[j_next]]
			//直到相等為止
			while (j_next != -1 && pStr[j] != pStr[j_next]) j_next = nextArr[j_next];
		}
		//這裡就是優化點
		//因為（自增++之後）pStr[j]與pStr[j_next]相等
		//所以pStr[j]失配後，pStr[j_next]也必定失配
		//故丟棄pStr[j_next]，再取pStr[j_next]失配時的對齊位pStr[nextArr[j_next]]
		//也即nextArr[j] = nextArr[j_next];
		else nextArr[j] = nextArr[j_next];
	}
}
 

給個無註釋純淨版的（KMP演算法next陣列計算）：

void getNext(const char *pStr, int *nextArr)
{
    int j = 0, j_next = -1, pLen = strlen(pStr);
    nextArr[j] = j_next;
    int mLen = pLen - 1;
    while (j < mLen)
    {
        if (pStr[++j] != pStr[++j_next])
        {
            nextArr[j] = j_next;
            while (j_next != -1 && pStr[j] != pStr[j_next]) j_next = nextArr[j_next];
        }
        else nextArr[j] = nextArr[j_next];
    }
}
 

歡迎拍磚與指正！