正则表达式："(^|)"与"(|^)"的区别

Question

我有一个关于R中正则表达式的非常特殊的问题：

grepl("(|^)over","stackoverflow")
# [1] TRUE

grepl("(^|)over","stackoverflow")
# [1] FALSE

grepl("(^|x|)over","stackoverflow")
# [1] FALSE

grepl("(x|^|)over","stackoverflow")
# [1] FALSE

grepl("(x||^)over","stackoverflow")
# [1] TRUE

为什么这些表达式不都会被评估为“TRUE”？

- Daniel Gerigk

---

使用默认库（POSIX 1003.2 扩展正则表达式）时，不确定原因，但使用 pcre 时，grepl("(^|)over","stackoverflow", perl = TRUE) 的表现符合预期。请注意，此翻译可能需要根据上下文进行修正，以确保最准确的表达。 - rawr

Answer 1

POSIX正则表达式实际上应该使所有这些都为True。似乎R使用略微修改的版本 Ville Laurikari's TRE library，并不完全遵循标准。我会遵循@rawr的建议，并使用 perl = TRUE 进行更合规的正则表达式。

另请参阅：当OR正则表达式组的两个部分都匹配时，是否定义了将选择哪个？

- Allen Luce

---

默认情况下，R使用TRE实现POSIX ERE，并通过选项支持PERL类型正则表达式。详情请见：https://github.com/laurikari/tre - IRTFM