Regex
Предоставляет регулярные выражения для Elixir.
Regex основан на PCRE (Perl Compatible Regular Expressions) и построен поверх модуля Erlang :re. Дополнительную информацию можно найти в документации модуля :re.
Регулярные выражения в Elixir можно создавать с помощью сигилов ~r (см. sigil_r/2) или ~R (см. sigil_R/2):
# A simple regular expression that matches foo anywhere in the string ~r/foo/ # A regular expression with case insensitive and Unicode options ~r/foo/iu
Регулярные выражения, созданные с помощью сигилов, предварительно компилируются и хранятся в файле .beam. Обратите внимание, что это может быть проблемой, если вы предварительно компилируете Elixir, см. раздел "Предварительная компиляция" для получения дополнительной информации.
Регулярное выражение представлено внутренне в виде структуры Regex. Поэтому, %Regex{} можно использовать всякий раз, когда необходимо сопоставить их. Имейте в виду, что все поля структур являются закрытыми. Также нет гарантии, что два регулярных выражения из одного источника будут равны, например:
~r/(?<foo>.)(?<bar>.)/ == ~r/(?<foo>.)(?<bar>.)/
может вернуть true или false в зависимости от вашей машины, порядка байтов, доступных оптимизаций и других факторов. Тем не менее, вы можете получить исходный код скомпилированного регулярного выражения, обратившись к полю source, и затем сравнить их напрямую:
~r/(?<foo>.)(?<bar>.)/.source == ~r/(?<foo>.)(?<bar>.)/.source
Модификаторы
Доступные модификаторы при создании Regex:
:unicode(u) - включает шаблоны, специфичные для Unicode, такие как\p, и заставляет классы символов, такие как\w,\W,\s, и аналогичные, также соответствовать Unicode (см. примеры ниже в "Классы символов"). Ожидает, что на сопоставление будут переданы корректные строки Unicode.:caseless(i) - добавляет регистронезависимость:dotall(s) - заставляет точку соответствовать символам новой строки, а также устанавливает новую строку в любой CRLF; значение новой строки может быть переопределено путем установки(*CR)или(*LF)или(*CRLF)или(*ANY)в соответствии с документацией:re:multiline(m) - заставляет^и$обозначать начало и конец каждой строки; используйте\Aи\zдля соответствия концу или началу строки:extended(x) - пробельные символы игнорируются, кроме как в случае экранирования, и позволяют#отделять комментарии:firstline(f) - заставляет неявкоориентированный шаблон соответствовать перед или в начале новой строки, хотя сопоставляемый текст может продолжаться через новую строку:ungreedy(U) - инвертирует "жадность" regexp (предыдущийrпараметр устарел в пользуU)
Недоступные параметры:
-
:anchored- недоступен, используйте^или\Aвместо этого -
:dollar_endonly- недоступен, используйте\zвместо этого -
:no_auto_capture- недоступен, используйте?:вместо этого -
:newline- недоступен, используйте(*CR)или(*LF)или(*CRLF)или(*ANYCRLF)или(*ANY)в начале regexp в соответствии с документацией:re
Захват
Многие функции в этом модуле обрабатывают захват в совпадении regex с помощью параметра :capture. Поддерживаемые значения:
:all- все захваченные подмаски, включая полную сопоставляемую строку (это значение по умолчанию):first- только первая захваченная подмаска, которая всегда является полной сопоставляемой частью строки; все явно захваченные подмаски отбрасываются:all_but_first- все, кроме первой сопоставляемой подмаски, т.е. все явно захваченные подмаски, но не полная сопоставляемая часть строки:none- не возвращает сопоставляемые подмаски вообще:all_names- захватывает все совпадения именованных подмасок в Regex в виде списка, упорядоченного по алфавиту по именам подмасокlist(binary)- список именованных подмасок для захвата
Классы символов
Regex поддерживает несколько встроенных именованных классов символов. Они используются путем заключения имени класса в [: :] внутри группы. Например:
iex> String.match?("123", ~r/^[[:alnum:]]+$/)
true
iex> String.match?("123 456", ~r/^[[:alnum:][:blank:]]+$/)
true
Поддерживаемые имена классов:
- alnum - Буквы и цифры
- alpha - Буквы
- blank - Только пробел или табуляция
- cntrl - Управляющие символы
- digit - Десятичные цифры (так же, как \d)
- graph - Печатные символы, за исключением пробела
- lower - Строчные буквы
- print - Печатные символы, включая пробел
- punct - Печатные символы, за исключением букв, цифр и пробела
- space - Пробельные символы (то же, что и \s из PCRE 8.34)
- upper - Прописные буквы
- word - Символы "слова" (так же, как \w)
- xdigit - Шестнадцатеричные цифры
Есть еще один класс символов, ascii, который ошибочно сопоставляет символы Latin-1 вместо диапазона 0-127, заданного POSIX. Это нельзя исправить без изменения поведения других классов, поэтому мы рекомендуем сопоставлять диапазон с [\\0-\x7f] вместо этого.
Обратите внимание, что поведение этих классов может меняться в зависимости от Unicode и других модификаторов:
iex> String.match?("josé", ~r/^[[:lower:]]+$/)
false
iex> String.match?("josé", ~r/^[[:lower:]]+$/u)
true
iex> Regex.replace(~r/\s/, "Unicode\u00A0spaces", "-")
"Unicode spaces"
iex> Regex.replace(~r/\s/u, "Unicode\u00A0spaces", "-")
"Unicode-spaces"
Предварительная компиляция
Регулярные выражения, созданные с помощью сигилов, предварительно компилируются и хранятся в файлах .beam. Предварительно скомпилированные regex будут проверяться во время выполнения и могут работать медленнее между операционными системами и выпусками OTP. Это редко проблема, так как большая часть кода Elixir, используемого во время разработки, компилируется на целевой системе (например, зависимости, архивы и escripts), а при работе в производстве код должен либо компилироваться на целевой системе (через mix compile или аналогично) или выпускаться на хосте (через mix releases или аналогично) с соответствующей OTP, операционной системой и архитектурой, как и целевая.
Если вам известно, что вы работаете на другой системе, чем текущая, и вы выполняете несколько совпадений с регулярным выражением, вы можете вручную вызвать Regex.recompile/1 или Regex.recompile!/1, чтобы выполнить проверку версии во время выполнения и перекомпилировать регулярное выражение при необходимости.
Типы
Функции
- compile(source, options \\ "")
Компилирует регулярное выражение.
- compile!(source, options \\ "")
Компилирует регулярное выражение и поднимает
Regex.CompileErrorв случае ошибок.- escape(string)
Экранирует строку, чтобы она интерпретировалась как литерал в регулярном выражении.
- match?(regex, string)
Возвращает булево значение, указывающее, было ли совпадение или нет.
- named_captures(regex, string, options \\ [])
Возвращает заданные захватчики в виде карты или
nilесли захватчики не найдены.- names(regex)
Возвращает список имён в регулярном выражении.
- opts(regex)
Возвращает опции регулярного выражения в виде строки или списка, в зависимости от способа компиляции.
- re_pattern(regex)
Возвращает базовое
re_patternрегулярного выражения.- recompile(regex)
Перекомпилирует существующее регулярное выражение при необходимости.
- recompile!(regex)
Перекомпилирует существующее регулярное выражение и поднимает
Regex.CompileErrorв случае ошибок.- replace(regex, string, replacement, options \\ [])
Получает регулярное выражение, двоичную строку и замену, возвращает новую двоичную строку, где все совпадения заменены заменой.
- run(regex, string, options \\ [])
Выполняет регулярное выражение над заданной строкой до первого совпадения. Возвращает список со всеми захваченными группами или
nilесли совпадение не найдено.- scan(regex, string, options \\ [])
Аналогично
run/3, но сканирует целевую строку несколько раз, собирая все совпадения с регулярным выражением.- source(regex)
Возвращает исходный код регулярного выражения в виде двоичной строки.
- split(regex, string, options \\ [])
Разбивает заданную строку на части по заданному шаблону и на заданное количество частей.
- version()
Возвращает версию базового движка регулярных выражений.
t()Source
@type t() :: %Regex{
opts: binary() | [term()],
re_pattern: term(),
re_version: term(),
source: binary()
} compile(source, options \\ "")Source
@spec compile(binary(), binary() | [term()]) :: {:ok, t()} | {:error, any()} Компилирует регулярное выражение.
Указанные опции могут быть либо бинарным значением с символами, представляющими те же опции регулярного выражения, что и для ~r (см. sigil_r/2), либо списком опций, как ожидается от модуля Erlang's :re.
Возвращает {:ok, regex} в случае успеха, {:error, reason} в противном случае.
Примеры
iex> Regex.compile("foo")
{:ok, ~r/foo/}
iex> Regex.compile("*foo")
{:error, {'nothing to repeat', 0}}
iex> Regex.compile("foo", "i")
{:ok, ~r/foo/i}
iex> Regex.compile("foo", [:caseless])
{:ok, Regex.compile!("foo", [:caseless])} compile!(source, options \\ "")Source
@spec compile!(binary(), binary() | [term()]) :: t()
Компилирует регулярное выражение и генерирует исключение Regex.CompileError в случае ошибок.
escape(string)Source
@spec escape(String.t()) :: String.t()
Экранирует строку для буквального соответствия в регулярном выражении.
Примеры
iex> Regex.escape(".")
"\\."
iex> Regex.escape("\\what if")
"\\\\what\\ if" match?(regex, string)Source
@spec match?(t(), String.t()) :: boolean()
Возвращает логическое значение, указывающее, было ли совпадение или нет.
Примеры
iex> Regex.match?(~r/foo/, "foo") true iex> Regex.match?(~r/foo/, "bar") false
Elixir также предоставляет текстовый оператор соответствия =~/2 и функцию String.match?/2 в качестве альтернативы для проверки строк на соответствие регулярным выражениям и строкам.
named_captures(regex, string, options \\ [])Source
@spec named_captures(t(), String.t(), [term()]) :: map() | nil
Возвращает заданные захваты в виде карты или nil в случае отсутствия захватов.
Опции
-
:return- при установке в значение:index, возвращает индекс байта и длину совпадения. По умолчанию:binary.
Примеры
iex> Regex.named_captures(~r/c(?<foo>d)/, "abcd")
%{"foo" => "d"}
iex> Regex.named_captures(~r/a(?<foo>b)c(?<bar>d)/, "abcd")
%{"bar" => "d", "foo" => "b"}
iex> Regex.named_captures(~r/a(?<foo>b)c(?<bar>d)/, "efgh")
nil names(regex)Source
@spec names(t()) :: [String.t()]
Возвращает список имен в регулярном выражении.
Примеры
iex> Regex.names(~r/(?<foo>bar)/) ["foo"]
opts(regex)Source
@spec opts(t()) :: String.t() | [term()]
Возвращает опции регулярного выражения в виде строки или списка, в зависимости от способа его компиляции.
См. документацию по Regex.compile/2 для получения дополнительной информации.
Примеры
iex> Regex.opts(~r/foo/m)
"m"
iex> Regex.opts(Regex.compile!("foo", [:caseless]))
[:caseless] re_pattern(regex)Source
@spec re_pattern(t()) :: term()
Возвращает базовое re_pattern в регулярном выражении.
recompile(regex)Source
@spec recompile(t()) :: {:ok, t()} | {:error, any()} Перекомпилирует существующее регулярное выражение при необходимости.
Это проверяет версию, сохраненную в регулярном выражении, и перекомпилирует регулярное выражение в случае несовпадения версии.
recompile!(regex)Source
@spec recompile!(t()) :: t()
Перекомпилирует существующее регулярное выражение и генерирует исключение Regex.CompileError в случае ошибок.
replace(regex, string, replacement, options \\ [])Source
@spec replace(t(), String.t(), String.t() | (... -> String.t()), [term()]) :: String.t()
Получает регулярное выражение, бинарное значение и замену, возвращает новую бинарную строку, где все совпадения заменяются заменой.
Замена может быть либо строкой, либо функцией, возвращающей строку. Результирующая строка используется в качестве замены для каждого совпадения.
Когда замена — строка, она позволяет указывать конкретные захваты совпадения с использованием скобок в выражении регулярного выражения и получать к ним доступ в замене через \N или \g{N}, где N — номер захвата. В случае использования \0, вставляется все совпадение. Обратите внимание, что в регулярных выражениях обратная косая черта должна быть экранирована, поэтому на практике вам нужно использовать \\N и \\g{N}.
Когда замена — функция, она также позволяет указывать конкретные захваты. Функция может иметь арность N, где каждый аргумент соответствует захвату, а первый аргумент — всему совпадению. Если функция ожидает больше аргументов, чем найденных захватов, оставшиеся аргументы получат "".
Опции
-
:global- когдаfalse, заменяет только первое вхождение (по умолчаниюtrue).
Примеры
iex> Regex.replace(~r/d/, "abc", "d")
"abc"
iex> Regex.replace(~r/b/, "abc", "d")
"adc"
iex> Regex.replace(~r/b/, "abc", "[\\0]")
"a[b]c"
iex> Regex.replace(~r/a(b|d)c/, "abcadc", "[\\1]")
"[b][d]"
iex> Regex.replace(~r/\.(\d)$/, "500.5", ".\\g{1}0")
"500.50"
iex> Regex.replace(~r/a(b|d)c/, "abcadc", fn _, x -> "[#{x}]" end)
"[b][d]"
iex> Regex.replace(~r/(\w+)@(\w+).(\w+)/, "abc@def.com", fn _full, _c1, _c2, c3 -> "TLD: #{c3}" end)
"TLD: com"
iex> Regex.replace(~r/a/, "abcadc", "A", global: false)
"Abcadc" run(regex, string, options \\ [])Source
@spec run(t(), binary(), [term()]) :: nil | [binary()] | [{integer(), integer()}] Выполняет регулярное выражение на заданной строке до первого совпадения. Возвращает список со всеми захватами или nil в случае отсутствия совпадения.
Опции
-
:return- при установке в:index, возвращает индекс байта и длину совпадения. По умолчанию:binary. -
:capture- что захватывать в результате. Проверьте модуль документации дляRegex, чтобы увидеть возможные значения захвата. -
:offset- (с версии v1.12.0) указывает начальное смещение для поиска совпадения в заданной строке. По умолчанию ноль.
Примеры
iex> Regex.run(~r/c(d)/, "abcd")
["cd", "d"]
iex> Regex.run(~r/e/, "abcd")
nil
iex> Regex.run(~r/c(d)/, "abcd", return: :index)
[{2, 2}, {3, 1}] scan(regex, string, options \\ [])Source
@spec scan(t(), String.t(), [term()]) :: [[String.t()]] | [[{integer(), integer()}]] То же, что и run/3, но сканирует целевой объект несколько раз, собирая все совпадения регулярного выражения.
Возвращается список списков, где каждый элемент в основном списке представляет совпадение, а каждый элемент во вторичном списке представляет содержимое захватов.
Опции
-
:return- при установке в:index, возвращает индекс байта и длину совпадения. По умолчанию:binary. -
:capture- что захватывать в результате. Проверьте модуль документации дляRegex, чтобы увидеть возможные значения захвата. -
:offset- (с версии v1.12.0) указывает начальное смещение для поиска совпадения в заданной строке. По умолчанию ноль.
Примеры
iex> Regex.scan(~r/c(d|e)/, "abcd abce")
[["cd", "d"], ["ce", "e"]]
iex> Regex.scan(~r/c(?:d|e)/, "abcd abce")
[["cd"], ["ce"]]
iex> Regex.scan(~r/e/, "abcd")
[]
iex> Regex.scan(~r/\p{Sc}/u, "$, £, and €")
[["$"], ["£"], ["€"]]
iex> Regex.scan(~r/=+/, "=ü†ƒ8===", return: :index)
[[{0, 1}], [{9, 3}]] source(regex)Source
@spec source(t()) :: String.t()
Возвращает исходный код регулярного выражения в виде бинарной строки.
Примеры
iex> Regex.source(~r/foo/) "foo"
split(regex, string, options \\ [])Source
@spec split(t(), String.t(), [term()]) :: [String.t()]
Разделяет указанную цель по заданному шаблону и на заданное количество частей.
Параметры
:parts- при указании, разделяет строку на заданное количество частей. Если не указано,:partsпо умолчанию:infinity, что разделит строку на максимальное количество частей, возможное на основе заданного шаблона.:trim- приtrue, удаляет пустые строки ("") из результата. По умолчаниюfalse.:on- указывает, какие захваты использовать для разделения строки и в каком порядке. По умолчанию:first, что означает, что захваты внутри регулярного выражения не влияют на процесс разделения.:include_captures- приtrue, включает в результат совпадения регулярного выражения. Совпадения не учитываются при подсчете максимального количества частей, если комбинируются с параметром:parts. По умолчаниюfalse.
Примеры
iex> Regex.split(~r{-}, "a-b-c")
["a", "b", "c"]
iex> Regex.split(~r{-}, "a-b-c", parts: 2)
["a", "b-c"]
iex> Regex.split(~r{-}, "abc")
["abc"]
iex> Regex.split(~r{}, "abc")
["", "a", "b", "c", ""]
iex> Regex.split(~r{a(?<second>b)c}, "abc")
["", ""]
iex> Regex.split(~r{a(?<second>b)c}, "abc", on: [:second])
["a", "c"]
iex> Regex.split(~r{(x)}, "Elixir", include_captures: true)
["Eli", "x", "ir"]
iex> Regex.split(~r{a(?<second>b)c}, "abc", on: [:second], include_captures: true)
["a", "b", "c"] version()Source
@spec version() :: term()
Возвращает версию движка регулярных выражений.
© 2012 Plataformatec
Licensed under the Apache License, Version 2.0.
https://hexdocs.pm/elixir/1.15.4/Regex.html