刨根究底正则表达式之二——正则表达式基础

笨笨阿林

发布于 2019-01-18 10:58:37

1.2K0

发布于 2019-01-18 10:58:37

说明：

虽然本系列文章开篇会简单介绍正则表达式的一些基础知识，但主要限于本系列文章所想强调的要点，因此本系列文章并不适合用于入门。

若你是对正则表达式没有任何概念的初学者，建议至少先阅读网上备受推崇的《正则表达式30分钟入门教程》，时间允许的话最好再阅读《正则表达式必知必会》（才130多页，写得非常基础，快的话一天可轻松读完）。这样在建立了对正则表达式的基本认识之后，再来阅读本系列文章，才更为合适。

最后，文中若有错漏，还请直接招呼板砖，不用客气?

正则表达式基础

一、正则表达式构成

正则表达式中的语法元素，从是否具有特殊含义的角度进行分类，可分为下列两大类、共五种语法元素：

1）不具有特殊含义的语法元素

(1) 字面字符(文本字符)：不具有特殊含义的单个字符，代表字符自身(即字符字面值)；

(2) 普通转义序列：由转义前导符\后跟元字符所组成的字符序列，将具有特殊含义的元字符，转义为(即转换为)不具有特殊含义的字符本身(即字符字面值)；

2）具有特殊含义的语法元素

(1) 元字符：具有特殊含义的单个字符，包括：\、(、)、[、]、{、}、.、-、*、+、?、|、^、$；

(2) 元转义序列：由转义前导符\后跟单个字符或多个字符组成，具有特殊含义，包括：\0octal-num、\num、\a、\A、\b、\b{}、\B、\B{}、\cX、\C、\d、\D、\e、\E、\f、\F、\g{}、\gnum、\G、\h、\H、\k{}、\k<>、\k''、\K、\l、\L、\n、\N、\N{}、\o{octal-num}、\pP、\p{}、\PP、\P{}、\Q、\r、\R、\s、\S、\t、\u、\U、\v、\V、\w、\W、\xhex-num、\x{hex-num}、\X、\z、\Z等；

