在XSLT/XQuery正則表達式中，是否有評估交替表達式的必要順序？

Question

正則表達式的大多數解釋通常似乎表明，預期的行爲是使用從左到右的表達式的貪婪評估。然而，在一個XQuery實現中，我發現交替表達式是並行計算的（顯然是爲了性能），這意味着「第一個」匹配不一定是左邊的匹配的第一個。

例如，在每隔一個的XQuery處理器我測試過，給定該輸入：返回

fn:analyze-string( 
    '1-a. x. y. z.', 
    '^(\d+[-\w]*\.?|.{1,10}\.)\s(.+)$', 
    'ix') 

相同的輸出：

<analyze-string-result> 
    <match> 
     <group nr="1">1-a.</group> 
     <group nr="2">x. y. z.</group> 
    </match> 
</analyze-string-result> 

然而，有一個的XQuery處理器（在組1中）評估第一個之前的第二個表達，並且它匹配代替：

<analyze-string-result> 
    <match> 
    <group nr="1">1-a. x. y.</group> 
    <group nr="2">z.</group> 
    </match> 
</analyze-string-result> 

是否有任何XQuery的正則表達式規範的解釋，後者的結果會被認爲是有效的？

Answer 1

基於https://www.w3.org/TR/xpath-functions-31/#func-analyze-string說

如果正則表達式內的若干備選方案都匹配在 在輸入字符串中的相同位置，則該被選擇 匹配是相匹配的第一替代方案。例如，如果輸入 字符串爲The quick brown fox jumps，正則表達式爲 jump|jumps，則選擇的匹配爲jump。

我認爲你發佈的第一個結果是正確的，另一個產生第二個結果的處理器有一個錯誤。