扩展正则表达式分组差异探究：两类匹配模式的区别及高亮原因

你想理解扩展正则表达式中的分组概念，这里直接拆解你给出的两个正则的差异：

测试命令与现象 #

# 正则1：无分组
$ echo "the CPU is" | grep -E '[Tt]he CPU|computer is'
the CPU is  # 高亮部分："the CPU"

# 正则2：带分组
$ echo "the CPU is" | grep -E '[Tt]he (CPU|computer) is'
the CPU is  # 高亮部分："the CPU is"

匹配逻辑差异分析 #

1. 无分组的正则：[Tt]he CPU|computer is #

这个正则里的|是全局或操作，它把整个表达式拆成两个完全独立的匹配分支：

• 分支A：匹配[Tt]he CPU（大小写T开头的"the" + 空格 + "CPU"）
• 分支B：匹配computer is

当处理输入字符串"the CPU is"时，grep会优先匹配到分支A的the CPU，这部分就是被高亮的内容——因为分支A的匹配范围只到"CPU"，后面的" is"不在这个分支的规则里，所以不会被包含进匹配结果。

2. 带分组的正则：[Tt]he (CPU|computer) is #

括号()在这里起到了分组约束的作用，它把CPU|computer变成了一个子模式单元，此时|的作用范围被限制在括号内部：

• 整个正则的逻辑是：[Tt]he + （匹配"CPU"或"computer"） + is
• 也就是说，必须同时满足"the "开头、中间是CPU/computer、结尾是" is"，才会触发匹配

当处理输入字符串"the CPU is"时，整个字符串完全符合这个完整的模式，所以grep会把the CPU is整个作为匹配结果高亮出来。

核心结论 #

分组的核心作用是缩小操作符（比如|）的作用范围，将多个子模式打包成一个整体，让正则的匹配逻辑从"二选一的独立分支"变成"整体结构中的可选子单元"，最终直接改变了匹配结果的范围。

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