正規表示式之貪婪模式

象 * 這樣地重複是「貪婪的」；當重複乙個 re 時，匹配引擎會試著重複盡可能多的次數。如果模式的後面部分沒有被匹配，匹配引擎將退回並再次嘗試更小的重複。

一步步的示例可以使它更加清晰。讓我們考慮表示式 a[bcd]*b。它匹配字母 "a"，零個或更多個來自類 [bcd]中的字母，最後以 "b" 結尾。現在想一想該 re 對字串 "abcbd" 的匹配。

step matched explanation

1 a a 匹配模式

2 abcbd 引擎匹配 [bcd]*，並盡其所能匹配到字串的結尾

3 failure 引擎嘗試匹配 b，但當前位置已經是字元的最後了，所以失敗

4 abcb 退回，[bcd]*嘗試少匹配乙個字元。

5 failure 再次嘗次b，但在當前最後一位字元是"d"。

6 abc 再次退回，[bcd]*只匹配 "bc"。

7 abcb 再次嘗試 b ，這次當前位上的字元正好是 "b"

re 的結尾部分現在可以到達了，它匹配 "abcb"。這證明了匹配引擎一開始會盡其所能進行匹配，如果沒有匹配然後就逐步退回並反覆嘗試 re 剩下來的部分。直到它退回嘗試匹配 [bcd] 到零次為止，如果隨後還是失敗，那麼引擎就會認為該字串根本無法匹配 re 。