正则中“|”是左优先匹配，非并列选择：从左到右尝试分支，首个完整匹配即返回；含包含关系时须将长模式置左，括号控制作用域，字符类[ ]与|语义不同，回溯不触发分支重选。

正则里的“或”（|）不是并列选择，而是左优先尝试：它从左到右逐个试分支，一旦某个分支能完整匹配，就立刻返回结果，不再看后面的分支。

分支顺序直接影响匹配结果

比如要匹配 http 或 https，写成 http|https 看似合理，实际只会匹配到 http，因为 http 是 https 的前缀，只要文本以 http 开头，左边分支就已成功，右边的 s 被忽略。真正想匹配两种完整协议，得写成 https?|http（把更长的放前面），或更稳妥地用 https?（用量词替代分支）。

• 分支越靠左，越容易“抢走”匹配机会
• 如果两个分支存在包含关系（如 cat 和 category），短的在前会导致长的永远不被触发
• 想让长模式优先，必须把它放在 | 左侧

括号决定“或”的作用范围

| 优先级最低，不加括号时，它会把整个左边和整个右边当作两个候选。例如 abc|defgh 匹配的是 abc 或 defgh；而 ab(c|d)ef 才表示匹配 abcef 或 abdef。

• 没括号：apple|piechart → “apple” 或 “piechart”
• 加括号：(apple|pie)chart → “applechart” 或 “piechart”
• 括号既是分组工具，也是控制 | 边界的必要手段

警惕字符类 [ ] 和 | 的混淆

[abc] 是字符级别“或”，匹配单个字符；a|b|c 是字符串级别“或”，每个分支可含任意长度子表达式。更重要的是，[ ] 内部没有顺序概念——[112] 等价于 [12]，重复字符不改变行为；而 11|1|2 有明确顺序，11 会优先于 1 被匹配。

• 要匹配“11”优先于“1”，必须用 | 并把 11 放最左
• [112] 永远只匹配一个字符，不可能匹配“11”
• 字符类适合单字符枚举，分支适合多字符模式切换

回溯不会帮你“重选分支”

正则引擎不会因为后面匹配失败就回头换另一个分支。它选定一个分支后，会尽全力用回溯让它成立；只有该分支彻底失败，才尝试下一个。例如 a|(a-c)(?=\W) 在 a-c@ 上先匹配了开头的 a，剩下 -c@ 不影响已成功的 a，所以不尝试右边分支。

• 匹配是“贪心尝试 + 单向回溯”，不是“全局最优搜索”
• 如果需要更灵活的逻辑，得靠断言、分组或重构分支顺序来实现
• 调试时可打印匹配位置和捕获内容，确认到底哪个分支生效了