ИМЯ

       regex - регулярные выражения POSIX.2

ОПИСАНИЕ

       Регулярные  выражения  (РВ)  стандарта  POSIX.2  могут быть двух видов: новые РВ (по сути,
       использующиеся в egrep; в POSIX.2 их называют ещё «расширенными» РВ) и устаревшие  РВ  (по
       сути,  использующиеся  в  ed(1);  в POSIX.2 их называют ещё «основными» РВ). Устаревшие РВ
       существуют, в основном, для совместимости с  некоторыми  старыми  программами  (они  будут
       подробнее  рассмотрены в конце этого документа). В POSIX.2 не разъяснены некоторые вопросы
       синтаксиса РВ; знаком (!) отмечаются описания, которые могут быть не полностью  совместимы
       с другими реализациями POSIX.2.

       Новое РВ — одна(!) или более непустых(!) ветвей, разделённых '|'. Соответствием считается,
       если есть совпадение для любой из её ветвей.

       Ветвь состоит из одной(!) или более частей.  Ветвь  сначала  ведёт  поиск  соответствий  с
       первой, затем с второй (и т. п.) её частями.

       Часть  —  это  атом,  за  которым  может  следовать  одиночный(!) символ '*', '+', '?' или
       интервал. Если за атомом следует символ  '*',  это  означает,  что  совпадающая  с  атомом
       последовательность  может  встречаться 0 или более раз. Если за атомом следует символ '+',
       это означает, что совпадающая с атомом последовательность может встречаться  1  или  более
       раз.  Если  за  атомом  следует  символ  '?',  это  означает,  что  совпадающая  с  атомом
       последовательность может встречаться 0 или 1 раз.

       Интервал — это символ '{', после которого стоит беззнаковое  целое  десятичное  число,  за
       которым  может следовать символ ',', далее, возможно, находится ещё одно беззнаковое целое
       десятичное число,  и  в  конце  интервала  обязательно  стоит  символ  '}'.  Числа  должны
       находиться  в  промежутке  от  0  до  RE_DUP_MAX (255(!)) включительно, а если указано два
       числа, то первое не должно превышать второе. Атом с интервалом, в котором есть одно  число
       i  и  нет  запятой,  соответствует  последовательности,  повторяющейся точно i раз. Атом с
       интервалом, содержащим число i и запятую, соответствует последовательности,  повторяющейся
       i   и   более  раз.  Атом  с  интервалом,  содержащим  два  числа  i  и  j,  соответствует
       последовательности, повторяющейся от i до j раз включительно.

       An atom is a regular expression enclosed  in  "()"  (matching  a  match  for  the  regular
       expression), an empty set of "()" (matching the null string)(!), a bracket expression (see
       below), '.' (matching any  single  character),  '^'  (matching  the  null  string  at  the
       beginning  of a line), '$' (matching the null string at the end of a line), a '\' followed
       by one of the characters "^.[$()|*+?{\" (matching that  character  taken  as  an  ordinary
       character),  a '\' followed by any other character(!) (matching that character taken as an
       ordinary character, as if the '\' had not been present(!)), or a single character with  no
       other  significance (matching that character).  A '{' followed by a character other than a
       digit is an ordinary character, not the beginning of a bound(!).  It is illegal to end  an
       RE with '\'.

       A  bracket  expression  is a list of characters enclosed in "[]".  It normally matches any
       single character from the list (but see below).  If the list begins with '^',  it  matches
       any  single character (but see below) not from the rest of the list.  If two characters in
       the list are separated by '-', this is shorthand for the full range of characters  between
       those two (inclusive) in the collating sequence, for example, "[0-9]" in ASCII matches any
       decimal digit.  It is illegal(!)  for two  ranges  to  share  an  endpoint,  for  example,
       "a-c-e".  Ranges are very collating-sequence-dependent, and portable programs should avoid
       relying on them.

       To include a literal ']' in the list, make it the first character  (following  a  possible
       '^').   To  include  a  literal  '-',  make  it the first or last character, or the second
       endpoint of a range.  To use a literal '-' as the first endpoint of a range, enclose it in
       "[."   and  ".]"  to make it a collating element (see below).  With the exception of these
       and some combinations using '[' (see  next  paragraphs),  all  other  special  characters,
       including '\', lose their special significance within a bracket expression.

       Если  внутри  квадратных  скобок  объединяющий  элемент (одиночный символ, многосимвольная
       последовательность,  которая  действует  как  одиночный  символ   или   имя   объединяющей
       последовательности)  заключен  в «[.» и «.]», то он обозначает последовательность символов
       как один объединяющий элемент. Последовательность выражается  одиночным  элементом  списка
       внутри  квадратных  скобок. Таким образом, выражение в скобках, содержащее многосимвольный
       объединяющий элемент, может соответствовать  более  чем  одному  символу;  например,  если
       последовательность  содержит  объединяющий  элемент «ch», то РВ «[[.ch.]]*c» соответствует
       первым пяти символам «chchcc».

       Within a bracket expression,  a  collating  element  enclosed  in  "[="  and  "=]"  is  an
       equivalence  class,  standing  for  the  sequences of characters of all collating elements
       equivalent to that one, including itself.  (If there are  no  other  equivalent  collating
       elements,  the  treatment  is  as  if  the  enclosing delimiters were "[." and ".]".)  For
       example, if o and ô are the members of an equivalence class,  then  "[[=o=]]",  "[[=ô=]]",
       and "[oô]" are all synonymous.  An equivalence class may not(!) be an endpoint of a range.

       В  выражении  в  квадратных  скобках,  имя  символьного класса, заключенное в «[:» и «:]»,
       соответствует списку всех символов, принадлежащих  этому  классу.  Существуют  стандартные
       символьные классы:

              alnum   digit   punct
              alpha   graph   space
              blank   lower   upper
              cntrl   print   xdigit

       Эти  символьные классы определены в wctype(3). В локали могут быть определены свои классы.
       Символьный класс не может использоваться в качестве границы диапазона.

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

       Длина совпадений измеряется в  символах,  а  не  в  объединяющих  элементах.  Строка  null
       считается  длиннее  чем  не имеющая совпадений. Например, «bb*» совпадает с тремя средними
       символами «abbbc»,  «(wee|week)(knights|nights)»  совпадает  со  всеми  десятью  символами
       «weeknights»,  а  когда «(.*).*» сравнивается с «abc», подвыражение в скобках совпадает со
       всеми тремя символами; при сравнении «(a*)*» с «bc» получается, что РВ  и  подвыражение  в
       скобках соответствуют строке null.

       If  case-independent matching is specified, the effect is much as if all case distinctions
       had vanished from the alphabet.  When an alphabetic that exists in multiple cases  appears
       as  an ordinary character outside a bracket expression, it is effectively transformed into
       a bracket expression containing both cases, for example,  'x'  becomes  "[xX]".   When  it
       appears  inside a bracket expression, all case counterparts of it are added to the bracket
       expression, so that, for example, "[x]" becomes "[xX]" and "[^x]" becomes "[^xX]".

       Конкретного ограничения длины РВ(!) не существует. Однако,  в  переносимых  программах  не
       следует  использовать РВ более 256 байтов, так как реализация может не принимать таких РВ,
       но оставаться соответствующей POSIX.

       Obsolete ("basic") regular expressions differ in several respects.  '|', '+', and '?'  are
       ordinary  characters  and  there is no equivalent for their functionality.  The delimiters
       for bounds are "\{" and "\}", with '{' and '}' by  themselves  ordinary  characters.   The
       parentheses  for  nested  subexpressions are "\(" and "\)", with '(' and ')' by themselves
       ordinary characters.  '^' is an ordinary character except at the beginning of the RE or(!)
       the beginning of a parenthesized subexpression, '$' is an ordinary character except at the
       end of the RE or(!) the end of a parenthesized  subexpression,  and  '*'  is  an  ordinary
       character  if  it  appears  at the beginning of the RE or the beginning of a parenthesized
       subexpression (after a possible leading '^').

       Кроме этого, существует ещё один тип атома — обратная ссылка: '\'  с  последующей  за  ней
       ненулевой  десятичной  цифрой  d  соответствует  той  самой  последовательности, что и d-е
       подвыражение в  скобках  (нумерация  подвыражений  считается  по  их  открывающим  круглым
       скобкам, слева направо). Пример: «\([bc]\)\1» соответствует «bb» или «cc», но не «bc».

