特别字符 | 说明 |
$ | 匹配输入字符串的结尾位置。如果设置了 RegExp 对象的 Multiline 属性,则 $ 也匹配 ‘\n' 或‘\r'。要匹配 $ 字符本身,请使用 \$。 |
( ) | 标记一个子表达式的开始和结束位置。子表达式可以获取供以后使用。要匹配这些字符,请使用 \( 和 \)。 |
* | 匹配前面的子表达式零次或多次。要匹配 * 字符,请使用 \*。 |
+ | 匹配前面的子表达式一次或多次。要匹配 + 字符,请使用 \+。 |
. | 匹配除换行符 \n之外的任何单字符。要匹配 .,请使用 \。 |
[ ] | 标记一个中括号表达式的开始。要匹配 [,请使用 \[。 |
? | 匹配前面的子表达式零次或一次,或指明一个非贪婪限定符。要匹配 ? 字符,请使用 \?。 |
\ | 将下一个字符标记为或特殊字符、或原义字符、或向后引用、或八进制转义符。例如, ‘n' 匹配字符 ‘n'。'\n' 匹配换行符。序列 ‘\\' 匹配 “\”,而 ‘\(' 则匹配 “(”。 |
^ | 匹配输入字符串的开始位置,除非在方括号表达式中使用,此时它表示不接受该字符集合。要匹配 ^ 字符本身,请使用 \^。 |
{ } | 标记限定符表达式的开始。要匹配 {,请使用 \{。 |
| | 指明两项之间的一个选择。要匹配 |,请使用 \|。 |
更详细的的一篇文章====>
基本概念
一个正则表达式通常被称为一个模式 (pattern) ,为用来描述或者匹配一系列符合某个句法 规则的字符串 。例如:Handel 、Händel 和 Haendel 这三个字符串,都可以由“ H(a|ä|ae)ndel ” 这个模式来描述。大部分正则表达式的形式都有如下的结构:
选择
| 竖直分隔符代表选择。例如“ gray|grey ” 可以匹配grey 或gray 。
数量限定
某个字符后的数量限定符用来限定前面这个字符允许出现的个数。最常见的数量限定符包括“+ ” 、“? ” 和“*” (不加数量限定则代表出现一次且仅出现一次):
+ 加号代表前面的字符必须至少出现一次。(1 次、或多次) 。例如,“ goo+gle ” 可以匹配google、gooogle 、goooogle 等;
? 问号代表前面的字符最多只可以出现一次。(0 次、或1 次) 。例如,“ colou?r ” 可以匹配color 或者colour ;
* 星号代表前面的字符可以不出现,也可以出现一次或者多次。(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 ” 是相同的。
精确的语法可能因不同的工具或程序而异。
形式化语言理论
正则表达式可以用形式化语言 理论的方式来表达。正则表达式由常量和算子组成,它们分别指示字符串的集合和在这些集合上的运算。给定有限字母表 Σ 定义了下列常量:
定义了下列运算:
- (“串接 ”) 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* 。
表达式全集
正则表达式有多种不同的风格。下表是在PCRE 中元字符及其在正则表达式上下文中的行为的一个完整列表:
字符 | 描述 |
\ | 将下一个字符标记为一个特殊字符、或一个原义字符、或一个向后引用、或一个八进制转义符。例如,“ n ” 匹配字符“ n ” 。“ \n ” 匹配一个换行符。串行“ \\ ” 匹配“ \ ” 而“ \( ” 则匹配“ ( ” 。 |
^ | 匹配输入字符串的开始位置。如果设置了RegExp 对象的Multiline 属性,^ 也匹配“ \n ” 或“\r ” 之后的位置。 |
$ | 匹配输入字符串的结束位置。如果设置了RegExp 对象的Multiline 属性,$ 也匹配“ \n ” 或“\r ” 之前的位置。 |
* | 匹配前面的子表达式零次或多次。例如,zo* 能匹配“ z ” 以及“ zoo ” 。* 等价于{0,} 。 |
+ | 匹配前面的子表达式一次或多次。例如,“ zo+ ” 能匹配“ zo ” 以及“ zoo ” ,但不能匹配“ z ”。+ 等价于{1,} 。 |
? | 匹配前面的子表达式零次或一次。例如,“ do(es)? ” 可以匹配“ does ” 或“ 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 ” 。预查不消耗字符,也就是说,在一个匹配发生后,在最后一次匹配之后立即开始下一次匹配的搜索,而不是从包含预查的字符之后开始 |
(?<=pattern) | 反向肯定预查,与正向肯定预查类似,只是方向相反。例如,“ (?<=95|98|NT|2000)Windows ” 能匹配“ 2000Windows ” 中的“ Windows ” ,但不能匹配“3.1Windows ” 中的“ Windows ” 。 |
(?<!pattern) | 反向否定预查,与正向否定预查类似,只是方向相反。例如“ (?<!95|98|NT|2000)Windows” 能匹配“ 3.1Windows ” 中的“ Windows ” ,但不能匹配“ 2000Windows ” 中的“ 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_] ” 。 |
\x n | 匹配 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 ),则匹配八进制转义值nm l 。 |
\u n | 匹配 n ,其中 n 是一个用四个十六进制数字表示的Unicode 字符。例如,\u00A9 匹配版权符号(© )。 |
基本概念
一个正则表达式通常被称为一个模式 (pattern) ,为用来描述或者匹配一系列符合某个句法 规则的字符串 。例如:Handel 、Händel 和 Haendel 这三个字符串,都可以由“ H(a|ä|ae)ndel ” 这个模式来描述。大部分正则表达式的形式都有如下的结构:
选择
| 竖直分隔符代表选择。例如“ gray|grey ” 可以匹配grey 或gray 。
数量限定
某个字符后的数量限定符用来限定前面这个字符允许出现的个数。最常见的数量限定符包括“+ ” 、“? ” 和“*” (不加数量限定则代表出现一次且仅出现一次):
+ 加号代表前面的字符必须至少出现一次。(1 次、或多次) 。例如,“ goo+gle ” 可以匹配google、gooogle 、goooogle 等;
? 问号代表前面的字符最多只可以出现一次。(0 次、或1 次) 。例如,“ colou?r ” 可以匹配color 或者colour ;
* 星号代表前面的字符可以不出现,也可以出现一次或者多次。(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 ” 是相同的。
精确的语法可能因不同的工具或程序而异。
形式化语言理论
正则表达式可以用形式化语言 理论的方式来表达。正则表达式由常量和算子组成,它们分别指示字符串的集合和在这些集合上的运算。给定有限字母表 Σ 定义了下列常量:
定义了下列运算:
- (“串接 ”) 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* 。
表达式全集
正则表达式有多种不同的风格。下表是在PCRE 中元字符及其在正则表达式上下文中的行为的一个完整列表:
字符 | 描述 |
\ | 将下一个字符标记为一个特殊字符、或一个原义字符、或一个向后引用、或一个八进制转义符。例如,“ n ” 匹配字符“ n ” 。“ \n ” 匹配一个换行符。串行“ \\ ” 匹配“ \ ” 而“ \( ” 则匹配“ ( ” 。 |
^ | 匹配输入字符串的开始位置。如果设置了RegExp 对象的Multiline 属性,^ 也匹配“ \n ” 或“\r ” 之后的位置。 |
$ | 匹配输入字符串的结束位置。如果设置了RegExp 对象的Multiline 属性,$ 也匹配“ \n ” 或“\r ” 之前的位置。 |
* | 匹配前面的子表达式零次或多次。例如,zo* 能匹配“ z ” 以及“ zoo ” 。* 等价于{0,} 。 |
+ | 匹配前面的子表达式一次或多次。例如,“ zo+ ” 能匹配“ zo ” 以及“ zoo ” ,但不能匹配“ z ”。+ 等价于{1,} 。 |
? | 匹配前面的子表达式零次或一次。例如,“ do(es)? ” 可以匹配“ does ” 或“ 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 ” 。预查不消耗字符,也就是说,在一个匹配发生后,在最后一次匹配之后立即开始下一次匹配的搜索,而不是从包含预查的字符之后开始 |
(?<=pattern) | 反向肯定预查,与正向肯定预查类似,只是方向相反。例如,“ (?<=95|98|NT|2000)Windows ” 能匹配“ 2000Windows ” 中的“ Windows ” ,但不能匹配“3.1Windows ” 中的“ Windows ” 。 |
(?<!pattern) | 反向否定预查,与正向否定预查类似,只是方向相反。例如“ (?<!95|98|NT|2000)Windows” 能匹配“ 3.1Windows ” 中的“ Windows ” ,但不能匹配“ 2000Windows ” 中的“ 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_] ” 。 |
\x n | 匹配 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 ),则匹配八进制转义值nm l 。 |
\u n | 匹配 n ,其中 n 是一个用四个十六进制数字表示的Unicode 字符。例如,\u00A9 匹配版权符号(© )。 |
基本概念
一个正则表达式通常被称为一个模式 (pattern) ,为用来描述或者匹配一系列符合某个句法 规则的字符串 。例如:Handel 、Händel 和 Haendel 这三个字符串,都可以由“ H(a|ä|ae)ndel ” 这个模式来描述。大部分正则表达式的形式都有如下的结构:
选择
| 竖直分隔符代表选择。例如“ gray|grey ” 可以匹配grey 或gray 。
数量限定
某个字符后的数量限定符用来限定前面这个字符允许出现的个数。最常见的数量限定符包括“+ ” 、“? ” 和“*” (不加数量限定则代表出现一次且仅出现一次):
+ 加号代表前面的字符必须至少出现一次。(1 次、或多次) 。例如,“ goo+gle ” 可以匹配google、gooogle 、goooogle 等;
? 问号代表前面的字符最多只可以出现一次。(0 次、或1 次) 。例如,“ colou?r ” 可以匹配color 或者colour ;
* 星号代表前面的字符可以不出现,也可以出现一次或者多次。(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 ” 是相同的。
精确的语法可能因不同的工具或程序而异。
形式化语言理论
正则表达式可以用形式化语言 理论的方式来表达。正则表达式由常量和算子组成,它们分别指示字符串的集合和在这些集合上的运算。给定有限字母表 Σ 定义了下列常量:
定义了下列运算:
- (“串接 ”) 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* 。
表达式全集
正则表达式有多种不同的风格。下表是在PCRE 中元字符及其在正则表达式上下文中的行为的一个完整列表:
字符 | 描述 |
\ | 将下一个字符标记为一个特殊字符、或一个原义字符、或一个向后引用、或一个八进制转义符。例如,“ n ” 匹配字符“ n ” 。“ \n ” 匹配一个换行符。串行“ \\ ” 匹配“ \ ” 而“ \( ” 则匹配“ ( ” 。 |
^ | 匹配输入字符串的开始位置。如果设置了RegExp 对象的Multiline 属性,^ 也匹配“ \n ” 或“\r ” 之后的位置。 |
$ | 匹配输入字符串的结束位置。如果设置了RegExp 对象的Multiline 属性,$ 也匹配“ \n ” 或“\r ” 之前的位置。 |
* | 匹配前面的子表达式零次或多次。例如,zo* 能匹配“ z ” 以及“ zoo ” 。* 等价于{0,} 。 |
+ | 匹配前面的子表达式一次或多次。例如,“ zo+ ” 能匹配“ zo ” 以及“ zoo ” ,但不能匹配“ z ”。+ 等价于{1,} 。 |
? | 匹配前面的子表达式零次或一次。例如,“ do(es)? ” 可以匹配“ does ” 或“ 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 ” 。预查不消耗字符,也就是说,在一个匹配发生后,在最后一次匹配之后立即开始下一次匹配的搜索,而不是从包含预查的字符之后开始 |
(?<=pattern) | 反向肯定预查,与正向肯定预查类似,只是方向相反。例如,“ (?<=95|98|NT|2000)Windows ” 能匹配“ 2000Windows ” 中的“ Windows ” ,但不能匹配“3.1Windows ” 中的“ Windows ” 。 |
(?<!pattern) | 反向否定预查,与正向否定预查类似,只是方向相反。例如“ (?<!95|98|NT|2000)Windows” 能匹配“ 3.1Windows ” 中的“ Windows ” ,但不能匹配“ 2000Windows ” 中的“ 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_] ” 。 |
\x n | 匹配 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 ),则匹配八进制转义值nm l 。 |
\u n | 匹配 n ,其中 n 是一个用四个十六进制数字表示的Unicode 字符。例如,\u00A9 匹配版权符号(© )。 |
基本概念
一个正则表达式通常被称为一个模式 (pattern) ,为用来描述或者匹配一系列符合某个句法 规则的字符串 。例如:Handel 、Händel 和 Haendel 这三个字符串,都可以由“ H(a|ä|ae)ndel ” 这个模式来描述。大部分正则表达式的形式都有如下的结构:
选择
| 竖直分隔符代表选择。例如“ gray|grey ” 可以匹配grey 或gray 。
数量限定
某个字符后的数量限定符用来限定前面这个字符允许出现的个数。最常见的数量限定符包括“+ ” 、“? ” 和“*” (不加数量限定则代表出现一次且仅出现一次):
+ 加号代表前面的字符必须至少出现一次。(1 次、或多次) 。例如,“ goo+gle ” 可以匹配google、gooogle 、goooogle 等;
? 问号代表前面的字符最多只可以出现一次。(0 次、或1 次) 。例如,“ colou?r ” 可以匹配color 或者colour ;
* 星号代表前面的字符可以不出现,也可以出现一次或者多次。(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 ” 是相同的。
精确的语法可能因不同的工具或程序而异。
形式化语言理论
正则表达式可以用形式化语言 理论的方式来表达。正则表达式由常量和算子组成,它们分别指示字符串的集合和在这些集合上的运算。给定有限字母表 Σ 定义了下列常量:
定义了下列运算:
- (“串接 ”) 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* 。
表达式全集
正则表达式有多种不同的风格。下表是在PCRE 中元字符及其在正则表达式上下文中的行为的一个完整列表:
字符 | 描述 |
\ | 将下一个字符标记为一个特殊字符、或一个原义字符、或一个向后引用、或一个八进制转义符。例如,“ n ” 匹配字符“ n ” 。“ \n ” 匹配一个换行符。串行“ \\ ” 匹配“ \ ” 而“ \( ” 则匹配“ ( ” 。 |
^ | 匹配输入字符串的开始位置。如果设置了RegExp 对象的Multiline 属性,^ 也匹配“ \n ” 或“\r ” 之后的位置。 |
$ | 匹配输入字符串的结束位置。如果设置了RegExp 对象的Multiline 属性,$ 也匹配“ \n ” 或“\r ” 之前的位置。 |
* | 匹配前面的子表达式零次或多次。例如,zo* 能匹配“ z ” 以及“ zoo ” 。* 等价于{0,} 。 |
+ | 匹配前面的子表达式一次或多次。例如,“ zo+ ” 能匹配“ zo ” 以及“ zoo ” ,但不能匹配“ z ”。+ 等价于{1,} 。 |
? | 匹配前面的子表达式零次或一次。例如,“ do(es)? ” 可以匹配“ does ” 或“ 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 ” 。预查不消耗字符,也就是说,在一个匹配发生后,在最后一次匹配之后立即开始下一次匹配的搜索,而不是从包含预查的字符之后开始 |
(?<=pattern) | 反向肯定预查,与正向肯定预查类似,只是方向相反。例如,“ (?<=95|98|NT|2000)Windows ” 能匹配“ 2000Windows ” 中的“ Windows ” ,但不能匹配“3.1Windows ” 中的“ Windows ” 。 |
(?<!pattern) | 反向否定预查,与正向否定预查类似,只是方向相反。例如“ (?<!95|98|NT|2000)Windows” 能匹配“ 3.1Windows ” 中的“ Windows ” ,但不能匹配“ 2000Windows ” 中的“ 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_] ” 。 |
\x n | 匹配 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 ),则匹配八进制转义值nm l 。 |
\u n | 匹配 n ,其中 n 是一个用四个十六进制数字表示的Unicode 字符。例如,\u00A9 匹配版权符号(© )。 |
基本概念
一个正则表达式通常被称为一个模式 (pattern) ,为用来描述或者匹配一系列符合某个句法 规则的字符串 。例如:Handel 、Händel 和 Haendel 这三个字符串,都可以由“ H(a|ä|ae)ndel ” 这个模式来描述。大部分正则表达式的形式都有如下的结构:
选择
| 竖直分隔符代表选择。例如“ gray|grey ” 可以匹配grey 或gray 。
数量限定
某个字符后的数量限定符用来限定前面这个字符允许出现的个数。最常见的数量限定符包括“+ ” 、“? ” 和“*” (不加数量限定则代表出现一次且仅出现一次):
+ 加号代表前面的字符必须至少出现一次。(1 次、或多次) 。例如,“ goo+gle ” 可以匹配google、gooogle 、goooogle 等;
? 问号代表前面的字符最多只可以出现一次。(0 次、或1 次) 。例如,“ colou?r ” 可以匹配color 或者colour ;
* 星号代表前面的字符可以不出现,也可以出现一次或者多次。(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 ” 是相同的。
精确的语法可能因不同的工具或程序而异。
形式化语言理论
正则表达式可以用形式化语言 理论的方式来表达。正则表达式由常量和算子组成,它们分别指示字符串的集合和在这些集合上的运算。给定有限字母表 Σ 定义了下列常量:
定义了下列运算:
- (“串接 ”) 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* 。
表达式全集
正则表达式有多种不同的风格。下表是在PCRE 中元字符及其在正则表达式上下文中的行为的一个完整列表:
字符 | 描述 |
\ | 将下一个字符标记为一个特殊字符、或一个原义字符、或一个向后引用、或一个八进制转义符。例如,“ n ” 匹配字符“ n ” 。“ \n ” 匹配一个换行符。串行“ \\ ” 匹配“ \ ” 而“ \( ” 则匹配“ ( ” 。 |
^ | 匹配输入字符串的开始位置。如果设置了RegExp 对象的Multiline 属性,^ 也匹配“ \n ” 或“\r ” 之后的位置。 |
$ | 匹配输入字符串的结束位置。如果设置了RegExp 对象的Multiline 属性,$ 也匹配“ \n ” 或“\r ” 之前的位置。 |
* | 匹配前面的子表达式零次或多次。例如,zo* 能匹配“ z ” 以及“ zoo ” 。* 等价于{0,} 。 |
+ | 匹配前面的子表达式一次或多次。例如,“ zo+ ” 能匹配“ zo ” 以及“ zoo ” ,但不能匹配“ z ”。+ 等价于{1,} 。 |
? | 匹配前面的子表达式零次或一次。例如,“ do(es)? ” 可以匹配“ does ” 或“ 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 ” 。预查不消耗字符,也就是说,在一个匹配发生后,在最后一次匹配之后立即开始下一次匹配的搜索,而不是从包含预查的字符之后开始 |
(?<=pattern) | 反向肯定预查,与正向肯定预查类似,只是方向相反。例如,“ (?<=95|98|NT|2000)Windows ” 能匹配“ 2000Windows ” 中的“ Windows ” ,但不能匹配“3.1Windows ” 中的“ Windows ” 。 |
(?<!pattern) | 反向否定预查,与正向否定预查类似,只是方向相反。例如“ (?<!95|98|NT|2000)Windows” 能匹配“ 3.1Windows ” 中的“ Windows ” ,但不能匹配“ 2000Windows ” 中的“ 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_] ” 。 |
\x n | 匹配 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 ),则匹配八进制转义值nm l 。 |
\u n | 匹配 n ,其中 n 是一个用四个十六进制数字表示的Unicode 字符。例如,\u00A9 匹配版权符号(© )。 |