共计 4232 个字符，预计需要花费 11 分钟才能阅读完成。
上次咱们解说了正则表达式量词匹配形式的 贪心匹配和懈怠匹配 之后，一些同学给我的公众号留言说心愿可能快点把量词匹配形式的下篇也写了。那么，这次咱们就来学习一下量词的另外一种匹配形式，那就是 占有优先 的匹配形式。当然咱们这篇文章还解说了跟占有优先匹配性能一样的 固化分组 ，以及 应用必定的程序环视来模仿占有优先的匹配形式以及固化分组。筹备好了吗，快来给本人的技能树上再增加一些技能吧。
咱们如果能够把握这种匹配形式的原理的话，那么咱们就有能力写出 效率更高 的正则表达式。在进行深刻的学习之前，心愿你至多对正则表达式的 贪心匹配 有所理解，如果还不怎么理解的话，能够破费几分钟的工夫看一下我上一篇对于 贪心匹配和懈怠匹配 的文章。
占有优先的匹配形式：(表达式)*+
首先，占有优先的匹配形式跟贪心匹配的形式很像。它们之间的区别就是 占有优先的匹配形式，不会偿还曾经匹配的字符 ，这点很重要。这也是为什么 占有优先的匹配形式效率比拟高的起因。因为它作用的表达式在匹配完结之后，不会保留备用的状态，也就是不会进行回溯 。然而，贪心匹配会保留备用的状态，如果之前的匹配没有胜利的话，它会回退到最近一次的保留状态，也就是进行回溯， 以便正则表达式整体可能匹配胜利 。
那么占有优先的示意形式是怎么的？占有优先匹配就是在原来的量词的前面增加一个 +，像上面展现的这样。
.?+
.*+
.++
.{3, 6}+
.{3,}+因为正则表达式有很多流派，有一些流派是不反对占有优先这种匹配形式的，比方 JavaScript 就不反对这种匹配的形式（前端同学示意不是很开心????），然而咱们能够应用 必定的程序环视 来模仿占有优先的匹配。PHP就反对这种匹配形式。所以接下来咱们一些正则的演示，就会抉择应用 PHP 流派进行演示。
咱们来写一个简略的例子来加深一下大家对于占有优先匹配形式的理解。有这么一个需要，你须要写一个正则表达式来匹配以数字 9 结尾的数字。你会怎么写呢？当然，对于曾经有正则表达式根底的同学来说，这应该是很容易的事件。咱们会写出这么一个正则表达式\d*9，这样就满足了下面所说的需要了。
让咱们把下面的 贪心匹配 形式批改为 占有优先 的匹配形式，你感觉咱们还可能匹配雷同的后果吗？来让咱们看一下批改后的匹配后果。
答案是 不能，你兴许会好奇，为什么就不能够了。让我来好好给大家解释一下为什么不可能匹配了。
咱们晓得正则表达式是从左向右匹配的，对于 \d*+ 这个整体，咱们在进行匹配的时候能够先把 \d*+ 看作是 \d* 进行匹配。对于 \d*+ 这部分表达式来说它在开始匹配的时候会匹配尽可能多的数字，对于咱们给出的测试用例，\d*+都是能够匹配的，所以 \d*+ 间接匹配到了每一行数字的结尾处 。而后因为\d*+ 是一个整体，示意占有优先的匹配。所以 当\d*+匹配实现之后，这个整体便不再偿还曾经匹配的字符了 。然而咱们正则表达式的前面还须要匹配一个字符9，然而后面曾经匹配到字符串的结尾了，再没有字符给9 去匹配，所以下面的测试用例都匹配失败了。
在开始匹配的过程中 咱们能够把占有优先当做贪心匹配来进行匹配，然而一旦匹配实现就跟贪心匹配不一样了，因为它不再偿还匹配到的字符 。所以对于占有优先的匹配形式，咱们只须要牢记 占有优先匹配形式匹配到的字符不再偿还 就能够了。
固化分组：(?> 表达式)
咱们理解了占有优先的匹配之后，再来看看跟占有优先匹配作用一样的 固化分组 。那什么是固化分组呢？固化分组的意思是这样的， 当固化分组外面的表达式匹配实现之后，不再偿还曾经匹配到的字符 。固话分组的示意形式是(?> 表达式)，其中外面的表达式就是咱们要进行匹配的表达式。比方(?>\d*) 外面的表达式就是 \d*，示意的意思就是当\d* 这部分匹配实现之后，不再偿还 \d* 曾经匹配到的字符。
所以，对于 \d*+ 来说，咱们如果应用固化分组的话能够示意为 (?>\d*)。其实， 占有优先 是固化分组 的一种简便的示意形式，如果固化分组外面的表达式是一个很简略的表达式的话。那么应用占有优先量词，比应用固化分组更加的直观。
咱们将下面应用占有优先的表达式替换为应用 固化分组 的形式示意，上面两张图片展现了应用固化分组后的匹配后果。
还有一些须要留神的是，反对占有优先量词的正则流派也反对固化分组 ，然而 对于反对固化分组的正则流派来说，不肯定反对占有优先量词。所以在应用占有优先量词的时候，要确保你应用的那个流派是反对的。
应用必定程序环视模仿固化分组：(?=(表达式))1
对于不反对固化分组的流派来说，如果这些流派反对 必定的程序环视 和捕捉的括号 的话，咱们能够应用必定的程序环视来模仿固化分组。如果对于正则表达式的 环视 还不相熟的话，能够花几分钟的工夫看一下我之前写的这篇文章 间隔弄懂正则的环视，你只差这一篇文章，保障你能够疾速的了解正则的环视。
看到这里，你可能要问，为什么必定的程序环视能够模仿固化分组呢？咱们要晓得固化分组的个性就是匹配实现之后，抛弃了固化分组内表达式的备用状态，而后不会进行回溯。又因为 环视一旦匹配胜利之后也是不会进行回溯的，所以咱们能够利用必定的程序环视来模仿固化分组。
咱们能够应用 (?=(表达式))\1 这个表达式来模仿固化分组 (?> 表达式)。我来解释一下下面这个模仿的正则表达式，首先是一个必定的程序环视，须要在以后地位的前面找到满足 表达式 的匹配，如果找到的话，接下来 \1 会匹配环视中曾经匹配到的那局部字符。因为在程序环视中的正则表达式不会受到程序环视前面表达式的影响，所以程序环视外部的表达式在匹配实现之后不会进行回溯。而后前面的 \1 再次匹配环视外面 表达式 匹配到的内容，这样就模仿了一个固化分组。
咱们再将下面的表达式替换为应用 模仿固化分组 的形式示意，上面两张图片展现了应用模仿固化分组后的匹配后果。
模仿的固化分组在效率上要比真正的固化分组慢一些 ，因为\1 的匹配也是须要破费工夫的。不过对于贪心匹配所造成的的回溯来说，这点匹配的工夫个别还是很短的。
贪心匹配和占有优先效率的比拟
咱们下面说过，因为占有优先不会回溯，所以在一些状况下，应用占有优先的匹配要比应用匹配优先的匹配效率高很多。那么上面咱们就应用代码来验证一下贪心匹配和占有优先匹配的效率是怎么的。
代码如下所示：
// 匹配优先（贪心匹配）匹配一行中的数字，前面紧跟着字符 b
const greedy_reg = /\d*b/;
// 占有优先（应用必定程序环视模仿）const possessive_reg = /(?=(\d*))\1b/;
// 测试的字符串 000...(共有 1000 个 0)...000a
const str = `${new Array(1000).fill(0).join('')}a`;
console.time('匹配优先');
greedy_reg.test(str);
console.timeEnd('匹配优先');
console.time('模仿的占有优先');
possessive_reg.test(str);
console.timeEnd('模仿的占有优先');在下面的测试代码中，咱们生成了一个长度为 1001 的字符串，最初一位是一个小写字母 a。因为贪心匹配在匹配到最初一个数字后，发现最初一个字符是a，不可能满足b 的匹配，所以开始进行回溯。尽管咱们晓得就算进行了回溯也不会匹配胜利了，然而运行的程序是不晓得的 ，所以程序会一直的回溯，始终回溯到\d* 什么也不匹配，而后再次查看b，发现还是不能够匹配。最终报告匹配失败。两头进行了大量的回溯，所以匹配的效率升高了。
对于占有优先的匹配，在第一次 \d* 匹配胜利后，发现前面的 a 不可能满足 b 的匹配，所以立刻报告失败，匹配效率比拟高。然而因为 JavaScript 不反对 占有优先 和固化分组 ，所以咱们应用了必定的程序环视来代替，然而因为\1 须要进行接下来的匹配，也会耗费一些工夫。所以这个测试的后果不可能严格意义上表明 占有优先 比贪心匹配 在这种状况下的效率高，然而如果模仿的占有优先耗费的工夫比拟短，那就能够阐明占有优先的确比贪心匹配在这种状况下的效率高。
我首先在 node.js 环境中运行，我本地的 node.js 版本为v12.16.1，零碎为macOS。程序运行的后果如下：
匹配优先: 1.080ms
模仿的占有优先: 0.702ms这个后果只是其中一次的运行后果，运行很屡次后发现匹配优先的耗时要比咱们模仿的占有优先多一些，但也有几次的运行工夫是小于模仿的占有优先的。我把雷同的代码也放在了 Chrome 浏览器中运行了屡次，发现匹配优先的耗时有时比模仿占有优先高，有时比模仿占有优先低，不是很好做判断。
在 JavaScript 中不可能很好地反馈这两种匹配形式的效率高下，所以咱们须要在 PHP 中再次进行试验。因为 PHP 是原生的反对 占有优先 匹配的，所以比拟的后果是有说服力的。咱们应用 PHP 的代码实现下面雷同的逻辑，代码如下：
// 贪心匹配
$greedy_reg = '/\d*b/';
// 占有优先
$possessive_reg = '/\d*+b/';
// 待测试字符串
$str = implode(array_fill(0, 1000, 0)) . 'a';
// 计算贪心匹配破费的工夫
$t1 = microtime(true);
preg_match($greedy_reg, $str);
$t2 = microtime(true);
echo '贪心匹配运行的工夫：' . ($t2 - $t1) * 1e3 . 'ms';
echo PHP_EOL;
// 计算占有优先匹配破费的工夫
$t3 = microtime(true);
preg_match($possessive_reg, $str);
$t4 = microtime(true);
echo '占有优先匹配运行的工夫：' . ($t4 - $t3) * 1e3 . 'ms';能够看到运行的后果如下：
贪心匹配运行的工夫：0.025033950805664ms
占有优先匹配运行的工夫：0.0071525573730469ms如果你将这段代码运行屡次的话，能够看到占有优先匹配所破费的工夫确实是比贪心匹配要少一些的，所以下面的代码能够阐明，在这种状况下 占有优先 匹配的效率是比 贪心匹配 的效率高的。
对于正则表达式的 占有优先 匹配和 固化分组 的解说到这里就完结啦，如果大家有什么疑难和倡议都能够在这里提出来。欢送大家关注我的公众号 关山不难越，咱们一起学习更多有用的正则常识，一起提高。
参考资料：
- https://www.regular-expressio…