NAME¶

re_syntax - Tcl 正則表達式的語法。

描述 DESCRIPTION¶

一個正則表達式 (regular expression ) 描述了一類字符串。它是匹配特定字符串而不匹配其他的字符串的一個模式。

RE 的不同風格 DIFFERENT FLAVORS OF REs¶

正則表達式(“RE”)由 POSIX 定義，有兩種風格(flavor): 擴展 RE(``EREs'')和基本RE(``BREs'')。ERE 粗略的相當於傳統的 egrep 的正則表達式，而 BRE 粗略的相當於傳統的 ed 的正則表達式。這個實現增加了第三種風格，高級RE(``AREs'')，它基本上是 ERE 再加上一些重要的擴展。

譯註：grep 缺省支持 BRE，通過指定 -E 選項來支持 ERE，歷史上的 egrep 和 fgrep 已經合併入 grep 中。ed、sed 支持 BRE，lex、AWK 支持 ERE。

這個手冊頁主要描述 ARE。提供 BRE 主要是爲了在一些老程序中反向(backward)兼容；它們將最後討論。POSIX ERE 基本上是 ARE 的一個真子集。在 ERE 中不存在的 ARE 的特徵將被指示出來。

正則表達式的語法 REGULAR EXPRESSION SYNTAX¶

實現 Tcl 正則表達式使用了 Henry Spencer 寫的包，基於 POSIX 1003.2 規定和一些(不是全部) Perl5 擴展 (感謝 Henry!)。下面的許多正則表達式描述是原封不動的從他的手冊頁複製過來的。

譯註：Perl5 的正則表達式也是從 Henry Spencer 所寫的包演變而來。

一個 ARE 是一個或多個由`|'分隔的分支(branch)(構成的)，它匹配與任何一個分支匹配的一個字符序列。

一個分支是零或多個串聯起來的約束(constraint)或定量原子(quantified atom)(構成的)。它與每個構件(約束或定量原子)所匹配的任何字符序列的一個串聯相匹配，組成這個字符序列的串聯的第一個字符序列與這個分支的第一個構件相匹配，第二個字符序列與第二個構件相匹配，以此類推。一個空分支匹配空串。

一個定量原子是可能跟隨一個單一的定量符 (quantifier) 的原子。不加定量符，它匹配這個原子的一個匹配。定量符和它所定量的原子的匹配如下:

使用 { 和 } 的形式叫做束縛(bound)。數 m 和 n 是無符號十進制整數，允許的值從 0 到 255(包括0 及 255)。

原子是下列之一:

約束 (constraint) 在指定條件滿足的時候匹配一個空串。一個約束不能跟隨一個定量符。簡單的約束如下；其他的在以後的 ESCAPES 轉義 章節中介紹。

譯註：約束的術語叫錨定

前行約束不能包括後引用(參見後面)，並且其中的所有圓括號被認爲是非捕獲的。

一個 RE 不能結束於`\'.

方括號表達式 BRACKET EXPRESSIONS¶

一個方括號表達式是一個在`[]'中包圍的一個列表。它通常匹配列表中的任意一個單一字符(參見後面)。如果這個列表以“^”爲開始，它匹配不屬於這個列表剩餘部分的任意一個單一字符(參見後面)。

如果在這個列表中的兩個字符被`-'分割，這是在歸併序列(collating sequence)中這兩個字符之間(包括二者)的字符的完整範圍的簡寫，例如，[0-9] 在 ASCII 中匹配任何十進制數字。兩個範圍不能共享同一個端點，比如 a-c-e 是非法的。範圍是很依賴於整理序列的，可移植程序應該避免依靠它們。

譯註：整理元素 -- 用來確定字符或寬字符字符串的邏輯次序的最小實體。一個整理元素的組成要麼是一個單一字符，要麼是被整理爲一個實體的兩個或更多字符。由當前地域(locale)中的 LC_COLLATE 類屬的值確定整理元素的當前設置。

譯註：整理序列 -- 當前地域中的 LC_COLLATE 類屬的設置確定 整理元素的相對次序。這個字符次序定義所有整理元素的相對位置，在這個次序中每個元素都佔有一個唯一的位置。

