Перейти к содержимому
Топаз6.0 · До релиза
Загрузка →

Поиск в документации

Спецификация 6.0

Выберите результат стрелками и нажмите Enter, чтобы открыть его.

Введите имя API, номер диагностики, правило или тему проекта.

    Библиотека · std.regex

    Regex.compile

    Compiles the Unicode regular expression language and returns Err for invalid patterns.

    compile(pattern: string) -> Result<Regex, string>
    Модуль
    std.regex →
    Получатель
    Неприменимо
    Минимальное число аргументов
    1
    Максимальное число аргументов
    1

    Declaration and parameters

    Ссылка

    Доступность

    Включено по умолчанию · Не определено

    Import std.regex in language mode 5.21.

    The current compiler selects std/regex.tpz for this language mode. Availability in other released editions and inclusion in each installed distribution are Pending.

    Получатель

    Неприменимо

    Ограничения параметров

    Дополнительные контракты не определены.

    Regex.compile evaluates its pattern string once and returns Ok containing an immutable compiled pattern. Malformed or unsupported syntax returns Err containing a nonempty explanatory string. Compile errors are data and do not issue a diagnostic. Error wording has no fixed spelling.

    Patterns match Unicode scalar values without Unicode normalization. Ordinary characters match themselves. Dot matches any scalar except a line feed. Concatenation, ordered alternation with a vertical bar, capturing groups, and noncapturing groups are supported. The empty pattern and empty alternatives are valid.

    Character classes support literal members, inclusive scalar ranges, and a leading caret for negation. An inverted range is invalid. Escape a metacharacter with a backslash to match it literally. The escapes for n, r, and t match line feed, carriage return, and tab.

    The quantifiers *, +, and ? mean zero or more, one or more, and zero or one. Counted forms {m}, {m,}, and {m,n} use nonnegative decimal counts with m no greater than n. A following question mark makes a repetition lazy. Unescaped braces outside classes delimit a repetition. Quantifiers require an atom and cannot directly repeat an anchor. Possessive quantifiers are invalid.

    A caret and dollar anchor the beginning and end of the input. The escapes \A and \z keep those whole-input meanings. Inline flags i, m, and s select Unicode simple case folding, line anchors, and dot matching line feeds. The forms (?flags) and (?flags:pattern) set flags for the remaining group or a nested group. A minus sign clears subsequent flags.

    Case folding uses the C and S mappings in Unicode 16.0 CaseFolding.txt and excludes the locale-specific T mappings and multiscalar F mappings. The m flag also permits a caret after a line feed and a dollar before a line feed. It does not remove a carriage return before that line feed.

    Unicode properties use Unicode 16.0. The class \d is Decimal_Number. The class \s is White_Space. The class \w combines Alphabetic, Mark, Decimal_Number, Connector_Punctuation, and Join_Control. Uppercase D, S, and W negate those classes. The escapes \b and \B test a boundary or nonboundary between word and nonword scalars. Missing text at either end is nonword.

    The forms \p{name} and \P{name} match or negate a Unicode general category, script, or binary property. Use a category alias, a binary-property alias, or Script= followed by a script alias. Names use Unicode 16.0 aliases and ignore case, spaces, and underscores. An unknown property or value is invalid. Unicode matching cannot be disabled to match a partial UTF-8 sequence.

    Named captures use (?<name>pattern). Names are case sensitive unique ASCII identifiers beginning with a letter or underscore and continuing with letters, digits, or underscores. The alternative spelling (?P<name>pattern) is invalid.

    Backreferences, lookaround, conditionals, atomic groups, and unknown alphanumeric escapes are invalid. Compile performs no I/O and never changes the pattern string.

    Связанное правило · Compile the Unicode regular expression language →

    Результат

    Дополнительные контракты не определены.

    The declared result type is Result<Regex, string>.

    Эффекты

    Не определено

    Ошибки

    Не определено

    Result and effects

    Ссылка

    Compiles the Unicode regular expression language and returns Err for invalid patterns.

    Resolved contracts

    Ссылка

    Related entries

    Ссылка

    std.regex →

    Compile the Unicode regular expression language

    Ссылка
    Правилоtopaz.stdlib.contract.regex-compile.rule

    Compile the Unicode regular expression language

    Regex.compile evaluates its pattern string once and returns Ok containing an immutable compiled pattern. Malformed or unsupported syntax returns Err containing a nonempty explanatory string. Compile errors are data and do not issue a diagnostic. Error wording has no fixed spelling.

    Patterns match Unicode scalar values without Unicode normalization. Ordinary characters match themselves. Dot matches any scalar except a line feed. Concatenation, ordered alternation with a vertical bar, capturing groups, and noncapturing groups are supported. The empty pattern and empty alternatives are valid.

    Character classes support literal members, inclusive scalar ranges, and a leading caret for negation. An inverted range is invalid. Escape a metacharacter with a backslash to match it literally. The escapes for n, r, and t match line feed, carriage return, and tab.

    The quantifiers *, +, and ? mean zero or more, one or more, and zero or one. Counted forms {m}, {m,}, and {m,n} use nonnegative decimal counts with m no greater than n. A following question mark makes a repetition lazy. Unescaped braces outside classes delimit a repetition. Quantifiers require an atom and cannot directly repeat an anchor. Possessive quantifiers are invalid.

    A caret and dollar anchor the beginning and end of the input. The escapes \A and \z keep those whole-input meanings. Inline flags i, m, and s select Unicode simple case folding, line anchors, and dot matching line feeds. The forms (?flags) and (?flags:pattern) set flags for the remaining group or a nested group. A minus sign clears subsequent flags.

    Case folding uses the C and S mappings in Unicode 16.0 CaseFolding.txt and excludes the locale-specific T mappings and multiscalar F mappings. The m flag also permits a caret after a line feed and a dollar before a line feed. It does not remove a carriage return before that line feed.

    Unicode properties use Unicode 16.0. The class \d is Decimal_Number. The class \s is White_Space. The class \w combines Alphabetic, Mark, Decimal_Number, Connector_Punctuation, and Join_Control. Uppercase D, S, and W negate those classes. The escapes \b and \B test a boundary or nonboundary between word and nonword scalars. Missing text at either end is nonword.

    The forms \p{name} and \P{name} match or negate a Unicode general category, script, or binary property. Use a category alias, a binary-property alias, or Script= followed by a script alias. Names use Unicode 16.0 aliases and ignore case, spaces, and underscores. An unknown property or value is invalid. Unicode matching cannot be disabled to match a partial UTF-8 sequence.

    Named captures use (?<name>pattern). Names are case sensitive unique ASCII identifiers beginning with a letter or underscore and continuing with letters, digits, or underscores. The alternative spelling (?P<name>pattern) is invalid.

    Backreferences, lookaround, conditionals, atomic groups, and unknown alphanumeric escapes are invalid. Compile performs no I/O and never changes the pattern string.

    Причина

    A documented Unicode pattern language handles text independently of its UTF-8 encoding. Unicode 16.0 aligns property tests with the text library edition. Simple case folding compares scalars without inserting extra characters or depending on a locale. Excluding backreferences and lookaround preserves a regular language. One named capture spelling avoids an alias while compile errors let applications validate patterns as input.

    Примеры Compile literals, classes, grouping, and anchors →Return errors for malformed and unsupported pattern syntax →Match bounded repetition →Choose the shortest successful lazy repetition →Apply scoped case, line, and dot flags →Use Unicode digit, word, and whitespace classes →Match a Unicode general category →Use complemented classes and zero-width assertions →Use one named capture spelling →Reject a backreference instead of interpreting it as a literal →

    Compile literals, classes, grouping, and anchors

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzCompile literals, classes, grouping, and anchorsОткрыть песочницу →
    1. import std.regex { Regex }
    2. import std.io
    4. match (Regex.compile("^(?:ab)+[0-9]?$")) {
    5. case Ok(pattern) => {
    6. let present = pattern.isMatch("abab2")
    7. let absent = pattern.isMatch("zabab2")
    8. io.writeLine("{present}")
    9. io.writeLine("{absent}")
    10. }
    11. case Err(_) => io.writeLine("compile failed")
    12. }
    Ожидаемый выводКод завершения 0
    true
