近来这段时刻帮同砚处置惩罚一些文档， 涉及到一些结构化文档的事情大部分都得运用正则表达式， 之前关于正则的熟悉大多来源于言语书上那几页的引见， 本身也没有效过频频。这里将我之前觉得隐约的观点作个整顿。因为对JS相识多点，所以也将JS中相干的正则特征归结下。注重本文将正则与JS中的正则离开议论。
正则引擎
正则表达式的诠释引擎只要两种，字符驱动（text-directed）和正则驱动(regex-directed)，基于这两种诠释引擎算法的差别，它们偶然也被称为DFA(Deterministic finite automaton 确定型有穷自动机)与NFA(Non-deterministic finite automaton非确定型有穷自动机)，当前大部分当代言语的正则诠释器采纳“正则驱动”引擎，这是因为NFA运转的回溯算法能够完成诸如‘惰性婚配（lazy quantifiers ）’和‘后部援用(backreferences)’ 等异常有效的特征， 而DFA算法也就是字符驱动型引擎并不支撑这些特征，固然庞杂的算法必需支付机能的价值，字符驱动引擎的机能要强于正则驱动。种种言语中因为完成正则引擎的细致算法以及挪用的正则库都有差别，所以关于正则的支撑也差别，关于这些观点的参考mark在这里：
?Regex Engine Internals
?正则表达式婚配剖析历程讨论剖析(正则表达式婚配道理)
零宽断言
零宽断言(zero-length assertions)这观点直译过于术语化（都有点像咒语了，囧rz）， 逻辑不是太庞杂，然则轻易殽杂隐约，在此记个笔记。零宽的意义是指该位置是不占宽度的，也就是只作断言推断，但不婚配现实的内容，比方\d(?=\.)这个正向先行断言（这观点也归结在后）就只婚配点号之前的数字，然则它并不会婚配到这个点号，这个\d(?=\.)括号中的婚配内容也就是零宽了。
零宽断言分为四种，离别是：正向先行(Positive Lookahead)，正向回忆(Positive Lookbehind)，负向先行(Negative Lookahead)，负向回忆(Negative Lookbehind)。正向和负向的意义是断言括号中的内容是婚配照样不婚配，比方上面栗子?中的(?=...)就是正向先行断言的写法，该断言括号中的内容必需涌现， 而负向也就是断言括号中的内容不能涌现，负向先行的写法是如许：(?!...)。 先行与回忆的意义是现实婚配的内容在断言内容的前面照样背面，以下将一一排列这四种观点：
正向先行
直接地说“零宽正向先行断言”所婚配的就是必需涌现的断言内容的前面的内容，之前的点号前数字的栗子?\d(?=\.)已比较直观的展现了这个观点，然则须要注重的是：这里的先行或许回忆是基于位置，而不是字符！也就是说从点号的位置最先向前婚配， 比方我们把这个正则表达式改成如许：(?=\.).注重这里并没有把现实要婚配的内容放在断言括号的前面，而是放到了背面， 这就婚配了从这个点号位置最先的恣意字符（除换行符外），也就婚配到了这个点号， 固然平常如许写没什么意义， 但便于明白位置的寄义。
正向回忆
明白了前面这个“零宽正向先行断言”，随之而来的就比较好明白了。遵照这个逻辑，零宽正向回忆断言所婚配的是必需涌现的断言内容以后的内容，它的语法是：(?<=...) 比方（?<＝\.）\w所婚配的就是点号以后的ASCII字符。
负向先行
负向与正向意义相反， 正向是断言内容必需涌现，而负向则是断言内容必需不涌现。比方JavaScript and Java这句话中运用Java(?!Script)就只会婚配到Java，因为该正则断言Java背面不能涌现Script
负向回忆
正负向与先行回忆的观点都已在前面列出， 负向回忆的明白应当就很顺了。负向回忆的语法是：(?<!...)。 比方(?<!Java)Script该正则只婚配不是JavaScript的Script，它便可以准确婚配ECMAScript和Script。
这里须要注重：在大多数言语中，先行断言中能够有恣意的正则语法，比方能够用
+或许*这类不确定反复的婚配，然则回忆断言中的限定就比较多，许多言语的回忆断言中不支撑诸如+和*这类不定反复的婚配和后部援用，因为正则诠释引擎在婚配回忆断言的时刻，当回忆断言中的内容婚配胜利后再去婚配断言后的现实内容时，它须要能盘算出退却若干步才推断出当前婚配是不是与这个正则完整婚配。有些言语压根就不支撑回忆断言，比方JS；而 PHP, Delphi, R和 Ruby只支撑在回忆断言中到场挑选婚配，但挑选婚配的内容长度必需雷同，形如[ab|ba|cd]；Java回忆断言限定不多，但没法在回忆断言中到场不定数目的反复，也就是不能在回忆断言中运用+和＊; .Net支撑在回忆断言中运用恣意正则语法。（以上内容参考自下面的第一个mark参考中，能够存在时效的题目， 若有毛病还请大神指出。）
正则零宽断言更多参考mark：
?Lookahead and Lookbehind Zero-Length Assertions
种种言语关于正则差别支撑参考：
?Comparison of regular expression engines
单行形式与多行形式
经由过程设置正则表达式后的修饰符(flag)可开启对应的婚配形式：s（单行形式）和m(多行形式)。单行形式与多行形式这两名字轻易让人误以为二者是相互排挤的， 也就是误以为开启了多行形式，那末就不是单行形式，而现实上单行形式或多行形式的开关并不会影响另一个，两个形式能够同时用。
单行形式
开关单行形式影响的是元字符.的婚配。单行形式开启时，元字符.婚配包括换行符\n在内的恣意字符，单行形式封闭时，元字符.婚配不包括换行符\n的恣意字符。
多行形式
多行形式影响的是元字符^和$。多行形式开启时，元字符^能够婚配字符串开首（字符串的最先位置），也能够婚配行的开首（即换行符\n以后的位置),元字符$ 能够婚配字符串末端（字符串的完毕位置）, 也能够婚配行的末端（即换行符\n之前的位置）。多行形式封闭时，元字符^和$只能婚配字符串的开首和末端，不能婚配换行符\n的之前和以后。也就是说假如没有这两个元字符，纵然正则后加多行形式修饰符m也无意义，多行形式的正则必需有这两个元字符中的一个或两个才有意义。
观点参考mark： ?正则表达式的多行形式与单行形式
附一个JS形貌的多行形式：?multiline 属性（正则表达式）(JavaScript)
注重：JS中正则并不支撑单行形式的开启
JS中的正则
JS中的正则须要注重下正则对象的要领与String对象要领的玄妙区分。
RegExp对象
每一个正则对象实例有这几项属性global（是不是带有修饰符g的布尔值） ignoreCase（是不是带有修饰符i的布尔值） lastIndex（对象要领婚配最先的位置索引，初始为0） multiline（是不是带有修饰符m的布尔值） source（正则源码文本,注重源码文本不包括修饰符）。
ES6中RegExp对象实例新增的只读属性
sticky能够推断正则后是不是带修饰符y（新增），设置y修饰符的正则每次婚配，存在lastIndex属性情况下lastIndex不会自动归零，并且在正则表达式中隐式地到场了开首元字符^，如许就使得正则表达式的婚配锚定在lastIndex的位置。这类用法的概况可参考MDN文档的栗子?：?RegExp.prototype.sticky 以及?JavaScript:正则表达式的/y标识
JS中每一个RegExp对象实例有两个要领，离别是：exec()与test()。这两个要领运转逻辑险些等价，然则exec要庞杂些，婚配失利返回null，婚配胜利它将返回一个数组， 数组第一个元素是婚配全部正则的内容，以后的元素是正则中捕捉组的婚配（注：运用非捕捉组能够获得微小的机能上风）举个栗子：
//捕捉组()
var pattern1 = /(www)\.(baidu)\.(com)/i
//非捕捉组(?:)
var pattern2 = /(?:www)\.(?:baidu)\.(?:com)/i
var str = 'www.baidu.com'
pattern1.exec(str)
//返回数组["www.baidu.com", "www", "baidu", "com"]
pattern2.exec(str)
//返回数组["www.baidu.com"]注重：虽然exec()和String的match()要领返回的都是数组的实例，然则他们的返回值都有两个分外的属性：index和input离别示意婚配项在字符串中的位置和运用正则的整段字符串。
而test()要领更加简朴，婚配胜利返回true，失利返回false。这里须要注重下这两个要领中的lastIndex属性与正则表达式中的全局修饰符g的关联。
当正则中存在全局修饰符g时，RegExp对象的lastIndex属性将保留下一次最先的婚配的位置，比方：
var pattern = /(www)\.(baidu)\.(com)/g
var str2 = 'www.baidu.com www.google.com www.baidu.com'
pattern.exec(str2)
pattern.lastIndex //13这意味着下次挪用exec要领它将从被婚配字符串索引13的位置最先婚配（也能够手动设置lastIndex的值）。test()要领同理。正因为存在残留的lastIndex，所以运用正则对象的要领能够会致使一些不测的效果，不过在ES5中，正则表达式直接量的每次盘算都邑建立一个RegExp对象实例，他们各自具有lastIndex，这就大大降低了不测的几率。
然则String对象中支撑正则的要领却与正则对象的要领差别，String要领疏忽lastIndex，然则，假如存在全局修饰符g，string要领将有些许差别。
String中的正则要领
String要领中支撑正则的有match(),replace(), search(),split()这四个要领。match()要领接收一个字符串或正则作为参数，当参数是正则时， 正则是不是带全局修饰符g将影响该要领的返回值，该要领婚配不带全局修饰符的正则时，与RegExp对象实例要领exec()的返回值一样， 婚配带全局修饰符的正则时，match()要领将返回全局中所婚配到的一切内容而不再将正则中的捕捉组编码。比方前面的str2假如运用String的match要领的话其返回的数组中将是["www.baidu.com"，"www.baidu.com"］。
replace(searchValue,replaceValue)要领一样接收字符串或正则作为第一个参数，当搜刮值是字符串的时刻，它只会婚配一次，许多时刻这并不是我们要的效果， 平常我们愿望全局婚配，因而能够运用带全局修饰符的正则表达式。replace()的替代值中的美圆标记$有特别寄义，比方$1示意正则表达式中第一个捕捉组的婚配内容。它的意义取自RegExp组织函数的属性（正则表达式每次的操纵都邑影响组织函数RegExp的属性，该组织函数属性的细致参考能够看下《JS高等程序设计》中文第三版108页中的申明）下面借用《JS威望指南》中心参考中的栗子。
var name = 'Doe,John'
name.replace(/(\w+)*,(\w+)/,'$2 $1')//$num代表捕捉组的编号
"John Doe" 美圆标记的特别寄义归结：
$$ 替代对象$
$& 全部婚配的文本
$number 分组捕捉的文本(从1最先，不是0哦)
$` 婚配之前的文本
$’ 婚配以后的文本
search()要领与String中indexOf相似，接收一个正则或许字符串为参数，婚配胜利返回第一个婚配的首字符位置， 失利则返回-1。
split(separator,howmany)要领接收一个必选的支解位置作为第一个参数，第二个参数设置返回数组的最大长度。第一个参数能够是字符串或正则表达式，假如该参数是包括捕捉组(带圆括号带子表达式)的正则表达式，那末返回的数组中包括与这些子表达式婚配的字串（但不包括与全部正则表达式婚配的文本）
举个例子?：
'hello world'.split(/(\w)\s/)
//返回["hell", "o", "world"]能够看到捕捉组中的婚配(“o”)也在返回的数组中，然则全部正则的婚配被作为分开位置。并不是一切浏览器都支撑split()这个特征。
MDN文档中并未申明该特征更多细节：?String.prototype.split()
JS中不支撑的正则特征
这里也趁便转贴一下《JS高等程序设计》第三版中提到的JS(ES5)正则的局限性：
婚配字符串最先的末端的A和Z锚(但支撑以^和$来婚配字符串的最先的末端)
向后查找(但支撑向前查找)
并集和交集类
原子组
Unicode支撑(单个字符除外)
定名的捕捉组(但支撑编号的捕捉组)
s(single单行)和x(free-spacing无距离)婚配形式
前提婚配
正则表达式解释
JS的正则库
以上所提到的局限性中，可运用正则库或多或少的抵消一些，比方XRegExp 挪用该库以后便可以够使JS的正则支撑可定名空间的捕捉组以及解释等有效的特征， 关于JS的正则库XRegExp，我写了篇大抵的引见：?JavaScript正则库：XRegExp
