仅含字面量的正则表达式回溯机制工作原理问询

先来看参考资料里对回溯的核心定义：

当某个标记匹配失败时，引擎会回溯到正则表达式和目标字符串中之前的位置，尝试另一条匹配路径

你提到的.*t这类带量词的正则，回溯是在同一个起始点内调整匹配长度；而纯字面量的正则（比如cat），回溯的表现虽然没那么直观，但底层逻辑是完全一致的——本质都是引擎在匹配碰壁时，回到之前的成功状态，换一条路径继续尝试。

咱们拿你举的例子一步步拆解：正则是cat，目标文本是Iam captain（字符索引从0开始：0:I,1:a,2:m,3: ,4:c,5:a,6:p,7:t,8:a,9:i,10:n）

1. 初始尝试：从文本第0位开始
   尝试匹配正则第一个字符c，但文本第0位是I，不匹配。引擎直接放弃这个起始点，移动到第1位继续尝试。
2. 依次跳过不匹配的起始点
   第1位（a）、第2位（m）、第3位（空格）都和c不匹配，引擎一路移动到第4位。
3. 部分匹配成功后触发回溯
   • 第4位是c，和正则第一个字符匹配成功；接着看第5位是a，和正则第二个字符也匹配成功；
   • 接下来尝试匹配正则第三个字符t，但文本第6位是p，匹配失败！
   • 这时候回溯就发生了：引擎会回到“第4位匹配c成功”的那个状态，放弃当前的部分匹配路径，然后把文本的起始位置向后挪一位（到第5位），重新开始尝试匹配整个cat。
4. 遍历剩余起始点
   从第5位到第10位，每个位置的字符都和正则第一个字符c不匹配，引擎逐个尝试后全部失败。
5. 最终结果
   引擎遍历完所有可能的起始位置后，确认没有匹配路径，返回匹配失败。

简单来说，纯字面量正则的回溯，就是当某个起始点的部分匹配失败时，回到起始点的初始状态，切换到下一个起始点重新尝试整个正则的匹配——这完全符合回溯的核心定义：在失败时回到之前的位置，寻找其他可能的匹配路径。

内容的提问来源于stack exchange，提问作者shinobitiger310