这段代码真的能实现遍历字符串时的回退么？

2010-01-31 04:23:53 196 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

经典字符串匹配算法——KMP算法 KMP算法 KMP算法是一种高效的字符串匹配算法，在传统暴力遍历匹配的基础上做了一定的优化。首先KMP算法的实现也是使用了回退思想，不过与暴力遍历不同，KMP的回退，是让子串进行匹配，而不是主串。 KMP示例首先我们来看两个例子来理解KMP算法：例1：分别从str的i和sub的j位置处开始匹配：此时a与c不匹配，如果暴力遍历的话，是i回到到b，j也回到a，重新一轮匹配。而KMP算法，是将子串的j回到第二个a，str[i]与sub[j]重新开始匹配。原因很明显，第二个ab与第一个ab是相同的，因阅读详情

初学Core Java（java核心技术），看到一下叙述和代码，大意是下边的代码可以实现遍历字符串（按代码点）时的回退操作
======================================
Fortunately, the codePointAt method can tell whether a code unit is the first or second half of a supplementary character, and it returns the right result either way. That is, you can move backwards with the following statements:

i--;
int cp = sentence.codePointAt(i);
if (Character.isSupplementaryCodePoint(cp)) i--;
========================================
我觉得蛮奇怪的啊
按我的理解，codePointAt方法如果碰上一个辅助代码点（supplementary code point）的low-surrogate（应该就是上边写的second half of a supplementary character吧？），会返回这个代码单元的值，而不是代码点的值。
所以上边if后面的条件，如果位置i处是一个low-surrogate，值为false，不会发生i--，这不满足move backwards的要求吧？

...全文