Программирование на языке Ruby

Но это не вполне понятно. Лучше явно сказать, сколько цифр должно быть в каждой группе. Это можно сделать, указав число повторений в фигурных скобках:

 pattern = /\d{3}-\d{2}-\d{4}/

Необязательно, что такой образец будет короче, но он более понятен читателю программы.

Можно также использовать диапазоны, границы которых разделены запятой. Предположим, что номер телефона в Элбонии состоит из двух частей: в первой может быть от трех до пяти цифр, а во второй — от трех до семи. Вот как выглядит соответствующий образец:

 elbonian_phone = /\d{3,5}-\d{3,7}/

Нижняя и верхняя границы диапазона необязательны (но хотя бы одна должна быть задана):

 /x{5}/ # Соответствует 5 x.
 /x{5,7}/ # Соответствует 5-7 x.
 /x{,8}/ # Соответствует не более 8 x.
 /x{3,}/ # Соответствует по меньшей мере 3 x.

Ясно, что кванторы ?, + и * можно переписать и так:

 /x?/ # То же, что /x{0,1}/
 /x*/ # То же, что /x{0,}
 /x+/ # то же, что /x{1,}

Фразеология, применяемая при описании регулярных выражений, изобилует яркими терминами: жадный (greedy), неохотный (reluctant), ленивый (lazy) и собственнический (possessive). Самым важным является различие между жадными и нежадными выражениями.

Рассмотрим следующий фрагмент кода. На первый взгляд, это регулярное выражение должно сопоставляться со строкой "Where the", но на самом деле ему соответствует более длинная подстрока "Where the sea meets the":

 str = "Where the sea meets the moon-blanch'd land,"
 match = /.*the/.match(str)
 p match[0] # Вывести полученное соответствие:
  # "Where the sea meets the"

Причина состоит в том, что оператор * выполняет жадное сопоставление, то есть продвигается так далеко по строке, как только можно, в поисках самого длинного соответствия. Чтобы излечить его от жадности, нужно добавить вопросительный знак:

 str = "Where the sea meets the moon-blanch'd land,"
 match = /.*?the/.match(str)
 p match[0] # Вывести полученное соответствие:
  # "Where the" .

Итак, оператор * жадный, если за ним не стоит ?. То же самое относится к кванторам + и {m,n} и даже к самому квантору ?.

Я не сумел найти разумных примеров применения конструкций {m,n}? и ??. Если вам о них известно, пожалуйста, поделитесь со мной своим опытом.

Дополнительная информация о кванторах содержится в разделе 3.13.

3.6. Позитивное и негативное заглядывание вперед

Понятно, что регулярное выражение сопоставляется со строкой линейно (осуществляя при необходимости возвраты). Поэтому существует понятие «текущего положения» в строке, это аналог указателя файла или курсора.

Термин «заглядывание» означает попытку сопоставить часть строки, находящуюся дальше текущего положения. Это утверждение нулевой длины, поскольку даже если соответствие будет найдено, никакого продвижения по строке не произойдет (то есть текущее положение не изменится).

В следующем примере строка "New world" будет сопоставлена, если за ней следует одна из строк "Symphony" или "Dictionary". Однако третье слово не будет частью соответствия.

 s1 = "New World Dictionary"
 s2 = "New World Symphony"
 s3 = "New World Order"

 reg = /New World(?= Dictionary | Symphony)/
 m1 = reg.match(s1)
 m.to_a[0] # "New World"
 m2 = reg.match(s2)
 m.to_a[0] # "New World"
 m3 = reg.match(s3) # nil

Вот пример негативного заглядывания:

 reg2 = /New World(?! Symphony)/
 m1 = reg.match(s1)
 m.to_a[0] # "New World"
 m2 = reg.match(s2)
 m.to_a[0] # nil
 m3 = reg.match(s3) # "New World"

В данном случае строка "New world" подходит, только если за ней не следует строка "Symphony".

3.7. Обратные ссылки

Каждая заключенная в круглые скобки часть регулярного выражения является отдельным соответствием. Они нумеруются, и есть несколько способов сослаться на такие части по номерам. Сначала рассмотрим традиционный «некрасивый» способ.

Сослаться на группы можно с помощью глобальных переменных $1, $2 и т.д:

 str = "а123b45с678"
 if /(a\d+)(b\d+)(c\d+)/ =~ str
  puts "Частичные соответствия: '#$1', '#$2', '#$3'"
  # Печатается: Частичные соответствия: 'а123', 'b45', 'c768'
 end

Эти переменные нельзя использовать в подставляемой строке в методах sub и gsub:

 str = "а123b45с678"
 str.sub(/(a\d+)(b\d+)(c\d+)/, "1st=#$1, 2nd=#$2, 3rd=#$3")
 # "1st=, 2nd=, 3rd="

Почему такая конструкция не работает? Потому что аргументы sub вычисляются перед вызовом sub. Вот эквивалентный код:

 str = "а123b45с678"
 s2 = "1st=#$1, 2nd=#$2, 3rd=#$3"
 reg = /(a\d+)(b\d+)(c\d+)/
 str.sub(reg,s2)
 # "1st=, 2nd=, 3rd="

Отсюда совершенно понятно, что значения $1, $2, $3 никак не связаны с сопоставлением, которое делается внутри вызова sub.

В такой ситуации на помощь приходят специальные коды \1, \2 и т.д.:

 str = "а123b45с678"