| :mod:`!re` --- Regular expression operations | |
| ============================================ | |
| .. module:: re | |
| :synopsis: Regular expression operations. | |
| **Source code:** :source:`Lib/re/` | |
| -------------- | |
| This module provides regular expression matching operations similar to | |
| those found in Perl. | |
| Both patterns and strings to be searched can be Unicode strings (:class:`str`) | |
| as well as 8-bit strings (:class:`bytes`). | |
| However, Unicode strings and 8-bit strings cannot be mixed: | |
| that is, you cannot match a Unicode string with a bytes pattern or | |
| vice-versa; similarly, when asking for a substitution, the replacement | |
| string must be of the same type as both the pattern and the search string. | |
| Regular expressions use the backslash character (``'\'``) to indicate | |
| special forms or to allow special characters to be used without invoking | |
| their special meaning. This collides with Python's usage of the same | |
| character for the same purpose in string literals; for example, to match | |
| a literal backslash, one might have to write ``'\\\\'`` as the pattern | |
| string, because the regular expression must be ``\\``, and each | |
| backslash must be expressed as ``\\`` inside a regular Python string | |
| literal. Also, please note that any invalid escape sequences in Python's | |
| usage of the backslash in string literals now generate a :exc:`SyntaxWarning` | |
| and in the future this will become a :exc:`SyntaxError`. This behaviour | |
| will happen even if it is a valid escape sequence for a regular expression. | |
| The solution is to use Python's raw string notation for regular expression | |
| patterns; backslashes are not handled in any special way in a string literal | |
| prefixed with ``'r'``. So ``r"\n"`` is a two-character string containing | |
| ``'\'`` and ``'n'``, while ``"\n"`` is a one-character string containing a | |
| newline. Usually patterns will be expressed in Python code using this raw | |
| string notation. | |
| It is important to note that most regular expression operations are available as | |
| module-level functions and methods on | |
| :ref:`compiled regular expressions <re-objects>`. The functions are shortcuts | |
| that don't require you to compile a regex object first, but miss some | |
| fine-tuning parameters. | |
| .. seealso:: | |
| The third-party :pypi:`regex` module, | |
| which has an API compatible with the standard library :mod:`!re` module, | |
| but offers additional functionality and a more thorough Unicode support. | |
| .. _re-syntax: | |
| Regular expression syntax | |
| ------------------------- | |
| A regular expression (or RE) specifies a set of strings that matches it; the | |
| functions in this module let you check if a particular string matches a given | |
| regular expression (or if a given regular expression matches a particular | |
| string, which comes down to the same thing). | |
| Regular expressions can be concatenated to form new regular expressions; if *A* | |
| and *B* are both regular expressions, then *AB* is also a regular expression. | |
| In general, if a string *p* matches *A* and another string *q* matches *B*, the | |
| string *pq* will match AB. This holds unless *A* or *B* contain low precedence | |
| operations; boundary conditions between *A* and *B*; or have numbered group | |
| references. Thus, complex expressions can easily be constructed from simpler | |
| primitive expressions like the ones described here. For details of the theory | |
| and implementation of regular expressions, consult the Friedl book [Frie09]_, | |
| or almost any textbook about compiler construction. | |
| A brief explanation of the format of regular expressions follows. For further | |
| information and a gentler presentation, consult the :ref:`regex-howto`. | |
| Regular expressions can contain both special and ordinary characters. Most | |
| ordinary characters, like ``'A'``, ``'a'``, or ``'0'``, are the simplest regular | |
| expressions; they simply match themselves. You can concatenate ordinary | |
| characters, so ``last`` matches the string ``'last'``. (In the rest of this | |
| section, we'll write RE's in ``this special style``, usually without quotes, and | |
| strings to be matched ``'in single quotes'``.) | |
| Some characters, like ``'|'`` or ``'('``, are special. Special | |
| characters either stand for classes of ordinary characters, or affect | |
| how the regular expressions around them are interpreted. | |
| Repetition operators or quantifiers (``*``, ``+``, ``?``, ``{m,n}``, etc) cannot be | |
| directly nested. This avoids ambiguity with the non-greedy modifier suffix | |
| ``?``, and with other modifiers in other implementations. To apply a second | |
| repetition to an inner repetition, parentheses may be used. For example, | |
| the expression ``(?:a{6})*`` matches any multiple of six ``'a'`` characters. | |
| The special characters are: | |
| .. index:: single: . (dot); in regular expressions | |
| ``.`` | |
| (Dot.) In the default mode, this matches any character except a newline. If | |
| the :const:`DOTALL` flag has been specified, this matches any character | |
| including a newline. ``(?s:.)`` matches any character regardless of flags. | |
| .. index:: single: ^ (caret); in regular expressions | |
| ``^`` | |
| (Caret.) Matches the start of the string, and in :const:`MULTILINE` mode also | |
| matches immediately after each newline. | |
| .. index:: single: $ (dollar); in regular expressions | |
| ``$`` | |
| Matches the end of the string or just before the newline at the end of the | |
| string, and in :const:`MULTILINE` mode also matches before a newline. ``foo`` | |
| matches both 'foo' and 'foobar', while the regular expression ``foo$`` matches | |
| only 'foo'. More interestingly, searching for ``foo.$`` in ``'foo1\nfoo2\n'`` | |
| matches 'foo2' normally, but 'foo1' in :const:`MULTILINE` mode; searching for | |
| a single ``$`` in ``'foo\n'`` will find two (empty) matches: one just before | |
| the newline, and one at the end of the string. | |
| .. index:: single: * (asterisk); in regular expressions | |
| ``*`` | |
| Causes the resulting RE to match 0 or more repetitions of the preceding RE, as | |
| many repetitions as are possible. ``ab*`` will match 'a', 'ab', or 'a' followed | |
| by any number of 'b's. | |
| .. index:: single: + (plus); in regular expressions | |
| ``+`` | |
| Causes the resulting RE to match 1 or more repetitions of the preceding RE. | |
| ``ab+`` will match 'a' followed by any non-zero number of 'b's; it will not | |
| match just 'a'. | |
| .. index:: single: ? (question mark); in regular expressions | |
| ``?`` | |
| Causes the resulting RE to match 0 or 1 repetitions of the preceding RE. | |
| ``ab?`` will match either 'a' or 'ab'. | |
| .. index:: | |
| single: *?; in regular expressions | |
| single: +?; in regular expressions | |
| single: ??; in regular expressions | |
| ``*?``, ``+?``, ``??`` | |
| The ``'*'``, ``'+'``, and ``'?'`` quantifiers are all :dfn:`greedy`; they match | |
| as much text as possible. Sometimes this behaviour isn't desired; if the RE | |
| ``<.*>`` is matched against ``'<a> b <c>'``, it will match the entire | |
| string, and not just ``'<a>'``. Adding ``?`` after the quantifier makes it | |
| perform the match in :dfn:`non-greedy` or :dfn:`minimal` fashion; as *few* | |
| characters as possible will be matched. Using the RE ``<.*?>`` will match | |
| only ``'<a>'``. | |
| .. index:: | |
| single: *+; in regular expressions | |
| single: ++; in regular expressions | |
| single: ?+; in regular expressions | |
| ``*+``, ``++``, ``?+`` | |
| Like the ``'*'``, ``'+'``, and ``'?'`` quantifiers, those where ``'+'`` is | |
| appended also match as many times as possible. | |
| However, unlike the true greedy quantifiers, these do not allow | |
| back-tracking when the expression following it fails to match. | |
| These are known as :dfn:`possessive` quantifiers. | |
| For example, ``a*a`` will match ``'aaaa'`` because the ``a*`` will match | |
| all 4 ``'a'``\ s, but, when the final ``'a'`` is encountered, the | |
| expression is backtracked so that in the end the ``a*`` ends up matching | |
| 3 ``'a'``\ s total, and the fourth ``'a'`` is matched by the final ``'a'``. | |
| However, when ``a*+a`` is used to match ``'aaaa'``, the ``a*+`` will | |
| match all 4 ``'a'``, but when the final ``'a'`` fails to find any more | |
| characters to match, the expression cannot be backtracked and will thus | |
| fail to match. | |
| ``x*+``, ``x++`` and ``x?+`` are equivalent to ``(?>x*)``, ``(?>x+)`` | |
| and ``(?>x?)`` correspondingly. | |
| .. versionadded:: 3.11 | |
| .. index:: | |
| single: {} (curly brackets); in regular expressions | |
| ``{m}`` | |
| Specifies that exactly *m* copies of the previous RE should be matched; fewer | |
| matches cause the entire RE not to match. For example, ``a{6}`` will match | |
| exactly six ``'a'`` characters, but not five. | |
| ``{m,n}`` | |
| Causes the resulting RE to match from *m* to *n* repetitions of the preceding | |
| RE, attempting to match as many repetitions as possible. For example, | |
| ``a{3,5}`` will match from 3 to 5 ``'a'`` characters. Omitting *m* specifies a | |
| lower bound of zero, and omitting *n* specifies an infinite upper bound. As an | |
| example, ``a{4,}b`` will match ``'aaaab'`` or a thousand ``'a'`` characters | |
| followed by a ``'b'``, but not ``'aaab'``. The comma may not be omitted or the | |
| modifier would be confused with the previously described form. | |
| ``{m,n}?`` | |
| Causes the resulting RE to match from *m* to *n* repetitions of the preceding | |
| RE, attempting to match as *few* repetitions as possible. This is the | |
| non-greedy version of the previous quantifier. For example, on the | |
| 6-character string ``'aaaaaa'``, ``a{3,5}`` will match 5 ``'a'`` characters, | |
| while ``a{3,5}?`` will only match 3 characters. | |
| ``{m,n}+`` | |
| Causes the resulting RE to match from *m* to *n* repetitions of the | |
| preceding RE, attempting to match as many repetitions as possible | |
| *without* establishing any backtracking points. | |
| This is the possessive version of the quantifier above. | |
| For example, on the 6-character string ``'aaaaaa'``, ``a{3,5}+aa`` | |
| attempts to match 5 ``'a'`` characters, then, requiring 2 more ``'a'``\ s, | |
| will need more characters than available and thus fail, while | |
| ``a{3,5}aa`` will match with ``a{3,5}`` capturing 5, then 4 ``'a'``\ s | |
| by backtracking and then the final 2 ``'a'``\ s are matched by the final | |
| ``aa`` in the pattern. | |
| ``x{m,n}+`` is equivalent to ``(?>x{m,n})``. | |
| .. versionadded:: 3.11 | |
| .. index:: single: \ (backslash); in regular expressions | |
| ``\`` | |
| Either escapes special characters (permitting you to match characters like | |
| ``'*'``, ``'?'``, and so forth), or signals a special sequence; special | |
| sequences are discussed below. | |
| If you're not using a raw string to express the pattern, remember that Python | |
| also uses the backslash as an escape sequence in string literals; if the escape | |
| sequence isn't recognized by Python's parser, the backslash and subsequent | |
| character are included in the resulting string. However, if Python would | |
| recognize the resulting sequence, the backslash should be repeated twice. This | |
| is complicated and hard to understand, so it's highly recommended that you use | |
| raw strings for all but the simplest expressions. | |
| .. index:: | |
| single: [] (square brackets); in regular expressions | |
| ``[]`` | |
| Used to indicate a set of characters. In a set: | |
| * Characters can be listed individually, e.g. ``[amk]`` will match ``'a'``, | |
| ``'m'``, or ``'k'``. | |
| .. index:: single: - (minus); in regular expressions | |
| * Ranges of characters can be indicated by giving two characters and separating | |
| them by a ``'-'``, for example ``[a-z]`` will match any lowercase ASCII letter, | |
| ``[0-5][0-9]`` will match all the two-digits numbers from ``00`` to ``59``, and | |
| ``[0-9A-Fa-f]`` will match any hexadecimal digit. If ``-`` is escaped (e.g. | |
| ``[a\-z]``) or if it's placed as the first or last character | |
| (e.g. ``[-a]`` or ``[a-]``), it will match a literal ``'-'``. | |
| * Special characters except backslash lose their special meaning inside sets. | |
| For example, | |
| ``[(+*)]`` will match any of the literal characters ``'('``, ``'+'``, | |
| ``'*'``, or ``')'``. | |
| .. index:: single: \ (backslash); in regular expressions | |
| * Backslash either escapes characters which have special meaning in a set | |
| such as ``'-'``, ``']'``, ``'^'`` and ``'\\'`` itself or signals | |
| a special sequence which represents a single character such as | |
| ``\xa0`` or ``\n`` or a character class such as ``\w`` or ``\S`` | |
| (defined below). | |
| Note that ``\b`` represents a single "backspace" character, | |
| not a word boundary as outside a set, and numeric escapes | |
| such as ``\1`` are always octal escapes, not group references. | |
| Special sequences which do not match a single character such as ``\A`` | |
| and ``\z`` are not allowed. | |
| .. index:: single: ^ (caret); in regular expressions | |
| * Characters that are not within a range can be matched by :dfn:`complementing` | |
| the set. If the first character of the set is ``'^'``, all the characters | |
| that are *not* in the set will be matched. For example, ``[^5]`` will match | |
| any character except ``'5'``, and ``[^^]`` will match any character except | |
| ``'^'``. ``^`` has no special meaning if it's not the first character in | |
| the set. | |
| * To match a literal ``']'`` inside a set, precede it with a backslash, or | |
| place it at the beginning of the set. For example, both ``[()[\]{}]`` and | |
| ``[]()[{}]`` will match a right bracket, as well as left bracket, braces, | |
| and parentheses. | |
| .. index:: | |
| single: --; in regular expressions | |
| single: &&; in regular expressions | |
| single: ||; in regular expressions | |
| * A character set may contain a nested set written in square brackets, and | |
| two sets may be combined with a set operator, as in `Unicode Technical | |
| Standard #18`_: | |
| * ``[A--B]`` (*difference*) matches a character that is in *A* but not | |
| in *B*; for example ``[a-z--[aeiou]]`` matches an ASCII lowercase | |
| consonant. | |
| * ``[A&&B]`` (*intersection*) matches a character that is in both *A* | |
| and *B*; for example ``[\w&&[a-z]]`` matches an ASCII lowercase letter. | |
| * ``[A||B]`` (*union*) matches a character that is in *A* or in *B*; this | |
| is the same as listing the members of both sets in a single set, but | |
| allows combining nested sets. | |
| Operators have no precedence and are applied from left to right. To | |
| group, write a nested set as the operand after an operator, as in | |
| ``[a-z--[aeiou]]``. A leading ``'^'`` complements the whole result. | |
| A ``'['`` begins a nested set only immediately after a set operator; | |
| anywhere else -- including at the start of a character set -- it is an | |
| ordinary character, so existing patterns keep their meaning. Escape it | |
| as ``'\['`` to include a literal ``'['`` right after an operator. | |
| .. _Unicode Technical Standard #18: https://unicode.org/reports/tr18/ | |
| .. note:: | |
| Symmetric difference (``A~~B``) is not yet supported; a literal ``'~~'`` | |
| in a character set still raises a :exc:`FutureWarning`. | |
| .. versionchanged:: 3.7 | |
| :exc:`FutureWarning` is raised if a character set contains constructs | |
| that will change semantically in the future. | |
| .. versionchanged:: next | |
| Added support for nested sets and the set operators ``--``, ``&&`` | |
| and ``||``. | |
| .. index:: single: | (vertical bar); in regular expressions | |
| ``|`` | |
| ``A|B``, where *A* and *B* can be arbitrary REs, creates a regular expression that | |
| will match either *A* or *B*. An arbitrary number of REs can be separated by the | |
| ``'|'`` in this way. This can be used inside groups (see below) as well. As | |
| the target string is scanned, REs separated by ``'|'`` are tried from left to | |
| right. When one pattern completely matches, that branch is accepted. This means | |
| that once *A* matches, *B* will not be tested further, even if it would | |
| produce a longer overall match. In other words, the ``'|'`` operator is never | |
| greedy. To match a literal ``'|'``, use ``\|``, or enclose it inside a | |
| character class, as in ``[|]``. | |
| .. index:: | |
| single: () (parentheses); in regular expressions | |
| ``(...)`` | |
| Matches whatever regular expression is inside the parentheses, and indicates the | |
| start and end of a group; the contents of a group can be retrieved after a match | |
| has been performed, and can be matched later in the string with the ``\number`` | |
| special sequence, described below. To match the literals ``'('`` or ``')'``, | |
| use ``\(`` or ``\)``, or enclose them inside a character class: ``[(]``, ``[)]``. | |
| .. index:: single: (?; in regular expressions | |
| ``(?...)`` | |
| This is an extension notation (a ``'?'`` following a ``'('`` is not meaningful | |
| otherwise). The first character after the ``'?'`` determines what the meaning | |
| and further syntax of the construct is. Extensions usually do not create a new | |
| group; ``(?P<name>...)`` is the only exception to this rule. Following are the | |
| currently supported extensions. | |
| ``(?aiLmsux)`` | |
| (One or more letters from the set | |
| ``'a'``, ``'i'``, ``'L'``, ``'m'``, ``'s'``, ``'u'``, ``'x'``.) | |
| The group matches the empty string; | |
| the letters set the corresponding flags for the entire regular expression: | |
| * :const:`re.A` (ASCII-only matching) | |
| * :const:`re.I` (ignore case) | |
| * :const:`re.L` (locale dependent) | |
| * :const:`re.M` (multi-line) | |
| * :const:`re.S` (dot matches all) | |
| * :const:`re.U` (Unicode matching) | |
| * :const:`re.X` (verbose) | |
| (The flags are described in :ref:`contents-of-module-re`.) | |
| This is useful if you wish to include the flags as part of the | |
| regular expression, instead of passing a *flag* argument to the | |
| :func:`re.compile` function. | |
| Flags should be used first in the expression string. | |
| .. versionchanged:: 3.11 | |
| This construction can only be used at the start of the expression. | |
| .. index:: single: (?:; in regular expressions | |
| ``(?:...)`` | |
| A non-capturing version of regular parentheses. Matches whatever regular | |
| expression is inside the parentheses, but the substring matched by the group | |
| *cannot* be retrieved after performing a match or referenced later in the | |
| pattern. | |
| ``(?aiLmsux-imsx:...)`` | |
| (Zero or more letters from the set | |
| ``'a'``, ``'i'``, ``'L'``, ``'m'``, ``'s'``, ``'u'``, ``'x'``, | |
| optionally followed by ``'-'`` followed by | |
| one or more letters from the ``'i'``, ``'m'``, ``'s'``, ``'x'``.) | |
| The letters set or remove the corresponding flags for the part of the expression: | |
| * :const:`re.A` (ASCII-only matching) | |
| * :const:`re.I` (ignore case) | |
| * :const:`re.L` (locale dependent) | |
| * :const:`re.M` (multi-line) | |
| * :const:`re.S` (dot matches all) | |
| * :const:`re.U` (Unicode matching) | |
| * :const:`re.X` (verbose) | |
| (The flags are described in :ref:`contents-of-module-re`.) | |
| The letters ``'a'``, ``'L'`` and ``'u'`` are mutually exclusive when used | |
| as inline flags, so they can't be combined or follow ``'-'``. Instead, | |
| when one of them appears in an inline group, it overrides the matching mode | |
| in the enclosing group. In Unicode patterns ``(?a:...)`` switches to | |
| ASCII-only matching, and ``(?u:...)`` switches to Unicode matching | |
| (default). In bytes patterns ``(?L:...)`` switches to locale dependent | |
| matching, and ``(?a:...)`` switches to ASCII-only matching (default). | |
| This override is only in effect for the narrow inline group, and the | |
| original matching mode is restored outside of the group. | |
| .. versionadded:: 3.6 | |
| .. versionchanged:: 3.7 | |
| The letters ``'a'``, ``'L'`` and ``'u'`` also can be used in a group. | |
| ``(?>...)`` | |
| Attempts to match ``...`` as if it was a separate regular expression, and | |
| if successful, continues to match the rest of the pattern following it. | |
| If the subsequent pattern fails to match, the stack can only be unwound | |
| to a point *before* the ``(?>...)`` because once exited, the expression, | |
| known as an :dfn:`atomic group`, has thrown away all stack points within | |
| itself. | |
| Thus, ``(?>.*).`` would never match anything because first the ``.*`` | |
| would match all characters possible, then, having nothing left to match, | |
| the final ``.`` would fail to match. | |
| Since there are no stack points saved in the Atomic Group, and there is | |
| no stack point before it, the entire expression would thus fail to match. | |
| .. versionadded:: 3.11 | |
| .. index:: single: (?P<; in regular expressions | |
| ``(?P<name>...)`` | |
| Similar to regular parentheses, but the substring matched by the group is | |
| accessible via the symbolic group name *name*. Group names must be valid | |
| Python identifiers, and in :class:`bytes` patterns they can only contain | |
| bytes in the ASCII range. Each group name must be defined only once within | |
| a regular expression. A symbolic group is also a numbered group, just as if | |
| the group were not named. | |
| Named groups can be referenced in three contexts. If the pattern is | |
| ``(?P<quote>['"]).*?(?P=quote)`` (i.e. matching a string quoted with either | |
| single or double quotes): | |
| +---------------------------------------+----------------------------------+ | |
| | Context of reference to group "quote" | Ways to reference it | | |
| +=======================================+==================================+ | |
| | in the same pattern itself | * ``(?P=quote)`` (as shown) | | |
| | | * ``\1`` | | |
| +---------------------------------------+----------------------------------+ | |
| | when processing match object *m* | * ``m.group('quote')`` | | |
| | | * ``m.end('quote')`` (etc.) | | |
| +---------------------------------------+----------------------------------+ | |
| | in a string passed to the *repl* | * ``\g<quote>`` | | |
| | argument of ``re.sub()`` | * ``\g<1>`` | | |
| | | * ``\1`` | | |
| +---------------------------------------+----------------------------------+ | |
| .. versionchanged:: 3.12 | |
| In :class:`bytes` patterns, group *name* can only contain bytes | |
| in the ASCII range (``b'\x00'``-``b'\x7f'``). | |
| .. index:: single: (?P=; in regular expressions | |
| ``(?P=name)`` | |
| A backreference to a named group; it matches whatever text was matched by the | |
| earlier group named *name*. | |
| .. index:: single: (?#; in regular expressions | |
| ``(?#...)`` | |
| A comment; the contents of the parentheses are simply ignored. | |
| .. index:: single: (?=; in regular expressions | |
| ``(?=...)`` | |
| Matches if ``...`` matches next, but doesn't consume any of the string. This is | |
| called a :dfn:`lookahead assertion`. For example, ``Isaac (?=Asimov)`` will match | |
| ``'Isaac '`` only if it's followed by ``'Asimov'``. | |
| .. index:: single: (?!; in regular expressions | |
| ``(?!...)`` | |
| Matches if ``...`` doesn't match next. This is a :dfn:`negative lookahead assertion`. | |
| For example, ``Isaac (?!Asimov)`` will match ``'Isaac '`` only if it's *not* | |
| followed by ``'Asimov'``. | |
| .. index:: single: (?<=; in regular expressions | |
| ``(?<=...)`` | |
| Matches if the current position in the string is preceded by a match for ``...`` | |
| that ends at the current position. This is called a :dfn:`positive lookbehind | |
| assertion`. ``(?<=abc)def`` will find a match in ``'abcdef'``, since the | |
| lookbehind will back up 3 characters and check if the contained pattern matches. | |
| The contained pattern must only match strings of some fixed length, meaning that | |
| ``abc`` or ``a|b`` are allowed, but ``a*`` and ``a{3,4}`` are not. Note that | |
| patterns which start with positive lookbehind assertions will not match at the | |
| beginning of the string being searched; you will most likely want to use the | |
| :func:`search` function rather than the :func:`match` function: | |
| >>> import re | |
| >>> m = re.search('(?<=abc)def', 'abcdef') | |
| >>> m.group(0) | |
| 'def' | |
| This example looks for a word following a hyphen: | |
| >>> m = re.search(r'(?<=-)\w+', 'spam-egg') | |
| >>> m.group(0) | |
| 'egg' | |
| .. versionchanged:: 3.5 | |
| Added support for group references of fixed length. | |
| .. index:: single: (?<!; in regular expressions | |
| ``(?<!...)`` | |
| Matches if the current position in the string is not preceded by a match for | |
| ``...``. This is called a :dfn:`negative lookbehind assertion`. Similar to | |
| positive lookbehind assertions, the contained pattern must only match strings of | |
| some fixed length. Patterns which start with negative lookbehind assertions may | |
| match at the beginning of the string being searched. | |
| .. _re-conditional-expression: | |
| .. index:: single: (?(; in regular expressions | |
| ``(?(id/name)yes-pattern|no-pattern)`` | |
| Will try to match with ``yes-pattern`` if the group with given *id* or | |
| *name* exists, and with ``no-pattern`` if it doesn't. ``no-pattern`` is | |
| optional and can be omitted. For example, | |
| ``(<)?(\w+@\w+(?:\.\w+)+)(?(1)>|$)`` is a poor email matching pattern, which | |
| matches ``'<user@host.com>'`` as well as ``'user@host.com'``, but does not | |
| match ``'<user@host.com'`` nor ``'user@host.com>'`` in their entirety | |
| (:func:`re.search` finds only ``'user@host.com'`` in the former). | |
| .. versionchanged:: 3.12 | |
| Group *id* can only contain ASCII digits. | |
| In :class:`bytes` patterns, group *name* can only contain bytes | |
| in the ASCII range (``b'\x00'``-``b'\x7f'``). | |
| .. _re-special-sequences: | |
| The special sequences consist of ``'\'`` and a character from the list below. | |
| If the ordinary character is not an ASCII digit or an ASCII letter, then the | |
| resulting RE will match the second character. For example, ``\$`` matches the | |
| character ``'$'``. | |
| .. index:: single: \ (backslash); in regular expressions | |
| ``\number`` | |
| Matches the contents of the group of the same number. Groups are numbered | |
| starting from 1. For example, ``(.+) \1`` matches ``'the the'`` or ``'55 55'``, | |
| but not ``'thethe'`` (note the space after the group). This special sequence | |
| can only be used to match one of the first 99 groups. If the first digit of | |
| *number* is 0, or *number* is 3 octal digits long, it will not be interpreted as | |
| a group match, but as the character with octal value *number*. Inside the | |
| ``'['`` and ``']'`` of a character class, all numeric escapes are treated as | |
| characters. | |
| .. index:: single: \A; in regular expressions | |
| ``\A`` | |
| Matches only at the start of the string. | |
| .. index:: single: \b; in regular expressions | |
| ``\b`` | |
| Matches the empty string, but only at the beginning or end of a word. | |
| A word is defined as a sequence of word characters. | |
| Note that formally, ``\b`` is defined as the boundary | |
| between a ``\w`` and a ``\W`` character (or vice versa), | |
| or between ``\w`` and the beginning or end of the string. | |
| This means that ``r'\bat\b'`` matches ``'at'``, ``'at.'``, ``'(at)'``, | |
| and ``'as at ay'`` but not ``'attempt'`` or ``'atlas'``. | |
| The default word characters in Unicode (str) patterns | |
| are Unicode alphanumerics and the underscore, | |
| but this can be changed by using the :py:const:`~re.ASCII` flag. | |
| Word boundaries are determined by the current locale | |
| if the :py:const:`~re.LOCALE` flag is used. | |
| .. note:: | |
| Inside a character range, ``\b`` represents the backspace character, | |
| for compatibility with Python's string literals. | |
| .. index:: single: \B; in regular expressions | |
| ``\B`` | |
| Matches the empty string, | |
| but only when it is *not* at the beginning or end of a word. | |
| This means that ``r'at\B'`` matches ``'athens'``, ``'atom'``, | |
| ``'attorney'``, but not ``'at'``, ``'at.'``, or ``'at!'``. | |
| ``\B`` is the opposite of ``\b``, | |
| so word characters in Unicode (str) patterns | |
| are Unicode alphanumerics or the underscore, | |
| although this can be changed by using the :py:const:`~re.ASCII` flag. | |
| Word boundaries are determined by the current locale | |
| if the :py:const:`~re.LOCALE` flag is used. | |
| .. versionchanged:: 3.14 | |
| ``\B`` now matches empty input string. | |
| .. index:: single: \d; in regular expressions | |
| ``\d`` | |
| For Unicode (str) patterns: | |
| Matches any Unicode decimal digit | |
| (that is, any character in Unicode character category `[Nd]`__). | |
| This includes ``[0-9]``, and also many other digit characters. | |
| Matches ``[0-9]`` if the :py:const:`~re.ASCII` flag is used. | |
| __ https://www.unicode.org/versions/Unicode18.0.0/core-spec/chapter-4/#G124142 | |
| For 8-bit (bytes) patterns: | |
| Matches any decimal digit in the ASCII character set; | |
| this is equivalent to ``[0-9]``. | |
| .. index:: single: \D; in regular expressions | |
| ``\D`` | |
| Matches any character which is not a decimal digit. | |
| This is the opposite of ``\d``. | |
| Matches ``[^0-9]`` if the :py:const:`~re.ASCII` flag is used. | |
| .. index:: single: \s; in regular expressions | |
| ``\s`` | |
| For Unicode (str) patterns: | |
| Matches Unicode whitespace characters (as defined by :py:meth:`str.isspace`). | |
| This includes ``[ \t\n\r\f\v]``, and also many other characters, for example the | |
| non-breaking spaces mandated by typography rules in many languages. | |
| Matches ``[ \t\n\r\f\v]`` if the :py:const:`~re.ASCII` flag is used. | |
| For 8-bit (bytes) patterns: | |
| Matches characters considered whitespace in the ASCII character set; | |
| this is equivalent to ``[ \t\n\r\f\v]``. | |
| .. index:: single: \S; in regular expressions | |
| ``\S`` | |
| Matches any character which is not a whitespace character. This is | |
| the opposite of ``\s``. | |
| Matches ``[^ \t\n\r\f\v]`` if the :py:const:`~re.ASCII` flag is used. | |
| .. index:: single: \w; in regular expressions | |
| ``\w`` | |
| For Unicode (str) patterns: | |
| Matches Unicode word characters; | |
| this includes all Unicode alphanumeric characters | |
| (as defined by :py:meth:`str.isalnum`), | |
| as well as the underscore (``_``). | |
| Matches ``[a-zA-Z0-9_]`` if the :py:const:`~re.ASCII` flag is used. | |
| For 8-bit (bytes) patterns: | |
| Matches characters considered alphanumeric in the ASCII character set; | |
| this is equivalent to ``[a-zA-Z0-9_]``. | |
| If the :py:const:`~re.LOCALE` flag is used, | |
| matches characters considered alphanumeric in the current locale and the underscore. | |
| .. index:: single: \W; in regular expressions | |
| ``\W`` | |
| Matches any character which is not a word character. | |
| This is the opposite of ``\w``. | |
| By default, matches non-underscore (``_``) characters | |
| for which :py:meth:`str.isalnum` returns ``False``. | |
| Matches ``[^a-zA-Z0-9_]`` if the :py:const:`~re.ASCII` flag is used. | |
| If the :py:const:`~re.LOCALE` flag is used, | |
| matches characters which are neither alphanumeric in the current locale | |
| nor the underscore. | |
| .. index:: single: \p; in regular expressions | |
| single: \P; in regular expressions | |
| ``\p{property=value}``, ``\p{value}`` | |
| Matches any character with the given Unicode property | |
| (see `Unicode Technical Standard #18 | |
| <https://unicode.org/reports/tr18/>`_, requirement RL1.2 "Properties"). | |
| Property and value names are matched loosely: | |
| case, whitespace, ``'-'`` and ``'_'`` are ignored. | |
| The following properties are supported: | |
| * The ``General_Category`` property (short name ``gc``), | |
| spelled ``\p{Lu}``, ``\p{gc=Lu}`` or, for a one-letter group, ``\p{L}``. | |
| The supported values are the groups ``L``, ``N``, ``Z`` and ``C`` and the | |
| values ``Lu``, ``Lt``, ``Lm``, ``Nd``, ``Nl``, ``No``, ``Zs``, ``Zl``, | |
| ``Zp``, ``Cc``, ``Cf``, ``Cs``, ``Co`` and ``Cn``. | |
| * The binary properties ``XID_Start``, ``XID_Continue``, ``Alphabetic``, | |
| ``Lowercase``, ``Uppercase``, ``Numeric``, ``Printable``, ``Cased`` and | |
| ``Case_Ignorable``. A binary property may also be spelled | |
| ``\p{name=yes}`` or ``\p{name=no}``. | |
| * The POSIX compatibility classes ``alpha``, ``alnum``, ``blank``, | |
| ``cntrl``, ``digit``, ``graph``, ``lower``, ``print``, ``space``, | |
| ``upper``, ``word`` and ``xdigit``. | |
| * The properties ``ASCII``, ``Any``, ``Assigned``, | |
| ``Noncharacter_Code_Point``, ``Join_Control``, ``Regional_Indicator``, | |
| ``ASCII_Hex_Digit``, ``Hex_Digit``, ``Pattern_Syntax`` and | |
| ``Pattern_White_Space``. | |
| Where a supported property corresponds to a :mod:`unicodedata` accessor or | |
| :class:`str` method, the set of characters it matches is exactly the one | |
| they report. For consistency with these, ``space`` follows | |
| :py:meth:`str.isspace` (like ``\s``) and ``xdigit`` matches only the ASCII | |
| hexadecimal digits. | |
| This is only recognized in Unicode (str) patterns. | |
| In bytes patterns it is an error. | |
| .. versionadded:: next | |
| ``\P{...}`` | |
| Matches any character which does *not* have the given Unicode property. | |
| This is the opposite of ``\p``. | |
| .. versionadded:: next | |
| .. index:: single: \z; in regular expressions | |
| single: \Z; in regular expressions | |
| ``\z`` | |
| Matches only at the end of the string. | |
| .. versionadded:: 3.14 | |
| ``\Z`` | |
| The same as ``\z``. For compatibility with old Python versions. | |
| .. index:: | |
| single: \a; in regular expressions | |
| single: \b; in regular expressions | |
| single: \f; in regular expressions | |
| single: \n; in regular expressions | |
| single: \N; in regular expressions | |
| single: \r; in regular expressions | |
| single: \t; in regular expressions | |
| single: \u; in regular expressions | |
| single: \U; in regular expressions | |
| single: \v; in regular expressions | |
| single: \x; in regular expressions | |
| single: \\; in regular expressions | |
| Most of the :ref:`escape sequences <escape-sequences>` supported by Python | |
| string literals are also accepted by the regular expression parser:: | |
| \a \b \f \n | |
| \N \r \t \u | |
| \U \v \x \\ | |
| (Note that ``\b`` is used to represent word boundaries, and means "backspace" | |
| only inside character classes.) | |
| ``'\u'``, ``'\U'``, and ``'\N'`` escape sequences are | |
| only recognized in Unicode (str) patterns. | |
| In bytes patterns they are errors. | |
| Unknown escapes of ASCII letters are reserved | |
| for future use and treated as errors. | |
| Octal escapes are included in a limited form. If the first digit is a 0, or if | |
| there are three octal digits, it is considered an octal escape. Otherwise, it is | |
| a group reference. As for string literals, octal escapes are always at most | |
| three digits in length. | |
| .. versionchanged:: 3.3 | |
| The ``'\u'`` and ``'\U'`` escape sequences have been added. | |
| .. versionchanged:: 3.6 | |
| Unknown escapes consisting of ``'\'`` and an ASCII letter now are errors. | |
| .. versionchanged:: 3.8 | |
| The :samp:`'\\N\\{{name}\\}'` escape sequence has been added. As in string literals, | |
| it expands to the named Unicode character (e.g. ``'\N{EM DASH}'``). | |
| .. _contents-of-module-re: | |
| Module contents | |
| --------------- | |
| The module defines several functions, constants, and an exception. Some of the | |
| functions are simplified versions of the full featured methods for compiled | |
| regular expressions. Most non-trivial applications always use the compiled | |
| form. | |
| Flags | |
| ^^^^^ | |
| .. versionchanged:: 3.6 | |
| Flag constants are now instances of :class:`RegexFlag`, which is a subclass of | |
| :class:`enum.IntFlag`. | |
| .. class:: RegexFlag | |
| An :class:`enum.IntFlag` class containing the regex options listed below. | |
| .. versionadded:: 3.11 - added to ``__all__`` | |
| .. data:: A | |
| ASCII | |
| Make ``\w``, ``\W``, ``\b``, ``\B``, ``\d``, ``\D``, ``\s`` and ``\S`` | |
| perform ASCII-only matching instead of full Unicode matching. This is only | |
| meaningful for Unicode (str) patterns, and is ignored for bytes patterns. | |
| Corresponds to the inline flag ``(?a)``. | |
| .. note:: | |
| The :py:const:`~re.U` flag still exists for backward compatibility, | |
| but is redundant in Python 3 since | |
| matches are Unicode by default for ``str`` patterns, | |
| and Unicode matching isn't allowed for bytes patterns. | |
| :py:const:`~re.UNICODE` and the inline flag ``(?u)`` are similarly redundant. | |
| .. data:: DEBUG | |
| Display debug information about compiled expression. | |
| No corresponding inline flag. | |
| .. data:: I | |
| IGNORECASE | |
| Perform case-insensitive matching; | |
| expressions like ``[A-Z]`` will also match lowercase letters. | |
| Full Unicode matching (such as ``Ü`` matching ``ü``) | |
| also works unless the :py:const:`~re.ASCII` flag | |
| is used to disable non-ASCII matches. | |
| The current locale does not change the effect of this flag | |
| unless the :py:const:`~re.LOCALE` flag is also used. | |
| Corresponds to the inline flag ``(?i)``. | |
| Note that when the Unicode patterns ``[a-z]`` or ``[A-Z]`` are used in | |
| combination with the :const:`IGNORECASE` flag, they will match the 52 ASCII | |
| letters and 4 additional non-ASCII letters: 'İ' (U+0130, Latin capital | |
| letter I with dot above), 'ı' (U+0131, Latin small letter dotless i), | |
| 'ſ' (U+017F, Latin small letter long s) and 'K' (U+212A, Kelvin sign). | |
| If the :py:const:`~re.ASCII` flag is used, only letters 'a' to 'z' | |
| and 'A' to 'Z' are matched. | |
| .. data:: L | |
| LOCALE | |
| Make ``\w``, ``\W``, ``\b``, ``\B`` and case-insensitive matching | |
| dependent on the current locale. | |
| This flag can be used only with bytes patterns. | |
| Corresponds to the inline flag ``(?L)``. | |
| .. warning:: | |
| This flag is discouraged; consider Unicode matching instead. | |
| The locale mechanism is very unreliable | |
| as it only handles one "culture" at a time | |
| and only works with 8-bit locales. | |
| Unicode matching is enabled by default for Unicode (str) patterns | |
| and it is able to handle different locales and languages. | |
| .. versionchanged:: 3.6 | |
| :py:const:`~re.LOCALE` can be used only with bytes patterns | |
| and is not compatible with :py:const:`~re.ASCII`. | |
| .. versionchanged:: 3.7 | |
| Compiled regular expression objects with the :py:const:`~re.LOCALE` flag | |
| no longer depend on the locale at compile time. | |
| Only the locale at matching time affects the result of matching. | |
| .. data:: M | |
| MULTILINE | |
| When specified, the pattern character ``'^'`` matches at the beginning of the | |
| string and at the beginning of each line (immediately following each newline); | |
| and the pattern character ``'$'`` matches at the end of the string and at the | |
| end of each line (immediately preceding each newline). By default, ``'^'`` | |
| matches only at the beginning of the string, and ``'$'`` only at the end of the | |
| string and immediately before the newline (if any) at the end of the string. | |
| Corresponds to the inline flag ``(?m)``. | |
| .. data:: NOFLAG | |
| Indicates no flag being applied, the value is ``0``. This flag may be used | |
| as a default value for a function keyword argument or as a base value that | |
| will be conditionally ORed with other flags. Example of use as a default | |
| value:: | |
| def myfunc(pattern, text, flag=re.NOFLAG): | |
| return re.search(pattern, text, flag) | |
| .. versionadded:: 3.11 | |
| .. data:: S | |
| DOTALL | |
| Make the ``'.'`` special character match any character at all, including a | |
| newline; without this flag, ``'.'`` will match anything *except* a newline. | |
| Corresponds to the inline flag ``(?s)``. | |
| .. data:: U | |
| UNICODE | |
| In Python 3, Unicode characters are matched by default | |
| for ``str`` patterns. | |
| This flag is therefore redundant with **no effect** | |
| and is only kept for backward compatibility. | |
| See :py:const:`~re.ASCII` to restrict matching to ASCII characters instead. | |
| .. data:: X | |
| VERBOSE | |
| .. index:: single: # (hash); in regular expressions | |
| This flag allows you to write regular expressions that look nicer and are | |
| more readable by allowing you to visually separate logical sections of the | |
| pattern and add comments. Whitespace within the pattern is ignored, except | |
| when in a character class, or when preceded by an unescaped backslash, | |
| or within tokens like ``*?``, ``(?:`` or ``(?P<...>``. For example, ``(? :`` | |
| and ``* ?`` are not allowed. | |
| When a line contains a ``#`` that is not in a character class and is not | |
| preceded by an unescaped backslash, all characters from the leftmost such | |
| ``#`` through the end of the line are ignored. | |
| This means that the two following regular expression objects that match a | |
| decimal number are functionally equal:: | |
| a = re.compile(r"""\d + # the integral part | |
| \. # the decimal point | |
| \d * # some fractional digits""", re.X) | |
| b = re.compile(r"\d+\.\d*") | |
| Corresponds to the inline flag ``(?x)``. | |
| Functions | |
| ^^^^^^^^^ | |
| .. function:: compile(pattern, flags=0) | |
| Compile a regular expression pattern into a :ref:`regular expression object | |
| <re-objects>`, which can be used for matching using its | |
| :func:`~Pattern.prefixmatch`, | |
| :func:`~Pattern.search`, and other methods, described below. | |
| The expression's behaviour can be modified by specifying a *flags* value. | |
| Values can be any of the `flags`_ variables, combined using bitwise OR | |
| (the ``|`` operator). | |
| The sequence :: | |
| prog = re.compile(pattern) | |
| result = prog.search(string) | |
| is equivalent to :: | |
| result = re.search(pattern, string) | |
| but using :func:`re.compile` and saving the resulting regular expression | |
| object for reuse is more efficient when the expression will be used several | |
| times in a single program. | |
| .. note:: | |
| The compiled versions of the most recent patterns passed to | |
| :func:`re.compile` and the module-level matching functions are cached, so | |
| programs that use only a few regular expressions at a time needn't worry | |
| about compiling regular expressions. | |
| .. function:: search(pattern, string, flags=0) | |
| Scan through *string* looking for the first location where the regular expression | |
| *pattern* produces a match, and return a corresponding :class:`~re.Match`. Return | |
| ``None`` if no position in the string matches the pattern; note that this is | |
| different from finding a zero-length match at some point in the string. | |
| The expression's behaviour can be modified by specifying a *flags* value. | |
| Values can be any of the `flags`_ variables, combined using bitwise OR | |
| (the ``|`` operator). | |
| .. function:: prefixmatch(pattern, string, flags=0) | |
| If zero or more characters at the beginning of *string* match the regular | |
| expression *pattern*, return a corresponding :class:`~re.Match`. Return | |
| ``None`` if the string does not match the pattern; note that this is | |
| different from a zero-length match. | |
| .. note:: | |
| Even in :const:`MULTILINE` mode, this will only match at the | |
| beginning of the string and not at the beginning of each line. | |
| If you want to locate a match anywhere in *string*, use :func:`search` | |
| instead (see also :ref:`search-vs-match`). | |
| The expression's behaviour can be modified by specifying a *flags* value. | |
| Values can be any of the `flags`_ variables, combined using bitwise OR | |
| (the ``|`` operator). | |
| This function now has two names and has long been known as | |
| :func:`~re.match`. Use that name when you need to retain compatibility with | |
| older Python versions. | |
| .. versionadded:: 3.15 | |
| .. function:: match(pattern, string, flags=0) | |
| .. soft-deprecated:: 3.15 | |
| :func:`~re.match` has been :term:`soft deprecated` in favor of | |
| the alternate :func:`~re.prefixmatch` name of this API which is | |
| more explicitly descriptive. Use it to better | |
| express intent. The norm in other languages and regular expression | |
| implementations is to use the term *match* to refer to the behavior of | |
| what Python has always called :func:`~re.search`. | |
| See :ref:`prefixmatch-vs-match`. | |
| .. function:: fullmatch(pattern, string, flags=0) | |
| If the whole *string* matches the regular expression *pattern*, return a | |
| corresponding :class:`~re.Match`. Return ``None`` if the string does not match | |
| the pattern; note that this is different from a zero-length match. | |
| The expression's behaviour can be modified by specifying a *flags* value. | |
| Values can be any of the `flags`_ variables, combined using bitwise OR | |
| (the ``|`` operator). | |
| .. versionadded:: 3.4 | |
| .. function:: split(pattern, string, maxsplit=0, flags=0) | |
| Split *string* by the occurrences of *pattern*. If capturing parentheses are | |
| used in *pattern*, then the text of all groups in the pattern are also returned | |
| as part of the resulting list. If *maxsplit* is nonzero, at most *maxsplit* | |
| splits occur, and the remainder of the string is returned as the final element | |
| of the list. :: | |
| >>> re.split(r'\W+', 'Words, words, words.') | |
| ['Words', 'words', 'words', ''] | |
| >>> re.split(r'(\W+)', 'Words, words, words.') | |
| ['Words', ', ', 'words', ', ', 'words', '.', ''] | |
| >>> re.split(r'\W+', 'Words, words, words.', maxsplit=1) | |
| ['Words', 'words, words.'] | |
| >>> re.split('[a-f]+', '0a3B9', flags=re.IGNORECASE) | |
| ['0', '3', '9'] | |
| If there are capturing groups in the separator and it matches at the start of | |
| the string, the result will start with an empty string. The same holds for | |
| the end of the string:: | |
| >>> re.split(r'(\W+)', '...words, words...') | |
| ['', '...', 'words', ', ', 'words', '...', ''] | |
| That way, separator components are always found at the same relative | |
| indices within the result list. | |
| Adjacent empty matches are not possible, but an empty match can occur | |
| immediately after a non-empty match. | |
| .. code:: pycon | |
| >>> re.split(r'\b', 'Words, words, words.') | |
| ['', 'Words', ', ', 'words', ', ', 'words', '.'] | |
| >>> re.split(r'\W*', '...words...') | |
| ['', '', 'w', 'o', 'r', 'd', 's', '', ''] | |
| >>> re.split(r'(\W*)', '...words...') | |
| ['', '...', '', '', 'w', '', 'o', '', 'r', '', 'd', '', 's', '...', '', '', ''] | |
| The expression's behaviour can be modified by specifying a *flags* value. | |
| Values can be any of the `flags`_ variables, combined using bitwise OR | |
| (the ``|`` operator). | |
| .. versionchanged:: 3.1 | |
| Added the optional flags argument. | |
| .. versionchanged:: 3.7 | |
| Added support of splitting on a pattern that could match an empty string. | |
| .. deprecated:: 3.13 | |
| Passing *maxsplit* and *flags* as positional arguments is deprecated. | |
| In future Python versions they will be | |
| :ref:`keyword-only parameters <keyword-only_parameter>`. | |
| .. function:: findall(pattern, string, flags=0) | |
| Return all non-overlapping matches of *pattern* in *string*, as a list of | |
| strings or tuples. The *string* is scanned left-to-right, and matches | |
| are returned in the order found. Empty matches are included in the result. | |
| The result depends on the number of capturing groups in the pattern. | |
| If there are no groups, return a list of strings matching the whole | |
| pattern. If there is exactly one group, return a list of strings | |
| matching that group. If multiple groups are present, return a list | |
| of tuples of strings matching the groups. Non-capturing groups do not | |
| affect the form of the result. | |
| >>> re.findall(r'\bf[a-z]*', 'which foot or hand fell fastest') | |
| ['foot', 'fell', 'fastest'] | |
| >>> re.findall(r'(\w+)=(\d+)', 'set width=20 and height=10') | |
| [('width', '20'), ('height', '10')] | |
| The expression's behaviour can be modified by specifying a *flags* value. | |
| Values can be any of the `flags`_ variables, combined using bitwise OR | |
| (the ``|`` operator). | |
| .. versionchanged:: 3.7 | |
| Non-empty matches can now start just after a previous empty match. | |
| .. function:: finditer(pattern, string, flags=0) | |
| Return an :term:`iterator` yielding :class:`~re.Match` objects over | |
| all non-overlapping matches for the RE *pattern* in *string*. The *string* | |
| is scanned left-to-right, and matches are returned in the order found. Empty | |
| matches are included in the result. | |
| The expression's behaviour can be modified by specifying a *flags* value. | |
| Values can be any of the `flags`_ variables, combined using bitwise OR | |
| (the ``|`` operator). | |
| .. versionchanged:: 3.7 | |
| Non-empty matches can now start just after a previous empty match. | |
| .. function:: sub(pattern, repl, string, count=0, flags=0) | |
| Return the string obtained by replacing the leftmost non-overlapping occurrences | |
| of *pattern* in *string* by the replacement *repl*. If the pattern isn't found, | |
| *string* is returned unchanged. *repl* can be a string or a function; if it is | |
| a string, any backslash escapes in it are processed. That is, ``\n`` is | |
| converted to a single newline character, ``\r`` is converted to a carriage return, and | |
| so forth. Unknown escapes of ASCII letters are reserved for future use and | |
| treated as errors. Other unknown escapes such as ``\&`` are left alone. | |
| Backreferences, such | |
| as ``\6``, are replaced with the substring matched by group 6 in the pattern. | |
| For example:: | |
| >>> re.sub(r'def\s+([a-zA-Z_][a-zA-Z_0-9]*)\s*\(\s*\):', | |
| ... r'static PyObject*\npy_\1(void)\n{', | |
| ... 'def myfunc():') | |
| 'static PyObject*\npy_myfunc(void)\n{' | |
| If *repl* is a function, it is called for every non-overlapping occurrence of | |
| *pattern*. The function takes a single :class:`~re.Match` argument, and returns | |
| the replacement string. For example:: | |
| >>> def dashrepl(matchobj): | |
| ... if matchobj.group(0) == '-': return ' ' | |
| ... else: return '-' | |
| ... | |
| >>> re.sub('-{1,2}', dashrepl, 'pro----gram-files') | |
| 'pro--gram files' | |
| >>> re.sub(r'\sAND\s', ' & ', 'Baked Beans And Spam', flags=re.IGNORECASE) | |
| 'Baked Beans & Spam' | |
| The pattern may be a string or a :class:`~re.Pattern`. | |
| The optional argument *count* is the maximum number of pattern occurrences to be | |
| replaced; *count* must be a non-negative integer. If omitted or zero, all | |
| occurrences will be replaced. | |
| Adjacent empty matches are not possible, but an empty match can occur | |
| immediately after a non-empty match. | |
| As a result, ``sub('x*', '-', 'abxd')`` returns ``'-a-b--d-'`` | |
| instead of ``'-a-b-d-'``. | |
| .. index:: single: \g; in regular expressions | |
| In string-type *repl* arguments, in addition to the character escapes and | |
| backreferences described above, | |
| ``\g<name>`` will use the substring matched by the group named ``name``, as | |
| defined by the ``(?P<name>...)`` syntax. ``\g<number>`` uses the corresponding | |
| group number; ``\g<2>`` is therefore equivalent to ``\2``, but isn't ambiguous | |
| in a replacement such as ``\g<2>0``. ``\20`` would be interpreted as a | |
| reference to group 20, not a reference to group 2 followed by the literal | |
| character ``'0'``. The backreference ``\g<0>`` substitutes in the entire | |
| substring matched by the RE. | |
| The expression's behaviour can be modified by specifying a *flags* value. | |
| Values can be any of the `flags`_ variables, combined using bitwise OR | |
| (the ``|`` operator). | |
| .. versionchanged:: 3.1 | |
| Added the optional flags argument. | |
| .. versionchanged:: 3.5 | |
| Unmatched groups are replaced with an empty string. | |
| .. versionchanged:: 3.6 | |
| Unknown escapes in *pattern* consisting of ``'\'`` and an ASCII letter | |
| now are errors. | |
| .. versionchanged:: 3.7 | |
| Unknown escapes in *repl* consisting of ``'\'`` and an ASCII letter | |
| now are errors. | |
| An empty match can occur immediately after a non-empty match. | |
| .. versionchanged:: 3.12 | |
| Group *id* can only contain ASCII digits. | |
| In :class:`bytes` replacement strings, group *name* can only contain bytes | |
| in the ASCII range (``b'\x00'``-``b'\x7f'``). | |
| .. deprecated:: 3.13 | |
| Passing *count* and *flags* as positional arguments is deprecated. | |
| In future Python versions they will be | |
| :ref:`keyword-only parameters <keyword-only_parameter>`. | |
| .. function:: subn(pattern, repl, string, count=0, flags=0) | |
| Perform the same operation as :func:`sub`, but return a tuple ``(new_string, | |
| number_of_subs_made)``. | |
| The expression's behaviour can be modified by specifying a *flags* value. | |
| Values can be any of the `flags`_ variables, combined using bitwise OR | |
| (the ``|`` operator). | |
| .. function:: escape(pattern) | |
| Escape special characters in *pattern*. | |
| This is useful if you want to match an arbitrary literal string that may | |
| have regular expression metacharacters in it. For example:: | |
| >>> print(re.escape('https://www.python.org')) | |
| https://www\.python\.org | |
| >>> legal_chars = string.ascii_lowercase + string.digits + "!#$%&'*+-.^_`|~:" | |
| >>> print('[%s]+' % re.escape(legal_chars)) | |
| [abcdefghijklmnopqrstuvwxyz0123456789!\#\$%\&'\*\+\-\.\^_`\|\~:]+ | |
| >>> operators = ['+', '-', '*', '/', '**'] | |
| >>> print('|'.join(map(re.escape, sorted(operators, reverse=True)))) | |
| /|\-|\+|\*\*|\* | |
| This function must not be used for the replacement string in :func:`sub` | |
| and :func:`subn`, only backslashes should be escaped. For example:: | |
| >>> digits_re = r'\d+' | |
| >>> sample = '/usr/sbin/sendmail - 0 errors, 12 warnings' | |
| >>> print(re.sub(digits_re, digits_re.replace('\\', r'\\'), sample)) | |
| /usr/sbin/sendmail - \d+ errors, \d+ warnings | |
| .. versionchanged:: 3.3 | |
| The ``'_'`` character is no longer escaped. | |
| .. versionchanged:: 3.7 | |
| Only characters that can have special meaning in a regular expression | |
| are escaped. As a result, ``'!'``, ``'"'``, ``'%'``, ``"'"``, ``','``, | |
| ``'/'``, ``':'``, ``';'``, ``'<'``, ``'='``, ``'>'``, ``'@'``, and | |
| ``"`"`` are no longer escaped. | |
| .. function:: purge() | |
| Clear the regular expression cache. | |
| Exceptions | |
| ^^^^^^^^^^ | |
| .. exception:: PatternError(msg, pattern=None, pos=None) | |
| Exception raised when a string passed to one of the functions here is not a | |
| valid regular expression (for example, it might contain unmatched parentheses) | |
| or when some other error occurs during compilation or matching. It is never an | |
| error if a string contains no match for a pattern. The ``PatternError`` instance has | |
| the following additional attributes: | |
| .. attribute:: msg | |
| The unformatted error message. | |
| .. attribute:: pattern | |
| The regular expression pattern. | |
| .. attribute:: pos | |
| The index in *pattern* where compilation failed (may be ``None``). | |
| .. attribute:: lineno | |
| The line corresponding to *pos* (may be ``None``). | |
| .. attribute:: colno | |
| The column corresponding to *pos* (may be ``None``). | |
| .. versionchanged:: 3.5 | |
| Added additional attributes. | |
| .. versionchanged:: 3.13 | |
| ``PatternError`` was originally named ``error``; the latter is kept as an alias for | |
| backward compatibility. | |
| .. _re-objects: | |
| Regular expression objects | |
| -------------------------- | |
| .. class:: Pattern | |
| Compiled regular expression object returned by :func:`re.compile`. | |
| Patterns are :ref:`generic <generics>` over the type of string they handle | |
| (:class:`str` or :class:`bytes`). | |
| .. versionchanged:: 3.9 | |
| :py:class:`re.Pattern` supports ``[]`` to indicate a Unicode (str) or bytes pattern. | |
| See :ref:`types-genericalias`. | |
| .. method:: Pattern.search(string[, pos[, endpos]]) | |
| Scan through *string* looking for the first location where this regular | |
| expression produces a match, and return a corresponding :class:`~re.Match`. | |
| Return ``None`` if no position in the string matches the pattern; note that | |
| this is different from finding a zero-length match at some point in the string. | |
| The optional second parameter *pos* gives an index in the string where the | |
| search is to start; it defaults to ``0``. This is not completely equivalent to | |
| slicing the string; the ``'^'`` pattern character matches at the real beginning | |
| of the string and at positions just after a newline, but not necessarily at the | |
| index where the search is to start. | |
| The optional parameter *endpos* limits how far the string will be searched; it | |
| will be as if the string is *endpos* characters long, so only the characters | |
| from *pos* to ``endpos - 1`` will be searched for a match. If *endpos* is less | |
| than *pos*, no match will be found; otherwise, if *rx* is a compiled regular | |
| expression object, ``rx.search(string, 0, 50)`` is equivalent to | |
| ``rx.search(string[:50], 0)``. :: | |
| >>> pattern = re.compile("d") | |
| >>> pattern.search("dog") # Match at index 0 | |
| <re.Match object; span=(0, 1), match='d'> | |
| >>> pattern.search("dog", 1) # No match; search doesn't include the "d" | |
| .. method:: Pattern.prefixmatch(string[, pos[, endpos]]) | |
| If zero or more characters at the *beginning* of *string* match this regular | |
| expression, return a corresponding :class:`~re.Match`. Return ``None`` if the | |
| string does not match the pattern; note that this is different from a | |
| zero-length match. | |
| Note that even in :const:`MULTILINE` mode, this will only match at the | |
| beginning of the string and not at the beginning of each line. | |
| The optional *pos* and *endpos* parameters have the same meaning as for the | |
| :meth:`~Pattern.search` method. :: | |
| >>> pattern = re.compile("o") | |
| >>> pattern.prefixmatch("dog") # No match as "o" is not at the start of "dog". | |
| >>> pattern.prefixmatch("dog", 1) # Match as "o" is the 2nd character of "dog". | |
| <re.Match object; span=(1, 2), match='o'> | |
| If you want to locate a match anywhere in *string*, use | |
| :meth:`~Pattern.search` instead (see also :ref:`search-vs-match`). | |
| This method now has two names and has long been known as | |
| :meth:`~Pattern.match`. Use that name when you need to retain compatibility | |
| with older Python versions. | |
| .. versionadded:: 3.15 | |
| .. method:: Pattern.match(string[, pos[, endpos]]) | |
| .. soft-deprecated:: 3.15 | |
| :meth:`~Pattern.match` has been :term:`soft deprecated` in favor of | |
| the alternate :meth:`~Pattern.prefixmatch` name of this API which is | |
| more explicitly descriptive. Use it to | |
| better express intent. The norm in other languages and regular expression | |
| implementations is to use the term *match* to refer to the behavior of | |
| what Python has always called :meth:`~Pattern.search`. | |
| See :ref:`prefixmatch-vs-match`. | |
| .. method:: Pattern.fullmatch(string[, pos[, endpos]]) | |
| If the whole *string* matches this regular expression, return a corresponding | |
| :class:`~re.Match`. Return ``None`` if the string does not match the pattern; | |
| note that this is different from a zero-length match. | |
| The optional *pos* and *endpos* parameters have the same meaning as for the | |
| :meth:`~Pattern.search` method. :: | |
| >>> pattern = re.compile("o[gh]") | |
| >>> pattern.fullmatch("dog") # No match as "o" is not at the start of "dog". | |
| >>> pattern.fullmatch("ogre") # No match as not the full string matches. | |
| >>> pattern.fullmatch("doggie", 1, 3) # Matches within given limits. | |
| <re.Match object; span=(1, 3), match='og'> | |
| .. versionadded:: 3.4 | |
| .. method:: Pattern.split(string, maxsplit=0) | |
| Identical to the :func:`split` function, using the compiled pattern. | |
| .. method:: Pattern.findall(string[, pos[, endpos]]) | |
| Similar to the :func:`findall` function, using the compiled pattern, but | |
| also accepts optional *pos* and *endpos* parameters that limit the search | |
| region like for :meth:`search`. | |
| .. method:: Pattern.finditer(string[, pos[, endpos]]) | |
| Similar to the :func:`finditer` function, using the compiled pattern, but | |
| also accepts optional *pos* and *endpos* parameters that limit the search | |
| region like for :meth:`search`. | |
| .. method:: Pattern.sub(repl, string, count=0) | |
| Identical to the :func:`sub` function, using the compiled pattern. | |
| .. method:: Pattern.subn(repl, string, count=0) | |
| Identical to the :func:`subn` function, using the compiled pattern. | |
| .. attribute:: Pattern.flags | |
| The regex matching flags. This is a combination of the flags given to | |
| :func:`.compile`, any ``(?...)`` inline flags in the pattern, and implicit | |
| flags such as :py:const:`~re.UNICODE` if the pattern is a Unicode string. | |
| .. attribute:: Pattern.groups | |
| The number of capturing groups in the pattern. | |
| .. attribute:: Pattern.groupindex | |
| A dictionary mapping any symbolic group names defined by ``(?P<id>)`` to group | |
| numbers. The dictionary is empty if no symbolic groups were used in the | |
| pattern. | |
| .. attribute:: Pattern.pattern | |
| The pattern string from which the pattern object was compiled. | |
| .. versionchanged:: 3.7 | |
| Added support of :func:`copy.copy` and :func:`copy.deepcopy`. Compiled | |
| regular expression objects are considered atomic. | |
| .. _match-objects: | |
| Match objects | |
| ------------- | |
| Match objects always have a boolean value of ``True``. | |
| Since :meth:`~Pattern.match` and :meth:`~Pattern.search` return ``None`` | |
| when there is no match, you can test whether there was a match with a simple | |
| ``if`` statement:: | |
| if match := re.search(pattern, string): | |
| process(match) | |
| .. class:: Match | |
| Match object returned by successful ``match``\ es and ``search``\ es. | |
| Matches are :ref:`generic <generics>` over the type of string which was | |
| matched (:class:`str` or :class:`bytes`). | |
| .. versionchanged:: 3.9 | |
| :py:class:`re.Match` supports ``[]`` to indicate a Unicode (str) or bytes match. | |
| See :ref:`types-genericalias`. | |
| .. method:: Match.expand(template) | |
| Return the string obtained by doing backslash substitution on the template | |
| string *template*, as done by the :meth:`~Pattern.sub` method. | |
| Escapes such as ``\n`` are converted to the appropriate characters, | |
| and numeric backreferences (``\1``, ``\2``) and named backreferences | |
| (``\g<1>``, ``\g<name>``) are replaced by the contents of the | |
| corresponding group. The backreference ``\g<0>`` will be | |
| replaced by the entire match. | |
| .. versionchanged:: 3.5 | |
| Unmatched groups are replaced with an empty string. | |
| .. method:: Match.group([group1, ...]) | |
| Returns one or more subgroups of the match. If there is a single argument, the | |
| result is a single string; if there are multiple arguments, the result is a | |
| tuple with one item per argument. Without arguments, *group1* defaults to zero | |
| (the whole match is returned). If a *groupN* argument is zero, the corresponding | |
| return value is the entire matching string; if it is a positive integer, it is | |
| the string matching the corresponding parenthesized group. If a group number is | |
| negative or larger than the number of groups defined in the pattern, an | |
| :exc:`IndexError` exception is raised. If a group is contained in a | |
| part of the pattern that did not match, the corresponding result is ``None``. | |
| If a group is contained in a part of the pattern that matched multiple times, | |
| the last match is returned. :: | |
| >>> m = re.search(r"\A(\w+) (\w+)", "Norwegian Blue, pining for the fjords") | |
| >>> m.group(0) # The entire match | |
| 'Norwegian Blue' | |
| >>> m.group(1) # The first parenthesized subgroup. | |
| 'Norwegian' | |
| >>> m.group(2) # The second parenthesized subgroup. | |
| 'Blue' | |
| >>> m.group(1, 2) # Multiple arguments give us a tuple. | |
| ('Norwegian', 'Blue') | |
| If the regular expression uses the ``(?P<name>...)`` syntax, the *groupN* | |
| arguments may also be strings identifying groups by their group name. If a | |
| string argument is not used as a group name in the pattern, an :exc:`IndexError` | |
| exception is raised. | |
| A moderately complicated example:: | |
| >>> m = re.search(r"(?P<adjective>\w+) (?P<animal>\w+)", "killer rabbit") | |
| >>> m.group('adjective') | |
| 'killer' | |
| >>> m.group('animal') | |
| 'rabbit' | |
| Named groups can also be referred to by their index:: | |
| >>> m.group(1) | |
| 'killer' | |
| >>> m.group(2) | |
| 'rabbit' | |
| If a group matches multiple times, only the last match is accessible:: | |
| >>> m = re.search(r"(..)+", "a1b2c3") # Matches 3 times. | |
| >>> m.group(1) # Returns only the last match. | |
| 'c3' | |
| .. method:: Match.__getitem__(g) | |
| This is identical to ``m.group(g)``. This allows easier access to | |
| an individual group from a match:: | |
| >>> m = re.search(r"(\w+) (\w+)", "Norwegian Blue, pining for the fjords") | |
| >>> m[0] # The entire match | |
| 'Norwegian Blue' | |
| >>> m[1] # The first parenthesized subgroup. | |
| 'Norwegian' | |
| >>> m[2] # The second parenthesized subgroup. | |
| 'Blue' | |
| Named groups are supported as well:: | |
| >>> m = re.search(r"(?P<adjective>\w+) (?P<animal>\w+)", "killer rabbit") | |
| >>> m['adjective'] | |
| 'killer' | |
| >>> m['animal'] | |
| 'rabbit' | |
| .. versionadded:: 3.6 | |
| .. method:: Match.groups(default=None) | |
| Return a tuple containing all the subgroups of the match, from 1 up to however | |
| many groups are in the pattern. The *default* argument is used for groups that | |
| did not participate in the match; it defaults to ``None``. | |
| For example:: | |
| >>> m = re.search(r"(\d+)\.(\d+)", "24.1632") | |
| >>> m.groups() | |
| ('24', '1632') | |
| If we make the decimal place and everything after it optional, not all groups | |
| might participate in the match. These groups will default to ``None`` unless | |
| the *default* argument is given:: | |
| >>> m = re.search(r"(\d+)\.?(\d+)?", "24") | |
| >>> m.groups() # Second group defaults to None. | |
| ('24', None) | |
| >>> m.groups('0') # Now, the second group defaults to '0'. | |
| ('24', '0') | |
| .. method:: Match.groupdict(default=None) | |
| Return a dictionary containing all the *named* subgroups of the match, keyed by | |
| the subgroup name. The *default* argument is used for groups that did not | |
| participate in the match; it defaults to ``None``. For example:: | |
| >>> m = re.search(r"(?P<adjective>\w+) (?P<animal>\w+)", "killer rabbit") | |
| >>> m.groupdict() | |
| {'adjective': 'killer', 'animal': 'rabbit'} | |
| .. method:: Match.start([group]) | |
| Match.end([group]) | |
| Return the indices of the start and end of the substring matched by *group*; | |
| *group* defaults to zero (meaning the whole matched substring). Return ``-1`` if | |
| *group* exists but did not contribute to the match. For a match object *m*, and | |
| a group *g* that did contribute to the match, the substring matched by group *g* | |
| (equivalent to ``m.group(g)``) is :: | |
| m.string[m.start(g):m.end(g)] | |
| Note that ``m.start(group)`` will equal ``m.end(group)`` if *group* matched a | |
| null string. For example, after ``m = re.search('b(c?)', 'cba')``, | |
| ``m.start(0)`` is 1, ``m.end(0)`` is 2, ``m.start(1)`` and ``m.end(1)`` are both | |
| 2, and ``m.start(2)`` raises an :exc:`IndexError` exception. | |
| An example that will remove *remove_this* from email addresses:: | |
| >>> email = "tony@tiremove_thisger.net" | |
| >>> m = re.search("remove_this", email) | |
| >>> email[:m.start()] + email[m.end():] | |
| 'tony@tiger.net' | |
| .. method:: Match.span([group]) | |
| For a match *m*, return the 2-tuple ``(m.start(group), m.end(group))``. Note | |
| that if *group* did not contribute to the match, this is ``(-1, -1)``. | |
| *group* defaults to zero, the entire match. | |
| .. attribute:: Match.pos | |
| The value of *pos* which was passed to the :meth:`~Pattern.search` or | |
| :meth:`~Pattern.match` method of a :ref:`regex object <re-objects>`. This is | |
| the index into the string at which the RE engine started looking for a match. | |
| .. attribute:: Match.endpos | |
| The value of *endpos* which was passed to the :meth:`~Pattern.search` or | |
| :meth:`~Pattern.match` method of a :ref:`regex object <re-objects>`. This is | |
| the index into the string beyond which the RE engine will not go. | |
| .. attribute:: Match.lastindex | |
| The integer index of the last matched capturing group, or ``None`` if no group | |
| was matched at all. For example, the expressions ``(a)b``, ``((a)(b))``, and | |
| ``((ab))`` will have ``lastindex == 1`` if applied to the string ``'ab'``, while | |
| the expression ``(a)(b)`` will have ``lastindex == 2``, if applied to the same | |
| string. | |
| .. attribute:: Match.lastgroup | |
| The name of the last matched capturing group, or ``None`` if the group didn't | |
| have a name, or if no group was matched at all. | |
| .. attribute:: Match.re | |
| The :ref:`regular expression object <re-objects>` whose :meth:`~Pattern.match` or | |
| :meth:`~Pattern.search` method produced this match instance. | |
| .. attribute:: Match.string | |
| The string passed to :meth:`~Pattern.match` or :meth:`~Pattern.search`. | |
| .. versionchanged:: 3.7 | |
| Added support of :func:`copy.copy` and :func:`copy.deepcopy`. Match objects | |
| are considered atomic. | |
| .. _re-examples: | |
| Regular expression examples | |
| --------------------------- | |
| Checking for a pair | |
| ^^^^^^^^^^^^^^^^^^^ | |
| In this example, we'll use the following helper function to display match | |
| objects a little more gracefully:: | |
| def displaymatch(match): | |
| if match is None: | |
| return None | |
| return '<Match: %r, groups=%r>' % (match.group(), match.groups()) | |
| Suppose you are writing a poker program where a player's hand is represented as | |
| a 5-character string with each character representing a card, "a" for ace, "k" | |
| for king, "q" for queen, "j" for jack, "t" for 10, and "2" through "9" | |
| representing the card with that value. | |
| To see if a given string is a valid hand, one could do the following:: | |
| >>> valid_hand_re = re.compile(r"^[a2-9tjqk]{5}$") | |
| >>> displaymatch(valid_hand_re.search("akt5q")) # Valid. | |
| "<Match: 'akt5q', groups=()>" | |
| >>> displaymatch(valid_hand_re.search("akt5e")) # Invalid. | |
| >>> displaymatch(valid_hand_re.search("akt")) # Invalid. | |
| >>> displaymatch(valid_hand_re.search("727ak")) # Valid. | |
| "<Match: '727ak', groups=()>" | |
| That last hand, ``"727ak"``, contained a pair, or two of the same valued cards. | |
| To match this with a regular expression, one could use backreferences as such:: | |
| >>> pair_re = re.compile(r".*(.).*\1") | |
| >>> displaymatch(pair_re.prefixmatch("717ak")) # Pair of 7s. | |
| "<Match: '717', groups=('7',)>" | |
| >>> displaymatch(pair_re.prefixmatch("718ak")) # No pairs. | |
| >>> displaymatch(pair_re.prefixmatch("354aa")) # Pair of aces. | |
| "<Match: '354aa', groups=('a',)>" | |
| To find out what card the pair consists of, one could use the | |
| :meth:`~Match.group` method of the match object in the following manner:: | |
| >>> pair_re = re.compile(r".*(.).*\1") | |
| >>> pair_re.prefixmatch("717ak").group(1) | |
| '7' | |
| # Error because prefixmatch() returns None, which doesn't have a group() method: | |
| >>> pair_re.prefixmatch("718ak").group(1) | |
| Traceback (most recent call last): | |
| File "<pyshell#23>", line 1, in <module> | |
| pair_re.prefixmatch("718ak").group(1) | |
| AttributeError: 'NoneType' object has no attribute 'group' | |
| >>> pair_re.prefixmatch("354aa").group(1) | |
| 'a' | |
| Simulating scanf() | |
| ^^^^^^^^^^^^^^^^^^ | |
| .. index:: single: scanf (C function) | |
| Python does not currently have an equivalent to :c:func:`!scanf`. Regular | |
| expressions are generally more powerful, though also more verbose, than | |
| :c:func:`!scanf` format strings. The table below offers some more-or-less | |
| equivalent mappings between :c:func:`!scanf` format tokens and regular | |
| expressions. | |
| +--------------------------------+---------------------------------------------+ | |
| | :c:func:`!scanf` Token | Regular Expression | | |
| +================================+=============================================+ | |
| | ``%c`` | ``.`` | | |
| +--------------------------------+---------------------------------------------+ | |
| | ``%5c`` | ``.{5}`` | | |
| +--------------------------------+---------------------------------------------+ | |
| | ``%d`` | ``[-+]?\d+`` | | |
| +--------------------------------+---------------------------------------------+ | |
| | ``%e``, ``%E``, ``%f``, ``%g`` | ``[-+]?(\d+(\.\d*)?|\.\d+)([eE][-+]?\d+)?`` | | |
| +--------------------------------+---------------------------------------------+ | |
| | ``%i`` | ``[-+]?(0[xX][\dA-Fa-f]+|0[0-7]*|\d+)`` | | |
| +--------------------------------+---------------------------------------------+ | |
| | ``%o`` | ``[-+]?[0-7]+`` | | |
| +--------------------------------+---------------------------------------------+ | |
| | ``%s`` | ``\S+`` | | |
| +--------------------------------+---------------------------------------------+ | |
| | ``%u`` | ``\d+`` | | |
| +--------------------------------+---------------------------------------------+ | |
| | ``%x``, ``%X`` | ``[-+]?(0[xX])?[\dA-Fa-f]+`` | | |
| +--------------------------------+---------------------------------------------+ | |
| To extract the filename and numbers from a string like: | |
| .. code-block:: text | |
| /usr/sbin/sendmail - 0 errors, 4 warnings | |
| you would use a :c:func:`!scanf` format like: | |
| .. code-block:: text | |
| %s - %d errors, %d warnings | |
| The equivalent regular expression would be: | |
| .. code-block:: text | |
| (\S+) - (\d+) errors, (\d+) warnings | |
| .. _search-vs-match: | |
| search() vs. prefixmatch() | |
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| Python offers different primitive operations based on regular expressions: | |
| + :func:`re.prefixmatch` checks for a match only at the beginning of the string | |
| + :func:`re.search` checks for a match anywhere in the string | |
| (this is what Perl does by default) | |
| + :func:`re.fullmatch` checks for entire string to be a match | |
| For example:: | |
| >>> re.prefixmatch("c", "abcdef") # No match | |
| >>> re.search("c", "abcdef") # Match | |
| <re.Match object; span=(2, 3), match='c'> | |
| >>> re.fullmatch("p.*n", "python") # Match | |
| <re.Match object; span=(0, 6), match='python'> | |
| >>> re.fullmatch("r.*n", "python") # No match | |
| Regular expressions beginning with ``'^'`` can be used with :func:`search` to | |
| restrict the match at the beginning of the string:: | |
| >>> re.prefixmatch("c", "abcdef") # No match | |
| >>> re.search("^c", "abcdef") # No match | |
| >>> re.search("^a", "abcdef") # Match | |
| <re.Match object; span=(0, 1), match='a'> | |
| Note however that in :const:`MULTILINE` mode :func:`prefixmatch` only matches at the | |
| beginning of the string, whereas using :func:`search` with a regular expression | |
| beginning with ``'^'`` will match at the beginning of each line. :: | |
| >>> re.prefixmatch("X", "A\nB\nX", re.MULTILINE) # No match | |
| >>> re.search("^X", "A\nB\nX", re.MULTILINE) # Match | |
| <re.Match object; span=(4, 5), match='X'> | |
| .. _prefixmatch-vs-match: | |
| prefixmatch() vs. match() | |
| ^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| Why is the :func:`~re.match` function and method discouraged in | |
| favor of the longer :func:`~re.prefixmatch` spelling? | |
| Many other languages have gained regex support libraries since regular | |
| expressions were added to Python. However in the most popular of those, they | |
| use the term *match* in their APIs to mean the unanchored behavior provided in | |
| Python by :func:`~re.search`. Thus use of the plain term *match* can be | |
| unclear to those used to other languages when reading or writing code and | |
| not familiar with the Python API's divergence from what otherwise become the | |
| industry norm. | |
| Quoting from the Zen Of Python (``python3 -m this``): *"Explicit is better than | |
| implicit"*. Anyone reading the name :func:`!prefixmatch` is likely to | |
| understand the intended semantics. When reading :func:`!match` there remains | |
| a seed of doubt about the intended behavior to anyone not already familiar with | |
| this old Python gotcha. | |
| We **do not** plan to remove the older :func:`!match` name, | |
| as it has been used in code for over 30 years. | |
| It has been :term:`soft deprecated`: | |
| code supporting older versions of Python should continue to use :func:`!match`, | |
| while new code should prefer :func:`!prefixmatch`. | |
| .. versionadded:: 3.15 | |
| :func:`!prefixmatch` | |
| .. soft-deprecated:: 3.15 | |
| :func:`!match` | |
| Making a phonebook | |
| ^^^^^^^^^^^^^^^^^^ | |
| :func:`split` splits a string into a list delimited by the passed pattern. The | |
| method is invaluable for converting textual data into data structures that can be | |
| easily read and modified by Python as demonstrated in the following example that | |
| creates a phonebook. | |
| First, here is the input. Normally it may come from a file, here we are using | |
| triple-quoted string syntax | |
| .. doctest:: | |
| >>> text = """Ross McFluff: 834.345.1254 155 Elm Street | |
| ... | |
| ... Ronald Heathmore: 892.345.3428 436 Finley Avenue | |
| ... Frank Burger: 925.541.7625 662 South Dogwood Way | |
| ... | |
| ... | |
| ... Heather Albrecht: 548.326.4584 919 Park Place""" | |
| The entries are separated by one or more newlines. Now we convert the string | |
| into a list with each nonempty line having its own entry: | |
| .. doctest:: | |
| :options: +NORMALIZE_WHITESPACE | |
| >>> entries = re.split("\n+", text) | |
| >>> entries | |
| ['Ross McFluff: 834.345.1254 155 Elm Street', | |
| 'Ronald Heathmore: 892.345.3428 436 Finley Avenue', | |
| 'Frank Burger: 925.541.7625 662 South Dogwood Way', | |
| 'Heather Albrecht: 548.326.4584 919 Park Place'] | |
| Finally, split each entry into a list with first name, last name, telephone | |
| number, and address. We use the ``maxsplit`` parameter of :func:`split` | |
| because the address has spaces, our splitting pattern, in it: | |
| .. doctest:: | |
| :options: +NORMALIZE_WHITESPACE | |
| >>> [re.split(":? ", entry, maxsplit=3) for entry in entries] | |
| [['Ross', 'McFluff', '834.345.1254', '155 Elm Street'], | |
| ['Ronald', 'Heathmore', '892.345.3428', '436 Finley Avenue'], | |
| ['Frank', 'Burger', '925.541.7625', '662 South Dogwood Way'], | |
| ['Heather', 'Albrecht', '548.326.4584', '919 Park Place']] | |
| The ``:?`` pattern matches the colon after the last name, so that it does not | |
| occur in the result list. With a ``maxsplit`` of ``4``, we could separate the | |
| house number from the street name: | |
| .. doctest:: | |
| :options: +NORMALIZE_WHITESPACE | |
| >>> [re.split(":? ", entry, maxsplit=4) for entry in entries] | |
| [['Ross', 'McFluff', '834.345.1254', '155', 'Elm Street'], | |
| ['Ronald', 'Heathmore', '892.345.3428', '436', 'Finley Avenue'], | |
| ['Frank', 'Burger', '925.541.7625', '662', 'South Dogwood Way'], | |
| ['Heather', 'Albrecht', '548.326.4584', '919', 'Park Place']] | |
| Text munging | |
| ^^^^^^^^^^^^ | |
| :func:`sub` replaces every occurrence of a pattern with a string or the | |
| result of a function. This example demonstrates using :func:`sub` with | |
| a function to "munge" text, or randomize the order of all the characters | |
| in each word of a sentence except for the first and last characters:: | |
| >>> def repl(m): | |
| ... inner_word = list(m.group(2)) | |
| ... random.shuffle(inner_word) | |
| ... return m.group(1) + "".join(inner_word) + m.group(3) | |
| ... | |
| >>> text = "Professor Abdolmalek, please report your absences promptly." | |
| >>> re.sub(r"(\w)(\w+)(\w)", repl, text) | |
| 'Poefsrosr Aealmlobdk, pslaee reorpt your abnseces plmrptoy.' | |
| >>> re.sub(r"(\w)(\w+)(\w)", repl, text) | |
| 'Pofsroser Aodlambelk, plasee reoprt yuor asnebces potlmrpy.' | |
| Finding all adverbs | |
| ^^^^^^^^^^^^^^^^^^^ | |
| :func:`findall` matches *all* occurrences of a pattern, not just the first | |
| one as :func:`search` does. For example, if a writer wanted to | |
| find all of the adverbs in some text, they might use :func:`findall` in | |
| the following manner:: | |
| >>> text = "He was carefully disguised but captured quickly by police." | |
| >>> re.findall(r"\w+ly\b", text) | |
| ['carefully', 'quickly'] | |
| Finding all adverbs and their positions | |
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| If one wants more information about all matches of a pattern than the matched | |
| text, :func:`finditer` is useful as it provides :class:`~re.Match` objects | |
| instead of strings. Continuing with the previous example, if a writer wanted | |
| to find all of the adverbs *and their positions* in some text, they would use | |
| :func:`finditer` in the following manner:: | |
| >>> text = "He was carefully disguised but captured quickly by police." | |
| >>> for m in re.finditer(r"\w+ly\b", text): | |
| ... print('%02d-%02d: %s' % (m.start(), m.end(), m.group(0))) | |
| 07-16: carefully | |
| 40-47: quickly | |
| Raw string notation | |
| ^^^^^^^^^^^^^^^^^^^ | |
| Raw string notation (``r"text"``) keeps regular expressions sane. Without it, | |
| every backslash (``'\'``) in a regular expression would have to be prefixed with | |
| another one to escape it. For example, the two following lines of code are | |
| functionally identical:: | |
| >>> re.search(r"\W(.)\1\W", " ff ") | |
| <re.Match object; span=(0, 4), match=' ff '> | |
| >>> re.search("\\W(.)\\1\\W", " ff ") | |
| <re.Match object; span=(0, 4), match=' ff '> | |
| When one wants to match a literal backslash, it must be escaped in the regular | |
| expression. With raw string notation, this means ``r"\\"``. Without raw string | |
| notation, one must use ``"\\\\"``, making the following lines of code | |
| functionally identical:: | |
| >>> re.search(r"\\", r"\\") | |
| <re.Match object; span=(0, 1), match='\\'> | |
| >>> re.search("\\\\", r"\\") | |
| <re.Match object; span=(0, 1), match='\\'> | |
| Writing a tokenizer | |
| ^^^^^^^^^^^^^^^^^^^ | |
| A `tokenizer or scanner <https://en.wikipedia.org/wiki/Lexical_analysis>`_ | |
| analyzes a string to categorize groups of characters. This is a useful first | |
| step in writing a compiler or interpreter. | |
| The text categories are specified with regular expressions. The technique is | |
| to combine those into a single master regular expression and to loop over | |
| successive matches:: | |
| from typing import NamedTuple | |
| import re | |
| class Token(NamedTuple): | |
| type: str | |
| value: int | float | str | |
| line: int | |
| column: int | |
| def tokenize(code): | |
| keywords = {'IF', 'THEN', 'ENDIF', 'FOR', 'NEXT', 'GOSUB', 'RETURN'} | |
| token_specification = [ | |
| ('NUMBER', r'\d+(\.\d*)?'), # Integer or decimal number | |
| ('ASSIGN', r':='), # Assignment operator | |
| ('END', r';'), # Statement terminator | |
| ('ID', r'[A-Za-z]+'), # Identifiers | |
| ('OP', r'[+\-*/]'), # Arithmetic operators | |
| ('NEWLINE', r'\n'), # Line endings | |
| ('SKIP', r'[ \t]+'), # Skip over spaces and tabs | |
| ('MISMATCH', r'.'), # Any other character | |
| ] | |
| tok_regex = '|'.join('(?P<%s>%s)' % pair for pair in token_specification) | |
| line_num = 1 | |
| line_start = 0 | |
| for mo in re.finditer(tok_regex, code): | |
| kind = mo.lastgroup | |
| value = mo.group() | |
| column = mo.start() - line_start | |
| if kind == 'NUMBER': | |
| value = float(value) if '.' in value else int(value) | |
| elif kind == 'ID' and value in keywords: | |
| kind = value | |
| elif kind == 'NEWLINE': | |
| line_start = mo.end() | |
| line_num += 1 | |
| continue | |
| elif kind == 'SKIP': | |
| continue | |
| elif kind == 'MISMATCH': | |
| raise RuntimeError(f'{value!r} unexpected on line {line_num}') | |
| yield Token(kind, value, line_num, column) | |
| statements = ''' | |
| IF quantity THEN | |
| total := total + price * quantity; | |
| tax := price * 0.05; | |
| ENDIF; | |
| ''' | |
| for token in tokenize(statements): | |
| print(token) | |
| The tokenizer produces the following output:: | |
| Token(type='IF', value='IF', line=2, column=4) | |
| Token(type='ID', value='quantity', line=2, column=7) | |
| Token(type='THEN', value='THEN', line=2, column=16) | |
| Token(type='ID', value='total', line=3, column=8) | |
| Token(type='ASSIGN', value=':=', line=3, column=14) | |
| Token(type='ID', value='total', line=3, column=17) | |
| Token(type='OP', value='+', line=3, column=23) | |
| Token(type='ID', value='price', line=3, column=25) | |
| Token(type='OP', value='*', line=3, column=31) | |
| Token(type='ID', value='quantity', line=3, column=33) | |
| Token(type='END', value=';', line=3, column=41) | |
| Token(type='ID', value='tax', line=4, column=8) | |
| Token(type='ASSIGN', value=':=', line=4, column=12) | |
| Token(type='ID', value='price', line=4, column=15) | |
| Token(type='OP', value='*', line=4, column=21) | |
| Token(type='NUMBER', value=0.05, line=4, column=23) | |
| Token(type='END', value=';', line=4, column=27) | |
| Token(type='ENDIF', value='ENDIF', line=5, column=4) | |
| Token(type='END', value=';', line=5, column=9) | |
| .. [Frie09] Friedl, Jeffrey. Mastering Regular Expressions. 3rd ed., O'Reilly | |
| Media, 2009. The third edition of the book no longer covers Python at all, | |
| but the first edition covered writing good regular expression patterns in | |
| great detail. |