如何实现正则表达式任意顺序匹配可选捕获组？

参考匹配任意顺序多内容的正则思路，我写出了这样的正则：/(?=.*(?<one>foo))(?=.*(?<two>bar))(?=.*(?<three>baz))/，它能匹配foo bar baz这类三个子串任意顺序的字符串，但我需要让这三个捕获组变为可选，即要能匹配以下所有字符串：

• foo bar baz
• foo baz bar
• baz bar foo
• foo bar
• foo baz
• bar baz
• foo
• bar
• baz

我尝试给捕获组加?量词，写成/(?=.*(?<one>foo)?)(?=.*(?<two>bar)?)(?=.*(?<three>baz)?)/，但发现捕获组完全停止工作，求可行的实现方案。

问题原因 #

给捕获组加?的错误在于：(?<one>foo)?会让正则优先选择“不捕获该组”的分支（量词?表示匹配0次或1次），哪怕字符串里存在foo，正则也可能跳过捕获，导致分组为空。

正确写法 #

应该将整个正向预查设为可选，而不是给捕获组加量词。修改后的正则如下：

/(?=.*(?<one>foo))?(?=.*(?<two>bar))?(?=.*(?<three>baz))?(?!$)/

如果你的场景允许匹配空字符串，可以去掉最后的(?!$)：

/(?=.*(?<one>foo))?(?=.*(?<two>bar))?(?=.*(?<three>baz))?/

逻辑说明 #

1. 每个(?=.*(?<one>foo))?表示：如果字符串中存在foo，则匹配并捕获到<one>分组；如果不存在，这个预查直接跳过，不影响整体匹配。
2. 最后的(?!$)是正向否定预查，用来排除空字符串的匹配。

验证效果 #

这个正则可以完美匹配你列出的所有字符串：

• 包含三个子串的任意排列：三个预查都触发，<one>、<two>、<three>都能捕获到对应内容
• 包含两个子串的组合：对应的两个预查触发，捕获到两个分组
• 单个子串：对应的预查触发，捕获到对应的分组

内容的提问来源于stack exchange，提问作者vldmr