正则表达式中的运算符优先级

Question

Oracle 正则表达式中不包含括号的默认运算符优先级是什么？

例如，给定

 H|ha+

它会被评估为H|h，然后连接到a，如((H|h)a)，还是H 与ha 交替使用，如(H|(ha))？

另外，+ 什么时候开始，等等？

Answer 1

鉴于Oracle doc：

表 4-2 列出了支持在传递给 SQL 正则表达式函数和条件的正则表达式中使用的元字符列表。这些元字符符合 POSIX 标准；任何与标准的行为差异都会在“描述”列中注明。

并查看该表中的 | 值：

表达式 a|b 匹配字符 a 或字符 b。

另外看看POSIX doc:

运算符优先级 运算符的优先顺序如下：

1. 与排序规则相关的括号符号 [==] [::] [..]

2. 转义字符\

3. 字符集（括号表达式）[]

4. 分组()

5. 单字符 ERE 重复 * + ? {m,n}

6. 串联

7. 锚定 ^$

8. 交替 |

我会说H|ha+ 与(?:H|ha+) 相同。

Answer 2

使用捕获组来展示评估顺序，正则表达式H|ha+等价于：

(H|(h(a+)))

这是因为优先级规则（如下所示）按照从最高优先级（编号最小）到最低优先级（编号最高）的顺序应用：

• 规则 5 → (a+) + 与 a 分组，因为此运算符适用于前面的单个字符、反向引用、组（Oracle 用语中的“标记的子表达式”） , 或括号表达式（字符类）。

• 规则 6 → (h(a+)) h 然后与上一步中的组连接。

• 规则 8 → (H|(h(a+))) H 然后与上一步中的组交替。

---

9.4.8 of the POSIX docs for regular expressions 部分的优先级表（似乎没有官方的 Oracle 表）：

+---+----------------------------------------------------------+
|   |             ERE Precedence (from high to low)            |
+---+----------------------------------------------------------+
| 1 | Collation-related bracket symbols | [==] [::] [..]       |
| 2 | Escaped characters                | \<special character> |
| 3 | Bracket expression                | []                   |
| 4 | Grouping                          | ()                   |
| 5 | Single-character-ERE duplication  | * + ? {m,n}          |
| 6 | Concatenation                     |                      |
| 7 | Anchoring                         | ^ $                  |
| 8 | Alternation                       | |                    |
+---+-----------------------------------+----------------------+

上表适用于扩展正则表达式。有关基本正则表达式，请参阅9.3.7。