寻找 re.match(pattern, ...) 和 re.search(r'\A' + pattern, ...) 之间的区别

Question

（下面的所有代码都假定import re 已经被评估的上下文。）

关于re.match 和re.search 之间差异的documentation 专门比较了运行re.match(pattern, ...) 和运行re.search('^' + pattern, ...)。在我看来，这有点像稻草人，因为真正的测试是将re.match(pattern, ...) 与re.search(r'\A' + pattern, ...) 进行比较¹。

更具体地说，我无法轻易想出pattern 和string 的组合，其结果是

m = re.match(pattern, string)

将与结果不同

m = re.search(r'\A' + pattern, string)

（请注意，如果pattern 中的原始模式恰好是unicode 类型，那么r'\A' + pattern 中修改后的模式也是如此，非常方便。）

让我强调一下，我不对性能、便利性等方面可能存在的差异感兴趣。目前我只对最终结果的差异感兴趣（即最终结果的差异） m) 的值。

为了更笼统地表达这个问题，我正在寻找pattern、flags、string 和kwargs 的组合，这样m 的最终值在

r0 = re.compile(pattern, flags=flags)
m = r0.match(string, **kwargs)

与m的最终值不同

r1 = re.compile(r'\A' + pattern, flags=flags)
m = r1.search(string, **kwargs)

可能不存在输入 pattern、flags、string 和 kwargs 的此类组合，但要能够满怀信心地做出此断言，需要深入了解Python 正则表达式引擎的内部结构。 IOW，与“肯定答案”（即仅由描述的输入的一个组合组成的答案）相反，对这个问题的“否定答案”相当于一个相当权威的陈述，因此它要令人信服，需要在更深层次上提出案例（而不是“肯定”答案）。

总结一下：我正在寻找两种可能的答案之一：

1. pattern、flags、string 和 kwargs 的组合将在上面给出的最后两种情况下产生不同的 m 值；
2. 基于 Python 正则表达式内部知识的权威“否定”答案（即不存在这样的输入组合）。

---

_{¹\A 将匹配锚定到字符串的开头，无论匹配是否为多行。顺便说一句，用于字符串结尾匹配的\A 的对应项是\Z。很烦人的是，Python 的 \Z 对应于 Perl 的 \z，而 不 对应于 Perl 的 \Z。当我写这篇文章的早期版本时，这让我大吃一惊。 （顺便说一句，在 Python 正则表达式中 \z 没有特殊含义；它只匹配 z。）感谢 John Y 发现我的错误。}

Answer 1

这里可能有一些我看不到的东西，但我认为区别很明显。

1. re.match() 返回成功匹配仅当您要查找的模式位于字符串的开头，并且从文档中的示例看起来 @ 987654322@ 使用 \A 将匹配锚定到字符串的开头，不是多行模式下的行首。

2. re.search() 返回一个成功的匹配不管只要有匹配的目标字符串内的模式，当然只要你不锚定模式故意的。

现在回答您的主要问题，re.match(pattern, …) 和 re.search(r'\A' + pattern, …) 之间有什么区别？

好吧，没有任何区别，这只是一种方便的方法，所以你不必每次都输入r'\A' + pattern，我猜如果你想锚定你的比赛，我想这种情况经常发生。

只需查看您发布的比较链接中的最后一个示例，您就可以更加确定 re.match() 在内部使用 \A：

>>> re.match('X', 'A\nB\nX', re.MULTILINE)  # No match
>>> re.search('^X', 'A\nB\nX', re.MULTILINE)  # Match
<_sre.SRE_Match object at ...>