Algorithm re.finditer背后的算法是什么？

我正在研究字符串搜索算法，几次之后，我发现re.finditer函数的结果比我的Naive/KMP/Boyer-Moore实现要快得多。我读到Python库使用了一个基本的回溯算法，但我想知道是否有人能给我指出一个更具体的方向/代码，让我更好地理解他们的算法？谢谢大家!

解决方案 假设你指的是CPython

函数定义如下：

回溯算法在这里实现：