在KMP算法中，当文本字符与模式字符不匹配时，需要根据next数组来决定跳转的位置。当前文本字符为'S[4]'，若与'T[1]'不匹配，则根据next数组的值，j会被设置为next[j-1]，即next[1]=0，因此i保持不变，j跳转到0，文本指针i仍然指向4，模式指针j指向1。此时，文本指针i指向的字符仍然是文本串的第4个字符，因此答案是A. 4。