带有`\R`的Java-8 正则表达式否定回溯

Question

answering another question 时，我编写了一个正则表达式来匹配所有空格，最多包含一个换行符。我使用 \R 换行符匹配器的负面后视来做到这一点：

((?<!\R)\s)*

后来我想了想，我说，哦不，如果有\r\n呢？它肯定会抓住第一个换行符\r，然后我会在下一个字符串的前面被一个虚假的\n 卡住，对吧？

所以我回去测试（并可能修复）它。但是，当我测试该模式时，它匹配整个\r\n。它不只匹配\r 离开\n，正如人们所期望的那样。

"\r\n".matches("((?<!\\R)\\s)*"); // true, expected false

但是，当我将documentation 中提到的“等效”模式用于\R 时，它返回false。那么这是 Java 的一个错误，还是有正当的理由可以匹配？

Answer 1

构造\R 是一个宏，它将子表达式包围成一个原子组(?> parts )。

这就是为什么它不会把它们分开。

注意：如果 Java 在后视中接受固定交替，则使用 \R 是可以的，但如果引擎不接受，则会引发异常。

Answer 2

实现#1。文档有误

来源：https://docs.oracle.com/javase/8/docs/api/java/util/regex/Pattern.html

这里说：

换行符匹配器

...等价于\u000D\u000A|[\u000A\u000B\u000C\u000D\u0085\u2028\u2029]

但是，当我们尝试使用“等价”模式时，它会返回 false：

String _R_ = "\\R";
System.out.println("\r\n".matches("((?<!"+_R_+")\\s)*")); // true

// using "equivalent" pattern
_R_ = "\\u000D\\u000A|[\\u000A\\u000B\\u000C\\u000D\\u0085\\u2028\\u2029]";
System.out.println("\r\n".matches("((?<!"+_R_+")\\s)*")); // false

// now make it atomic, as per sln's answer
_R_ = "(?>"+_R_+")";
System.out.println("\r\n".matches("((?<!"+_R_+")\\s)*")); // true

所以Javadoc应该真的说：

...等价于(?<!\u000D\u000A|[\u000A\u000B\u000C\u000D\u0085\u2028\u2029])

Oracle 的 Sherman JDK-8176029 于 2017 年 3 月 9 日更新：

"api doc 没有错，实现错了（当"0x0d+0x0a + next.match()" 失败时回溯"0x0d+next.match()" 失败）"

---

实现#2。 Lookbehinds 不只是向后看

尽管有这个名字，lookbehind 不仅可以向后看，还可以包括甚至跳过当前位置。

考虑以下示例（来自rexegg.com）：

"_12_".replaceAll("(?<=_(?=\\d{2}_))\\d+", "##"); // _##_

“这很有趣，有几个原因。首先，我们在后视中进行前瞻，即使我们应该向后看，这种前瞻通过匹配两个数字和尾随下划线来跳过当前位置。这是杂技。”

对于我们的 \R 示例来说，这意味着即使我们当前的位置可能是 \n，这也不会阻止后向识别它的 \r 后面跟着 \n，然后将两者绑定一起作为一个原子组，因此拒绝将当前位置后面的\r 部分识别为单独的匹配项。

注意：为简单起见，我使用了诸如“我们当前位置是\n”之类的术语，但这并不是内部发生的确切表示。