找回密码
 加入
搜索
查看: 7454|回复: 11

[原创] 維基百科--正则表达式

[复制链接]
发表于 2008-10-8 07:57:41 | 显示全部楼层 |阅读模式
正規表示法(英文:Regular Expression),在計算機科學中,是指一個用來描述或者匹配一系列符合某個句法規則的字元串的單個字元串。在很多文本編輯器或其他工具裡,正則表達式通常被用來檢索和/或替換那些符合某個模式的文本內容。許多程式語言都支持利用正則表達式進行字元串操作。例如,在Perl中就內建了一個功能強大的正則表達式引擎。正則表達式這個概念最初是由Unix中的工具軟體(例如sed和grep)普及開的。「正規表示法」通常縮寫成「regex」,單數有regexp、regex,複數有regexps、regexes、regexen。

目錄 [隱藏]
1 基本概念
2 歷史
3 形式語言理論
4 表達式全集
5 範例
6 相關條目
7 外部連結



[編輯] 基本概念
一個正規表示法通常被稱為一個模式 (pattern),為用來描述或者匹配一系列符合某個句法規則的字元串。例如:Handel、Händel 和 Haendel 這三個字元串,都可以由 "H(a|ä|ae)ndel" 這個模式來描述。大部分正規表示法的形式都有如下的結構:

替換
|
豎直分隔符代表替換。例如"gray|grey"可以匹配grey或gray。
數量限定
某個字元後的數量限定符用來限定前面這個字元允許出現的個數。最常見的數量限定符包括「+」,「?」和「*」(不加數量限定則代表出現一次且僅出現一次):
+
加號代表前面的字元必須至少出現一次。(1次,或多次)。例如,"goo+gle"可以匹配google,gooogle,goooogle等;
?
問號代表前面的字元最多只可以出現一次。(0次,或1次)。例如,"colou?r"可以匹配colour或者color;
*
星號代表前面的字元可以不出現,也可以出現一次或者多次。(0次,或1次,或多次)。例如,"0*42"可以匹配42,042,0042,00042等。
匹配
圓括號可以用來定義操作符的範圍和優先度。例如,"gr(a|e)y"等價于"gray|grey","(grand)?father"匹配father和grandfather。
上述這些構造子都可以自由組合,因此,"H(ae?|ä)ndel"和"H(a|ae|ä)ndel"是相同的。

精確的語法可能因不同的工具或程序而異。


[編輯] 歷史
最初的正規表示法出現于理論計算機科學的自動控制理論和形式語言理論中。在這些領域中有對計算(自動控制)的模型和對形式語言描述與分類的研究。1940年代,Warren McCulloch與Walter Pitts將神經系統中的神經元描述成小而簡單的自動控制元。在1950年代,數學家史蒂芬·科爾·克萊尼利用稱之為正則集合的數學符號來描述此模型。肯·湯普遜將此符號系統引入編輯器QED,然後是Unix上的編輯器ed,並最終引入grep。自此,正則表達式被廣泛地使用於各種Unix或者類似Unix的工具,例如Perl。

Perl正規表示法源自於Henry Spencer寫的regex,它已經演化成了pcre(Perl兼容正規表示法Perl Compatible Regular Expressions),一個由Philip Hazel開發的,為很多現代工具所使用的庫。

各計算機語言之間的正則表達式的整合目前開展的很差。未來的Perl6的子項目Apocalypse的設計中已考慮到了這點。


[編輯] 形式語言理論
正規表示法可以用形式語言理論的方式來表達。正規表示法由常量和算子組成,它們分別指示字元串的集合和在這些集合上的運算。給定有限字母表 Σ 定義了下列常量:

(「空集」) ∅ 指示集合 ∅
(「空串」) ε 指示集合 {ε}
(「文字字元」) 在 Σ 中的 a 指示集合 {a}
定義了下列運算:

(「串接」) RS 指示集合 { αβ | α ∈ R ∧ β ∈ S }。例如 {"ab"|"c"}{"d"|"ef"} = {"abd", "abef", "cd", "cef"}。
(「選擇」) R|S 指示 R 和 S 的並集。
(「Kleene星號」) R* 指示包含 ε 並且閉合在字元串串接下的 R 的最小超集。這是可以通過 R 中的零或多個字元串的串接得到所有字元串的集合。例如,{"ab", "c"}* = {ε, "ab", "c", "abab", "abc", "cab", "cc", "ababab", ... }。
上述常量和算子形成了克萊尼代數。

