python - 为什么 Python findall() 和 finditer() 在 unanchored .* 搜索中返回空匹配项？

Question

findall() 和 finditer() 的 Python 文档指出:

Empty matches are included in the result unless they touch the beginning of another match

这可以证明如下:

In [20]: [m.span() for m in re.finditer('.*', 'test')]
Out[20]: [(0, 4), (4, 4)]

但是谁能告诉我，为什么这个模式一开始就返回空匹配？ .* 不应该消耗整个字符串并返回单个匹配项吗？此外，如果我将模式锚定到字符串的开头，为什么末尾没有空匹配？例如

In [22]: [m.span() for m in re.finditer('^.*', 'test')]
Out[22]: [(0, 4)]

Answer 1

1. .* 是零个或多个，所以一旦四个字符被消耗，末尾的零长度空字符串(不触及任何比赛)仍然存在；和
2. 末尾的空字符串与模式不匹配 - 它不是从字符串的开头开始。