blob: 019652e11ca5718d14952dcb5712920a5c37746f [file] [log] [blame]
Georg Brandl116aa622007-08-15 14:28:22 +00001
2:mod:`re` --- Regular expression operations
3===========================================
4
5.. module:: re
6 :synopsis: Regular expression operations.
7.. moduleauthor:: Fredrik Lundh <fredrik@pythonware.com>
8.. sectionauthor:: Andrew M. Kuchling <amk@amk.ca>
9
10
11
12
13This module provides regular expression matching operations similar to
14those found in Perl. Both patterns and strings to be searched can be
15Unicode strings as well as 8-bit strings. The :mod:`re` module is
16always available.
17
18Regular expressions use the backslash character (``'\'``) to indicate
19special forms or to allow special characters to be used without invoking
20their special meaning. This collides with Python's usage of the same
21character for the same purpose in string literals; for example, to match
22a literal backslash, one might have to write ``'\\\\'`` as the pattern
23string, because the regular expression must be ``\\``, and each
24backslash must be expressed as ``\\`` inside a regular Python string
25literal.
26
27The solution is to use Python's raw string notation for regular expression
28patterns; backslashes are not handled in any special way in a string literal
29prefixed with ``'r'``. So ``r"\n"`` is a two-character string containing
30``'\'`` and ``'n'``, while ``"\n"`` is a one-character string containing a
Georg Brandl9afde1c2007-11-01 20:32:30 +000031newline. Usually patterns will be expressed in Python code using this raw
32string notation.
Georg Brandl116aa622007-08-15 14:28:22 +000033
Christian Heimesb9eccbf2007-12-05 20:18:38 +000034It is important to note that most regular expression operations are available as
35module-level functions and :class:`RegexObject` methods. The functions are
36shortcuts that don't require you to compile a regex object first, but miss some
37fine-tuning parameters.
38
Georg Brandl116aa622007-08-15 14:28:22 +000039.. seealso::
40
41 Mastering Regular Expressions
42 Book on regular expressions by Jeffrey Friedl, published by O'Reilly. The
Georg Brandl9afde1c2007-11-01 20:32:30 +000043 second edition of the book no longer covers Python at all, but the first
Georg Brandl116aa622007-08-15 14:28:22 +000044 edition covered writing good regular expression patterns in great detail.
45
46
47.. _re-syntax:
48
49Regular Expression Syntax
50-------------------------
51
52A regular expression (or RE) specifies a set of strings that matches it; the
53functions in this module let you check if a particular string matches a given
54regular expression (or if a given regular expression matches a particular
55string, which comes down to the same thing).
56
57Regular expressions can be concatenated to form new regular expressions; if *A*
58and *B* are both regular expressions, then *AB* is also a regular expression.
59In general, if a string *p* matches *A* and another string *q* matches *B*, the
60string *pq* will match AB. This holds unless *A* or *B* contain low precedence
61operations; boundary conditions between *A* and *B*; or have numbered group
62references. Thus, complex expressions can easily be constructed from simpler
63primitive expressions like the ones described here. For details of the theory
64and implementation of regular expressions, consult the Friedl book referenced
65above, or almost any textbook about compiler construction.
66
67A brief explanation of the format of regular expressions follows. For further
Christian Heimes2202f872008-02-06 14:31:34 +000068information and a gentler presentation, consult the :ref:`regex-howto`.
Georg Brandl116aa622007-08-15 14:28:22 +000069
70Regular expressions can contain both special and ordinary characters. Most
71ordinary characters, like ``'A'``, ``'a'``, or ``'0'``, are the simplest regular
72expressions; they simply match themselves. You can concatenate ordinary
73characters, so ``last`` matches the string ``'last'``. (In the rest of this
74section, we'll write RE's in ``this special style``, usually without quotes, and
75strings to be matched ``'in single quotes'``.)
76
77Some characters, like ``'|'`` or ``'('``, are special. Special
78characters either stand for classes of ordinary characters, or affect
79how the regular expressions around them are interpreted. Regular
80expression pattern strings may not contain null bytes, but can specify
81the null byte using the ``\number`` notation, e.g., ``'\x00'``.
82
83
84The special characters are:
85
Georg Brandl116aa622007-08-15 14:28:22 +000086``'.'``
87 (Dot.) In the default mode, this matches any character except a newline. If
88 the :const:`DOTALL` flag has been specified, this matches any character
89 including a newline.
90
91``'^'``
92 (Caret.) Matches the start of the string, and in :const:`MULTILINE` mode also
93 matches immediately after each newline.
94
95``'$'``
96 Matches the end of the string or just before the newline at the end of the
97 string, and in :const:`MULTILINE` mode also matches before a newline. ``foo``
98 matches both 'foo' and 'foobar', while the regular expression ``foo$`` matches
99 only 'foo'. More interestingly, searching for ``foo.$`` in ``'foo1\nfoo2\n'``
Christian Heimes25bb7832008-01-11 16:17:00 +0000100 matches 'foo2' normally, but 'foo1' in :const:`MULTILINE` mode; searching for
101 a single ``$`` in ``'foo\n'`` will find two (empty) matches: one just before
102 the newline, and one at the end of the string.
Georg Brandl116aa622007-08-15 14:28:22 +0000103
104``'*'``
105 Causes the resulting RE to match 0 or more repetitions of the preceding RE, as
106 many repetitions as are possible. ``ab*`` will match 'a', 'ab', or 'a' followed
107 by any number of 'b's.
108
109``'+'``
110 Causes the resulting RE to match 1 or more repetitions of the preceding RE.
111 ``ab+`` will match 'a' followed by any non-zero number of 'b's; it will not
112 match just 'a'.
113
114``'?'``
115 Causes the resulting RE to match 0 or 1 repetitions of the preceding RE.
116 ``ab?`` will match either 'a' or 'ab'.
117
118``*?``, ``+?``, ``??``
119 The ``'*'``, ``'+'``, and ``'?'`` qualifiers are all :dfn:`greedy`; they match
120 as much text as possible. Sometimes this behaviour isn't desired; if the RE
121 ``<.*>`` is matched against ``'<H1>title</H1>'``, it will match the entire
122 string, and not just ``'<H1>'``. Adding ``'?'`` after the qualifier makes it
123 perform the match in :dfn:`non-greedy` or :dfn:`minimal` fashion; as *few*
124 characters as possible will be matched. Using ``.*?`` in the previous
125 expression will match only ``'<H1>'``.
126
127``{m}``
128 Specifies that exactly *m* copies of the previous RE should be matched; fewer
129 matches cause the entire RE not to match. For example, ``a{6}`` will match
130 exactly six ``'a'`` characters, but not five.
131
132``{m,n}``
133 Causes the resulting RE to match from *m* to *n* repetitions of the preceding
134 RE, attempting to match as many repetitions as possible. For example,
135 ``a{3,5}`` will match from 3 to 5 ``'a'`` characters. Omitting *m* specifies a
136 lower bound of zero, and omitting *n* specifies an infinite upper bound. As an
137 example, ``a{4,}b`` will match ``aaaab`` or a thousand ``'a'`` characters
138 followed by a ``b``, but not ``aaab``. The comma may not be omitted or the
139 modifier would be confused with the previously described form.
140
141``{m,n}?``
142 Causes the resulting RE to match from *m* to *n* repetitions of the preceding
143 RE, attempting to match as *few* repetitions as possible. This is the
144 non-greedy version of the previous qualifier. For example, on the
145 6-character string ``'aaaaaa'``, ``a{3,5}`` will match 5 ``'a'`` characters,
146 while ``a{3,5}?`` will only match 3 characters.
147
148``'\'``
149 Either escapes special characters (permitting you to match characters like
150 ``'*'``, ``'?'``, and so forth), or signals a special sequence; special
151 sequences are discussed below.
152
153 If you're not using a raw string to express the pattern, remember that Python
154 also uses the backslash as an escape sequence in string literals; if the escape
155 sequence isn't recognized by Python's parser, the backslash and subsequent
156 character are included in the resulting string. However, if Python would
157 recognize the resulting sequence, the backslash should be repeated twice. This
158 is complicated and hard to understand, so it's highly recommended that you use
159 raw strings for all but the simplest expressions.
160
161``[]``
162 Used to indicate a set of characters. Characters can be listed individually, or
163 a range of characters can be indicated by giving two characters and separating
164 them by a ``'-'``. Special characters are not active inside sets. For example,
165 ``[akm$]`` will match any of the characters ``'a'``, ``'k'``,
166 ``'m'``, or ``'$'``; ``[a-z]`` will match any lowercase letter, and
167 ``[a-zA-Z0-9]`` matches any letter or digit. Character classes such
168 as ``\w`` or ``\S`` (defined below) are also acceptable inside a
169 range, although the characters they match depends on whether :const:`LOCALE`
170 or :const:`UNICODE` mode is in force. If you want to include a
171 ``']'`` or a ``'-'`` inside a set, precede it with a backslash, or
172 place it as the first character. The pattern ``[]]`` will match
173 ``']'``, for example.
174
175 You can match the characters not within a range by :dfn:`complementing` the set.
176 This is indicated by including a ``'^'`` as the first character of the set;
177 ``'^'`` elsewhere will simply match the ``'^'`` character. For example,
178 ``[^5]`` will match any character except ``'5'``, and ``[^^]`` will match any
179 character except ``'^'``.
180
181``'|'``
182 ``A|B``, where A and B can be arbitrary REs, creates a regular expression that
183 will match either A or B. An arbitrary number of REs can be separated by the
184 ``'|'`` in this way. This can be used inside groups (see below) as well. As
185 the target string is scanned, REs separated by ``'|'`` are tried from left to
186 right. When one pattern completely matches, that branch is accepted. This means
187 that once ``A`` matches, ``B`` will not be tested further, even if it would
188 produce a longer overall match. In other words, the ``'|'`` operator is never
189 greedy. To match a literal ``'|'``, use ``\|``, or enclose it inside a
190 character class, as in ``[|]``.
191
192``(...)``
193 Matches whatever regular expression is inside the parentheses, and indicates the
194 start and end of a group; the contents of a group can be retrieved after a match
195 has been performed, and can be matched later in the string with the ``\number``
196 special sequence, described below. To match the literals ``'('`` or ``')'``,
197 use ``\(`` or ``\)``, or enclose them inside a character class: ``[(] [)]``.
198
199``(?...)``
200 This is an extension notation (a ``'?'`` following a ``'('`` is not meaningful
201 otherwise). The first character after the ``'?'`` determines what the meaning
202 and further syntax of the construct is. Extensions usually do not create a new
203 group; ``(?P<name>...)`` is the only exception to this rule. Following are the
204 currently supported extensions.
205
206``(?iLmsux)``
207 (One or more letters from the set ``'i'``, ``'L'``, ``'m'``, ``'s'``,
208 ``'u'``, ``'x'``.) The group matches the empty string; the letters
209 set the corresponding flags: :const:`re.I` (ignore case),
210 :const:`re.L` (locale dependent), :const:`re.M` (multi-line),
211 :const:`re.S` (dot matches all), :const:`re.U` (Unicode dependent),
212 and :const:`re.X` (verbose), for the entire regular expression. (The
213 flags are described in :ref:`contents-of-module-re`.) This
214 is useful if you wish to include the flags as part of the regular
215 expression, instead of passing a *flag* argument to the
216 :func:`compile` function.
217
218 Note that the ``(?x)`` flag changes how the expression is parsed. It should be
219 used first in the expression string, or after one or more whitespace characters.
220 If there are non-whitespace characters before the flag, the results are
221 undefined.
222
223``(?:...)``
224 A non-grouping version of regular parentheses. Matches whatever regular
225 expression is inside the parentheses, but the substring matched by the group
226 *cannot* be retrieved after performing a match or referenced later in the
227 pattern.
228
229``(?P<name>...)``
230 Similar to regular parentheses, but the substring matched by the group is
231 accessible via the symbolic group name *name*. Group names must be valid Python
232 identifiers, and each group name must be defined only once within a regular
233 expression. A symbolic group is also a numbered group, just as if the group
234 were not named. So the group named 'id' in the example below can also be
235 referenced as the numbered group 1.
236
237 For example, if the pattern is ``(?P<id>[a-zA-Z_]\w*)``, the group can be
238 referenced by its name in arguments to methods of match objects, such as
239 ``m.group('id')`` or ``m.end('id')``, and also by name in pattern text (for
240 example, ``(?P=id)``) and replacement text (such as ``\g<id>``).
241
242``(?P=name)``
243 Matches whatever text was matched by the earlier group named *name*.
244
245``(?#...)``
246 A comment; the contents of the parentheses are simply ignored.
247
248``(?=...)``
249 Matches if ``...`` matches next, but doesn't consume any of the string. This is
250 called a lookahead assertion. For example, ``Isaac (?=Asimov)`` will match
251 ``'Isaac '`` only if it's followed by ``'Asimov'``.
252
253``(?!...)``
254 Matches if ``...`` doesn't match next. This is a negative lookahead assertion.
255 For example, ``Isaac (?!Asimov)`` will match ``'Isaac '`` only if it's *not*
256 followed by ``'Asimov'``.
257
258``(?<=...)``
259 Matches if the current position in the string is preceded by a match for ``...``
260 that ends at the current position. This is called a :dfn:`positive lookbehind
261 assertion`. ``(?<=abc)def`` will find a match in ``abcdef``, since the
262 lookbehind will back up 3 characters and check if the contained pattern matches.
263 The contained pattern must only match strings of some fixed length, meaning that
264 ``abc`` or ``a|b`` are allowed, but ``a*`` and ``a{3,4}`` are not. Note that
265 patterns which start with positive lookbehind assertions will never match at the
266 beginning of the string being searched; you will most likely want to use the
Christian Heimesfe337bf2008-03-23 21:54:12 +0000267 :func:`search` function rather than the :func:`match` function:
Georg Brandl116aa622007-08-15 14:28:22 +0000268
269 >>> import re
270 >>> m = re.search('(?<=abc)def', 'abcdef')
271 >>> m.group(0)
272 'def'
273
Christian Heimesfe337bf2008-03-23 21:54:12 +0000274 This example looks for a word following a hyphen:
Georg Brandl116aa622007-08-15 14:28:22 +0000275
276 >>> m = re.search('(?<=-)\w+', 'spam-egg')
277 >>> m.group(0)
278 'egg'
279
280``(?<!...)``
281 Matches if the current position in the string is not preceded by a match for
282 ``...``. This is called a :dfn:`negative lookbehind assertion`. Similar to
283 positive lookbehind assertions, the contained pattern must only match strings of
284 some fixed length. Patterns which start with negative lookbehind assertions may
285 match at the beginning of the string being searched.
286
287``(?(id/name)yes-pattern|no-pattern)``
288 Will try to match with ``yes-pattern`` if the group with given *id* or *name*
289 exists, and with ``no-pattern`` if it doesn't. ``no-pattern`` is optional and
290 can be omitted. For example, ``(<)?(\w+@\w+(?:\.\w+)+)(?(1)>)`` is a poor email
291 matching pattern, which will match with ``'<user@host.com>'`` as well as
292 ``'user@host.com'``, but not with ``'<user@host.com'``.
293
Georg Brandl116aa622007-08-15 14:28:22 +0000294
295The special sequences consist of ``'\'`` and a character from the list below.
296If the ordinary character is not on the list, then the resulting RE will match
297the second character. For example, ``\$`` matches the character ``'$'``.
298
Georg Brandl116aa622007-08-15 14:28:22 +0000299``\number``
300 Matches the contents of the group of the same number. Groups are numbered
301 starting from 1. For example, ``(.+) \1`` matches ``'the the'`` or ``'55 55'``,
302 but not ``'the end'`` (note the space after the group). This special sequence
303 can only be used to match one of the first 99 groups. If the first digit of
304 *number* is 0, or *number* is 3 octal digits long, it will not be interpreted as
305 a group match, but as the character with octal value *number*. Inside the
306 ``'['`` and ``']'`` of a character class, all numeric escapes are treated as
307 characters.
308
309``\A``
310 Matches only at the start of the string.
311
312``\b``
313 Matches the empty string, but only at the beginning or end of a word. A word is
314 defined as a sequence of alphanumeric or underscore characters, so the end of a
315 word is indicated by whitespace or a non-alphanumeric, non-underscore character.
316 Note that ``\b`` is defined as the boundary between ``\w`` and ``\ W``, so the
317 precise set of characters deemed to be alphanumeric depends on the values of the
318 ``UNICODE`` and ``LOCALE`` flags. Inside a character range, ``\b`` represents
319 the backspace character, for compatibility with Python's string literals.
320
321``\B``
322 Matches the empty string, but only when it is *not* at the beginning or end of a
323 word. This is just the opposite of ``\b``, so is also subject to the settings
324 of ``LOCALE`` and ``UNICODE``.
325
326``\d``
327 When the :const:`UNICODE` flag is not specified, matches any decimal digit; this
328 is equivalent to the set ``[0-9]``. With :const:`UNICODE`, it will match
329 whatever is classified as a digit in the Unicode character properties database.
330
331``\D``
332 When the :const:`UNICODE` flag is not specified, matches any non-digit
333 character; this is equivalent to the set ``[^0-9]``. With :const:`UNICODE`, it
334 will match anything other than character marked as digits in the Unicode
335 character properties database.
336
337``\s``
338 When the :const:`LOCALE` and :const:`UNICODE` flags are not specified, matches
339 any whitespace character; this is equivalent to the set ``[ \t\n\r\f\v]``. With
340 :const:`LOCALE`, it will match this set plus whatever characters are defined as
341 space for the current locale. If :const:`UNICODE` is set, this will match the
342 characters ``[ \t\n\r\f\v]`` plus whatever is classified as space in the Unicode
343 character properties database.
344
345``\S``
346 When the :const:`LOCALE` and :const:`UNICODE` flags are not specified, matches
347 any non-whitespace character; this is equivalent to the set ``[^ \t\n\r\f\v]``
348 With :const:`LOCALE`, it will match any character not in this set, and not
349 defined as space in the current locale. If :const:`UNICODE` is set, this will
350 match anything other than ``[ \t\n\r\f\v]`` and characters marked as space in
351 the Unicode character properties database.
352
353``\w``
354 When the :const:`LOCALE` and :const:`UNICODE` flags are not specified, matches
355 any alphanumeric character and the underscore; this is equivalent to the set
356 ``[a-zA-Z0-9_]``. With :const:`LOCALE`, it will match the set ``[0-9_]`` plus
357 whatever characters are defined as alphanumeric for the current locale. If
358 :const:`UNICODE` is set, this will match the characters ``[0-9_]`` plus whatever
359 is classified as alphanumeric in the Unicode character properties database.
360
361``\W``
362 When the :const:`LOCALE` and :const:`UNICODE` flags are not specified, matches
363 any non-alphanumeric character; this is equivalent to the set ``[^a-zA-Z0-9_]``.
364 With :const:`LOCALE`, it will match any character not in the set ``[0-9_]``, and
365 not defined as alphanumeric for the current locale. If :const:`UNICODE` is set,
366 this will match anything other than ``[0-9_]`` and characters marked as
367 alphanumeric in the Unicode character properties database.
368
369``\Z``
370 Matches only at the end of the string.
371
372Most of the standard escapes supported by Python string literals are also
373accepted by the regular expression parser::
374
375 \a \b \f \n
376 \r \t \v \x
377 \\
378
379Octal escapes are included in a limited form: If the first digit is a 0, or if
380there are three octal digits, it is considered an octal escape. Otherwise, it is
381a group reference. As for string literals, octal escapes are always at most
382three digits in length.
383
Georg Brandl116aa622007-08-15 14:28:22 +0000384
385.. _matching-searching:
386
387Matching vs Searching
388---------------------
389
390.. sectionauthor:: Fred L. Drake, Jr. <fdrake@acm.org>
391
392
393Python offers two different primitive operations based on regular expressions:
Guido van Rossum04110fb2007-08-24 16:32:05 +0000394**match** checks for a match only at the beginning of the string, while
395**search** checks for a match anywhere in the string (this is what Perl does
396by default).
Georg Brandl116aa622007-08-15 14:28:22 +0000397
Guido van Rossum04110fb2007-08-24 16:32:05 +0000398Note that match may differ from search even when using a regular expression
399beginning with ``'^'``: ``'^'`` matches only at the start of the string, or in
Georg Brandl116aa622007-08-15 14:28:22 +0000400:const:`MULTILINE` mode also immediately following a newline. The "match"
401operation succeeds only if the pattern matches at the start of the string
402regardless of mode, or at the starting position given by the optional *pos*
Christian Heimesfe337bf2008-03-23 21:54:12 +0000403argument regardless of whether a newline precedes it.
Georg Brandl116aa622007-08-15 14:28:22 +0000404
Christian Heimesfe337bf2008-03-23 21:54:12 +0000405 >>> re.match("c", "abcdef") # No match
406 >>> re.search("c", "abcdef") # Match
407 <_sre.SRE_Match object at ...>
Georg Brandl116aa622007-08-15 14:28:22 +0000408
409
410.. _contents-of-module-re:
411
412Module Contents
413---------------
414
415The module defines several functions, constants, and an exception. Some of the
416functions are simplified versions of the full featured methods for compiled
417regular expressions. Most non-trivial applications always use the compiled
418form.
419
420
421.. function:: compile(pattern[, flags])
422
Georg Brandl9afde1c2007-11-01 20:32:30 +0000423 Compile a regular expression pattern into a regular expression object, which
424 can be used for matching using its :func:`match` and :func:`search` methods,
Georg Brandl116aa622007-08-15 14:28:22 +0000425 described below.
426
427 The expression's behaviour can be modified by specifying a *flags* value.
428 Values can be any of the following variables, combined using bitwise OR (the
429 ``|`` operator).
430
431 The sequence ::
432
433 prog = re.compile(pat)
434 result = prog.match(str)
435
436 is equivalent to ::
437
438 result = re.match(pat, str)
439
Georg Brandl9afde1c2007-11-01 20:32:30 +0000440 but the version using :func:`compile` is more efficient when the expression
441 will be used several times in a single program.
Georg Brandl116aa622007-08-15 14:28:22 +0000442
Christian Heimes5b5e81c2007-12-31 16:14:33 +0000443 .. (The compiled version of the last pattern passed to :func:`re.match` or
444 :func:`re.search` is cached, so programs that use only a single regular
445 expression at a time needn't worry about compiling regular expressions.)
Georg Brandl116aa622007-08-15 14:28:22 +0000446
447
448.. data:: I
449 IGNORECASE
450
451 Perform case-insensitive matching; expressions like ``[A-Z]`` will match
452 lowercase letters, too. This is not affected by the current locale.
453
454
455.. data:: L
456 LOCALE
457
Georg Brandl9afde1c2007-11-01 20:32:30 +0000458 Make ``\w``, ``\W``, ``\b``, ``\B``, ``\s`` and ``\S`` dependent on the
459 current locale.
Georg Brandl116aa622007-08-15 14:28:22 +0000460
461
462.. data:: M
463 MULTILINE
464
465 When specified, the pattern character ``'^'`` matches at the beginning of the
466 string and at the beginning of each line (immediately following each newline);
467 and the pattern character ``'$'`` matches at the end of the string and at the
468 end of each line (immediately preceding each newline). By default, ``'^'``
469 matches only at the beginning of the string, and ``'$'`` only at the end of the
470 string and immediately before the newline (if any) at the end of the string.
471
472
473.. data:: S
474 DOTALL
475
476 Make the ``'.'`` special character match any character at all, including a
477 newline; without this flag, ``'.'`` will match anything *except* a newline.
478
479
480.. data:: U
481 UNICODE
482
483 Make ``\w``, ``\W``, ``\b``, ``\B``, ``\d``, ``\D``, ``\s`` and ``\S`` dependent
484 on the Unicode character properties database.
485
Georg Brandl116aa622007-08-15 14:28:22 +0000486
487.. data:: X
488 VERBOSE
489
490 This flag allows you to write regular expressions that look nicer. Whitespace
491 within the pattern is ignored, except when in a character class or preceded by
492 an unescaped backslash, and, when a line contains a ``'#'`` neither in a
493 character class or preceded by an unescaped backslash, all characters from the
494 leftmost such ``'#'`` through the end of the line are ignored.
495
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000496 That means that the two following regular expression objects that match a
497 decimal number are functionally equal::
Georg Brandl81ac1ce2007-08-31 17:17:17 +0000498
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000499 a = re.compile(r"""\d + # the integral part
500 \. # the decimal point
501 \d * # some fractional digits""", re.X)
502 b = re.compile(r"\d+\.\d*")
Georg Brandl116aa622007-08-15 14:28:22 +0000503
504
505.. function:: search(pattern, string[, flags])
506
507 Scan through *string* looking for a location where the regular expression
508 *pattern* produces a match, and return a corresponding :class:`MatchObject`
509 instance. Return ``None`` if no position in the string matches the pattern; note
510 that this is different from finding a zero-length match at some point in the
511 string.
512
513
514.. function:: match(pattern, string[, flags])
515
516 If zero or more characters at the beginning of *string* match the regular
517 expression *pattern*, return a corresponding :class:`MatchObject` instance.
518 Return ``None`` if the string does not match the pattern; note that this is
519 different from a zero-length match.
520
521 .. note::
522
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000523 If you want to locate a match anywhere in *string*, use :meth:`search`
524 instead.
Georg Brandl116aa622007-08-15 14:28:22 +0000525
526
527.. function:: split(pattern, string[, maxsplit=0])
528
529 Split *string* by the occurrences of *pattern*. If capturing parentheses are
530 used in *pattern*, then the text of all groups in the pattern are also returned
531 as part of the resulting list. If *maxsplit* is nonzero, at most *maxsplit*
532 splits occur, and the remainder of the string is returned as the final element
Georg Brandl96473892008-03-06 07:09:43 +0000533 of the list. ::
Georg Brandl116aa622007-08-15 14:28:22 +0000534
535 >>> re.split('\W+', 'Words, words, words.')
536 ['Words', 'words', 'words', '']
537 >>> re.split('(\W+)', 'Words, words, words.')
538 ['Words', ', ', 'words', ', ', 'words', '.', '']
539 >>> re.split('\W+', 'Words, words, words.', 1)
540 ['Words', 'words, words.']
541
Christian Heimesdd15f6c2008-03-16 00:07:10 +0000542 If there are capturing groups in the separator and it matches at the start of
543 the string, the result will start with an empty string. The same holds for
Christian Heimesfe337bf2008-03-23 21:54:12 +0000544 the end of the string:
Christian Heimesdd15f6c2008-03-16 00:07:10 +0000545
546 >>> re.split('(\W+)', '...words, words...')
547 ['', '...', 'words', ', ', 'words', '...', '']
548
549 That way, separator components are always found at the same relative
550 indices within the result list (e.g., if there's one capturing group
551 in the separator, the 0th, the 2nd and so forth).
552
Thomas Wouters89d996e2007-09-08 17:39:28 +0000553 Note that *split* will never split a string on an empty pattern match.
Christian Heimesfe337bf2008-03-23 21:54:12 +0000554 For example:
Thomas Wouters89d996e2007-09-08 17:39:28 +0000555
556 >>> re.split('x*', 'foo')
557 ['foo']
558 >>> re.split("(?m)^$", "foo\n\nbar\n")
559 ['foo\n\nbar\n']
Georg Brandl116aa622007-08-15 14:28:22 +0000560
Christian Heimesdd15f6c2008-03-16 00:07:10 +0000561
Georg Brandl116aa622007-08-15 14:28:22 +0000562.. function:: findall(pattern, string[, flags])
563
Georg Brandl9afde1c2007-11-01 20:32:30 +0000564 Return all non-overlapping matches of *pattern* in *string*, as a list of
565 strings. If one or more groups are present in the pattern, return a list of
566 groups; this will be a list of tuples if the pattern has more than one group.
567 Empty matches are included in the result unless they touch the beginning of
568 another match.
Georg Brandl116aa622007-08-15 14:28:22 +0000569
Georg Brandl116aa622007-08-15 14:28:22 +0000570
571.. function:: finditer(pattern, string[, flags])
572
Georg Brandl9afde1c2007-11-01 20:32:30 +0000573 Return an :term:`iterator` yielding :class:`MatchObject` instances over all
574 non-overlapping matches for the RE *pattern* in *string*. Empty matches are
575 included in the result unless they touch the beginning of another match.
Georg Brandl116aa622007-08-15 14:28:22 +0000576
Georg Brandl116aa622007-08-15 14:28:22 +0000577
578.. function:: sub(pattern, repl, string[, count])
579
580 Return the string obtained by replacing the leftmost non-overlapping occurrences
581 of *pattern* in *string* by the replacement *repl*. If the pattern isn't found,
582 *string* is returned unchanged. *repl* can be a string or a function; if it is
583 a string, any backslash escapes in it are processed. That is, ``\n`` is
584 converted to a single newline character, ``\r`` is converted to a linefeed, and
585 so forth. Unknown escapes such as ``\j`` are left alone. Backreferences, such
586 as ``\6``, are replaced with the substring matched by group 6 in the pattern.
Christian Heimesfe337bf2008-03-23 21:54:12 +0000587 For example:
Georg Brandl116aa622007-08-15 14:28:22 +0000588
589 >>> re.sub(r'def\s+([a-zA-Z_][a-zA-Z_0-9]*)\s*\(\s*\):',
590 ... r'static PyObject*\npy_\1(void)\n{',
591 ... 'def myfunc():')
592 'static PyObject*\npy_myfunc(void)\n{'
593
594 If *repl* is a function, it is called for every non-overlapping occurrence of
595 *pattern*. The function takes a single match object argument, and returns the
Christian Heimesfe337bf2008-03-23 21:54:12 +0000596 replacement string. For example:
Georg Brandl116aa622007-08-15 14:28:22 +0000597
598 >>> def dashrepl(matchobj):
599 ... if matchobj.group(0) == '-': return ' '
600 ... else: return '-'
601 >>> re.sub('-{1,2}', dashrepl, 'pro----gram-files')
602 'pro--gram files'
603
604 The pattern may be a string or an RE object; if you need to specify regular
605 expression flags, you must use a RE object, or use embedded modifiers in a
606 pattern; for example, ``sub("(?i)b+", "x", "bbbb BBBB")`` returns ``'x x'``.
607
608 The optional argument *count* is the maximum number of pattern occurrences to be
609 replaced; *count* must be a non-negative integer. If omitted or zero, all
610 occurrences will be replaced. Empty matches for the pattern are replaced only
611 when not adjacent to a previous match, so ``sub('x*', '-', 'abc')`` returns
612 ``'-a-b-c-'``.
613
614 In addition to character escapes and backreferences as described above,
615 ``\g<name>`` will use the substring matched by the group named ``name``, as
616 defined by the ``(?P<name>...)`` syntax. ``\g<number>`` uses the corresponding
617 group number; ``\g<2>`` is therefore equivalent to ``\2``, but isn't ambiguous
618 in a replacement such as ``\g<2>0``. ``\20`` would be interpreted as a
619 reference to group 20, not a reference to group 2 followed by the literal
620 character ``'0'``. The backreference ``\g<0>`` substitutes in the entire
621 substring matched by the RE.
622
623
624.. function:: subn(pattern, repl, string[, count])
625
626 Perform the same operation as :func:`sub`, but return a tuple ``(new_string,
627 number_of_subs_made)``.
628
629
630.. function:: escape(string)
631
632 Return *string* with all non-alphanumerics backslashed; this is useful if you
633 want to match an arbitrary literal string that may have regular expression
634 metacharacters in it.
635
636
637.. exception:: error
638
639 Exception raised when a string passed to one of the functions here is not a
640 valid regular expression (for example, it might contain unmatched parentheses)
641 or when some other error occurs during compilation or matching. It is never an
642 error if a string contains no match for a pattern.
643
644
645.. _re-objects:
646
647Regular Expression Objects
648--------------------------
649
650Compiled regular expression objects support the following methods and
651attributes:
652
653
654.. method:: RegexObject.match(string[, pos[, endpos]])
655
656 If zero or more characters at the beginning of *string* match this regular
657 expression, return a corresponding :class:`MatchObject` instance. Return
658 ``None`` if the string does not match the pattern; note that this is different
659 from a zero-length match.
660
661 .. note::
662
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000663 If you want to locate a match anywhere in *string*, use :meth:`search`
664 instead.
Georg Brandl116aa622007-08-15 14:28:22 +0000665
666 The optional second parameter *pos* gives an index in the string where the
667 search is to start; it defaults to ``0``. This is not completely equivalent to
668 slicing the string; the ``'^'`` pattern character matches at the real beginning
669 of the string and at positions just after a newline, but not necessarily at the
670 index where the search is to start.
671
672 The optional parameter *endpos* limits how far the string will be searched; it
673 will be as if the string is *endpos* characters long, so only the characters
674 from *pos* to ``endpos - 1`` will be searched for a match. If *endpos* is less
675 than *pos*, no match will be found, otherwise, if *rx* is a compiled regular
676 expression object, ``rx.match(string, 0, 50)`` is equivalent to
Christian Heimesfe337bf2008-03-23 21:54:12 +0000677 ``rx.match(string[:50], 0)``.
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000678
679 >>> pattern = re.compile("o")
680 >>> pattern.match("dog") # No match as "o" is not at the start of "dog."
681 >>> pattern.match("dog", 1) # Match as "o" is the 2nd character of "dog".
Christian Heimesfe337bf2008-03-23 21:54:12 +0000682 <_sre.SRE_Match object at ...>
Georg Brandl116aa622007-08-15 14:28:22 +0000683
684
685.. method:: RegexObject.search(string[, pos[, endpos]])
686
687 Scan through *string* looking for a location where this regular expression
688 produces a match, and return a corresponding :class:`MatchObject` instance.
689 Return ``None`` if no position in the string matches the pattern; note that this
690 is different from finding a zero-length match at some point in the string.
691
692 The optional *pos* and *endpos* parameters have the same meaning as for the
693 :meth:`match` method.
694
695
696.. method:: RegexObject.split(string[, maxsplit=0])
697
698 Identical to the :func:`split` function, using the compiled pattern.
699
700
701.. method:: RegexObject.findall(string[, pos[, endpos]])
702
703 Identical to the :func:`findall` function, using the compiled pattern.
704
705
706.. method:: RegexObject.finditer(string[, pos[, endpos]])
707
708 Identical to the :func:`finditer` function, using the compiled pattern.
709
710
711.. method:: RegexObject.sub(repl, string[, count=0])
712
713 Identical to the :func:`sub` function, using the compiled pattern.
714
715
716.. method:: RegexObject.subn(repl, string[, count=0])
717
718 Identical to the :func:`subn` function, using the compiled pattern.
719
720
721.. attribute:: RegexObject.flags
722
723 The flags argument used when the RE object was compiled, or ``0`` if no flags
724 were provided.
725
726
727.. attribute:: RegexObject.groupindex
728
729 A dictionary mapping any symbolic group names defined by ``(?P<id>)`` to group
730 numbers. The dictionary is empty if no symbolic groups were used in the
731 pattern.
732
733
734.. attribute:: RegexObject.pattern
735
736 The pattern string from which the RE object was compiled.
737
738
739.. _match-objects:
740
741Match Objects
742-------------
743
Georg Brandl9afde1c2007-11-01 20:32:30 +0000744Match objects always have a boolean value of :const:`True`, so that you can test
745whether e.g. :func:`match` resulted in a match with a simple if statement. They
746support the following methods and attributes:
Georg Brandl116aa622007-08-15 14:28:22 +0000747
748
749.. method:: MatchObject.expand(template)
750
751 Return the string obtained by doing backslash substitution on the template
752 string *template*, as done by the :meth:`sub` method. Escapes such as ``\n`` are
753 converted to the appropriate characters, and numeric backreferences (``\1``,
754 ``\2``) and named backreferences (``\g<1>``, ``\g<name>``) are replaced by the
755 contents of the corresponding group.
756
757
758.. method:: MatchObject.group([group1, ...])
759
760 Returns one or more subgroups of the match. If there is a single argument, the
761 result is a single string; if there are multiple arguments, the result is a
762 tuple with one item per argument. Without arguments, *group1* defaults to zero
763 (the whole match is returned). If a *groupN* argument is zero, the corresponding
764 return value is the entire matching string; if it is in the inclusive range
765 [1..99], it is the string matching the corresponding parenthesized group. If a
766 group number is negative or larger than the number of groups defined in the
767 pattern, an :exc:`IndexError` exception is raised. If a group is contained in a
768 part of the pattern that did not match, the corresponding result is ``None``.
769 If a group is contained in a part of the pattern that matched multiple times,
Christian Heimesfe337bf2008-03-23 21:54:12 +0000770 the last match is returned.
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000771
772 >>> m = re.match(r"(\w+) (\w+)", "Isaac Newton, physicist")
Christian Heimesfe337bf2008-03-23 21:54:12 +0000773 >>> m.group(0) # The entire match
774 'Isaac Newton'
775 >>> m.group(1) # The first parenthesized subgroup.
776 'Isaac'
777 >>> m.group(2) # The second parenthesized subgroup.
778 'Newton'
779 >>> m.group(1, 2) # Multiple arguments give us a tuple.
780 ('Isaac', 'Newton')
Georg Brandl116aa622007-08-15 14:28:22 +0000781
782 If the regular expression uses the ``(?P<name>...)`` syntax, the *groupN*
783 arguments may also be strings identifying groups by their group name. If a
784 string argument is not used as a group name in the pattern, an :exc:`IndexError`
785 exception is raised.
786
Christian Heimesfe337bf2008-03-23 21:54:12 +0000787 A moderately complicated example:
Georg Brandl116aa622007-08-15 14:28:22 +0000788
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000789 >>> m = re.match(r"(?P<first_name>\w+) (?P<last_name>\w+)", "Malcom Reynolds")
790 >>> m.group('first_name')
791 'Malcom'
792 >>> m.group('last_name')
793 'Reynolds'
Georg Brandl116aa622007-08-15 14:28:22 +0000794
Christian Heimesfe337bf2008-03-23 21:54:12 +0000795 Named groups can also be referred to by their index:
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000796
797 >>> m.group(1)
798 'Malcom'
799 >>> m.group(2)
800 'Reynolds'
801
Christian Heimesfe337bf2008-03-23 21:54:12 +0000802 If a group matches multiple times, only the last match is accessible:
803
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000804 >>> m = re.match(r"(..)+", "a1b2c3") # Matches 3 times.
805 >>> m.group(1) # Returns only the last match.
806 'c3'
Georg Brandl116aa622007-08-15 14:28:22 +0000807
808
809.. method:: MatchObject.groups([default])
810
811 Return a tuple containing all the subgroups of the match, from 1 up to however
812 many groups are in the pattern. The *default* argument is used for groups that
Georg Brandl96473892008-03-06 07:09:43 +0000813 did not participate in the match; it defaults to ``None``.
Georg Brandl116aa622007-08-15 14:28:22 +0000814
Christian Heimesfe337bf2008-03-23 21:54:12 +0000815 For example:
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000816
817 >>> m = re.match(r"(\d+)\.(\d+)", "24.1632")
818 >>> m.groups()
819 ('24', '1632')
820
821 If we make the decimal place and everything after it optional, not all groups
822 might participate in the match. These groups will default to ``None`` unless
Christian Heimesfe337bf2008-03-23 21:54:12 +0000823 the *default* argument is given:
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000824
825 >>> m = re.match(r"(\d+)\.?(\d+)?", "24")
Christian Heimesfe337bf2008-03-23 21:54:12 +0000826 >>> m.groups() # Second group defaults to None.
827 ('24', None)
828 >>> m.groups('0') # Now, the second group defaults to '0'.
829 ('24', '0')
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000830
Georg Brandl116aa622007-08-15 14:28:22 +0000831
832.. method:: MatchObject.groupdict([default])
833
834 Return a dictionary containing all the *named* subgroups of the match, keyed by
835 the subgroup name. The *default* argument is used for groups that did not
Christian Heimesfe337bf2008-03-23 21:54:12 +0000836 participate in the match; it defaults to ``None``. For example:
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000837
838 >>> m = re.match(r"(?P<first_name>\w+) (?P<last_name>\w+)", "Malcom Reynolds")
839 >>> m.groupdict()
840 {'first_name': 'Malcom', 'last_name': 'Reynolds'}
Georg Brandl116aa622007-08-15 14:28:22 +0000841
842
843.. method:: MatchObject.start([group])
844 MatchObject.end([group])
845
846 Return the indices of the start and end of the substring matched by *group*;
847 *group* defaults to zero (meaning the whole matched substring). Return ``-1`` if
848 *group* exists but did not contribute to the match. For a match object *m*, and
849 a group *g* that did contribute to the match, the substring matched by group *g*
850 (equivalent to ``m.group(g)``) is ::
851
852 m.string[m.start(g):m.end(g)]
853
854 Note that ``m.start(group)`` will equal ``m.end(group)`` if *group* matched a
855 null string. For example, after ``m = re.search('b(c?)', 'cba')``,
856 ``m.start(0)`` is 1, ``m.end(0)`` is 2, ``m.start(1)`` and ``m.end(1)`` are both
857 2, and ``m.start(2)`` raises an :exc:`IndexError` exception.
858
Christian Heimesfe337bf2008-03-23 21:54:12 +0000859 An example that will remove *remove_this* from email addresses:
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000860
861 >>> email = "tony@tiremove_thisger.net"
862 >>> m = re.search("remove_this", email)
863 >>> email[:m.start()] + email[m.end():]
864 'tony@tiger.net'
865
Georg Brandl116aa622007-08-15 14:28:22 +0000866
867.. method:: MatchObject.span([group])
868
869 For :class:`MatchObject` *m*, return the 2-tuple ``(m.start(group),
870 m.end(group))``. Note that if *group* did not contribute to the match, this is
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000871 ``(-1, -1)``. *group* defaults to zero, the entire match.
Georg Brandl116aa622007-08-15 14:28:22 +0000872
873
874.. attribute:: MatchObject.pos
875
876 The value of *pos* which was passed to the :func:`search` or :func:`match`
877 method of the :class:`RegexObject`. This is the index into the string at which
878 the RE engine started looking for a match.
879
880
881.. attribute:: MatchObject.endpos
882
883 The value of *endpos* which was passed to the :func:`search` or :func:`match`
884 method of the :class:`RegexObject`. This is the index into the string beyond
885 which the RE engine will not go.
886
887
888.. attribute:: MatchObject.lastindex
889
890 The integer index of the last matched capturing group, or ``None`` if no group
891 was matched at all. For example, the expressions ``(a)b``, ``((a)(b))``, and
892 ``((ab))`` will have ``lastindex == 1`` if applied to the string ``'ab'``, while
893 the expression ``(a)(b)`` will have ``lastindex == 2``, if applied to the same
894 string.
895
896
897.. attribute:: MatchObject.lastgroup
898
899 The name of the last matched capturing group, or ``None`` if the group didn't
900 have a name, or if no group was matched at all.
901
902
903.. attribute:: MatchObject.re
904
905 The regular expression object whose :meth:`match` or :meth:`search` method
906 produced this :class:`MatchObject` instance.
907
908
909.. attribute:: MatchObject.string
910
911 The string passed to :func:`match` or :func:`search`.
912
913
914Examples
915--------
916
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000917
918Checking For a Pair
919^^^^^^^^^^^^^^^^^^^
920
921In this example, we'll use the following helper function to display match
Christian Heimesfe337bf2008-03-23 21:54:12 +0000922objects a little more gracefully:
923
924.. testcode::
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000925
926 def displaymatch(match):
927 if match is None:
928 return None
929 return '<Match: %r, groups=%r>' % (match.group(), match.groups())
930
931Suppose you are writing a poker program where a player's hand is represented as
932a 5-character string with each character representing a card, "a" for ace, "k"
933for king, "q" for queen, j for jack, "0" for 10, and "1" through "9"
934representing the card with that value.
935
Christian Heimesfe337bf2008-03-23 21:54:12 +0000936To see if a given string is a valid hand, one could do the following:
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000937
Christian Heimesfe337bf2008-03-23 21:54:12 +0000938 >>> valid = re.compile(r"[0-9akqj]{5}$")
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000939 >>> displaymatch(valid.match("ak05q")) # Valid.
Christian Heimesfe337bf2008-03-23 21:54:12 +0000940 "<Match: 'ak05q', groups=()>"
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000941 >>> displaymatch(valid.match("ak05e")) # Invalid.
942 >>> displaymatch(valid.match("ak0")) # Invalid.
943 >>> displaymatch(valid.match("727ak")) # Valid.
Christian Heimesfe337bf2008-03-23 21:54:12 +0000944 "<Match: '727ak', groups=()>"
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000945
946That last hand, ``"727ak"``, contained a pair, or two of the same valued cards.
Christian Heimesfe337bf2008-03-23 21:54:12 +0000947To match this with a regular expression, one could use backreferences as such:
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000948
949 >>> pair = re.compile(r".*(.).*\1")
950 >>> displaymatch(pair.match("717ak")) # Pair of 7s.
Christian Heimesfe337bf2008-03-23 21:54:12 +0000951 "<Match: '717', groups=('7',)>"
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000952 >>> displaymatch(pair.match("718ak")) # No pairs.
953 >>> displaymatch(pair.match("354aa")) # Pair of aces.
Christian Heimesfe337bf2008-03-23 21:54:12 +0000954 "<Match: '354aa', groups=('a',)>"
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000955
956To find out what card the pair consists of, one could use the :func:`group`
Christian Heimesfe337bf2008-03-23 21:54:12 +0000957method of :class:`MatchObject` in the following manner:
958
959.. doctest::
Christian Heimesb9eccbf2007-12-05 20:18:38 +0000960
961 >>> pair.match("717ak").group(1)
962 '7'
963
964 # Error because re.match() returns None, which doesn't have a group() method:
965 >>> pair.match("718ak").group(1)
966 Traceback (most recent call last):
967 File "<pyshell#23>", line 1, in <module>
968 re.match(r".*(.).*\1", "718ak").group(1)
969 AttributeError: 'NoneType' object has no attribute 'group'
970
971 >>> pair.match("354aa").group(1)
972 'a'
973
974
975Simulating scanf()
976^^^^^^^^^^^^^^^^^^
Georg Brandl116aa622007-08-15 14:28:22 +0000977
978.. index:: single: scanf()
979
980Python does not currently have an equivalent to :cfunc:`scanf`. Regular
981expressions are generally more powerful, though also more verbose, than
982:cfunc:`scanf` format strings. The table below offers some more-or-less
983equivalent mappings between :cfunc:`scanf` format tokens and regular
984expressions.
985
986+--------------------------------+---------------------------------------------+
987| :cfunc:`scanf` Token | Regular Expression |
988+================================+=============================================+
989| ``%c`` | ``.`` |
990+--------------------------------+---------------------------------------------+
991| ``%5c`` | ``.{5}`` |
992+--------------------------------+---------------------------------------------+
993| ``%d`` | ``[-+]?\d+`` |
994+--------------------------------+---------------------------------------------+
995| ``%e``, ``%E``, ``%f``, ``%g`` | ``[-+]?(\d+(\.\d*)?|\.\d+)([eE][-+]?\d+)?`` |
996+--------------------------------+---------------------------------------------+
997| ``%i`` | ``[-+]?(0[xX][\dA-Fa-f]+|0[0-7]*|\d+)`` |
998+--------------------------------+---------------------------------------------+
999| ``%o`` | ``0[0-7]*`` |
1000+--------------------------------+---------------------------------------------+
1001| ``%s`` | ``\S+`` |
1002+--------------------------------+---------------------------------------------+
1003| ``%u`` | ``\d+`` |
1004+--------------------------------+---------------------------------------------+
1005| ``%x``, ``%X`` | ``0[xX][\dA-Fa-f]+`` |
1006+--------------------------------+---------------------------------------------+
1007
1008To extract the filename and numbers from a string like ::
1009
1010 /usr/sbin/sendmail - 0 errors, 4 warnings
1011
1012you would use a :cfunc:`scanf` format like ::
1013
1014 %s - %d errors, %d warnings
1015
1016The equivalent regular expression would be ::
1017
1018 (\S+) - (\d+) errors, (\d+) warnings
1019
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001020
1021Avoiding recursion
1022^^^^^^^^^^^^^^^^^^
Georg Brandl116aa622007-08-15 14:28:22 +00001023
1024If you create regular expressions that require the engine to perform a lot of
1025recursion, you may encounter a :exc:`RuntimeError` exception with the message
1026``maximum recursion limit`` exceeded. For example, ::
1027
Georg Brandl116aa622007-08-15 14:28:22 +00001028 >>> s = 'Begin ' + 1000*'a very long string ' + 'end'
1029 >>> re.match('Begin (\w| )*? end', s).end()
1030 Traceback (most recent call last):
1031 File "<stdin>", line 1, in ?
1032 File "/usr/local/lib/python2.5/re.py", line 132, in match
1033 return _compile(pattern, flags).match(string)
1034 RuntimeError: maximum recursion limit exceeded
1035
1036You can often restructure your regular expression to avoid recursion.
1037
1038Starting with Python 2.3, simple uses of the ``*?`` pattern are special-cased to
1039avoid recursion. Thus, the above regular expression can avoid recursion by
1040being recast as ``Begin [a-zA-Z0-9_ ]*?end``. As a further benefit, such
1041regular expressions will run faster than their recursive equivalents.
1042
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001043
1044search() vs. match()
1045^^^^^^^^^^^^^^^^^^^^
1046
1047In a nutshell, :func:`match` only attempts to match a pattern at the beginning
1048of a string where :func:`search` will match a pattern anywhere in a string.
Christian Heimesfe337bf2008-03-23 21:54:12 +00001049For example:
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001050
1051 >>> re.match("o", "dog") # No match as "o" is not the first letter of "dog".
1052 >>> re.search("o", "dog") # Match as search() looks everywhere in the string.
Christian Heimesfe337bf2008-03-23 21:54:12 +00001053 <_sre.SRE_Match object at ...>
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001054
1055.. note::
1056
Christian Heimesfe337bf2008-03-23 21:54:12 +00001057 The following applies only to regular expression objects like those created
1058 with ``re.compile("pattern")``, not the primitives ``re.match(pattern,
1059 string)`` or ``re.search(pattern, string)``.
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001060
1061:func:`match` has an optional second parameter that gives an index in the string
Christian Heimesfe337bf2008-03-23 21:54:12 +00001062where the search is to start:
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001063
1064 >>> pattern = re.compile("o")
1065 >>> pattern.match("dog") # No match as "o" is not at the start of "dog."
Christian Heimesfe337bf2008-03-23 21:54:12 +00001066
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001067 # Equivalent to the above expression as 0 is the default starting index:
1068 >>> pattern.match("dog", 0)
Christian Heimesfe337bf2008-03-23 21:54:12 +00001069
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001070 # Match as "o" is the 2nd character of "dog" (index 0 is the first):
1071 >>> pattern.match("dog", 1)
Christian Heimesfe337bf2008-03-23 21:54:12 +00001072 <_sre.SRE_Match object at ...>
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001073 >>> pattern.match("dog", 2) # No match as "o" is not the 3rd character of "dog."
1074
1075
1076Making a Phonebook
1077^^^^^^^^^^^^^^^^^^
1078
1079:func:`split` splits a string into a list delimited by the passed pattern. The
1080method is invaluable for converting textual data into data structures that can be
1081easily read and modified by Python as demonstrated in the following example that
1082creates a phonebook.
1083
Christian Heimes255f53b2007-12-08 15:33:56 +00001084First, here is the input. Normally it may come from a file, here we are using
Christian Heimesfe337bf2008-03-23 21:54:12 +00001085triple-quoted string syntax:
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001086
Christian Heimes255f53b2007-12-08 15:33:56 +00001087 >>> input = """Ross McFluff: 834.345.1254 155 Elm Street
Christian Heimesfe337bf2008-03-23 21:54:12 +00001088 ...
1089 ... Ronald Heathmore: 892.345.3428 436 Finley Avenue
1090 ... Frank Burger: 925.541.7625 662 South Dogwood Way
1091 ...
1092 ...
1093 ... Heather Albrecht: 548.326.4584 919 Park Place"""
Christian Heimes255f53b2007-12-08 15:33:56 +00001094
1095The entries are separated by one or more newlines. Now we convert the string
Christian Heimesfe337bf2008-03-23 21:54:12 +00001096into a list with each nonempty line having its own entry:
1097
1098.. doctest::
1099 :options: +NORMALIZE_WHITESPACE
Christian Heimes255f53b2007-12-08 15:33:56 +00001100
1101 >>> entries = re.split("\n+", input)
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001102 >>> entries
Christian Heimesfe337bf2008-03-23 21:54:12 +00001103 ['Ross McFluff: 834.345.1254 155 Elm Street',
1104 'Ronald Heathmore: 892.345.3428 436 Finley Avenue',
1105 'Frank Burger: 925.541.7625 662 South Dogwood Way',
1106 'Heather Albrecht: 548.326.4584 919 Park Place']
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001107
1108Finally, split each entry into a list with first name, last name, telephone
Christian Heimesc3f30c42008-02-22 16:37:40 +00001109number, and address. We use the ``maxsplit`` parameter of :func:`split`
Christian Heimesfe337bf2008-03-23 21:54:12 +00001110because the address has spaces, our splitting pattern, in it:
1111
1112.. doctest::
1113 :options: +NORMALIZE_WHITESPACE
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001114
Christian Heimes255f53b2007-12-08 15:33:56 +00001115 >>> [re.split(":? ", entry, 3) for entry in entries]
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001116 [['Ross', 'McFluff', '834.345.1254', '155 Elm Street'],
1117 ['Ronald', 'Heathmore', '892.345.3428', '436 Finley Avenue'],
1118 ['Frank', 'Burger', '925.541.7625', '662 South Dogwood Way'],
1119 ['Heather', 'Albrecht', '548.326.4584', '919 Park Place']]
1120
Christian Heimes255f53b2007-12-08 15:33:56 +00001121The ``:?`` pattern matches the colon after the last name, so that it does not
Christian Heimesc3f30c42008-02-22 16:37:40 +00001122occur in the result list. With a ``maxsplit`` of ``4``, we could separate the
Christian Heimesfe337bf2008-03-23 21:54:12 +00001123house number from the street name:
1124
1125.. doctest::
1126 :options: +NORMALIZE_WHITESPACE
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001127
Christian Heimes255f53b2007-12-08 15:33:56 +00001128 >>> [re.split(":? ", entry, 4) for entry in entries]
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001129 [['Ross', 'McFluff', '834.345.1254', '155', 'Elm Street'],
1130 ['Ronald', 'Heathmore', '892.345.3428', '436', 'Finley Avenue'],
1131 ['Frank', 'Burger', '925.541.7625', '662', 'South Dogwood Way'],
1132 ['Heather', 'Albrecht', '548.326.4584', '919', 'Park Place']]
1133
1134
1135Text Munging
1136^^^^^^^^^^^^
1137
1138:func:`sub` replaces every occurrence of a pattern with a string or the
1139result of a function. This example demonstrates using :func:`sub` with
1140a function to "munge" text, or randomize the order of all the characters
1141in each word of a sentence except for the first and last characters::
1142
1143 >>> def repl(m):
1144 ... inner_word = list(m.group(2))
1145 ... random.shuffle(inner_word)
1146 ... return m.group(1) + "".join(inner_word) + m.group(3)
1147 >>> text = "Professor Abdolmalek, please report your absences promptly."
1148 >>> re.sub("(\w)(\w+)(\w)", repl, text)
1149 'Poefsrosr Aealmlobdk, pslaee reorpt your abnseces plmrptoy.'
1150 >>> re.sub("(\w)(\w+)(\w)", repl, text)
1151 'Pofsroser Aodlambelk, plasee reoprt yuor asnebces potlmrpy.'
1152
1153
1154Finding all Adverbs
1155^^^^^^^^^^^^^^^^^^^
1156
Christian Heimesc3f30c42008-02-22 16:37:40 +00001157:func:`findall` matches *all* occurrences of a pattern, not just the first
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001158one as :func:`search` does. For example, if one was a writer and wanted to
1159find all of the adverbs in some text, he or she might use :func:`findall` in
Christian Heimesfe337bf2008-03-23 21:54:12 +00001160the following manner:
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001161
1162 >>> text = "He was carefully disguised but captured quickly by police."
1163 >>> re.findall(r"\w+ly", text)
1164 ['carefully', 'quickly']
1165
1166
1167Finding all Adverbs and their Positions
1168^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1169
1170If one wants more information about all matches of a pattern than the matched
1171text, :func:`finditer` is useful as it provides instances of
1172:class:`MatchObject` instead of strings. Continuing with the previous example,
1173if one was a writer who wanted to find all of the adverbs *and their positions*
Christian Heimesfe337bf2008-03-23 21:54:12 +00001174in some text, he or she would use :func:`finditer` in the following manner:
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001175
1176 >>> text = "He was carefully disguised but captured quickly by police."
1177 >>> for m in re.finditer(r"\w+ly", text):
Christian Heimesfe337bf2008-03-23 21:54:12 +00001178 ... print('%02d-%02d: %s' % (m.start(), m.end(), m.group(0)))
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001179 07-16: carefully
1180 40-47: quickly
1181
1182
1183Raw String Notation
1184^^^^^^^^^^^^^^^^^^^
1185
1186Raw string notation (``r"text"``) keeps regular expressions sane. Without it,
1187every backslash (``'\'``) in a regular expression would have to be prefixed with
1188another one to escape it. For example, the two following lines of code are
Christian Heimesfe337bf2008-03-23 21:54:12 +00001189functionally identical:
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001190
1191 >>> re.match(r"\W(.)\1\W", " ff ")
Christian Heimesfe337bf2008-03-23 21:54:12 +00001192 <_sre.SRE_Match object at ...>
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001193 >>> re.match("\\W(.)\\1\\W", " ff ")
Christian Heimesfe337bf2008-03-23 21:54:12 +00001194 <_sre.SRE_Match object at ...>
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001195
1196When one wants to match a literal backslash, it must be escaped in the regular
1197expression. With raw string notation, this means ``r"\\"``. Without raw string
1198notation, one must use ``"\\\\"``, making the following lines of code
Christian Heimesfe337bf2008-03-23 21:54:12 +00001199functionally identical:
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001200
1201 >>> re.match(r"\\", r"\\")
Christian Heimesfe337bf2008-03-23 21:54:12 +00001202 <_sre.SRE_Match object at ...>
Christian Heimesb9eccbf2007-12-05 20:18:38 +00001203 >>> re.match("\\\\", r"\\")
Christian Heimesfe337bf2008-03-23 21:54:12 +00001204 <_sre.SRE_Match object at ...>