(3) 特殊构造(特殊结构)：由多个元字符和/或普通字符组成，具有特殊含义，包括：字符组[xyz]或[^xyz]、捕获分组(sub-regex)、命名捕获分组(?<name>sub-regex)、非捕获分组(?:sub-regex)、预查分组(即环视分组)(?=sub-regex)或(?!sub-regex)或(?<=sub-regex)或(?<!sub-regex)、固化分组(即原子分组)(?>sub-regex)、嵌入条件分组(?(condition)true_sub-regex|false_sub-regex)、内联修饰选项与取消内联修饰选项分组(?modifier-modifier)、注释分组(?#comment)、分支复位分组(?|sub-regex)、表达式引用分组(?R)或(?num)、平衡分组(?<-name>sub-regex)等。

（笨笨阿林原创文章，转载请注明出处）

从匹配的是位置还是字符的角度来分类，可分为如下四大类：

1）匹配字符的语法元素

(1) 字面字符(文本字符)：代表字符自身(即字符字面值)；

(2) 普通转义序列：将具有特殊含义的元字符，转义为(即转换为)不具有特殊含义的字符本身(即字符字面值)；

(3) 元字符：.；

(4) 下面这些元转义序列：

固定字符：\a、\b（字符组内部）、\e、\f、\n、\r、\t、\v（非Perl系）；

字符组简记：\d、\D、\h、\H、\N{}、\p{}与\pP、\P{}与\PP、\s、\S、\v（仅Perl系）、\V、\w、\W

进制转义字符：\octal-num（Perl系中也可写作\o{octal-num}）、\xhex-num（Perl系中也可写作\x{hex-num}）、\uhex-num（非Perl系，Ruby1.9+等个别语言中还可写作\u{hex-num}）；

控制字符：\cX系列；

其他：\C、\N、\R、\X。

2）匹配位置的语法元素

(1) 下面这些元字符：

^、$

(2) 下面这些元转义序列：

锚点：\A、\z、\Z、\b（字符组外部）、\b{}、\B、\B{}、\G；

其他：\<、\>。

(3) 预查分组：

(?=sub-regex)、(?!sub-regex)、(?<=sub-regex)、(?<!sub-regex)。

3）既可能匹配字符，也可能匹配位置的语法元素

(1) 由下限次数为0的量词所限定的子表达式，下限次数为0的量词包括：?、*、{0,}、{0,m}、{,m}（逗号“,”前面为空的这种写法仅部分正则引擎支持，不推荐这种写法）；

(2) 下面这些元转义序列：

引用：\num、\g{num}、\gnum、\k{name}、\k<name>、\k'name'（如果引用的是文本，则匹配字符，如果引用的是位置或空字符串，则匹配的是位置）；

(3) 特殊构造(特殊结构)：捕获分组(sub-regex)、命名捕获分组(?<name>sub-regex)、非捕获分组(?:sub-regex)、固化分组(即原子分组)(?>sub-regex)、嵌入条件分组(?(condition)true_sub-regex|false_sub-regex)等，当这些分组中的sub-regex为空时，匹配的是位置；不为空时，若sub-regex匹配字符，则这些分组匹配的是字符，否则匹配的是位置。

4）既不匹配字符，也不匹配位置的语法元素

除上述语法元素之外的其他语法元素，这包括：\K、内联修饰选项与取消内联修饰选项分组(?modifier-modifier)、注释分组(?#comment)等。

注意，语法元素有时也会称之为子表达式；当然，子表达式的概念要比语法元素更为丰富，涵盖面更广。因此，需根据上下文予以准确理解。

二、字符串构成

从正则表达式的角度来看，字符串通常由位置和字符所共同构成，但空字符串仅由单个位置构成(该位置既是空字符串的起始位置，也是空字符串的结束位置，可同时匹配表示字符串起始位置的元字符^和表示字符串结束位置的元字符$)。

对于字符串“Regex”而言，是由五个字符以及六个位置构成的，理解这一点对于正则表达式的匹配原理的理解很重要。

字符串中的位置，其实也是组成该字符串的字符的索引，因此，位置0就是用来索引(即定位)字符R的索引0。字符串“Regex”始于索引0(即位置0)处，止于索引5(即位置5)处。

当正则引擎在字符串中查找匹配时，可以认为在字符串中有一个匹配定位指针，该指针可以在字符串中的各个位置之间移动（一般是从左到右依次移动，但回溯时也会从右向左移动；另外，.Net中还支持从右向左匹配）。

查找匹配过程中，下一次匹配的起始位置与前一次匹配的结束位置往往是相同的：

正则式：/regex/

字符串：regexregex

找到第一个子字符串"regex"，开始于位置0结束于位置5

找到第二个子字符串"regex"，开始于位置5结束于位置10

（笨笨阿林原创文章，转载请注明出处）

三、匹配过程与匹配定位指针、匹配控制权

匹配过程从字符串的角度来看的话，必然总是从字符串中的一个位置开始匹配的，可能是从字符串的起始位置匹配，也可能是从字符串中间的某两个字符之间的位置开始匹配，甚至可能是从字符串的结束位置开始匹配（.Net中支持从右向左匹配）。当然，绝大部分情况下，均是从字符串的起始位置开始匹配的。

当在某个位置尝试匹配失败，正则引擎将移动字符串中的匹配定位指针到字符串中的下一个位置开始继续尝试匹配。这样逐个位置尝试，直到获得匹配，或者一直到字符串结尾仍未获得匹配则报告匹配失败。

匹配过程从正则表达式的角度来看的话，必然总是从正则表达式的起始位置从左至右逐个语法元素开始尝试匹配的(但多选分支结构中的情况稍微复杂些：传统型NFA正则引擎由于遵循“最左先到先得原则”，一旦其中某个分支获得了匹配，将不会继续尝试匹配剩下的分支；而DFA和POSIX NFA正则引擎由于遵循“最左最长原则”，必须选择各个分支中所获得的最长匹配，因此会逐个分支尝试匹配)。

正则表达式中的某个语法元素一旦在字符串中获得了匹配(若该语法元素后面有量词限定的话，需满足其重复次数，且有可能存在回溯，详见后文解释)，则表示该语法元素成功获得了匹配，于是匹配控制权转移到下一个语法元素，重复该过程。

原则上，匹配控制权一旦从某个语法元素转移出去，则该语法元素不能再次重新获得。不过，懒惰量词形成的回溯例外(懒惰量词所限定的语法元素一旦获得了该量词的下限次匹配之后，会先将匹配控制权转移给紧随其后的语法元素，若紧随其后的语法元素无法匹配，则会将匹配控制权返回给该语法元素)。(如果暂时看不明白没关系，后文都会有详细解释)。

若正则表达式中的某个必须匹配的语法元素(而由下限次数为0的量词所限定的语法元素则为可选匹配)一旦在字符串中无法获得匹配，则该正则表达式匹配失败。

四、占有字符(消费字符与消耗字符)匹配和不占有字符(零宽度)匹配

正则表达式匹配过程中，若其中的某个语法元素匹配到的是字符，而非位置，并且在字符串中移动了匹配定位指针，此时可分为两种情况：

1）所匹配的字符被保存到了最终的匹配结果中(即返回了所匹配到的字符)，那么就认为该子表达式消费了这些字符；

2）所匹配的字符未被保存到最终的匹配结果中(即没返回所匹配到的字符)，那么就认为该子表达式消耗了这些字符（比如位于元转义序列\K之前的子表达式）。

无论是消费了字符，还是消耗了字符，均属于占有了字符。

如果该子表达式匹配的仅仅是位置，或者虽然匹配了字符，但最终并不实际移动字符串中的匹配定位指针（比如预查分组），那么就认为这个语法元素是不占有字符的，即属于零宽度的。

占有字符还是不占有字符，最终以是否实际移动了字符串中的匹配定位指针为准。

占有字符是互斥的，不占有字符是非互斥的。

所谓互斥指的是一个字符，只能由一个语法元素匹配，一旦被某个语法元素匹配后占有了，则不能为其他语法元素所匹配占有；所谓非互斥指的是一个位置，可以同时由多个不占有字符(即零宽度)的语法元素匹配。

（笨笨阿林原创文章，转载请注明出处）

五、八大原则简介