首先，運行 Python 解釋器，導入 re 模塊并編譯一個 RE：

#!python
 Python 2.2.2 (#1, Feb 10 2003, 12:57:01)
 >>> import re
 >>> p = re.compile('[a-z]+')
 >>> p
 <_sre.SRE_Pattern object at 80c3c28>

現在，你可以試著用 RE 的 [a-z]+ 去匹配不同的字符串。一個空字符串將根本不能匹配，因為 + 的意思是 “一個或更多的重復次數”。 在這種情況下 match() 將返回 None，因為它使解釋器沒有輸出。你可以明確地打印出 match() 的結果來弄清這一點。

#!python
>>> p.match("")
>>> print p.match("")
None

現在，讓我們試著用它來匹配一個字符串，如 "tempo"。這時，match() 將返回一個 MatchObject。因此你可以將結果保存在變量里以便后面使用。

#!python
 >>> m = p.match( 'tempo')
 >>> print m
 <_sre.SRE_Match object at 80c4f68>

現在你可以查詢 `MatchObject` 關于匹配字符串的相關信息了。MatchObject 實例也有幾個方法和屬性；最重要的那些如下所示：

試試這些方法不久就會清楚它們的作用了：

#!python
 >>> m.group()
 'tempo'
 >>> m.start(), m.end()
 (0, 5)
 >>> m.span()
 (0, 5)

group() 返回 RE 匹配的子串。start() 和 end() 返回匹配開始和結束時的索引。span() 則用單個元組把開始和結束時的索引一起返回。因為匹配方法檢查到如果 RE 在字符串開始處開始匹配，那么 start() 將總是為零。然而， `RegexObject` 實例的 search 方法掃描下面的字符串的話，在這種情況下，匹配開始的位置就也許不是零了。

#!python
 >>> print p.match('::: message')
 None
 >>> m = p.search('::: message') ; print m
 <re.MatchObject instance at 80c9650>
 >>> m.group()
 'message'
 >>> m.span()
 (4, 11)

在實際程序中，最常見的作法是將 `MatchObject` 保存在一個變量里，然后檢查它是否為 None，通常如下所示：

#!python
 p = re.compile( ... )
 m = p.match( 'string goes here' )
 if m:
 print 'Match found: ', m.group()
 else:
 print 'No match'

兩個 `RegexObject` 方法返回所有匹配模式的子串。findall()返回一個匹配字符串行表：

#!python
 >>> p = re.compile('/d+')
 >>> p.findall('12 drummers drumming, 11 pipers piping, 10 lords a-leaping')
 ['12', '11', '10']

findall() 在它返回結果時不得不創建一個列表。在 Python 2.2中，也可以用 finditer() 方法。

#!python
 >>> iterator = p.finditer('12 drummers drumming, 11 ... 10 ...')
 >>> iterator
 <callable-iterator object at 0x401833ac>
 >>> for match in iterator:
 ...     print match.span()
 ...
 (0, 2)
 (22, 24)
 (29, 31)

模塊級函數

你不一定要產生一個 `RegexObject` 對象然后再調用它的方法；re 模塊也提供了頂級函數調用如 match()、search()、sub() 等等。這些函數使用 RE 字符串作為第一個參數，而后面的參數則與相應 `RegexObject` 的方法參數相同，返回則要么是 None 要么就是一個 `MatchObject` 的實例。

#!python
 >>> print re.match(r'From/s+', 'Fromage amk')
 None
 >>> re.match(r'From/s+', 'From amk Thu May 14 19:12:10 1998')
 <re.MatchObject instance at 80c5978>

Under the hood, 這些函數簡單地產生一個 RegexOject 并在其上調用相應的方法。它們也在緩存里保存編譯后的對象，因此在將來調用用到相同 RE 時就會更快。

你將使用這些模塊級函數，還是先得到一個 `RegexObject` 再調用它的方法呢？如何選擇依賴于怎樣用 RE 更有效率以及你個人編碼風格。如果一個 RE 在代碼中只做用一次的話，那么模塊級函數也許更方便。如果程序包含很多的正則表達式，或在多處復用同一個的話，那么將全部定義放在一起，在一段代碼中提前 編譯所有的 REs 更有用。從標準庫中看一個例子，這是從 xmllib.py 文件中提取出來的：

#!python
 ref = re.compile( ... )
 entityref = re.compile( ... )
 charref = re.compile( ... )
 starttagopen = re.compile( ... )

我通常更喜歡使用編譯對象，甚至它只用一次，but few people will be as much of a purist about this as I am。

編譯標志

編譯標志讓你可以修改正則表達式的一些運行方式。在 re 模塊中標志可以使用兩個名字，一個是全名如 IGNORECASE，一個是縮寫，一字母形式如 I。（如果你熟悉 Perl 的模式修改，一字母形式使用同樣的字母；例如 re.VERBOSE的縮寫形式是 re.X。）多個標志可以通過按位 OR-ing 它們來指定。如 re.I | re.M 被設置成 I 和 M 標志：

這有個可用標志表，對每個標志后面都有詳細的說明。

I
IGNORECASE

使匹配對大小寫不敏感；字符類和字符串匹配字母時忽略大小寫。舉個例子，[A-Z]也可以匹配小寫字母，Spam 可以匹配 "Spam", "spam", 或 "spAM"。這個小寫字母并不考慮當前位置。

L
LOCALE

影響 /w, /W, /b, 和 /B，這取決于當前的本地化設置。

locales 是 C 語言庫中的一項功能，是用來為需要考慮不同語言的編程提供幫助的。舉個例子，如果你正在處理法文文本，你想用 /w+ 來匹配文字，但 /w 只匹配字符類 [A-Za-z]；它并不能匹配 "é" 或 "ç"。如果你的系統配置適當且本地化設置為法語，那么內部的 C 函數將告訴程序 "é" 也應該被認為是一個字母。當在編譯正則表達式時使用 LOCALE 標志會得到用這些 C 函數來處理 /w 后的編譯對象；這會更慢，但也會象你希望的那樣可以用 /w+ 來匹配法文文本。

M
MULTILINE

(此時 ^ 和 $ 不會被解釋; 它們將在 4.1 節被介紹.)

使用 "^" 只匹配字符串的開始，而 $ 則只匹配字符串的結尾和直接在換行前（如果有的話）的字符串結尾。當本標志指定后， "^" 匹配字符串的開始和字符串中每行的開始。同樣的， $ 元字符匹配字符串結尾和字符串中每行的結尾（直接在每個換行之前）。

S
DOTALL

使 "." 特殊字符完全匹配任何字符，包括換行；沒有這個標志， "." 匹配除了換行外的任何字符。

X
VERBOSE

該標志通過給予你更靈活的格式以便你將正則表達式寫得更易于理解。當該標志被指定時，在 RE 字符串中的空白符被忽略，除非該空白符在字符類中或在反斜杠之后；這可以讓你更清晰地組織和縮進 RE。它也可以允許你將注釋寫入 RE，這些注釋會被引擎忽略；注釋用 "#"號 來標識，不過該符號不能在字符串或反斜杠之后。

舉個例子，這里有一個使用 re.VERBOSE 的 RE；看看讀它輕松了多少？

#!python
 charref = re.compile(r"""
 &[[]]       # Start of a numeric entity reference
 (
 [0-9]+[^0-9]      # Decimal form
 | 0[0-7]+[^0-7]   # Octal form
 | x[0-9a-fA-F]+[^0-9a-fA-F] # Hexadecimal form
 )
 """, re.VERBOSE)

沒有 verbose 設置， RE 會看起來象這樣：

#!python
 charref = re.compile("&#([0-9]+[^0-9]"
 "|0[0-7]+[^0-7]"
 "|x[0-9a-fA-F]+[^0-9a-fA-F])")

在上面的例子里，Python 的字符串自動連接可以用來將 RE 分成更小的部分，但它比用 re.VERBOSE 標志時更難懂。

更多模式功能

到目前為止，我們只展示了正則表達式的一部分功能。在本節，我們將展示一些新的元字符和如何使用組來檢索被匹配的文本部分。

更多的元字符

還有一些我們還沒展示的元字符，其中的大部分將在本節展示。

剩下來要討論的一部分元字符是零寬界定符（zero-width assertions）。它們并不會使引擎在處理字符串時更快;相反，它們根本就沒有對應任何字符，只是簡單的成功或失敗。舉個例子， /b 是一個在單詞邊界定位當前位置的界定符（assertions），這個位置根本就不會被 /b 改變。這意味著零寬界定符（zero-width assertions）將永遠不會被重復，因為如果它們在給定位置匹配一次，那么它們很明顯可以被匹配無數次。

|

可選項，或者 "or" 操作符。如果 A 和 B 是正則表達式，A|B 將匹配任何匹配了 "A" 或 "B" 的字符串。| 的優先級非常低，是為了當你有多字符串要選擇時能適當地運行。Crow|Servo 將匹配"Crow" 或 "Servo", 而不是 "Cro", 一個 "w" 或 一個 "S", 和 "ervo"。

為了匹配字母 "|"，可以用 /|，或將其包含在字符類中，如[|]。

^

匹配行首。除非設置 MULTILINE 標志，它只是匹配字符串的開始。在 MULTILINE 模式里，它也可以直接匹配字符串中的每個換行。

例如，如果你只希望匹配在行首單詞 "From"，那么 RE 將用 ^From。

#!python
 >>> print re.search('^From', 'From Here to Eternity')
 <re.MatchObject instance at 80c1520>
 >>> print re.search('^From', 'Reciting From Memory')
 None

$

匹配行尾，行尾被定義為要么是字符串尾，要么是一個換行字符后面的任何位置。

#!python
 >>> print re.search('}$', '{block}')
 <re.MatchObject instance at 80adfa8>
 >>> print re.search('}$', '{block} ')
 None
 >>> print re.search('}$', '{block}/n')
 <re.MatchObject instance at 80adfa8>

匹配一個 "$"，使用 /$ 或將其包含在字符類中，如[$]。

/A

只匹配字符串首。當不在 MULTILINE 模式，/A 和 ^ 實際上是一樣的。然而，在 MULTILINE 模式里它們是不同的；/A 只是匹配字符串首，而 ^ 還可以匹配在換行符之后字符串的任何位置。

/Z

Matches only at the end of the string.
只匹配字符串尾。

/b

單詞邊界。這是個零寬界定符（zero-width assertions）只用以匹配單詞的詞首和詞尾。單詞被定義為一個字母數字序列，因此詞尾就是用空白符或非字母數字符來標示的。

下面的例子只匹配 "class" 整個單詞；而當它被包含在其他單詞中時不匹配。

#!python
 >>> p = re.compile(r'/bclass/b')
 >>> print p.search('no class at all')
 <re.MatchObject instance at 80c8f28>
 >>> print p.search('the declassified algorithm')
 None
 >>> print p.search('one subclass is')
 None

當用這個特殊序列時你應該記住這里有兩個微妙之處。第一個是 Python 字符串和正則表達式之間最糟的沖突。在 Python 字符串里，"/b" 是反斜杠字符，ASCII值是8。如果你沒有使用 raw 字符串時，那么 Python 將會把 "/b" 轉換成一個回退符，你的 RE 將無法象你希望的那樣匹配它了。下面的例子看起來和我們前面的 RE 一樣，但在 RE 字符串前少了一個 "r" 。

#!python
 >>> p = re.compile('/bclass/b')
 >>> print p.search('no class at all')
 None
 >>> print p.search('/b' + 'class' + '/b')
 <re.MatchObject instance at 80c3ee0>

第二個在字符類中，這個限定符（assertion）不起作用，/b 表示回退符，以便與 Python 字符串兼容。

/B

另一個零寬界定符（zero-width assertions），它正好同 /b 相反，只在當前位置不在單詞邊界時匹配。

分組

你經常需要得到比 RE 是否匹配還要多的信息。正則表達式常常用來分析字符串，編寫一個 RE 匹配感興趣的部分并將其分成幾個小組。舉個例子，一個 RFC-822 的頭部用 ":" 隔成一個頭部名和一個值，這就可以通過編寫一個正則表達式匹配整個頭部，用一組匹配頭部名，另一組匹配頭部值的方式來處理。

組是通過 "(" 和 ")" 元字符來標識的。 "(" 和 ")" 有很多在數學表達式中相同的意思；它們一起把在它們里面的表達式組成一組。舉個例子，你可以用重復限制符，象 *, +, ?, 和 {m,n}，來重復組里的內容，比如說(ab)* 將匹配零或更多個重復的 "ab"。

#!python
 >>> p = re.compile('(ab)*')
 >>> print p.match('ababababab').span()
 (0, 10)

組用 "(" 和 ")" 來指定，并且得到它們匹配文本的開始和結尾索引；這就可以通過一個參數用 group()、start()、end() 和 span() 來進行檢索。組是從 0 開始計數的。組 0 總是存在；它就是整個 RE，所以 `MatchObject` 的方法都把組 0 作為它們缺省的參數。稍后我們將看到怎樣表達不能得到它們所匹配文本的 span。

#!python
 >>> p = re.compile('(a)b')
 >>> m = p.match('ab')
 >>> m.group()
 'ab'
 >>> m.group(0)
 'ab'

小組是從左向右計數的，從1開始。組可以被嵌套。計數的數值可以能過從左到右計算打開的括號數來確定。

#!python
 >>> p = re.compile('(a(b)c)d')
 >>> m = p.match('abcd')
 >>> m.group(0)
 'abcd'
 >>> m.group(1)
 'abc'
 >>> m.group(2)
 'b'

group() 可以一次輸入多個組號，在這種情況下它將返回一個包含那些組所對應值的元組。

#!python
 >>> m.group(2,1,2)
 ('b', 'abc', 'b')

The groups() 方法返回一個包含所有小組字符串的元組，從 1 到 所含的小組號。

#!python
 >>> m.groups()
 ('abc', 'b')

模式中的逆向引用允許你指定先前捕獲組的內容，該組也必須在字符串當前位置被找到。舉個例子，如果組 1 的內容能夠在當前位置找到的話，/1 就成功否則失敗。記住 Python 字符串也是用反斜杠加數據來允許字符串中包含任意字符的，所以當在 RE 中使用逆向引用時確保使用 raw 字符串。

例如，下面的 RE 在一個字符串中找到成雙的詞。

#!python
 >>> p = re.compile(r'(/b/w+)/s+/1')
 >>> p.search('Paris in the the spring').group()
 'the the'

象這樣只是搜索一個字符串的逆向引用并不常見 -- 用這種方式重復數據的文本格式并不多見 -- 但你不久就可以發現它們用在字符串替換上非常有用。

無捕獲組和命名組

精心設計的 REs 也許會用很多組，既可以捕獲感興趣的子串，又可以分組和結構化 RE 本身。在復雜的 REs 里，追蹤組號變得困難。有兩個功能可以對這個問題有所幫助。它們也都使用正則表達式擴展的通用語法，因此我們來看看第一個。

Perl 5 對標準正則表達式增加了幾個附加功能，Python 的 re 模塊也支持其中的大部分。選擇一個新的單按鍵元字符或一個以 "/" 開始的特殊序列來表示新的功能，而又不會使 Perl 正則表達式與標準正則表達式產生混亂是有難度的。如果你選擇 "&" 做為新的元字符，舉個例子，老的表達式認為 "&" 是一個正常的字符，而不會在使用 /& 或 [&] 時也不會轉義。

Perl 開發人員的解決方法是使用 (?...) 來做為擴展語法。"?" 在括號后面會直接導致一個語法錯誤，因為 "?" 沒有任何字符可以重復，因此它不會產生任何兼容問題。緊隨 "?" 之后的字符指出擴展的用途，因此 (?=foo)

Python 新增了一個擴展語法到 Perl 擴展語法中。如果在問號后的第一個字符是 "P"，你就可以知道它是針對 Python 的擴展。目前有兩個這樣的擴展: (?P<name>...) 定義一個命名組，(?P=name) 則是對命名組的逆向引用。如果 Perl 5 的未來版本使用不同的語法增加了相同的功能，那么 re 模塊也將改變以支持新的語法，這是為了兼容性的目的而保持的 Python 專用語法。

現在我們看一下普通的擴展語法，我們回過頭來簡化在復雜 REs 中使用組運行的特性。因為組是從左到右編號的，而且一個復雜的表達式也許會使用許多組，它可以使跟蹤當前組號變得困難，而修改如此復雜的 RE 是十分麻煩的。在開始時插入一個新組，你可以改變它之后的每個組號。

首先，有時你想用一個組去收集正則表達式的一部分，但又對組的內容不感興趣。你可以用一個無捕獲組: (?:...) 來實現這項功能，這樣你可以在括號中發送任何其他正則表達式。

#!python
 >>> m = re.match("([abc])+", "abc")
 >>> m.groups()
 ('c',)
 >>> m = re.match("(?:[abc])+", "abc")
 >>> m.groups()
 ()

除了捕獲匹配組的內容之外，無捕獲組與捕獲組表現完全一樣；你可以在其中放置任何字符，可以用重復元字符如 "*" 來重復它，可以在其他組（無捕獲組與捕獲組）中嵌套它。(?:...) 對于修改已有組尤其有用，因為你可以不用改變所有其他組號的情況下添加一個新組。捕獲組和無捕獲組在搜索效率方面也沒什么不同，沒有哪一個比另一個更快。

其次，更重要和強大的是命名組；與用數字指定組不同的是，它可以用名字來指定。

命令組的語法是 Python 專用擴展之一： (?P<name>...)。名字很明顯是組的名字。除了該組有個名字之外，命名組也同捕獲組是相同的。`MatchObject` 的方法處理捕獲組時接受的要么是表示組號的整數，要么是包含組名的字符串。命名組也可以是數字，所以你可以通過兩種方式來得到一個組的信息：

#!python
 >>> p = re.compile(r'(?P<word>/b/w+/b)')
 >>> m = p.search( '(((( Lots of punctuation )))' )
 >>> m.group('word')
 'Lots'
 >>> m.group(1)
 'Lots'

命名組是便于使用的，因為它可以讓你使用容易記住的名字來代替不得不記住的數字。這里有一個來自 imaplib 模塊的 RE 示例：

#!python
 InternalDate = re.compile(r'INTERNALDATE "'
 r'(?P<day>[ 123][0-9])-(?P<mon>[A-Z][a-z][a-z])-'
 r'(?P<year>[0-9][0-9][0-9][0-9])'
 r' (?P<hour>[0-9][0-9]):(?P<min>[0-9][0-9]):(?P<sec>[0-9][0-9])'
 r' (?P<zonen>[-+])(?P<zoneh>[0-9][0-9])(?P<zonem>[0-9][0-9])'
 r'"')

很明顯，得到 m.group('zonem') 要比記住得到組 9 要容易得多。

因為逆向引用的語法，象 (...)/1 這樣的表達式所表示的是組號，這時用組名代替組號自然會有差別。還有一個 Python 擴展：(?P=name) ，它可以使叫 name 的組內容再次在當前位置發現。正則表達式為了找到重復的單詞，(/b/w+)/s+/1 也可以被寫成 (?P<word>/b/w+)/s+(?P=word)：

#!python
 >>> p = re.compile(r'(?P<word>/b/w+)/s+(?P=word)')
 >>> p.search('Paris in the the spring').group()
 'the the'

前向界定符

另一個零寬界定符（zero-width assertion）是前向界定符。前向界定符包括前向肯定界定符和后向肯定界定符，所下所示：

(?=...)

前向肯定界定符。如果所含正則表達式，以 ... 表示，在當前位置成功匹配時成功，否則失敗。但一旦所含表達式已經嘗試，匹配引擎根本沒有提高；模式的剩馀部分還要嘗試界定符的右邊。

(?!...)

前向否定界定符。與肯定界定符相反；當所含表達式不能在字符串當前位置匹配時成功

通過示范在哪前向可以成功有助于具體實現。考慮一個簡單的模式用于匹配一個文件名，并將其通過 "." 分成基本名和擴展名兩部分。如在 "news.rc" 中，"news" 是基本名，"rc" 是文件的擴展名。

匹配模式非常簡單：

.*[.].*$

注意 "." 需要特殊對待，因為它是一個元字符；我把它放在一個字符類中。另外注意后面的 $; 添加這個是為了確保字符串所有的剩馀部分必須被包含在擴展名中。這個正則表達式匹配 "foo.bar"、"autoexec.bat"、 "sendmail.cf" 和 "printers.conf"。

現在，考慮把問題變得復雜點；如果你想匹配的擴展名不是 "bat" 的文件名？一些不正確的嘗試：

.*[.][^b].*$

上面的第一次去除 "bat" 的嘗試是要求擴展名的第一個字符不是 "b"。這是錯誤的，因為該模式也不能匹配 "foo.bar"。

.*[.]([^b]..|.[^a].|..[^t])$

當你試著修補第一個解決方法而要求匹配下列情況之一時表達式更亂了：擴展名的第一個字符不是 "b"; 第二個字符不是 "a"；或第三個字符不是 "t"。這樣可以接受 "foo.bar" 而拒絕 "autoexec.bat"，但這要求只能是三個字符的擴展名而不接受兩個字符的擴展名如 "sendmail.cf"。我們將在努力修補它時再次把該模式變得復雜。

.*[.]([^b].?.?|.[^a]?.?|..?[^t]?)$

在第三次嘗試中，第二和第三個字母都變成可選，為的是允許匹配比三個字符更短的擴展名，如 "sendmail.cf"。

該模式現在變得非常復雜，這使它很難讀懂。更糟的是，如果問題變化了，你想擴展名不是 "bat" 和 "exe"，該模式甚至會變得更復雜和混亂。

前向否定把所有這些裁剪成：

.*[.](?!bat$).*$

前向的意思：如果表達式 bat 在這里沒有匹配，嘗試模式的其馀部分；如果 bat$ 匹配，整個模式將失敗。后面的 $ 被要求是為了確保象 "sample.batch" 這樣擴展名以 "bat" 開頭的會被允許。

將另一個文件擴展名排除在外現在也容易；簡單地將其做為可選項放在界定符中。下面的這個模式將以 "bat" 或 "exe" 結尾的文件名排除在外。

.*[.](?!bat$|exe$).*$

修改字符串

到目前為止，我們簡單地搜索了一個靜態字符串。正則表達式通常也用不同的方式，通過下面的 `RegexObject` 方法，來修改字符串。

將字符串分片

`RegexObject` 的 split() 方法在 RE 匹配的地方將字符串分片，將返回列表。它同字符串的 split() 方法相似但提供更多的定界符；split()只支持空白符和固定字符串。就象你預料的那樣，也有一個模塊級的 re.split() 函數。

split(string [, maxsplit = 0])

通過正則表達式將字符串分片。如果捕獲括號在 RE 中使用，那么它們的內容也會作為結果列表的一部分返回。如果 maxsplit 非零，那么最多只能分出 maxsplit 個分片。

你可以通過設置 maxsplit 值來限制分片數。當 maxsplit 非零時，最多只能有 maxsplit 個分片，字符串的其馀部分被做為列表的最后部分返回。在下面的例子中，定界符可以是非數字字母字符的任意序列。

#!python
 >>> p = re.compile(r'/W+')
 >>> p.split('This is a test, short and sweet, of split().')
 ['This', 'is', 'a', 'test', 'short', 'and', 'sweet', 'of', 'split', '']
 >>> p.split('This is a test, short and sweet, of split().', 3)
 ['This', 'is', 'a', 'test, short and sweet, of split().']

有時，你不僅對定界符之間的文本感興趣，也需要知道定界符是什么。如果捕獲括號在 RE 中使用，那么它們的值也會當作列表的一部分返回。比較下面的調用：

#!python
 >>> p = re.compile(r'/W+')
 >>> p2 = re.compile(r'(/W+)')
 >>> p.split('This... is a test.')
 ['This', 'is', 'a', 'test', '']
 >>> p2.split('This... is a test.')
 ['This', '... ', 'is', ' ', 'a', ' ', 'test', '.', '']

模塊級函數 re.split() 將 RE 作為第一個參數，其他一樣。

#!python
 >>> re.split('[/W]+', 'Words, words, words.')
 ['Words', 'words', 'words', '']
 >>> re.split('([/W]+)', 'Words, words, words.')
 ['Words', ', ', 'words', ', ', 'words', '.', '']
 >>> re.split('[/W]+', 'Words, words, words.', 1)
 ['Words', 'words, words.']

搜索和替換

其他常見的用途就是找到所有模式匹配的字符串并用不同的字符串來替換它們。sub() 方法提供一個替換值，可以是字符串或一個函數，和一個要被處理的字符串。

sub(replacement, string[, count = 0])

返回的字符串是在字符串中用 RE 最左邊不重復的匹配來替換。如果模式沒有發現，字符將被沒有改變地返回。

可選參數 count 是模式匹配后替換的最大次數；count 必須是非負整數。缺省值是 0 表示替換所有的匹配。

這里有個使用 sub() 方法的簡單例子。它用單詞 "colour" 替換顏色名。

#!python
 >>> p = re.compile( '(blue|white|red)')
 >>> p.sub( 'colour', 'blue socks and red shoes')
 'colour socks and colour shoes'
 >>> p.sub( 'colour', 'blue socks and red shoes', count=1)
 'colour socks and red shoes'

subn() 方法作用一樣，但返回的是包含新字符串和替換執行次數的兩元組。

#!python
 >>> p = re.compile( '(blue|white|red)')
 >>> p.subn( 'colour', 'blue socks and red shoes')
 ('colour socks and colour shoes', 2)
 >>> p.subn( 'colour', 'no colours at all')
 ('no colours at all', 0)

空匹配只有在它們沒有緊挨著前一個匹配時才會被替換掉。

#!python
 >>> p = re.compile('x*')
 >>> p.sub('-', 'abxd')
 '-a-b-d-'

如果替換的是一個字符串，任何在其中的反斜杠都會被處理。"/n" 將會被轉換成一個換行符，"/r"轉換成回車等等。未知的轉義如 "/j" 則保持原樣。逆向引用，如 "/6"，被 RE 中相應的組匹配而被子串替換。這使你可以在替換后的字符串中插入原始文本的一部分。

這個例子匹配被 "{" 和 "}" 括起來的單詞 "section"，并將 "section" 替換成 "subsection"。

#!python
 >>> p = re.compile('section{ ( [^}]* ) }', re.VERBOSE)
 >>> p.sub(r'subsection{/1}','section{First} section{second}')
 'subsection{First} subsection{second}'

還可以指定用 (?P<name>...) 語法定義的命名組。"/g<name>" 將通過組名 "name" 用子串來匹配，并且 "/g<number>" 使用相應的組號。所以 "/g<2>" 等于 "/2"，但能在替換字符串里含義不清，如 "/g<2>0"。（"/20" 被解釋成對組 20 的引用，而不是對后面跟著一個字母 "0" 的組 2 的引用。）

#!python
 >>> p = re.compile('section{ (?P<name> [^}]* ) }', re.VERBOSE)
 >>> p.sub(r'subsection{/1}','section{First}')
 'subsection{First}'
 >>> p.sub(r'subsection{/g<1>}','section{First}')
 'subsection{First}'
 >>> p.sub(r'subsection{/g<name>}','section{First}')
 'subsection{First}'

替換也可以是一個甚至給你更多控制的函數。如果替換是個函數，該函數將會被模式中每一個不重復的匹配所調用。在每個調用時，函數被作為 `MatchObject` 的匹配函屬，并可以使用這個信息去計算預期的字符串并返回它。

在下面的例子里，替換函數將十進制翻譯成十六進制：

#!python
 >>> def hexrepl( match ):
 ...     "Return the hex string for a decimal number"
 ...     value = int( match.group() )
 ...     return hex(value)
 ...
 >>> p = re.compile(r'/d+')
 >>> p.sub(hexrepl, 'Call 65490 for printing, 49152 for user code.')
 'Call 0xffd2 for printing, 0xc000 for user code.'

當使用模塊級的 re.sub() 函數時，模式作為第一個參數。模式也許是一個字符串或一個 `RegexObject`；如果你需要指定正則表達式標志，你必須要么使用 `RegexObject` 做第一個參數，或用使用模式內嵌修正器，如 sub("(?i)b+", "x", "bbbb BBBB") returns 'x x'。

常見問題

正則表達式對一些應用程序來說是一個強大的工具，但在有些時候它并不直觀而且有時它們不按你期望的運行。本節將指出一些最容易犯的常見錯誤。

使用字符串方式

有時使用 re 模塊是個錯誤。如果你匹配一個固定的字符串或單個的字符類，并且你沒有使用 re 的任何象 IGNORECASE 標志的功能，那么就沒有必要使用正則表達式了。字符串有一些方法是對固定字符串進行操作的，它們通常快很多，因為都是一個個經過優化的C 小循環，用以代替大的、更具通用性的正則表達式引擎。

舉個用一個固定字符串替換另一個的例子；如，你可以把 "deed" 替換成 "word"。re.sub() seems like the function to use for this, but consider the replace() method. 注意 replace() 也可以在單詞里面進行替換，可以把 "swordfish" 變成 "sdeedfish",不過 RE 也是可以做到的。（為了避免替換單詞的一部分，模式將寫成 /bword/b，這是為了要求 "word" 兩邊有一個單詞邊界。這是個超出替換能力的工作）。

另一個常見任務是從一個字符串中刪除單個字符或用另一個字符來替代它。你也許可以用象 re.sub('/n',' ',S) 這樣來實現，但 translate() 能夠實現這兩個任務，而且比任何正則表達式操作起來更快。

總之，在使用 re 模塊之前，先考慮一下你的問題是否可以用更快、更簡單的字符串方法來解決。

match() vs search()

match() 函數只檢查 RE 是否在字符串開始處匹配，而 search() 則是掃描整個字符串。記住這一區別是重要的。記住，match() 只報告一次成功的匹配，它將從 0 處開始；如果匹配不是從 0 開始的，match() 將不會報告它。

#!python
 >>> print re.match('super', 'superstition').span()
 (0, 5)
 >>> print re.match('super', 'insuperable')
 None

另一方面，search() 將掃描整個字符串，并報告它找到的第一個匹配。

#!python
 >>> print re.search('super', 'superstition').span()
 (0, 5)
 >>> print re.search('super', 'insuperable').span()
 (2, 7)

有時你可能傾向于使用 re.match()，只在RE的前面部分添加 .* 。請盡量不要這么做，最好采用 re.search() 代替之。正則表達式編譯器會對 REs 做一些分析以便可以在查找匹配時提高處理速度。一個那樣的分析機會指出匹配的第一個字符是什么；舉個例子，模式 Crow 必須從 "C" 開始匹配。分析機可以讓引擎快速掃描字符串以找到開始字符，并只在 "C" 被發現后才開始全部匹配。

添加 .* 會使這個優化失敗，這就要掃描到字符串尾部，然后回溯以找到 RE 剩馀部分的匹配。使用 re.search() 代替。

貪婪 vs 不貪婪

當重復一個正則表達式時，如用 a*，操作結果是盡可能多地匹配模式。當你試著匹配一對對稱的定界符，如 HTML 標志中的尖括號時這個事實經常困擾你。匹配單個 HTML 標志的模式不能正常工作，因為 .* 的本質是“貪婪”的

#!python
 >>> s = '<html><head><title>Title</title>'
 >>> len(s)
 32
 >>> print re.match('<.*>', s).span()
 (0, 32)
 >>> print re.match('<.*>', s).group()
 <html><head><title>Title</title>

RE 匹配 在 "<html>" 中的 "<"，.* 消耗掉子符串的剩馀部分。在 RE 中保持更多的左，雖然 > 不能匹配在字符串結尾，因此正則表達式必須一個字符一個字符地回溯，直到它找到 > 的匹配。最終的匹配從 "<html" 中的 "<" 到 "</title>" 中的 ">",這并不是你所想要的結果。

在這種情況下，解決方案是使用不貪婪的限定符 *?、+?、?? 或 {m,n}?，盡可能匹配小的文本。在上面的例子里， ">" 在第一個 "<" 之后被立即嘗試，當它失敗時，引擎一次增加一個字符，并在每步重試 ">"。這個處理將得到正確的結果：

#!python
 >>> print re.match('<.*?>', s).group()
 <html>

注意用正則表達式分析 HTML 或 XML 是痛苦的。變化混亂的模式將處理常見情況，但 HTML 和 XML 則是明顯會打破正則表達式的特殊情況；當你編寫一個正則表達式去處理所有可能的情況時，模式將變得非常復雜。象這樣的任務用 HTML 或 XML 解析器。

不用 re.VERBOSE

現在你可能注意到正則表達式的表示是十分緊湊，但它們非常不好讀。中度復雜的 REs 可以變成反斜杠、圓括號和元字符的長長集合，以致于使它們很難讀懂。

在這些 REs 中，當編譯正則表達式時指定 re.VERBOSE 標志是有幫助的，因為它允許你可以編輯正則表達式的格式使之更清楚。

re.VERBOSE 標志有這么幾個作用。在正則表達式中不在字符類中的空白符被忽略。這就意味著象 dog | cat 這樣的表達式和可讀性差的 dog|cat 相同，但 [a b] 將匹配字符 "a"、"b" 或 空格。另外，你也可以把注釋放到 RE 中；注釋是從 "#" 到下一行。當使用三引號字符串時，可以使 REs 格式更加干凈：

#!python
 pat = re.compile(r"""
 /s*                 # Skip leading whitespace
 (?P<header>[^:]+)   # Header name
 /s* :               # Whitespace, and a colon
 (?P<value>.*?)      # The header's value -- *? used to
 # lose the following trailing whitespace
 /s*$                # Trailing whitespace to end-of-line
 """, re.VERBOSE)

這個要難讀得多：

#!python
 pat = re.compile(r"/s*(?P<header>[^:]+)/s*:(?P<value>.*?)/s*$")

反饋

正則表達式是一個復雜的主題。本文能否有助于你理解呢？那些部分是否不清晰，或在這兒沒有找到你所遇到的問題？如果是那樣的話，請將建議發給作者以便改進。