Next数组的本质：模式串前i+1个字符的最长公共前后缀长度，直接决定了失配后模式串指针的回退位置；双指针的核心作用：无论是构建Next数组还是正式匹配，双指针都实现了「一次遍历，不重复比较」，是时间复杂度优化到O(n+m)的关键；回退的核心原则：失配时主串指针不回退，仅模式串指针根据Next数组回退，跳过已验证的有效匹配部分；自匹配特性：构建Next数组时，模式串相当于自己和自己匹配，复用了KM