要在這個列表中包括一個文字的 ] 或者 - ，最簡單的方法是把它包圍在 [. 和 .] 中使它成爲一個整理元素(見後)。可替代的，使它成爲第一個字符(跟隨在可能的‘^’的後面)，或(專屬 ARE) 加以 ‘\fR’先導。可選的，對於‘-’，使它成爲最後的字符，或一個範圍的第二端點。要使用一個文字 - 作爲一個範圍的開始端點，可以使它成爲一個整理元素或(專屬 ARE) 加以‘\’先導。除了這些例外、一些使用 [ (參見下段)的組合、和轉義，在一個方括號表達式中的所有其他特殊字符失去其特殊意義。

在一個方括號表達式當中，在 [. 和 .] 當中包圍一個歸併元素(collating element)(一個字符、一個多字符序列被整理爲如同一個單一字符，或給二者的一個整理序列名字)表示這個整理元素的一個字符序列。這個序列是這個方括號表達式列表中的一個單一元素。在有多字符整理元素的地域中，一個方括號表達式可以匹配多於一個字符。 所以(潛藏的)，即使在方括號表達式中未出現多字符整理元素，以 ^ 爲開始的一個方括號表達式仍可以匹配多字符整理元素! (注意：Tcl 目前沒有多字符整理元素。這些信息只是用來解釋概念。)

例如，假定整理序列包含一個 ch 多字符整理元素，則 RE [[.ch.]]*c (後面跟隨着 c的零或多個 ch) 匹配`chchcc'的最先的5個字符。還有 [^c]b 匹配整個`chb'(因爲 [^c] 匹配多字符 ch)。

在一個方括號表達式中，在 [= 和 =] 當中包含的一個整理元素是一個equivalence class 等價類，表示等價於這個整理元素的所有整理元素的字符序列，包括它自身。(如果沒有其他等價的整理元素，與在分界符`[.'和`.]'中包含一樣對待。) 例如，如果 o 和^ 是一個等價類的成員，則`[[=o=]]'、`[[=^=]]'、和`[o^]'都是同義詞。一個等價類不能是一個範圍的端點。 (注意：Tcl 目前只實現了 Unicode 地域。它不定義任何等價類。上面的例子只是用來解釋概念。)

在一個方括號表達式中，在 [: 和 :] 中包含的一個character class 字符類 的名字表示屬於這個類的所有字符的列表(不是所有整理元素!)。標準字符類有:

alpha	一個字母
upper	一個大寫字母
lower	一個小寫字母 
digit	一個十進制數字
xdigit	一個十六進制數字
alnum	一個 alphanumeric (字母或數字)
print	一個 alphanumeric (同於 alnum)
blank	一個空格或 tab 字符
space	在顯示的文本中產生白空格的一個字符 
punct	一個標點字符
graph	有圖形表示的一個字符
cntrl	一個控制字符

一個地域可以提供其他的字符類。 (注意：Tcl 目前只實現了一個地域：Unicode 地域。) 一個字符類不能用做一個範圍的端點。

方括號表達式有兩個特殊情況: 方括號表達式 [[:<:]] 和 [[:>:]] 是約束，分別匹配在一個字開始處和結束處的空串。定義一個字爲既沒有前導的又沒有尾隨的單詞字符的單詞字符的一個序列。一個單詞字符是一個 alnum 字符或一個下劃線(_)。這些特殊的方括號表達式已被淘汰；ARE 用戶應當轉而使用約束轉義(見後)。

轉義 ESCAPES¶

轉義(專屬 ARE)，它以 \ 爲開始後面跟隨着一個字母字符，存在一些變體: 字符錄入(entry)、類簡寫、約束轉義、和後引用。在 ARE 中，跟隨着一個 alphanumeric 字符但不約束一個有效轉義的 \ 是非法的。在 ERE 中，沒有轉義: 在方括號表達式外部，跟隨着一個 alphanumeric 字符的一個 \ 僅表示這個字符爲一個普通字符，而在一個方括號表達式內部， \ 是一個普通字符。(後者是在 ERE 和 ARE 之間的一個實際上的不兼容。)

字符錄入轉義 (Character-entry escapes) (專屬 ARE) 的存在簡便了在 RE 中指定一個非打印和其他非常規字符:

十六進制數字是 `0'-`9', `a'-`f', 和`A'-`F'. 八進制數字是 `0'-`7'.

字符錄入轉義總是被接受爲普通字符。例如， \135 是ASCII中的 ] 而 \135 不終結一個方括號表達式。但是要小心，一些應用(例如 C 編譯器)在正則表達式包得到它們之前要自己解釋這些序列，這可能就要求寫兩次(四次 (quadrupling)，等等) `\'。

類簡寫轉義 Class-shorthand escapes (專屬 ARE) 爲特定的通用字符類提供簡寫:

W在方括號表達式中，沒有外面的方括號的`\d', `\s', 和 `\w' ，還有 `\D', `\S', 和 `\W' 都是非法的。 (所以，等價於[a-c[:digit:]] 的 [a-c\d] 和等價於 [a-c^[:digit:]] 的[a-c\D] 是非法的)

約束轉義 constraint escape (AREs only) 是如果指定條件滿足則匹配空串的一個約束，它被寫成一個轉義:

同於上面規定的 [[:<:]] 和 [[:>:]] ，字定義爲既沒有前導的又沒有尾隨的單詞字符的一個序列。 一個單詞字符是一個 alnum 字符或一個下劃線(_)。 在方括號表達式中，約束轉義是非法的。

一個後引用(專屬 ARE) 匹配的字符串與用數字指定的在圓括號中的子表達式所匹配的字符串相同，所以(例如) ([bc])\1 匹配 bb 或 cc 而不是 ‘bc’。在 RE 中，子表達式必須全部在後引用的前面。以前導的圓括號(左圓括號)的次序給子表達式編號。非捕獲圓括號不定義子表達式。

譯註：後引用是原屬 BRE 的特徵，ERE 無此特徵。例如，表達式 ^(.*)\1$ 匹配由同一個字符串的兩個毗連的出現組成的一行，而表達式 (a)*\1 不匹配 a。(a)(b)\1 匹配 aba，(a)(b)\2 匹配 abb，(a(b))\1 匹配 abab，(a(b))\2 匹配abb。(a)\1 等價於 a{2,2}。

在八進制字符錄入轉義和後引用之間有一個歷史遺留的二義性，只能象上面提示的那樣用啓發式的方法來解決。一個前導的零總是指示一個八進制轉義。一個單一的非零數字，不跟隨着其他數字，總是接受爲一個後引用。不以一個零爲開始的一個多數字序列如果在一個合適的子表達式後面，則被接受爲一個後引用 (比如給出的後引用的序號在合法範圍內)，否則被接受爲一個八進制轉義。

元語法 METASYNTAX¶

除了上面描述的主要的語法之外，還可獲得特殊形式和雜項的一些語法性的設施。

一般通過應用相關的方式指定使用的 RE 的風格。但是，可以用指示符(director)來屏棄它們。如果某種風格的一個 RE 以‘***:’爲開始，則 RE 的剩餘部分是一個 ARE。如果某種風格的一個 RE 以‘***=’爲開始，則 RE 的剩餘部分被接受爲一個文字串，並且其中的所有字符被認爲是普通字符。

一個 ARE 可以以embedded options 嵌入選項爲開始: 一個序列 (?xyz) (這裏的 xyz 是一個或更多的字母字符) 指定影響 RE 剩餘部分的選項。它們提供和屏棄由應用指定的任何選項。可獲得的選項字母有:

嵌入選項影響的序列被 ) 終結。它們只在一個 ARE 的開始處有效，此後不可以在其中使用。

除了通常的(緊湊) RE 語法，其中所有字符都有意義，還有一個展開語法，在所有風格的 RE 中都可以使用 -expanded 開關來獲得它，或者在 ARE 中使用嵌入的 x 選項。在展開語法中，忽略白空格和在 # 和隨後的換行(或 RE 結束)之間的所有字符，這就允許了在一個複雜的 RE 中進行分段和註釋。有對這些基本規則的三個例外:

展開語法中的白空格是 blank、tab 、和屬於空格字符類的任何字符。

最後，在 ARE 中，在方括號表達式外面，序列 `(?#ttt)' (這裏的 ttt 是不包含 `)' 的任何文本) 是一個註釋，它將被完全忽略。同樣，不允許它在多字符符號如 `(?:'中間的出現。這種註釋是歷史產物而不是很有用的設施，它的使用被淘汰了；應使用展開語法來替代。

如果應用(或一個啓始的 ***= 指示符)指定用戶的輸入被作爲一個文字串而不是一個 RE 來對待，則不能獲得這些元語法擴展。

匹配 MATCHING¶

譯註：下述引自 XBD RE 規定中的匹配定義，略有變更。

譯註：零個或多個字符的一個序列被稱爲與 RE 匹配的條件是在這個序列中的字符對應於這個模式定義的一個字符序列。

譯註：對一個匹配的序列的查找開始於一個字符串的開始處，停止於找到第一個匹配字符串的時候，這裏定義第一個的意思爲“字符串中最早開始的”。如果模式允許匹配的字符有可變的數目，因此在這個點開始的序列多於一個，則匹配最長的那個序列。例如: RE bb* 匹配 abbbc 中的第2到第4個字符，而 RE (wee|week)(knights|night) 匹配 weeknights 的所有10個字符。

譯註：與整個匹配是最長的最左匹配相一致，從左到右的每個子模式，匹配最長的可能的字符串。爲此，一個空串被認爲比根本沒有匹配長。例如，針對(against) abcdef 匹配 RE (.*).* ,子表達式 (1) 是 abcdef，而針對 bc 匹配 RE (a*)*，子表達式 (1) 是空串。

譯註：通過向每個子表達式遞歸的提供最左最長匹配來確定什麼(子)字符串對應於子表達式是可能的，而附帶條件是整體匹配是最左的、最長的。例如，針對acdacaaa 匹配 (ac*)c*d[ac]*1 匹配出 acdacaaa (這裏 1=a)； 而簡單的給 (ac*) 匹配最長的將生成 1=ac，但整體匹配將變小 (acdac)。概念上，實現必須檢查每種可能的匹配，並在生成的最左最長的總體匹配中，爲最左子表達式挑出一個最長的匹配(子串)並以此類推。注意，這意味着子表達式的匹配是上下文相關的: 在一個很大的 RE 中的一個子表達式所匹配的字符串可能與它作爲一個獨立的 RE 時不同，還有，即使在類似的字符序列中，在同一個很大的 RE 中的同一個子表達式的兩個實例可能匹配不同的長度。例如，在 RE (a.*b)(a.*b) 中，兩個完全相同的子表達式將分別的匹配 accbaccccb 的四個和六個字符。

如果一個 RE 能匹配一個給定字符串中的多於一個的子串，RE 匹配在這個字符串中最先開始的子串。如果 RE能匹配的在這一點上開始的子串多於一個，它的選擇決定於它的偏好(preference): 要麼是最長的子串，要麼是最短的子串。

多數原子和所有約束，都沒有偏好。一個有圓括號的 RE 與 RE 有相同的偏好(有可能沒有)。一個有 {m} 或 {m}? 定量符的定量原子與原子自身有相同的偏好(有可能沒有)。一個有其他平常的定量符的定量原子(包括在 {m,n} 中 m 等於 n) 偏好最長的匹配。一個有不貪婪定量符的定量原子(包括在 {m,n}? 中 m 等於 n 的情況) 偏好最短的匹配。一個分支與在它的裏面的第一個定量原子有相同的偏好。用 | 操作符連接起來的一個由兩個或多個分支組成的 RE 偏好最長的匹配。

取決於匹配整個 RE 的規則所強加的約束，基於可能子串的表現，子表達式可以匹配最長或最短的可能子串，在 RE 中開始較早的子表達式優先於開始較晚的。注意，外部的子表達式優先於其中的構件子表達式。

注意，可以分別的使用定量符 {1,1} 和 {1,1}? 在子表達式或整個 RE 上強制最長和最短偏好。

用字符數而不是整理元素數來測量匹配長度。一個空串被當作比根本沒有匹配長 ，例如 bb* 匹配 `abbbc'中間的三個字符， (week|wee)(night|knights) 匹配 `weeknights'的所有10個字符，在針對(against) abc 匹配 (.*).* 的時候圓括號中的子表達式匹配所有這三個字符，而在針對 bc 匹配 (a*)* 的時候整個 RE 和圓括號中子表達式都匹配一個空串。

如果指定了大小寫無關匹配，效果如同所有字母的大小寫區別都消失了。當存在大小寫區別的一個字符在方括號表達式外面作爲一個普通字符出現的時候，它被有效的轉變成包含大小寫二者的一個方括號表達式， 所以 x 變成了`[xX]'。當它出現在一個方括號表達式中，把它對應的所有大小寫添加到方括號中，所以[x] 變成 [xX]而 [^x] 變成 `[^xX]'。

如果指定了換行敏感匹配，則 . 和使用 ^ 的方括號表達式永不匹配換行字符(所以除非 RE 顯式安排，否則永不會跨越換行來進行匹配)，並且 ^ 和 $ 除了分別匹配字符串的開始和結束之外，還分別的匹配在換行之後和之前的空串。ARE [u548C] [u7E7C]續只匹配字符串的開始和結束。

如果指定了部分換行敏感，這將致使 . 和方括號表達式成爲換行敏感匹配，但不影響 ^ 和‘$’。

如果指定了反向部分換行敏感，這將致使 ^ 和 $ 成爲換行敏感匹配，但不影響 . 和方括號。這不是很有用，提供它只是爲了對稱。

限制和兼容性 LIMITS AND COMPATIBILITY¶

對於 RE 的長度沒有強加特定的限制。想要高度可移植的程序不應該依賴比 256 字節長的 RE，因爲遵從 POSIX 的實現可能拒絕接受這樣的 RE。

專屬 ARE 並且實際上與 POSIX ERE 不相容的特徵是在方括號表達式中的 \ 不失去它的特殊意義。所有其他 ARE 特徵使用的語法在 POSIX ERE 中是非法的，或着有未定義或未指定的效果；指示符的 *** 語法同樣不屬於 BRE 和 ERE 二者的 POSIX 語法。

許多 ARE 擴展取自 Perl，爲了整理它們而進行了一些變更，還有一些 Perl 擴展未提供。要注意的不相容包括：‘\b’、‘\B’，缺乏對尾隨的換行的特殊對待，爲受換行敏感匹配影響的 RE 增加了方括號表達式補全，在先行約束中對圓括號和後引用的限制，和最長/最短匹配的匹配語義。

自從這個包的一個早期的 beta 測試版本做了變更以來，RE 的匹配的規則包含正常的和非貪婪的定量符二者。(新規則更加簡單和清晰，而不在猜測用戶的真實意圖上費很大力氣。)

Henry Spencer 的原始的 1986 regexp 包，仍被廣泛的使用(例如，在 Tcl 8.1 之前的發行中)，它實現了今天的 ERE 的一個早期版本。在 regexp 的近似 ERE (簡寫爲 RRE)和 ARE 之間有四點不相容:　 In roughly increasing order of significance:

基本正則表達式 BASIC REGULAR EXPRESSIONS¶

BRE 在一些方面與 ERE 有所區別。 `|', `+', 和 ? 是普通字符並且沒有與之等價的功能。用於束縛的分界符是 \{ 和 `\}', 而 { 和 } 本身是普通字符。用於嵌套子表達式的圓括號是 \( 和`\)', 而 ( 和 ) 自身是普通字符。除了在 RE 或一個圓括號中的子表達式的開始處之外， ^ 是一個普通字符，除了在 RE 或一個圓括號中的子表達式的結束處之外， $ 是一個普通字符，而在 RE 或一個圓括號中的子表達式的開始處之外出現的 * 是一個普通字符(在可能的前導 `^' 之後)。最後，可獲得單一數字的後引用， \< 和 \> 分別是 [[:<:]] 和 [[:>:]] 的同義詞；沒有其他可獲得的轉義。

參見 SEE ALSO¶

RegExp(3), regexp(n), regsub(n), lsearch(n), switch(n), text(n)

關鍵字 KEYWORDS¶

match, regular expression, string

[中文版維護人]¶

寒蟬退士

[中文版最新更新]¶

2001/10/26

《中國 Linux 論壇 man 手冊頁翻譯計劃》:¶

http://cmpp.linuxforum.net

跋¶

本頁面中文版由中文 man 手冊頁計劃提供。
中文 man 手冊頁計劃：https://github.com/man-pages-zh/manpages-zh