为何git log -L中用'$'作为函数名会引发无限搜索？

问题翻译 #

我们可以通过git log -L :funcname:filename语法在git log中搜索指定文件里的函数相关提交。我在程序化执行这个搜索时遇到了问题：当把函数名设为$（比如执行git log -L :$:somefile.py）时，会触发无限搜索。$在正则里表示字符串结尾，但为什么它会引发无限循环，而^、?这类其他正则字符却不会？这个字符有什么独特的作用吗？

解答 #

Git的-L :funcname:filename语法里的funcname并不是标准正则表达式，而是Git用来识别函数定义起始行的特殊模式，它的匹配逻辑和普通正则不一样：

• Git会逐行扫描目标文件，尝试找到匹配funcname模式的行，将其判定为某个函数的起始行，接着解析该函数的范围（从起始行到下一个函数定义前的内容）。
• 当你传入$时，这个模式会匹配每一行的行尾——几乎所有非空行的结尾都符合这个匹配规则，甚至空行也能匹配。这就导致Git把文件里的每一行都当作新函数的起始点，随后不断尝试从每一行开始解析“函数范围”，再遍历所有提交中对应范围的变更，最终因为需要处理的范围数量极大，耗时极长，看起来像是触发了无限循环。
• 而^匹配行首，通常只有函数定义的行（比如Python里的def func():）才会符合匹配条件，不会批量匹配所有行；?在Git的这个特殊模式中要么被当作普通字符，要么匹配范围极窄，不会触发全量行的匹配，因此不会出现类似的长时间搜索情况。

另外要注意，Git的这个模式匹配是基于内置的多语言函数识别规则，并非纯粹的正则引擎，这也是它和普通正则表现不同的核心原因。

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