Поиск вложенных конструкций
Изначально динамические регулярные выражения создавались для того, чтобы искать вложенные конструкции произвольного уровня вложенности. Мы уже разбирали такой пример, который делал это с помощью встроенного кода Perl. Сейчас рассмотрим эти примеры с использованием динамических регулярных выражений.
Рассмотрим задачу удаления всех комментариев, которые заключены в фигурные скобки, вместе с этими скобками. При этом предположим, что эти комментарии могут иметь произвольную вложенность. Т.е. надо уничтожить все правильно сбалансированные серии фигурных скобок вместе с их содержимым. От строки
$_=" {a{b{c{{d{}m}e}f}}gf{ }f";
после этого должно остаться ' {agff'.
Будем рассуждать от легкого случая к более сложным. Если бы речь шла только о первом уровне вложенности: …{…}…, то мы могли бы создать такой объект регулярного выражения:
my $level0=qr/(?>[^{}]*)/;
который соответствует всему кроме фгурных скобок. А оператор замены был бы таким:
s/\{$level0}//g;
Напоминаю, что символ } не обязательно маскировать, т.к. он в отличие от символа { не является метасимволом регулярного выражения.
Эта программа корректно бы удаляла комментарии первого уровня вложенности. От строки a{b}c осталось бы ac. Но если бы мы задали этой программе строку
a{b{c}d}e
то в результате получили бы остаток
a{bd}e
Удаляются только скобки с фрагментами, которые не содержат этих скобок. Мы могли бы повторять подстановку, пока оператор s/…/…/ возвращает ненулевой результат, но нам нужен общий метод для любого уровня вложенности. С этой целью расширим наш объект регулярного выражения. Он должен совпадать не только с текстом без скобок, но и с текстом без скобок, который ограничен этими фигурными скобками. Это мы сделаем с помощью конструкции альтернативного шаблона:
my $level1=qr/(?>[^{}]|\{$level0})*/;
Здесь мы воспользовались тем, что у нас уже есть регулярное выражение, которое соответствует фрагменту текста без фигурных скобок, это объект $level0. Чтобы фрагменты текста без скобок поглощались быстрее, можно поставить квантификатор +:
my $level1=qr/(?>[^{}]+|\{$level0})*/;
А чтобы не создавалось ненужных сохраненных состояний, можно это еще взять в атомарные скобки:
my $level1=qr/(?>(?>[^{}]+)|\{$level0})*/;
Программа
$_='a{b{c}d}e'; my $level0=qr/(?>[^{}]*)/; my $level1=qr/(?>(?>[^{}]+)|\{$level0})*/; s/\{$level1}//g; print $_;
уже справляется со скобками второго уровня вложенности, и на печать выводится
ae
Но если ей дать текст со скобками третьего уровня вложенности, то она оставляет скобки первого уровня вложенности:
$_='a{b{c{d}}e}f'; my $level0=qr/(?>[^{}]*)/; my $level1=qr/(?>(?>[^{}]+)|\{$level0})*/; s/\{$level1}//g; print $_;
Выводится
a{be}f
Мы могли бы по аналогии создать объект $level3 и т.д., но динамические регулярные выражения позволяют сразу создать объект $levelN для произвольного уровня вложенности:
#!/usr/bin/perl -w use strict;
$_=" {a{b{c{{d{}m}e}f}}gf{ }f"; my $levelN; $levelN=qr /(?> (?>[^{}]+)| # все кроме фигурных скобок \{(??{$levelN})} # или текст, соответств. всему шаблону, ограниченный скобками )* # сколько угодно раз /x; s/\{$levelN}//g; print $_;
В результате получаем
{agff
Это верный результат.
Рассмотрим теперь случай, когда "скобки" представляют собой многосимвольные конструкции, например, теги <table и </table>. Раньше мы уже рассматривали такие "скобки" и выработали технический прием с заменой класса символов на негативную опережающую проверку.
Поставим задачу захватить из HTML-текста лишь самые внешние таблицы с их содержимым, а остальное отбросить. Искомая программа может выглядеть так:
$_=<<EOD; aa<table> <tr> ff<table> <tr> </table> <tr> </table>bb ssssssss <table> </table> EOD
my $levelN; $levelN=qr "(?> (?:(?!</?table).)+| # все символы до фрагмента </?table <table[^>]*>(??{$levelN})</table> # или вся следующая таблица )* # сколько угодно раз "isx;
my @tables=m"<table[^>]*>$levelN</table>"gi; print join "\n--\n",@tables if @tables;
Конструкция (?!</?table).)+ с помощью точки будет брать символы до встречи с фрагментом, соответствующим шаблону </?table. На печать выходит
<table> <tr> ff<table> <tr> </table> <tr> </table> -- <table> </table>
Я не стал перегружать это регулярное выражение атомарными скобками, вы можете сделать это самостоятельно.
По поводу использования динамических регулярных выражений надо сделать одно замечание, которое отсутствует у всех остальных авторов книг и документаций: мы не рассматривали случаев использования захватывающих скобок внутри динамических регулярных выражений. Но ведь код Perl внутри этих выражений может насоздавать сколько угодно захватывающих скобок. Что тогда будет? Ведь нумерация таких скобок после этого динамического регулярного выражения собьется. Разработчики предусмотрели такой казус, и захватывающие скобки, которые создаются кодом Perl внутри динамических регулярных выражений, на самом деле ничего не захватывают, а лишь группируют подшаблоны. Для подтверждения этого факта рассмотрим такой пример:
$_='abc'; print "$1 $2" if /(a)(??{"(b)"})(c)/;
В результате напечатается
a c
Если бы мы попытались распечатать "$1 $2 $3", то на печать вышло бы то же самое и еще предупреждение об использовании неинициализированной переменной (это $3).
Если бы мы вставляли значение переменной, которое содержит текст (b), то результат был бы тем же:
$_='abc'; my $a='(b)'; print "$1 $2" if /(a)(??{$a})(c)/;
Вот еще аналогичный вариант с объектом регулярного выражения, который выводит на печать то же самое:
$_='abc'; my $a=qr'(b)'; print "$1 $2" if /(a)(??{$a})(c)/;
Но как только мы попытаемся внутри всего регулярного выражения использовать одно динамическое регулярное выражение, содержащее захватывающие скобки, то Windows покажет окно с сообщением, что в Perl обнаружена ошибка и это приложение будет закрыто, при этом извиняясь за неудобство. Perl успевает вывести сообщение, что совпадение закончилось успешно. Эта ошибка возникает не только в Perl под Windows.
Вот эти фрагменты кода вызывают ошибку Perl:
$_='abc'; my $a='(b)'; /(??{$a})/;
$_='abc'; print 'Found' if /(??{"(b)"})/;
$_='abc'; my $a=qr'(b)'; print 'Found' if /(??{"$a"})/;
Странно, но в случае использования объекта регулярного выражения, когда внутри динамического регулярного выражения $a присутствует без кавычек, ошибки не возникает:
$_='abc'; my $a=qr'(b)'; print 'Found' if /(??{$a})/;
В остальных случаях Perl аварийно завершается. При использовании незахватывающих скобок:
$_='abc'; my $a='(?:b)'; /(??{$a})/;
все варианты работают нормально. Поэтому не создавайте захватывающих скобок внутри динамических регулярных выражений. Впрочем, возможно, в той версии Perl, которую имеете вы, это уже исправлено.
| © 2003-2007 INTUIT.ru. Все права защищены. |
