более совпадений" - символом плюса +. С его помощью можно было бы выражение записать лаконичнее: a-+, что буквально и читается как "a и один или более минусов". Вот пример выражения, которое определяет, есть ли в строке английское слово, написанное через дефис: [a-zA-z]+-[a-zA-z]+.

Ноль или одно совпадение

И уж чтобы совсем облегчить жизнь, иногда используют еще один квантификатор - знак вопроса ?. Он обозначает, что предхдущий символ может быть повторен ноль или один (но не более!) раз. Например, выражение [a-zA z]+\r?\n определяет строки, в которых последнее слово прижато к правому краю строки. Если мы работаем в Unix, то там в конце строки символ \r обычно отсутствует, тогда как в текстовых файлах Windows каждая строка заканчивается парой \r\n. Для того чтобы сценарий правильно работал в обоих системах, мы должны учесть эту особенность - возможное наличие \r перед концом строки.

Заданное число совпадений

Наконец, давайте рассмотрим последний квантификатор повторения. С его помощью можно реализовать все перечисленные выше возможности, правда, и выглядит он несколько более громоздко. Итак, сейчас речь пойдет о квантификаторе "фигурные скобки". Существует несколько форматов его записи. Давайте последовательно разберем каждый из них.

□ X{n,m} - указывает, что символ X может быть повторен от n до m раз;

□ X{n} - указывает, что символ X должен быть повторен ровно n раз;

□ X{n,} - указывает, что символ X может быть повторен n или более раз.

Значения n и m в этих примерах обязательно должны принадлежать диапазону от 0 до 255 включительно. В качестве тренировки вы можете подумать, как будут выглядеть квантификаторы *, + и ? в терминах {...}.

Мнимые символы

Мнимые символы - это просто участок строки между соседними символами (да, именно так, как это ни абсурдно), удовлетворяющий некоторым свойствам. Фактически, мнимый символ - это некая позиция в строке. Например, символ соответствует началу строки (заметьте: не первому символу строки, а в точности началу строки, позиции перед первым символом), а $ - ее концу (опять же, позиции за концом строки).

Чтобы это понять, давайте рассмотрим вхражение abc, которое соответствует любой строке, начинающейся с abc, и вхражение abc$, соответствующее строке с abc на "хвосте". Наконец, вхражение abc$ сопоставимо только со строкой abc, и в этом смысле оно эквивалентно сравнению на равенство.

Существуют еще два мнимых символа, задающих начало и конец слова. Первый из них обозначается как [[:<:]] и указывает на позицию перед первой буквой очередного слова. Последний записывается в виде [[:>:]] и сигнализирует о позиции после последнего символа слова. Под словом здесь понимается фрагмент строки, удовлетворяющий вхражению [[:alnum:]]+, т. е., любая последовательность из букв и

цифр.

Примечание

Язык RegEx поддерживает только четыре уже рассмотренных нами мнимых символа. Этого нельзя сказать о формате PCRE, в котором, наоборот, количество таких символов доведено до абсурда.

Вот пример использования мнимых символов: $st=" string ";

if(ereg("[[:<:]]([[:alnum:]]+)[[:>:]]",$st,$Pock)) echo "Найдено слово: $Pock[1]";

Оператор альтернативы

При описании простых символов мы рассматривали конструкцию [... ] , которая позволяла нам указывать, что в нужном месте строки должен стоять один из указанных символов. Фактически, это не что иное, как оператор альтернативы, работающий только с отдельными символами (и потому довольно быстро).

Но в языке RegEx есть возможность задавать альтернативы не одиночных символов, а сразу их групп. Это делается при помощи оператора .

Вот несколько примеров его работы.

□ Вхражение 123 полностью эквивалентно вхражению [123], но сопоставление происходит несколько медленнее.

□ Вхражению aaaaz$zzz соответствуют строки, в которых есть подстрока aaa , либо которые начинаются на a , либо оканчиваются на z , либо, наконец, содержат подстроку zzz .

□ Выражению abc1abc22abc333 соответствуют строки, в которых встречаются подстроки abc1, abc22 или abc333 (а возможно, и все три одновременно).

Группирующие скобки

Последний пример наводит на рассуждения о том, нельзя ли как-нибудь сгруппировать отдельные символы, чтобы не писать по несколько раз одно и то же. В нашем примере строка abc встречается в вхражении аж 3 раза. Но мы не можем написать выражение так: abc122333, потому что оператор , естественно, пытается применить себя к как можно более длинной последовательности команд.

Именно для цели управления оператором альтернативы (но не только) и служат группирующие круглые скобки (... ) . Нетрудно догадаться по смыслу, что выражение из последнего примера можно записать с их помощью так: abc(122333).

Конечно, скобки могут иметь произвольный уровень вложенности. Это бывает полезно для сложных выражений, содержащих много условий, а также для еще одного применения круглых скобок, которое мы сейчас и рассмотрим.

"Карманы"

Пока что мы научились только определять, соответствует ли строка регулярному выражению и, возможно, предпринимать какие-то действия по замене найденной части на другую подстроку. Однако на практике часто бывает нужно не просто узнать, где в строке имеется совпадение (и что оно из себя представляет), но также и разбить это совпадение на части, ради которых, собственно, и велась вся работа.

Вот пример, проясняющий ситуацию. Пусть нам в строке задана дата в формате DD-MM-YYYY, и в ней могут встретиться паразитные пробелы в начале и конце. Нас интересует, что же все-таки за дату нам передали. То есть, мы точно знаем, что эта строка - именно дата, но вот где в ней день, где месяц и где год?

Посмотрим, что же предлагает нам RegEx и PHP для решения рассматриваемой задачи. Для начала установим, что все правильные даты должны соответствовать выражению

- *(([0-9]+)-([0-9]+)-([0-9]+)) *$

Для простоты мы не проверяем, что длина каждого поля не должна превышать 2 (для года - 4) символа. Все строки, не удовлетворяющие этому вхражению, заведомо не являются датами.

Мы не зря ограничили отдельные части регулярного вхражения скобками, хотя, на первый взгляд, можно было бы их опустить. И вот почему: любой блок, обрамленный в выражении скобками, выделяется как единое целое и записывается в так называемый "карман" (номер кармана соответствует порядку открывающихся скобок). В нашем случае в первый карман запишется дата, но уже без ведущих и концевых пробелов (это обеспечивает самая внешняя пара скобок), во второй - как раз день, в третий - месяц и, наконец, в четвертый - год.

Примечание

Обратите еще раз внимание на порядок нумерации карманов - она идет по номеру открывающейся скобки.

Как уже упоминалось, в нулевой карман в любом случае записывается все найденное совпадение. В данном примере это будет вся строка.

Как получить содержимое наших карманов? Очень просто: как раз тот список, который передается по ссылке функции ereg() третьим параметром, и есть карманы.