Иррациональный шаблон REGEX, соответствующий в Bash

Question

guest@porteus:~$ [[ "libSDL_image-1.2.so.0.8.4" =~ ^.*[.]so(([.][0-9]+)+)*$ ]] && echo LIB 
LIB 
guest@porteus:~$ echo ${#BASH_REMATCH[*]} 
3 
guest@porteus:~$ echo ${BASH_REMATCH[1]} 
.0.8.4 
guest@porteus:~$ echo ${BASH_REMATCH[2]} 
.4 

Можно найти работы и библиотечную версию Regex.

guest@porteus:~$ [[ "libSDL_image-1.2.so.0.8.4" =~ ^.*[.]so(([.][0-9]+)+)*$|^lib.+[.]so.* ]] && echo LIB 
LIB 
guest@porteus:~$ echo ${#BASH_REMATCH[*]} 
3 
guest@porteus:~$ echo "'${BASH_REMATCH[1]}'" 
'' 
guest@porteus:~$ echo "'${BASH_REMATCH[2]}'" 
'' 

Спички, но версия безвозвратная.

guest@porteus:~$ [[ "libSDL_image-1.2.so.0.8.4" =~ ^.*[.]so(([.][0-9]+)+)*$|^lib.+[.]so(.*) ]] && echo LIB 
LIB 
guest@porteus:~$ echo ${#BASH_REMATCH[*]} 
4 
guest@porteus:~$ echo "'${BASH_REMATCH[1]}'" 
'' 
guest@porteus:~$ echo "'${BASH_REMATCH[2]}'" 
'' 
guest@porteus:~$ echo "'${BASH_REMATCH[3]}'" 
'.0.8.4' 

Версия теперь доступна только из альтернативного регулярного выражения.

Вопрос в том, почему первое совпадение игнорируется, и есть ли способ сказать, когда альтернатива будет соответствовать последовательности?

Answer 1

Posix не определяет предпочтения между узорами в чередовании |

Posix требует (т.е. шаблон регулярного выражения с в качестве основного оператора.):

• , что в целом матч будет самый длинный из возможных совпадений, начинающийся в крайнем левом положении, при котором возможно совпадение.

• , что каждый подшаблон слева направо должен быть как можно дольше, в пределах оставшихся возможностей.

Это совершенно отличается от (традиционного) Perl и ECMAScript, которые требуют, чтобы чередования быть судимыми в порядке, и что успех альтернативы предпочтительнее следующих альтернативы, даже если следующие альтернативы будут больше.

Это всего лишь два способа определения соответствия регулярных выражений. Я не думаю, что это более «рационально»; есть хорошие аргументы для каждого и против каждого, и в конечном счете нужно выбрать.

Модель Posix ближе к математической модели для обычных языков, для чего она стоит.

Если обе альтернативы в чередовании соответствуют одной и той же строке, нужно выбрать. Реализация должна решить, какая из них, и поскольку она не определена, может измениться с версии на версию.

Ваш лучший выбор - позволить использовать любой захват. Например, (используя третий пример):

version=${BASH_REMATCH[2]:-${BASH_REMATCH[3]}}