javascript中正则表达式的非贪婪重复的问题？

Question

在《javascript权威指南》第六版 第十章 10.1.3节中
书中在介绍非贪婪的重复时举了一个例子，用正则表达式 /a+?/ 来匹配字符串 aaa ,
原话这样说的:

但是/a+?/也可以匹配一个或多个连续的字母a,但是它是尽可能少地匹配，我们将 aaa 作为匹配字符串，但只能匹配第一个a。

但是后来书中又举了一个例子，用正则表达式 /a+?b/ 来匹配字符串 aaab ,而匹配的是整个字符串。书中这样解释:

这是因为正则表达式的模式匹配总是会寻找字符串中第一个可能匹配的位置。由于该匹配是从字符的第一个字符开始的，因此在这里不考虑它的子串中更短的匹配。

两段话不矛盾么？为什么/a+?b/会匹配aaab而不是 匹配一个a和最后一个b?

Answer 1

1. 总是寻找字符串中第一个可能匹配的位置。所以 aaab 中第一个 a 直接满足 /a+?b/ 时直接就匹配了。

2. 非贪婪时尽可能少的匹配。所以 aaa 中第一个 a 直接满足 /a+?/ 时直接就匹配了。

为什么 /a+?b/ 会匹配 aaab 而不是匹配第三个 a 和最后一个 b ?

因为『寻找字符串中第一个可能匹配的位置』的优先级比『非贪婪』更高。

Answer 2

可以看一下《高性能JavaScript》第五章理解回溯原理：
先跳过表达式a+?，匹配表达式b，第一个字符'a'匹配失败，回溯，表达式a+?匹配第一个字符'a'，重复之前的过程，表达式a+?一直匹配到第三个字符'a'。此时再次匹配表达式b，和最后一个字符'b'匹配成功，则正则匹配结束，匹配项为 aaab