JavaScript正则表达式/(co|com)/gi仅匹配co的原因及匹配com的方法

这是个很常见的正则分支匹配误区，我来给你拆解清楚：

问题根源：正则分支的「顺序优先」规则，而非贪婪匹配问题 #

你提到的「贪婪匹配」是针对**量词（比如*、+、?、{n,m}）**的行为，而正则里的分支（|）遵循的是「顺序尝试，匹配即停」的规则：
当正则引擎遇到(co|com)时，会先尝试匹配第一个分支co，发现字符串'com'的前两个字符正好完全匹配co，就直接返回这个匹配结果，不会再继续尝试后面的com分支了。

两种简单的修复方案 #

1. 把更长的分支放在前面

调整分支顺序，让正则先尝试匹配更长的目标：

'com'.match(/(com|co)/gi) // 返回 ["com"]
'co'.match(/(com|co)/gi)  // 返回 ["co"]

这样不管是com还是co，都能匹配到最符合预期的结果。

2. 用可选量词替代分支

如果不想调整顺序，可以把m改成可选匹配，利用量词的贪婪性来捕获完整的com：

'com'.match(/(co(m)?)/gi) // 返回 ["com"]
'co'.match(/(co(m)?)/gi)  // 返回 ["co"]

这里的(m)?表示m是可选的，正则引擎的贪婪特性会尽可能匹配存在的字符，所以遇到com时会把m也包含进去。

补充：再区分下分支和贪婪匹配 #

举个例子帮你更清楚：

• 贪婪匹配的场景：'aaaaa'.match(/a+/) 会返回["aaaaa"]，因为+是贪婪量词，会匹配最长的连续a
• 分支顺序的场景：'com'.match(/(co|com)/) 只返回["co"]，因为分支是按顺序尝试，先匹配到就停止

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