核心考点：KMP算法中next数组的计算。解题思路：next[j]的值为模式串T[0...j-1]的最长相等前后缀的长度。选项分析：A项，错误，next[0]为0，next[1]为0（因为'a'无真前缀和真后缀），next[2]为1（'ab'的相等真前后缀为'a'），next[3]为2('aba'的相等真前后缀为'ab'),next[4]为3（'abab'相等前后缀为'aba'）。B项，错误，next[2]为1。C项，正确，next数组为[0, 1, 0, 1, 2]。D项，错误，next[2]为0，next[3]为1。因此正确答案为C。易错点：不熟悉next数组的计算方法，导致计算错误，容易误选其他项。