ДЕФЕКТЫ

       Наличие двух видов РВ — вынужденная мера.

       В  имеющейся  на данный момент документации POSIX.2 указано, что символ ')' при отсутствии
       '('; считается обычным;  это  непреднамеренная  опечатка,  которая  будет  исправлена.  Не
       полагайтесь на это.

       Обратные  ссылки  —  также  вынужденная  мера, вызывают серьёзные проблемы эффективности в
       реализациях. Также  они  не  имеют  подробного  определения  (например,  «a\(\(b\)*\2\)*d»
       соответствует «abbbd»?).

       Определение  в  POSIX.2  совпадения  при  отключении  учёта  регистра тоже очень туманное.
       Определение типа «один регистр замещает все остальные», по мнению некоторых  специалистов,
       не является правильным.

АВТОРЫ

       Эта страница взята из пакета regex, написанного Генри Спенсером (Henry Spencer).

СМ. ТАКЖЕ

       grep(1), regex(3)

       POSIX.2, раздел 2.8 (запись регулярных выражений).

ПЕРЕВОД

       Русский  перевод  этой страницы руководства был сделан aereiae <aereiae@gmail.com>, Azamat
       Hackimov <azamat.hackimov@gmail.com>, Dmitriy S. Seregin <dseregin@59.ru>, Katrin Kutepova
       <blackkatelv@gmail.com>,  Lockal <lockalsash@gmail.com>, Yuri Kozlov <yuray@komyakino.ru>,
       Баринов Владимир и Иван Павлов <pavia00@gmail.com>

       Этот  перевод  является  бесплатной  документацией;  прочитайте  Стандартную  общественную
       лицензию GNU версии 3 ⟨https://www.gnu.org/licenses/gpl-3.0.html⟩ или более позднюю, чтобы
       узнать об условиях авторского права. Мы не несем НИКАКОЙ ОТВЕТСТВЕННОСТИ.

       Если вы обнаружите ошибки в переводе  этой  страницы  руководства,  пожалуйста,  отправьте
       электронное письмо на ⟨man-pages-ru-talks@lists.sourceforge.net⟩.