false
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. true
    2. false

    Этот пример ещё не выполнялся.

    Return errors for malformed and unsupported pattern syntax

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzReturn errors for malformed and unsupported pattern syntaxОткрыть песочницу →
    1. import std.regex { Regex }
    2. import std.io
    4. for text in (["[", "(", "a**", "[z-a]", "(?=a)", "(?<a>x)(?<a>y)", "\\q"]) {
    5. match (Regex.compile(text)) {
    6. case Err(message) => io.writeLine("{message != ""}")
    7. case Ok(_) => io.writeLine("accepted")
    8. }
    9. }
    Ожидаемый выводКод завершения 0
    true
true
true
true
true
true
true
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. true
    2. true
    3. true
    4. true
    5. true
    6. true
    7. true

    Этот пример ещё не выполнялся.

    Match bounded repetition

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzMatch bounded repetitionОткрыть песочницу →
    1. import std.regex { Regex }
    2. import std.io
    4. match (Regex.compile("a\{2,3\}")) {
    5. case Ok(pattern) => {
    6. match (pattern.find("aaaa")) {
    7. case Some(found) => io.writeLine(found.text)
    8. case None() => io.writeLine("no match")
    9. }
    10. }
    11. case Err(_) => io.writeLine("compile failed")
    12. }
    Ожидаемый выводКод завершения 0
    aaa
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. aaa

    Этот пример ещё не выполнялся.

    Choose the shortest successful lazy repetition

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzChoose the shortest successful lazy repetitionОткрыть песочницу →
    1. import std.regex { Regex }
    2. import std.io
    4. match (Regex.compile("a+?")) {
    5. case Ok(pattern) => {
    6. match (pattern.find("aaa")) {
    7. case Some(found) => io.writeLine(found.text)
    8. case None() => io.writeLine("no match")
    9. }
    10. }
    11. case Err(_) => io.writeLine("compile failed")
    12. }
    Ожидаемый выводКод завершения 0
    a
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. a

    Этот пример ещё не выполнялся.

    Apply scoped case, line, and dot flags

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzApply scoped case, line, and dot flagsОткрыть песочницу →
    1. import std.regex { Regex }
    2. import std.io
    4. function show(patternText: string, text: string) -> () {
    5. match (Regex.compile(patternText)) {
    6. case Ok(pattern) => io.writeLine("{pattern.isMatch(text)}")
    7. case Err(_) => io.writeLine("compile failed")
    8. }
    9. }
    10. show("(?i:ab)", "AB")
    11. show("(?m:^b$)", "a\nb\nc")
    12. show("(?s:a.b)", "a\nb")
    13. show("(?i:σ)", "ς")
    14. show("(?i:ss)", "ß")
    Ожидаемый выводКод завершения 0
    true
