正则表达式
目录 |
1 符号解释
1.1 常规匹配
- .
- 匹配除 "\n" 之外的任何单个字符。要匹配包括 '\n' 在内的任何字符,请使用象 '[.\n]' 的模式。
- \
- 转义,将下一个字符标记为一个特殊字符、或一个原义字符、或一个 向后引用、或一个八进制转义符。例如,'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,m}) 后面时,匹配模式是非贪婪的。非贪婪模式尽可能少的匹配所搜索的字符串,而默认的贪婪模式则尽可能多的匹配所搜索的字符串。例如,对于字符串 "oooo",'o+?' 将匹配单个 "o",而 'o+' 将匹配所有 'o'。
- {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?'。请注意在逗号和两个数之间不能有空格。
- (pattern)
- 匹配 pattern 并获取这一匹配。所获取的匹配可以从产生的 Matches 集合得到,在VBScript 中使用 SubMatches 集合,在JScript 中则使用 $0…$9 属性。要匹配圆括号字符,请使用 '\(' 或 '\)'。
- (?
- pattern) : 匹配 pattern 但不获取匹配结果,也就是说这是一个非获取匹配,不进行存储供以后使用。这在使用 "或" 字符 (|) 来组合一个模式的各个部分是很有用。例如, 'industr(?:y|ies) 就是一个比 'industry|industries' 更简略的表达式。
- (?=pattern)
- 正向预查,在任何匹配 pattern 的字符串开始处匹配查找字符串。这是一个非获取匹配,也就是说,该匹配不需要获取供以后使用。例如,'Windows (?=95|98|NT|2000)' 能匹配 "Windows 2000" 中的 "Windows" ,但不能匹配 "Windows 3.1" 中的 "Windows"。预查不消耗字符,也就是说,在一个匹配发生后,在最后一次匹配之后立即开始下一次匹配的搜索,而不是从包含预查的字符之后开始。
- (?!pattern)
- 负向预查,在任何不匹配 pattern 的字符串开始处匹配查找字符串。这是一个非获取匹配,也就是说,该匹配不需要获取供以后使用。例如'Windows (?!95|98|NT|2000)' 能匹配 "Windows 3.1" 中的 "Windows",但不能匹配 "Windows 2000" 中的 "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' 范围内的任意小写字母字符。
- \b
- 匹配一个单词边界,也就是指单词和空格间的位置。例如, 'er\b' 可以匹配"never" 中的 'er',但不能匹配 "verb" 中的 'er'。
- \d
- 匹配一个数字字符。等价于 [0-9]。
- \s
- 匹配任何空白字符,包括空格、制表符、换页符等等。等价于 [ \f\n\r\t\v]。
- \w
- 匹配包括下划线的任何单词字符。等价于'[A-Za-z0-9_]'。; . : 匹配除 "\n" 之外的任何单个字符。要匹配包括 '\n' 在内的任何字符,请使用象 '[.\n]' 的模式。
- \
- 转义,将下一个字符标记为一个特殊字符、或一个原义字符、或一个 向后引用、或一个八进制转义符。例如,'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,m}) 后面时,匹配模式是非贪婪的。非贪婪模式尽可能少的匹配所搜索的字符串,而默认的贪婪模式则尽可能多的匹配所搜索的字符串。例如,对于字符串 "oooo",'o+?' 将匹配单个 "o",而 'o+' 将匹配所有 'o'。
- {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?'。请注意在逗号和两个数之间不能有空格。
- (pattern)
- 匹配 pattern 并获取这一匹配。所获取的匹配可以从产生的 Matches 集合得到,在VBScript 中使用 SubMatches 集合,在JScript 中则使用 $0…$9 属性。要匹配圆括号字符,请使用 '\(' 或 '\)'。
- (?
- pattern) : 匹配 pattern 但不获取匹配结果,也就是说这是一个非获取匹配,不进行存储供以后使用。这在使用 "或" 字符 (|) 来组合一个模式的各个部分是很有用。例如, 'industr(?:y|ies) 就是一个比 'industry|industries' 更简略的表达式。
- (?=pattern)
- 正向预查,在任何匹配 pattern 的字符串开始处匹配查找字符串。这是一个非获取匹配,也就是说,该匹配不需要获取供以后使用。例如,'Windows (?=95|98|NT|2000)' 能匹配 "Windows 2000" 中的 "Windows" ,但不能匹配 "Windows 3.1" 中的 "Windows"。预查不消耗字符,也就是说,在一个匹配发生后,在最后一次匹配之后立即开始下一次匹配的搜索,而不是从包含预查的字符之后开始。
- (?!pattern)
- 负向预查,在任何不匹配 pattern 的字符串开始处匹配查找字符串。这是一个非获取匹配,也就是说,该匹配不需要获取供以后使用。例如'Windows (?!95|98|NT|2000)' 能匹配 "Windows 3.1" 中的 "Windows",但不能匹配 "Windows 2000" 中的 "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' 范围内的任意小写字母字符。
- \b
- 匹配一个单词边界,也就是指单词和空格间的位置。例如, 'er\b' 可以匹配"never" 中的 'er',但不能匹配 "verb" 中的 'er'。
- \d
- 匹配一个数字字符。等价于 [0-9]。
- \s
- 匹配任何空白字符,包括空格、制表符、换页符等等。等价于 [ \f\n\r\t\v]。
- \w
- 匹配包括下划线的任何单词字符。等价于'[A-Za-z0-9_]'。
1.2 反向匹配
- \B
- 匹配非单词边界。'er\B' 能匹配 "verb" 中的 'er',但不能匹配 "never" 中的 'er'。
- \D
- 匹配一个非数字字符。等价于 [^0-9]。
- \S
- 匹配任何非空白字符。等价于 [^ \f\n\r\t\v]。
- \W
- 匹配任何非单词字符。等价于 '[^A-Za-z0-9_]'。
- [^a-z]
- 负值字符范围。匹配任何不在指定范围内的任意字符。例如,'[^a-z]' 可以匹配任何不在 'a' 到 'z' 范围内的任意字符
1.3 特殊字符
- \a
- 报警字符(打印它的效果是电脑嘀一声)
- \e
- Escape
- \f
- 匹配一个换页符。等价于 \x0c 和 \cL。
- \n
- 匹配一个换行符。等价于 \x0a 和 \cJ。
- \r
- 匹配一个回车符。等价于 \x0d 和 \cM。
- \t
- 匹配一个制表符。等价于 \x09 和 \cI。
- \v
- 匹配一个垂直制表符。等价于 \x0b 和 \cK。
- \cx
- 匹配由 x 指明的控制字符。例如, \cM 匹配一个 Control-M 或回车符。x 的值必须为 A-Z 或 a-z 之一。否则,将 c 视为一个原义的 'c' 字符。
- \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。
- \num
- 匹配 num,其中 num 是一个正整数。对所获取的匹配的引用。例如,'(.)\1' 匹配两个连续的相同字符。
- \0n
- ASCII 代码中八进制代码为 n 的字符
- \un
- 匹配 n,其中 n 是一个用四个十六进制数字表示的 Unicode 字符。例如, \u00A9 匹配版权符号 (?)。
- \xn
- 匹配 n,其中 n 为十六进制转义值。十六进制转义值必须为确定的两个数字长。例如,'\x41' 匹配 "A"。'\x041' 则等价于 '\x04' & "1"。正则表达式中可以使用 ASCII 编码。
- \A
- 字符串开头(类似^,但不受处理多行选项的影响)
- \Z
- 字符串结尾或行尾(不受处理多行选项的影响)
- \z
- 字符串结尾(类似$,但不受处理多行选项的影响)
- \G
- 当前搜索的开头
2 操作符的运算优先级
| 操作符 | 描述 |
| \ | 转义符 |
| (), (?:), (?=) | 捕获、匹配、断言 |
| [] | 字符类 |
| *, +, ? | 限定符 |
| {n}, {n,}, {n,m} | 范围 |
| ^, $, \anymetacharacter | 位置和顺序 |
| | | 或 |
3 匹配规则
3.1 字符类
- [ab5@]
- 匹配 "a" 或 "b" 或 "5" 或 "@"
- [^abc]
- 匹配 "a","b","c" 之外的任意一个字符
- [f-k]
- 匹配 "f"~"k" 之间的任意一个字母
- [^A-F0-3]
- 匹配 "A"~"F","0"~"3" 之外的任意一个字符
3.2 限定符
- *
- 匹配零次或多次
- +
- 匹配一次或多次
- ?
- 匹配零次或一次
- {3}
- 匹配三次
- {3,5}
- 匹配三到五次
- {3,}
- 匹配三次或以上
3.3 贪婪与懒惰
使用限定符进行匹配时,默认匹配尽可能多的字符。无论用 .* 还是 .+ 匹配下列文本,都会匹配全部
expression
这种方式称为“贪婪模式”。在限定符之后加 ? 则匹配尽可能少的字符,称为“懒惰模式”。
例如,使用贪婪模式a.+b匹配:
aaabab
使用懒惰模式a.+?b匹配:
aaabab
说明: .+ 匹配一个或多个任意字符,在贪婪模式中,它匹配尽可能多的字符;而懒惰模式中(.+?),则只匹配一个字符;.{3,5}在贪婪模式中尽可能匹配5个字符,在懒惰模式中(.{3,5}?)只匹配3个字符;? 和 * 这样可以匹配零次的限定符,在懒惰模式下不匹配任何字符(.*?、.??)
3.4 分支条件
| 表示“或”,使用它进行分支选择
例如[a-z]+|\d+匹配单词或数字:
expression 123
3.5 分组
使用(表达式)对表达式进行分组,例如使用(\d{3}\.){2}匹配下面例子中的数字:
abc123.456.def
\d{3}表示三个数字,(\d{3}\.)表示三个数字加“.”为一组,{2}表示这一组内容重复两次。
3.6 捕获
在对表达式进行分组的时候,会捕获文本到自动命名的组里,使用 \1 \2 …… 后向引用组
例如用([a-z]*)\ (\d*)匹配下列文本,([a-z]*)为\1组,(\d*)为\2组
kardinal 1234567
使用\2\ \1替换([a-z]*)\ (\d*),可以改变两个字符串的顺序
1234567 kardinal
如果分组较多,计数可能会不太方便,可以给分组指定名称,例如:
(?<name>[a-z]*)\ (?<num>\d*)
\k<num>\ \k<name> (?#使用“ \k<name>”后向引用)
常用分组语法
| (exp) | 匹配exp,并捕获文本到自动命名的组里 |
| (?<name>exp) | 匹配exp,并捕获文本到名称为name的组里,也可以写成(?'name'exp) |
| (?:exp) | 匹配exp,不捕获匹配的文本,也不给此分组分配组号 |
| (?=exp) | 匹配exp前面的位置 |
| (?<=exp) | 匹配exp后面的位置 |
| (?!exp) | 匹配后面跟的不是exp的位置 |
| (?<!exp) | 匹配前面不是exp的位置 |
| (?#comment) | 这种类型的分组不对正则表达式的处理产生任何影响,用于提供注释让人阅读 |
3.7 零宽断言
目前为止,我们学到的正则表达式匹配,都是有“宽度”的,使用 \w+。 匹配下面文本,会将 。 一同匹配:
regular。
expression。
如果不想匹配符号,只匹配一个位置,就要用到“零宽断言”(匹配宽度为零,满足一定的 条件/断言),零宽断言使用 (?=表达式) 的语法,例如 \w+(?=。),其中 (?=。) 表示 。 前面的位置(先行断言)
regular。
expression。
如果需要匹配后面的位置,如:
。regular
。expression
则要用到后发断言(?<=。) ,使用 (?<=。)\w+ 得到上面的匹配结果
使用 (?<=<b>).*(?=</b>) 匹配标签中的内容
<b>粗体</b>
3.8 负向零宽断言
负向零宽断言 (?!表达式) 也是匹配一个零宽度的位置,不过这个位置的“断言”取表达式的反值,例如 (?!表达式) 表示表达式前面的位置,如果表达式不成立 ,匹配这个位置;如果表达式成立,则不匹配:
以下为使用 .+n(?!。) 的匹配结果:
expression
expression,
expression;
expression。
注意与 .+n[^。] 匹配的区别
expression
expression,
expression;
expression。
同样,负向零宽断言也有“先行”和“后发”两种,负向零宽后发断言为 (?<!表达式)
使用 (?<![</])para(?!>) 匹配下面文本
<para>para表示一个段落</para>
(?<![</]) 表示 para 左边不能为 < 或 / ;(?!>) 表示 para 右边不能为 >
4 参见
- 正则表达式30分钟入门教程. deerchao. 2009-4-11.
- 开源世界旅行手册. Kardinal. 2009.
- 笑容. 正则表达式(regular expression). 2004-05-04 21:12.
- 揭开正则表达式的神秘面纱. RegExLab.com.