很多課本使用對選擇使用符號 ∪, + 或 ∨ 替代豎杠。

為了避免括號,假定 Kleene 星號有最高優先順序,接著是串接,接著是並集。如果沒有歧義則可以省略括號。例如,(ab)c 可以寫為 abc 而 a|(b(c*)) 可以寫為 a|bc*。

例子:

a|b* 指示 {ε, a, b, bb, bbb, ...}。
(a|b)* 指示由包括空串、任意數目個 a 和 b 字元組成的所有字元串的集合。
ab*(c|ε) 指示開始於一個 a 接著零或多個 b 和最終可選的一個 c 的字元串的集合。
正規表示法的形式定義故意非常精簡,避免定義多餘的量詞 ? 和 +,它們可以被表達為: a+ = aa* 和 a? = (a|ε)。有時增加補算子 ~ ;~R 指示在 Σ* 上的不在 R 中的所有字元串的集合。補算子是多餘的,因為它使用其他算子來表達(儘管計算這種表示的過程是複雜的,而結果可能指數性的增大)。

這種意義上的正規表示法可以表達正則語言,精確的是可被有限狀態自動機接受的語言類。但是在簡潔性上有重要區別。某類正則語言只能用大小指數增長的自動機來描述,而要求的正規表示法的長度只線性的增長。正規表示法對應于喬姆斯基層級的類型-3文法。在另一方面,在正規表示法和不導致這種大小上的爆炸的非確定有限狀態自動機(NFA)之間有簡單的映射;為此 NFA 經常被用作正規表示法的替代表示。

我們還要在這種形式化中研究表達力。如下面例子所展示的,不同的正規表示法可以表達同樣的語言: 這種形式化中存在著冗余。

有可能對兩個給定正規表示法寫一個演算法來判定它們所描述的語言是否本質上相等,簡約每個表達式到極小確定有限自動機,確定它們是否同構(等價)。

這種冗余可以消減到什麼程度? 我們可以找到仍有完全表達力的正規表示法的有趣的子集嗎? Kleene 星號和並集明顯是需要的,但是我們或許可以限制它們的使用。這提出了一個令人驚奇的困難問題。因為正規表示法如此簡單,沒有辦法在語法上把它重寫成某種規範形式。過去公理化的缺乏導致了星號高度問題。最近 Dexter Kozen 用克萊尼代數公理化了正規表示法。

很多現實世界的「正規表示法」引擎實現了不能用正規表示法代數表達的特徵。


[編輯] 表達式全集
正規表示法有多種不同的風格。下表是在PCRE中元字元及其在正規表示法上下文中的行為的一個完整列表:

