regex - 为什么 (?!^) 等价于 (?<!^)？

Question

不久前我回复了 this question在 SO 上，但我仍然没有弄清楚为什么我的答案有效。

出于某种原因，字符串开头的负前瞻与负后瞻的行为相同。

例如，在 PHP 中

preg_replace("/(?!^)12/", "ab", "12345");   // 12345
preg_replace("/(?<!^)12/", "ab", "12345");  // 12345
preg_replace("/(?!1)23/", "ab", "12345");   // 1ab45
preg_replace("/(?<!1)23/", "ab", "12345");  // 12345

我知道这不是有史以来最有用的问题，但这已经困扰了我几个星期。

Answer 1

插入符号是零宽度断言。事实上，lookaheads 和lookbehinds 也是零宽度的。因此，在这种情况下，无论您是向前看还是向后看都没有关系，您仍然在看相同的角色位置。

这在 this article 中有很好的解释.