升壓正則表達式忽略「最短匹配」

Question

這裏是一個Python3會話的完整副本：

~/Documents $ python3 
Python 3.5.1 (v3.5.1:37a07cee5969, Dec 5 2015, 21:12:44) 
[GCC 4.2.1 (Apple Inc. build 5666) (dot 3)] on darwin 
Type "help", "copyright", "credits" or "license" for more information. 
>>> import re 
>>> text = 'This (is) a (test)' 
>>> print(text) 
This (is) a (test) 
>>> re.findall('h', text) 
['h'] 
>>> re.findall('\(.+?\)', text) 
['(is)', '(test)'] 
>>> re.findall('\(.+?\)$', text) 
['(is) a (test)'] 
>>> 

我預計，最終findall返回只(test)，因爲它是\(.+?\)最短的比賽在字符串末尾。相反，它返回(is) a (test)。它同樣爲更長的測試字符串：

>>> text = 'This (is) (possibly) a (test)' 
>>> re.findall('\(.+?\)', text) 
['(is)', '(possibly)', '(test)'] 
>>> re.findall('\(.+?\)$', text) 
['(is) (possibly) a (test)'] 

爲了什麼原因，它與上第一發生(匹配嗎？

請注意，我是而不是尋找替代正則表達式。這個問題是關於具體的行爲，因爲它似乎是錯誤的。

---

我只用Python來驗證;這是由this question在Adobe公司的InDesign版面提示，和InDesign還採用升壓：

Adob​​e InDesign中提供了一流的頁面設計：InDesign和它的asociated SDK取決於升壓Boost.Regex，Boost.Functional等。
（http://www.boost.org/users/uses_shrink.html（原文錯別字））

Answer 1

，因爲解析器狀態機開始在左邊它從（第一次出現匹配？

什麼原因。這是它的工作原理，如果從第一個字符開始匹配，爲什麼它應該被拒絕？

這應該給你一個線索，你可能想要求沒有削弱ntheses發生在中間：中[^(]代替.

Python 2.7.10 (default, Oct 14 2015, 16:09:02) 
[GCC 5.2.1 20151010] on linux2 
Type "help", "copyright", "credits" or "license" for more information. 
>>> text = 'This (is) (possibly) a (test)' 
>>> import re 
>>> re.findall('\(.+?\)$', text) 
['(is) (possibly) a (test)'] 
>>> re.findall('\([^(]+?\)$', text) 
['(test)'] 
>>>