字元 描述
\ 將下一個字元標記為一個特殊字元、或一個原義字元、或一個向後引用、或一個八進位轉義符。例如,「n」匹配字元「n」。「\n」匹配一個換行符。序列「\\」匹配「\」而「\(」則匹配「(」。
^ 匹配輸入字元串的開始位置。如果設置了RegExp對象的Multiline屬性,^也匹配「\n」或「\r」之後的位置。
$ 匹配輸入字元串的結束位置。如果設置了RegExp對象的Multiline屬性,$也匹配「\n」或「\r」之前的位置。
* 匹配前面的子表達式零次或多次。例如,zo*能匹配「z」以及「zoo」。*等價于{0,}。
+ 匹配前面的子表達式一次或多次。例如,「zo+」能匹配「zo」以及「zoo」,但不能匹配「z」。+等價于{1,}。
? 匹配前面的子表達式零次或一次。例如,「do(es)?」可以匹配「do」或「does」中的「do」。?等價于{0,1}。
{n} n是一個非負整數。匹配確定的n次。例如,「o{2}」不能匹配「Bob」中的「o」,但是能匹配「food」中的兩個o。
{n,} n是一個非負整數。至少匹配n次。例如,「o{2,}」不能匹配「Bob」中的「o」,但能匹配「foooood」中的所有o。「o{1,}」等價于「o+」。「o{0,}」則等價于「o*」。
{n,m} m和n均為非負整數,其中n<=m。最少匹配n次且最多匹配m次。例如,「o{1,3}」將匹配「fooooood」中的前三個o。「o{0,1}」等價于「o?」。請注意在逗號和兩個數之間不能有空格。
? 當該字元緊跟在任何一個其他限制符(*,+,?,{n},{n,},{n,m})後面時,匹配模式是非貪婪的。非貪婪模式盡可能少的匹配所搜索的字元串,而默認的貪婪模式則盡可能多的匹配所搜索的字元串。例如,對於字元串「oooo」,「o+?」將匹配單個「o」,而「o+」將匹配所有「o」。
. 匹配除「\n」之外的任何單個字元。要匹配包括「\n」在內的任何字元,請使用像「[.\n]」的模式。
(pattern) 匹配pattern並獲取這一匹配。所獲取的匹配可以從產生的Matches集合得到,在VBScript中使用SubMatches集合,在JScript中則使用$0…$9屬性。要匹配圓括號字元,請使用「\(」或「\)」。
(?:pattern) 匹配pattern但不獲取匹配結果,也就是說這是一個非獲取匹配,不進行存儲供以後使用。這在使用「或」字元(|)來組合一個模式的各個部分是很有用。例如,「industr(?:y|ies)就是一個比」industry|industries'更簡略的表達式。
(?=pattern) 正向預查,在任何匹配pattern的字元串開始處匹配查找字元串。這是一個非獲取匹配,也就是說,該匹配不需要獲取供以後使用。例如,「Windows(?=95|98|NT|2000)」能匹配「Windows2000」中的「Windows」,但不能匹配「Windows3.1」中的「Windows」。預查不消耗字元,也就是說,在一個匹配發生後,在最後一次匹配之後立即開始下一次匹配的搜索,而不是從包含預查的字元之後開始。
(?!pattern) 負向預查,在任何不匹配pattern的字元串開始處匹配查找字元串。這是一個非獲取匹配,也就是說,該匹配不需要獲取供以後使用。例如「Windows(?!95|98|NT|2000)」能匹配「Windows3.1」中的「Windows」,但不能匹配「Windows2000」中的「Windows」。預查不消耗字元,也就是說,在一個匹配發生後,在最後一次匹配之後立即開始下一次匹配的搜索,而不是從包含預查的字元之後開始
x|y 匹配x或y。例如,「z|food」能匹配「z」或「food」。「(z|f)ood」則匹配「zood」或「food」。
[xyz] 字符集合。匹配所包含的任意一個字元。例如,「[abc]」可以匹配「plain」中的「a」。
[^xyz] 負值字符集合。匹配未包含的任意字元。例如,「[^abc]」可以匹配「plain」中的「p」。
[a-z] 字元範圍。匹配指定範圍內的任意字元。例如,「[a-z]」可以匹配「a」到「z」範圍內的任意小寫字母字元。
[^a-z] 負值字元範圍。匹配任何不在指定範圍內的任意字元。例如,「[^a-z]」可以匹配任何不在「a」到「z」範圍內的任意字元。
\b 匹配一個單詞邊界,也就是指單詞和空格間的位置。例如,「er\b」可以匹配「never」中的「er」,但不能匹配「verb」中的「er」。
\B 匹配非單詞邊界。「er\B」能匹配「verb」中的「er」,但不能匹配「never」中的「er」。
\cx 匹配由x指明的控制字元。例如,\cM匹配一個Control-M或回車符。x的值必須為A-Z或a-z之一。否則,將c視為一個原義的「c」字元。
\d 匹配一個數字字元。等價于[0-9]。
\D 匹配一個非數字字元。等價于[^0-9]。
\f 匹配一個換頁符。等價于\x0c和\cL。
\n 匹配一個換行符。等價于\x0a和\cJ。
\r 匹配一個回車符。等價于\x0d和\cM。
\s 匹配任何空白字元,包括空格、製表符、換頁符等等。等價于[\f\n\r\t\v]。
\S 匹配任何非空白字元。等價于[^\f\n\r\t\v]。
\t 匹配一個製表符。等價于\x09和\cI。
\v 匹配一個垂直製表符。等價于\x0b和\cK。
\w 匹配包括下劃線的任何單詞字元。等價于「[A-Za-z0-9_]」。
\W 匹配任何非單詞字元。等價于「[^A-Za-z0-9_]」。
\xn 匹配n,其中n為十六進位轉義值。十六進位轉義值必須為確定的兩個數字長。例如,「\x41」匹配「A」。「\x041」則等價于「\x04」&「1」。正則表達式中可以使用ASCII編碼。.
\num 匹配num,其中num是一個正整數。對所獲取的匹配的引用。例如,「(.)\1」匹配兩個連續的相同字元。
\n 標識一個八進位轉義值或一個向後引用。如果\n之前至少n個獲取的子表達式,則n為向後引用。否則,如果n為八進位數字(0-7),則n為一個八進位轉義值。
\nm 標識一個八進位轉義值或一個向後引用。如果\nm之前至少有nm個獲得子表達式,則nm為向後引用。如果\nm之前至少有n個獲取,則n為一個後跟文字m的向後引用。如果前面的條件都不滿足,若n和m均為八進位數字(0-7),則\nm將匹配八進位轉義值nm。
\nml 如果n為八進位數字(0-3),且m和l均為八進位數字(0-7),則匹配八進位轉義值nml。
\un 匹配n,其中n是一個用四個十六進位數字表示的Unicode字元。例如,\u00A9匹配版權符號(&copy;)。


[編輯] 範例
以下以PHP的語法所寫的範例

驗證字串是否只含數字與英文, 字串長度並在4~16個字元之間
<?php
$str = 'a1234';
if (ereg_match("^[a-zA-Z0-9]{4,16}$", $str)) {
    echo "驗證成功";
} else {
    echo "驗證失敗";
}
?>
簡易的台灣區的驗證身份字號驗證
<?php
$str = 'a1234';
if (ereg_match("^[A-Z]{1}[1-2]{1}[0-9]{8}$", $str)) {
    echo "驗證成功";
} else {
    echo "驗證失敗";
}
?>
发表于 2009-5-31 14:39:47 | 显示全部楼层
好资料,谢谢了
发表于 2009-11-27 17:47:42 | 显示全部楼层
在那粘贴的 还是繁体的。。。
发表于 2009-11-27 21:45:51 | 显示全部楼层
本帖最后由 lpxx 于 2009-11-27 21:47 编辑

方便他人阅读,转换一下。(我用排版助手转的)
正规表示法(英文:Regular Expression),在计算机科学中,是指一个用来描述或者匹配一系列符合某个句法规则的字元串的单个字元串。在很多文本编辑器或其他工具里,正则表达式通常被用来检索和/或替换那些符合某个模式的文本内容。许多程式语言都支持利用正则表达式进行字元串操作。例如,在Perl中就内建了一个功能强大的正则表达式引擎。正则表达式这个概念最初是由Unix中的工具软体(例如sed和grep)普及开的。「正规表示法」通常缩写成「regex」,单数有regexp、regex,复数有regexps、regexes、regexen.

目录 [隐藏]
1 基本概念 
2 历史 
3 形式语言理论 
4 表达式全集 
5 范例 
6 相关条目 
7 外部连结 



[编辑] 基本概念
一个正规表示法通常被称为一个模式 (pattern),为用来描述或者匹配一系列符合某个句法规则的字元串。例如:Handel、Händel 和 Haendel 这三个字元串,都可以由 "H(a|ä|ae)ndel" 这个模式来描述。大部分正规表示法的形式都有如下的结构:

替换 
| 
竖直分隔符代表替换。例如"gray|grey"可以匹配grey或gray. 
数量限定 
某个字元後的数量限定符用来限定前面这个字元允许出现的个数。最常见的数量限定符包括「+」,「?」和「*」(不加数量限定则代表出现一次且仅出现一次): 
+ 
加号代表前面的字元必须至少出现一次。(1次,或多次)。例如,"goo+gle"可以匹配google,gooogle,goooogle等; 
? 
问号代表前面的字元最多只可以出现一次。(0次,或1次)。例如,"colou?r"可以匹配colour或者color; 
* 
星号代表前面的字元可以不出现,也可以出现一次或者多次。(0次,或1次,或多次)。例如,"0*42"可以匹配42,042,0042,00042等。 
匹配 
圆括号可以用来定义操作符的范围和优先度。例如,"gr(a|e)y"等价于"gray|grey","(grand)?father"匹配father和grandfather. 
上述这些构造子都可以自由组合,因此,"H(ae?|ä)ndel"和"H(a|ae|ä)ndel"是相同的。

精确的语法可能因不同的工具或程序而异。


[编辑] 历史
最初的正规表示法出现于理论计算机科学的自动控制理论和形式语言理论中。在这些领域中有对计算(自动控制)的模型和对形式语言描述与分类的研究。1940年代,Warren McCulloch与Walter Pitts将神经系统中的神经元描述成小而简单的自动控制元。在1950年代,数学家史蒂芬·科尔·克莱尼利用称之为正则集合的数学符号来描述此模型。肯·汤普逊将此符号系统引入编辑器QED,然後是Unix上的编辑器ed,并最终引入grep.自此,正则表达式被广泛地使用於各种Unix或者类似Unix的工具,例如Perl.

Perl正规表示法源自於Henry Spencer写的regex,它已经演化成了pcre(Perl兼容正规表示法Perl Compatible Regular Expressions),一个由Philip Hazel开发的,为很多现代工具所使用的库。

各计算机语言之间的正则表达式的整合目前开展的很差。未来的Perl6的子项目Apocalypse的设计中已考虑到了这点。


[编辑] 形式语言理论
正规表示法可以用形式语言理论的方式来表达。正规表示法由常量和算子组成,它们分别指示字元串的集合和在这些集合上的运算。给定有限字母表 Σ 定义了下列常量:

(「空集」) ? 指示集合 ? 
(「空串」) ε 指示集合 {ε} 
(「文字字元」) 在 Σ 中的 a 指示集合 {a} 
定义了下列运算:

(「串接」) RS 指示集合 { αβ | α ∈ R ∧ β ∈ S }.例如 {"ab"|"c"}{"d"|"ef"} = {"abd", "abef", "cd", "cef"}. 
(「选择」) R|S 指示 R 和 S 的并集。 
(「Kleene星号」) R* 指示包含 ε 并且闭合在字元串串接下的 R 的最小超集。这是可以通过 R 中的零或多个字元串的串接得到所有字元串的集合。例如,{"ab", "c"}* = {ε, "ab", "c", "abab", "abc", "cab", "cc", "ababab", … }. 
上述常量和算子形成了克莱尼代数。

很多课本使用对选择使用符号 ∪, + 或 ∨ 替代竖杠。

为了避免括号,假定 Kleene 星号有最高优先顺序,接着是串接,接着是并集。如果没有歧义则可以省略括号。例如,(ab)c 可以写为 abc 而 a|(b(c*)) 可以写为 a|bc*.

例子:

a|b* 指示 {ε, a, b, bb, bbb, …}. 
(a|b)* 指示由包括空串、任意数目个 a 和 b 字元组成的所有字元串的集合。 
ab*(c|ε) 指示开始於一个 a 接着零或多个 b 和最终可选的一个 c 的字元串的集合。 
正规表示法的形式定义故意非常精简,避免定义多余的量词 ? 和 +,它们可以被表达为: a+ = aa* 和 a? = (a|ε)。有时增加补算子 ~ ;~R 指示在 Σ* 上的不在 R 中的所有字元串的集合。补算子是多余的,因为它使用其他算子来表达(尽管计算这种表示的过程是复杂的,而结果可能指数性的增大)。

这种意义上的正规表示法可以表达正则语言,精确的是可被有限状态自动机接受的语言类。但是在简洁性上有重要区别。某类正则语言只能用大小指数增长的自动机来描述,而要求的正规表示法的长度只线性的增长。正规表示法对应于乔姆斯基层级的类型-3文法。在另一方面,在正规表示法和不导致这种大小上的爆炸的非确定有限状态自动机(NFA)之间有简单的映射;为此 NFA 经常被用作正规表示法的替代表示。

我们还要在这种形式化中研究表达力。如下面例子所展示的,不同的正规表示法可以表达同样的语言: 这种形式化中存在着冗余。

有可能对两个给定正规表示法写一个演算法来判定它们所描述的语言是否本质上相等,简约每个表达式到极小确定有限自动机,确定它们是否同构(等价)。

这种冗余可以消减到什麽程度? 我们可以找到仍有完全表达力的正规表示法的有趣的子集吗? Kleene 星号和并集明显是需要的,但是我们或许可以限制它们的使用。这提出了一个令人惊奇的困难问题。因为正规表示法如此简单,没有办法在语法上把它重写成某种规范形式。过去公理化的缺乏导致了星号高度问题。最近 Dexter Kozen 用克莱尼代数公理化了正规表示法。

很多现实世界的「正规表示法」引擎实现了不能用正规表示法代数表达的特徵。


[编辑] 表达式全集
正规表示法有多种不同的风格。下表是在PCRE中元字元及其在正规表示法上下文中的行为的一个完整列表:

字元 描述 
\ 将下一个字元标记为一个特殊字元、或一个原义字元、或一个向後引用、或一个八进位转义符。例如,「n」匹配字元「n」。「\n」匹配一个换行符。序列「\\」匹配「\」而「\(」则匹配「(」。 
^ 匹配输入字元串的开始位置。如果设置了RegExp对象的Multiline属性,^也匹配「\n」或「\r」之後的位置。 
$ 匹配输入字元串的结束位置。如果设置了RegExp对象的Multiline属性,$也匹配「\n」或「\r」之前的位置。 
* 匹配前面的子表达式零次或多次。例如,zo*能匹配「z」以及「zoo」。*等价于{0,}. 
+ 匹配前面的子表达式一次或多次。例如,「zo+」能匹配「zo」以及「zoo」,但不能匹配「z」。+等价于{1,}. 
? 匹配前面的子表达式零次或一次。例如,「do(es)?」可以匹配「do」或「does」中的「do」。?等价于{0,1}. 
{n} n是一个非负整数。匹配确定的n次。例如,「o{2}」不能匹配「Bob」中的「o」,但是能匹配「food」中的两个o. 
{n,} n是一个非负整数。至少匹配n次。例如,「o{2,}」不能匹配「Bob」中的「o」,但能匹配「foooood」中的所有o.「o{1,}」等价于「o+」。「o{0,}」则等价于「o*」。 
{n,m} m和n均为非负整数,其中n<=m.最少匹配n次且最多匹配m次。例如,「o{1,3}」将匹配「fooooood」中的前三个o.「o{0,1}」等价于「o?」。请注意在逗号和两个数之间不能有空格。 
? 当该字元紧跟在任何一个其他限制符(*,+,?,{n},{n,},{n,m})後面时,匹配模式是非贪婪的。非贪婪模式尽可能少的匹配所搜索的字元串,而默认的贪婪模式则尽可能多的匹配所搜索的字元串。例如,对於字元串「oooo」,「o+?」将匹配单个「o」,而「o+」将匹配所有「o」。 
. 匹配除「\n」之外的任何单个字元。要匹配包括「\n」在内的任何字元,请使用像「[.\n]」的模式。 
(pattern) 匹配pattern并获取这一匹配。所获取的匹配可以从产生的Matches集合得到,在VBScript中使用SubMatches集合,在JScript中则使用$0…$9属性。要匹配圆括号字元,请使用「\(」或「\)」。 
(?:pattern) 匹配pattern但不获取匹配结果,也就是说这是一个非获取匹配,不进行存储供以後使用。这在使用「或」字元(|)来组合一个模式的各个部分是很有用。例如,「industr(?:y|ies)就是一个比」industry|industries‘更简略的表达式。 
(?=pattern) 正向预查,在任何匹配pattern的字元串开始处匹配查找字元串。这是一个非获取匹配,也就是说,该匹配不需要获取供以後使用。例如,「Windows(?=95|98|NT|2000)」能匹配「Windows2000」中的「Windows」,但不能匹配「Windows3.1」中的「Windows」。预查不消耗字元,也就是说,在一个匹配发生後,在最後一次匹配之後立即开始下一次匹配的搜索,而不是从包含预查的字元之後开始。 
(?!pattern) 负向预查,在任何不匹配pattern的字元串开始处匹配查找字元串。这是一个非获取匹配,也就是说,该匹配不需要获取供以後使用。例如「Windows(?!95|98|NT|2000)」能匹配「Windows3.1」中的「Windows」,但不能匹配「Windows2000」中的「Windows」。预查不消耗字元,也就是说,在一个匹配发生後,在最後一次匹配之後立即开始下一次匹配的搜索,而不是从包含预查的字元之後开始 
x|y 匹配x或y.例如,「z|food」能匹配「z」或「food」。「(z|f)ood」则匹配「zood」或「food」。 
[xyz] 字符集合。匹配所包含的任意一个字元。例如,「[abc]」可以匹配「plain」中的「a」。 
[^xyz] 负值字符集合。匹配未包含的任意字元。例如,「[^abc]」可以匹配「plain」中的「p」。 
[a-z] 字元范围。匹配指定范围内的任意字元。例如,「[a-z]」可以匹配「a」到「z」范围内的任意小写字母字元。 
[^a-z] 负值字元范围。匹配任何不在指定范围内的任意字元。例如,「[^a-z]」可以匹配任何不在「a」到「z」范围内的任意字元。 
\b 匹配一个单词边界,也就是指单词和空格间的位置。例如,「er\b」可以匹配「never」中的「er」,但不能匹配「verb」中的「er」。 
\B 匹配非单词边界。「er\B」能匹配「verb」中的「er」,但不能匹配「never」中的「er」。 
\cx 匹配由x指明的控制字元。例如,\cM匹配一个Control-M或回车符。x的值必须为A-Z或a-z之一。否则,将c视为一个原义的「c」字元。 
\d 匹配一个数字字元。等价于[0-9]. 
\D 匹配一个非数字字元。等价于[^0-9]. 
\f 匹配一个换页符。等价于\x0c和\cL. 
\n 匹配一个换行符。等价于\x0a和\cJ. 
\r 匹配一个回车符。等价于\x0d和\cM. 
\s 匹配任何空白字元,包括空格、制表符、换页符等等。等价于[\f\n\r\t\v]. 
\S 匹配任何非空白字元。等价于[^\f\n\r\t\v]. 
\t 匹配一个制表符。等价于\x09和\cI. 
\v 匹配一个垂直制表符。等价于\x0b和\cK. 
\w 匹配包括下划线的任何单词字元。等价于「[A-Za-z0-9_]」。 
\W 匹配任何非单词字元。等价于「[^A-Za-z0-9_]」。 
\xn 匹配n,其中n为十六进位转义值。十六进位转义值必须为确定的两个数字长。例如,「\x41」匹配「A」。「\x041」则等价于「\x04」&「1」。正则表达式中可以使用ASCII编码 
\num 匹配num,其中num是一个正整数。对所获取的匹配的引用。例如,「(。)\1」匹配两个连续的相同字元。 
\n 标识一个八进位转义值或一个向後引用。如果\n之前至少n个获取的子表达式,则n为向後引用。否则,如果n为八进位数字(0-7),则n为一个八进位转义值。 
\nm 标识一个八进位转义值或一个向後引用。如果\nm之前至少有nm个获得子表达式,则nm为向後引用。如果\nm之前至少有n个获取,则n为一个後跟文字m的向後引用。如果前面的条件都不满足,若n和m均为八进位数字(0-7),则\nm将匹配八进位转义值nm. 
\nml 如果n为八进位数字(0-3),且m和l均为八进位数字(0-7),则匹配八进位转义值nml. 
\un 匹配n,其中n是一个用四个十六进位数字表示的Unicode字元。例如,\u00A9匹配版权符号(©)。 


[编辑] 范例
以下以PHP的语法所写的范例

验证字串是否只含数字与英文, 字串长度并在4~16个字元之间 
<?php
$str = 'a1234';
if (ereg_match("^[a-zA-Z0-9]{4,16}$", $str)) {
    echo "验证成功";
} else {
    echo "验证失败";
}
?>
简易的台湾区的验证身份字号验证 
<?php
$str = 'a1234';
if (ereg_match("^[A-Z]{1}[1-2]{1}[0-9]{8}$", $str)) {
    echo "验证成功";
} else {
    echo "验证失败";
}
发表于 2011-1-1 20:52:26 | 显示全部楼层
lpxx 整理的太好了!
发表于 2011-1-2 01:04:14 | 显示全部楼层
呵呵,感谢分享, 呵呵
发表于 2011-1-2 01:04:37 | 显示全部楼层
都太贵了啊,还要钱
发表于 2011-2-13 07:46:42 | 显示全部楼层
     有点意思
发表于 2011-2-15 02:59:08 | 显示全部楼层
lpxx整理的效果非常棒
发表于 2018-11-13 15:43:50 | 显示全部楼层
谢谢分享,学习学习
发表于 2019-1-20 16:26:53 | 显示全部楼层
好味道。。。。 真的很需要
您需要登录后才可以回帖 登录 | 加入

本版积分规则

QQ|手机版|小黑屋|AUTOIT CN ( 鲁ICP备19019924号-1 )谷歌 百度

GMT+8, 2024-3-29 05:42 , Processed in 0.074385 second(s), 19 queries .

Powered by Discuz! X3.5 Licensed

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表