true
true
true
false
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. true
    2. true
    3. true
    4. true
    5. false

    Этот пример ещё не выполнялся.

    Use Unicode digit, word, and whitespace classes

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzUse Unicode digit, word, and whitespace classesОткрыть песочницу →
    1. import std.regex { Regex }
    2. import std.io
    4. function show(patternText: string, text: string) -> () {
    5. match (Regex.compile(patternText)) {
    6. case Ok(pattern) => io.writeLine("{pattern.isMatch(text)}")
    7. case Err(_) => io.writeLine("compile failed")
    8. }
    9. }
    10. show("^\\d+$", "١٢")
    11. show("^\\w+$", "한")
    12. show("^\\s$", " ")
    Ожидаемый выводКод завершения 0
    true
true
true
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. true
    2. true
    3. true

    Этот пример ещё не выполнялся.

    Match a Unicode general category

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzMatch a Unicode general categoryОткрыть песочницу →
    1. import std.regex { Regex }
    2. import std.io
    4. match (Regex.compile("^\\p\{Letter\}+$")) {
    5. case Ok(pattern) => {
    6. let present = pattern.isMatch("한α")
    7. io.writeLine("{present}")
    8. }
    9. case Err(_) => io.writeLine("compile failed")
    10. }
    Ожидаемый выводКод завершения 0
    true
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. true

    Этот пример ещё не выполнялся.

    Use complemented classes and zero-width assertions

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzUse complemented classes and zero-width assertionsОткрыть песочницу →
    1. import std.regex { Regex }
    2. import std.io
    4. function show(patternText: string, text: string) -> () {
    5. match (Regex.compile(patternText)) {
    6. case Ok(pattern) => io.writeLine("{pattern.isMatch(text)}")
    7. case Err(_) => io.writeLine("compile failed")
    8. }
    9. }
    10. show("^\\D+$", "abc")
    11. show("\\Aab\\z", "ab")
    12. show("\\bcat\\b", "a cat!")
    Ожидаемый выводКод завершения 0
    true
true
true
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. true
    2. true
    3. true

    Этот пример ещё не выполнялся.

    Use one named capture spelling

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzUse one named capture spellingОткрыть песочницу →
    1. import std.regex { Regex }
    2. import std.io
    4. for text in (["(?<word>a)", "(?P<word>a)"]) {
    5. match (Regex.compile(text)) {
    6. case Ok(_) => io.writeLine("accepted")
    7. case Err(_) => io.writeLine("invalid pattern")
    8. }
    9. }
    Ожидаемый выводКод завершения 0
    accepted
invalid pattern
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. accepted
    2. invalid pattern

    Этот пример ещё не выполнялся.

    Reject a backreference instead of interpreting it as a literal

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzReject a backreference instead of interpreting it as a literalОткрыть песочницу →
    1. import std.regex { Regex }
    2. import std.io
    4. match (Regex.compile("(a)\\1")) {
    5. case Err(_) => io.writeLine("invalid pattern")
    6. case Ok(_) => io.writeLine("accepted")
    7. }
    Ожидаемый выводКод завершения 0
    invalid pattern
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. invalid pattern

    Этот пример ещё не выполнялся.

    Меню

    Загрузка →