为什么正则表达式引擎从`.X|..X|X.`中选择匹配模式`..X`？

Question

我有一个字符串

1234X5678

我使用这个正则表达式来匹配模式

.X|..X|X.

我明白了

34X

问题是为什么我没有得到4X 或X5？

为什么正则表达式选择执行第二种模式？

Answer 1

这里的重点是：

正则表达式引擎默认从左到右分析输入。

因此，您有一个交替模式 .X|..X|X.，并且您针对 1234X5678 运行它。 See what happens:

每个替代分支都针对字符串中从左到右的每个位置进行测试。

前 1-7 步显示引擎如何尝试匹配字符串开头的字符。但是，没有一个分支（.X、..X、X. 都不匹配 12 或 123）。

步骤 8-13 只是重复相同的失败场景，因为没有一个分支匹配 23 或 234。

步骤 14-19 展示了一个成功的场景，因为 34X 可以与分支 2 (..X) 匹配。

正则表达式引擎无法到达4 之前的位置，因为该位置已被匹配并使用。

还有一个结论：

交替的顺序很重要，在 NFA 正则表达式引擎中，第一个匹配的备选方案获胜，但是这个备选方案不必是第一个最短的备选方案，一个更长的备选方案 匹配开头 可以更早匹配。