ES6 正則的擴(kuò)展

1. RegExp 構(gòu)造函數(shù)

在 ES5 中， RegExp 構(gòu)造函數(shù)的參數(shù)有兩種情況。

第一種情況是，參數(shù)是字符串，這時(shí)第二個(gè)參數(shù)表示正則表達(dá)式的修飾符（flag）。

var regex = new RegExp('xyz', 'i');
// 等價(jià)于
var regex = /xyz/i;

第二種情況是，參數(shù)是一個(gè)正則表示式，這時(shí)會(huì)返回一個(gè)原有正則表達(dá)式的拷貝。

var regex = new RegExp(/xyz/i);
// 等價(jià)于
var regex = /xyz/i;

但是，ES5 不允許此時(shí)使用第二個(gè)參數(shù)添加修飾符，否則會(huì)報(bào)錯(cuò)。

var regex = new RegExp(/xyz/, 'i');
// Uncaught TypeError: Cannot supply flags when constructing one RegExp from another

ES6 改變了這種行為。如果 RegExp 構(gòu)造函數(shù)第一個(gè)參數(shù)是一個(gè)正則對(duì)象，那么可以使用第二個(gè)參數(shù)指定修飾符。而且，返回的正則表達(dá)式會(huì)忽略原有的正則表達(dá)式的修飾符，只使用新指定的修飾符。

new RegExp(/abc/ig, 'i').flags
// "i"

上面代碼中，原有正則對(duì)象的修飾符是 ig ，它會(huì)被第二個(gè)參數(shù) i 覆蓋。

2. 字符串的正則方法

字符串對(duì)象共有 4 個(gè)方法，可以使用正則表達(dá)式： match() 、 replace() 、 search() 和 split() 。

ES6 將這 4 個(gè)方法，在語(yǔ)言內(nèi)部全部調(diào)用 RegExp 的實(shí)例方法，從而做到所有與正則相關(guān)的方法，全都定義在 RegExp 對(duì)象上。

• String.prototype.match 調(diào)用 RegExp.prototype[Symbol.match]
• String.prototype.replace 調(diào)用 RegExp.prototype[Symbol.replace]
• String.prototype.search 調(diào)用 RegExp.prototype[Symbol.search]
• String.prototype.split 調(diào)用 RegExp.prototype[Symbol.split]

3. u 修飾符

ES6 對(duì)正則表達(dá)式添加了u 修飾符，含義為“Unicode 模式”，用來(lái)正確處理大于 \uFFFF 的 Unicode 字符。也就是說(shuō)，會(huì)正確處理四個(gè)字節(jié)的 UTF-16 編碼。

/^\uD83D/u.test('\uD83D\uDC2A') // false
/^\uD83D/.test('\uD83D\uDC2A') // true

上面代碼中， \uD83D\uDC2A 是一個(gè)四個(gè)字節(jié)的 UTF-16 編碼，代表一個(gè)字符。但是，ES5 不支持四個(gè)字節(jié)的 UTF-16 編碼，會(huì)將其識(shí)別為兩個(gè)字符，導(dǎo)致第二行代碼結(jié)果為 true 。加了 u 修飾符以后，ES6 就會(huì)識(shí)別其為一個(gè)字符，所以第一行代碼結(jié)果為 false 。

一旦加上 u 修飾符號(hào)，就會(huì)修改下面這些正則表達(dá)式的行為。

（1）點(diǎn)字符

點(diǎn)（ . ）字符在正則表達(dá)式中，含義是除了換行符以外的任意單個(gè)字符。對(duì)于碼點(diǎn)大于 0xFFFF 的 Unicode 字符，點(diǎn)字符不能識(shí)別，必須加上 u 修飾符。

var s = '????';


/^.$/.test(s) // false
/^.$/u.test(s) // true

上面代碼表示，如果不添加 u 修飾符，正則表達(dá)式就會(huì)認(rèn)為字符串為兩個(gè)字符，從而匹配失敗。

（2）Unicode 字符表示法

ES6 新增了使用大括號(hào)表示 Unicode 字符，這種表示法在正則表達(dá)式中必須加上 u 修飾符，才能識(shí)別當(dāng)中的大括號(hào)，否則會(huì)被解讀為量詞。

/\u{61}/.test('a') // false
/\u{61}/u.test('a') // true
/\u{20BB7}/u.test('????') // true

上面代碼表示，如果不加 u 修飾符，正則表達(dá)式無(wú)法識(shí)別 \u{61} 這種表示法，只會(huì)認(rèn)為這匹配 61 個(gè)連續(xù)的 u 。

（3）量詞

使用 u 修飾符后，所有量詞都會(huì)正確識(shí)別碼點(diǎn)大于 0xFFFF 的 Unicode 字符。

/a{2}/.test('aa') // true
/a{2}/u.test('aa') // true
/????{2}/.test('????????') // false
/????{2}/u.test('????????') // true

（4）預(yù)定義模式

u 修飾符也影響到預(yù)定義模式，能否正確識(shí)別碼點(diǎn)大于 0xFFFF 的 Unicode 字符。

/^\S$/.test('????') // false
/^\S$/u.test('????') // true

上面代碼的 \S 是預(yù)定義模式，匹配所有非空白字符。只有加了 u 修飾符，它才能正確匹配碼點(diǎn)大于 0xFFFF 的 Unicode 字符。

利用這一點(diǎn)，可以寫出一個(gè)正確返回字符串長(zhǎng)度的函數(shù)。

function codePointLength(text) {
  var result = text.match(/[\s\S]/gu);
  return result ? result.length : 0;
}


var s = '????????';


s.length // 4
codePointLength(s) // 2

（5）i 修飾符

有些Unicode 字符的編碼不同，但是字型很相近，比如， \u004B 與 \u212A 都是大寫的 K 。

/[a-z]/i.test('\u212A') // false
/[a-z]/iu.test('\u212A') // true

上面代碼中，不加 u 修飾符，就無(wú)法識(shí)別非規(guī)范的 K 字符。

（6）轉(zhuǎn)義

沒(méi)有 u 修飾符的情況下，正則中沒(méi)有定義的轉(zhuǎn)義（如逗號(hào)的轉(zhuǎn)義 \, ）無(wú)效，而在 u 模式會(huì)報(bào)錯(cuò)。

/\,/ // /\,/
/\,/u // 報(bào)錯(cuò)

上面代碼中，沒(méi)有 u 修飾符時(shí)，逗號(hào)前面的反斜杠是無(wú)效的，加了 u 修飾符就報(bào)錯(cuò)。

4. RegExp.prototype.unicode 屬性

正則實(shí)例對(duì)象新增unicode 屬性，表示是否設(shè)置了 u 修飾符。

const r1 = /hello/;
const r2 = /hello/u;


r1.unicode // false
r2.unicode // true

上面代碼中，正則表達(dá)式是否設(shè)置了 u 修飾符，可以從 unicode 屬性看出來(lái)。

5. y 修飾符

除了 u 修飾符，ES6 還為正則表達(dá)式添加了 y 修飾符，叫做“粘連”（sticky）修飾符。

y 修飾符的作用與 g 修飾符類似，也是全局匹配，后一次匹配都從上一次匹配成功的下一個(gè)位置開(kāi)始。不同之處在于， g 修飾符只要剩余位置中存在匹配就可，而 y 修飾符確保匹配必須從剩余的第一個(gè)位置開(kāi)始，這也就是“粘連”的涵義。

var s = 'aaa_aa_a';
var r1 = /a+/g;
var r2 = /a+/y;


r1.exec(s) // ["aaa"]
r2.exec(s) // ["aaa"]


r1.exec(s) // ["aa"]
r2.exec(s) // null

上面代碼有兩個(gè)正則表達(dá)式，一個(gè)使用g 修飾符，另一個(gè)使用y 修飾符。這兩個(gè)正則表達(dá)式各執(zhí)行了兩次，第一次執(zhí)行的時(shí)候，兩者行為相同，剩余字符串都是 _aa_a 。由于 g 修飾沒(méi)有位置要求，所以第二次執(zhí)行會(huì)返回結(jié)果，而 y 修飾符要求匹配必須從頭部開(kāi)始，所以返回 null 。

如果改一下正則表達(dá)式，保證每次都能頭部匹配， y 修飾符就會(huì)返回結(jié)果了。

var s = 'aaa_aa_a';
var r = /a+_/y;


r.exec(s) // ["aaa_"]
r.exec(s) // ["aa_"]

上面代碼每次匹配，都是從剩余字符串的頭部開(kāi)始。

使用 lastIndex 屬性，可以更好地說(shuō)明 y 修飾符。

const REGEX = /a/g;


// 指定從2號(hào)位置（y）開(kāi)始匹配
REGEX.lastIndex = 2;


// 匹配成功
const match = REGEX.exec('xaya');


// 在3號(hào)位置匹配成功
match.index // 3


// 下一次匹配從4號(hào)位開(kāi)始
REGEX.lastIndex // 4


// 4號(hào)位開(kāi)始匹配失敗
REGEX.exec('xaya') // null

上面代碼中， lastIndex 屬性指定每次搜索的開(kāi)始位置， g 修飾符從這個(gè)位置開(kāi)始向后搜索，直到發(fā)現(xiàn)匹配為止。

y 修飾符同樣遵守 lastIndex 屬性，但是要求必須在 lastIndex 指定的位置發(fā)現(xiàn)匹配。

const REGEX = /a/y;


// 指定從2號(hào)位置開(kāi)始匹配
REGEX.lastIndex = 2;


// 不是粘連，匹配失敗
REGEX.exec('xaya') // null


// 指定從3號(hào)位置開(kāi)始匹配
REGEX.lastIndex = 3;


// 3號(hào)位置是粘連，匹配成功
const match = REGEX.exec('xaya');
match.index // 3
REGEX.lastIndex // 4

實(shí)際上， y 修飾符號(hào)隱含了頭部匹配的標(biāo)志 ^ 。

/b/y.exec('aba')
// null

上面代碼由于不能保證頭部匹配，所以返回 null 。 y 修飾符的設(shè)計(jì)本意，就是讓頭部匹配的標(biāo)志 ^ 在全局匹配中都有效。

下面是字符串對(duì)象的 replace 方法的例子。

const REGEX = /a/gy;
'aaxa'.replace(REGEX, '-') // '--xa'

上面代碼中，最后一個(gè) a 因?yàn)椴皇浅霈F(xiàn)在下一次匹配的頭部，所以不會(huì)被替換。

單單一個(gè) y 修飾符對(duì) match 方法，只能返回第一個(gè)匹配，必須與 g 修飾符聯(lián)用，才能返回所有匹配。

'a1a2a3'.match(/a\d/y) // ["a1"]
'a1a2a3'.match(/a\d/gy) // ["a1", "a2", "a3"]

y 修飾符的一個(gè)應(yīng)用，是從字符串提取 token（詞元）， y 修飾符確保了匹配之間不會(huì)有漏掉的字符。

const TOKEN_Y = /\s*(\+|[0-9]+)\s*/y;
const TOKEN_G  = /\s*(\+|[0-9]+)\s*/g;


tokenize(TOKEN_Y, '3 + 4')
// [ '3', '+', '4' ]
tokenize(TOKEN_G, '3 + 4')
// [ '3', '+', '4' ]


function tokenize(TOKEN_REGEX, str) {
  let result = [];
  let match;
  while (match = TOKEN_REGEX.exec(str)) {
    result.push(match[1]);
  }
  return result;
}

上面代碼中，如果字符串里面沒(méi)有非法字符， y 修飾符與 g 修飾符的提取結(jié)果是一樣的。但是，一旦出現(xiàn)非法字符，兩者的行為就不一樣了。

tokenize(TOKEN_Y, '3x + 4')
// [ '3' ]
tokenize(TOKEN_G, '3x + 4')
// [ '3', '+', '4' ]

上面代碼中， g 修飾符會(huì)忽略非法字符，而 y 修飾符不會(huì)，這樣就很容易發(fā)現(xiàn)錯(cuò)誤。

6. RegExp.prototype.sticky 屬性

與 y 修飾符相匹配，ES6 的正則實(shí)例對(duì)象多了 sticky屬性，表示是否設(shè)置了 y 修飾符。

var r = /hello\d/y;
r.sticky // true

7. RegExp.prototype.flags 屬性

ES6 為正則表達(dá)式新增了 flags屬性，會(huì)返回正則表達(dá)式的修飾符。

// ES5 的 source 屬性
// 返回正則表達(dá)式的正文
/abc/ig.source
// "abc"


// ES6 的 flags 屬性
// 返回正則表達(dá)式的修飾符
/abc/ig.flags
// 'gi'

8. s 修飾符：dotAll 模式

正則表達(dá)式中，點(diǎn)（ . ）是一個(gè)特殊字符，代表任意的單個(gè)字符，但是有兩個(gè)例外。一個(gè)是四個(gè)字節(jié)的 UTF-16 字符，這個(gè)可以用 u 修飾符解決；另一個(gè)是行終止符（line terminator character）。

所謂行終止符，就是該字符表示一行的終結(jié)。以下四個(gè)字符屬于“行終止符”。

• U+000A 換行符（ \n ）
• U+000D 回車符（ \r ）
• U+2028 行分隔符（line separator）
• U+2029 段分隔符（paragraph separator）

/foo.bar/.test('foo\nbar')
// false

上面代碼中，因?yàn)?. 不匹配 \n ，所以正則表達(dá)式返回 false 。

但是，很多時(shí)候我們希望匹配的是任意單個(gè)字符，這時(shí)有一種變通的寫法。

/foo[^]bar/.test('foo\nbar')
// true

這種解決方案畢竟不太符合直覺(jué)，ES2018 引入 s 修飾符，使得 . 可以匹配任意單個(gè)字符。

/foo.bar/s.test('foo\nbar') // true

這被稱為dotAll 模式，即點(diǎn)（dot）代表一切字符。所以，正則表達(dá)式還引入了一個(gè) dotAll 屬性，返回一個(gè)布爾值，表示該正則表達(dá)式是否處在 dotAll 模式。

const re = /foo.bar/s;
// 另一種寫法
// const re = new RegExp('foo.bar', 's');


re.test('foo\nbar') // true
re.dotAll // true
re.flags // 's'

/s 修飾符和多行修飾符 /m 不沖突，兩者一起使用的情況下， . 匹配所有字符，而 ^ 和 $ 匹配每一行的行首和行尾。

9. 后行斷言

JavaScript 語(yǔ)言的正則表達(dá)式，只支持先行斷言（lookahead）和先行否定斷言（negative lookahead），不支持后行斷言（lookbehind）和后行否定斷言（negative lookbehind）。ES2018 引入后行斷言，V8 引擎 4.9 版（Chrome 62）已經(jīng)支持。

“先行斷言”指的是， x 只有在 y 前面才匹配，必須寫成 /x(?=y)/ 。比如，只匹配百分號(hào)之前的數(shù)字，要寫成 /\d+(?=%)/ 。“先行否定斷言”指的是， x 只有不在 y 前面才匹配，必須寫成 /x(?!y)/ 。比如，只匹配不在百分號(hào)之前的數(shù)字，要寫成 /\d+(?!%)/ 。

/\d+(?=%)/.exec('100% of US presidents have been male')  // ["100"]
/\d+(?!%)/.exec('that’s all 44 of them')                 // ["44"]

上面兩個(gè)字符串，如果互換正則表達(dá)式，就不會(huì)得到相同結(jié)果。另外，還可以看到，“先行斷言”括號(hào)之中的部分（ (?=%) ），是不計(jì)入返回結(jié)果的。

“后行斷言”正好與“先行斷言”相反， x 只有在 y 后面才匹配，必須寫成 /(?<=y)x/ 。比如，只匹配美元符號(hào)之后的數(shù)字，要寫成 /(?<=\$)\d+/ ?！昂笮蟹穸〝嘌浴眲t與“先行否定斷言”相反， x 只有不在 y 后面才匹配，必須寫成 /(?。比如，只匹配不在美元符號(hào)后面的數(shù)字，要寫成 /(?。

/(?<=\$)\d+/.exec('Benjamin Franklin is on the $100 bill')  // ["100"]
/(?<!\$)\d+/.exec('it’s is worth about €90')                // ["90"]

上面的例子中，“后行斷言”的括號(hào)之中的部分（ (?<=\$) ），也是不計(jì)入返回結(jié)果。

下面的例子是使用后行斷言進(jìn)行字符串替換。

const RE_DOLLAR_PREFIX = /(?<=\$)foo/g;
'$foo %foo foo'.replace(RE_DOLLAR_PREFIX, 'bar');
// '$bar %foo foo'

上面代碼中，只有在美元符號(hào)后面的 foo 才會(huì)被替換。

“后行斷言”的實(shí)現(xiàn)，需要先匹配 /(?<=y)x/ 的 x ，然后再回到左邊，匹配 y 的部分。這種“先右后左”的執(zhí)行順序，與所有其他正則操作相反，導(dǎo)致了一些不符合預(yù)期的行為。

首先，后行斷言的組匹配，與正常情況下結(jié)果是不一樣的。

/(?<=(\d+)(\d+))$/.exec('1053') // ["", "1", "053"]
/^(\d+)(\d+)$/.exec('1053') // ["1053", "105", "3"]

上面代碼中，需要捕捉兩個(gè)組匹配。沒(méi)有“后行斷言”時(shí)，第一個(gè)括號(hào)是貪婪模式，第二個(gè)括號(hào)只能捕獲一個(gè)字符，所以結(jié)果是 105 和 3 。而“后行斷言”時(shí)，由于執(zhí)行順序是從右到左，第二個(gè)括號(hào)是貪婪模式，第一個(gè)括號(hào)只能捕獲一個(gè)字符，所以結(jié)果是 1 和 053 。

其次，“后行斷言”的反斜杠引用，也與通常的順序相反，必須放在對(duì)應(yīng)的那個(gè)括號(hào)之前。

/(?<=(o)d\1)r/.exec('hodor')  // null
/(?<=\1d(o))r/.exec('hodor')  // ["r", "o"]

上面代碼中，如果后行斷言的反斜杠引用（ \1 ）放在括號(hào)的后面，就不會(huì)得到匹配結(jié)果，必須放在前面才可以。因?yàn)楹笮袛嘌允窍葟淖蟮接覓呙瑁l(fā)現(xiàn)匹配以后再回過(guò)頭，從右到左完成反斜杠引用。

10. Unicode 屬性類

ES2018 引入了一種新的類的寫法 \p{...} 和 \P{...} ，允許正則表達(dá)式匹配符合 Unicode 某種屬性的所有字符。

const regexGreekSymbol = /\p{Script=Greek}/u;
regexGreekSymbol.test('π') // true

上面代碼中， \p{Script=Greek} 指定匹配一個(gè)希臘文字母，所以匹配 π 成功。

Unicode 屬性類要指定屬性名和屬性值。

\p{UnicodePropertyName=UnicodePropertyValue}

對(duì)于某些屬性，可以只寫屬性名，或者只寫屬性值。

\p{UnicodePropertyName}
\p{UnicodePropertyValue}

\P{…} 是 \p{…} 的反向匹配，即匹配不滿足條件的字符。

注意，這兩種類只對(duì) Unicode 有效，所以使用的時(shí)候一定要加上 u 修飾符。如果不加 u 修飾符，正則表達(dá)式使用 \p 和 \P 會(huì)報(bào)錯(cuò)，ECMAScript 預(yù)留了這兩個(gè)類。

由于 Unicode 的各種屬性非常多，所以這種新的類的表達(dá)能力非常強(qiáng)。

const regex = /^\p{Decimal_Number}+$/u;
regex.test('1234567890123456') // true

上面代碼中，屬性類指定匹配所有十進(jìn)制字符，可以看到各種字型的十進(jìn)制字符都會(huì)匹配成功。

\p{Number} 甚至能匹配羅馬數(shù)字。

// 匹配所有數(shù)字
const regex = /^\p{Number}+$/u;
regex.test('231???') // true
regex.test('???') // true
regex.test('ⅠⅡⅢⅣⅤⅥⅦⅧⅨⅩⅪⅫ') // true

下面是其他一些例子。

// 匹配所有空格
\p{White_Space}


// 匹配各種文字的所有字母，等同于 Unicode 版的 \w
[\p{Alphabetic}\p{Mark}\p{Decimal_Number}\p{Connector_Punctuation}\p{Join_Control}]


// 匹配各種文字的所有非字母的字符，等同于 Unicode 版的 \W
[^\p{Alphabetic}\p{Mark}\p{Decimal_Number}\p{Connector_Punctuation}\p{Join_Control}]


// 匹配 Emoji
/\p{Emoji_Modifier_Base}\p{Emoji_Modifier}?|\p{Emoji_Presentation}|\p{Emoji}\uFE0F/gu


// 匹配所有的箭頭字符
const regexArrows = /^\p{Block=Arrows}+$/u;
regexArrows.test('←↑→↓??↖↗↘↙?????????????') // true

11. 具名組匹配

簡(jiǎn)介

正則表達(dá)式使用圓括號(hào)進(jìn)行組匹配。

const RE_DATE = /(\d{4})-(\d{2})-(\d{2})/;

上面代碼中，正則表達(dá)式里面有三組圓括號(hào)。使用 exec 方法，就可以將這三組匹配結(jié)果提取出來(lái)。

const RE_DATE = /(\d{4})-(\d{2})-(\d{2})/;


const matchObj = RE_DATE.exec('1999-12-31');
const year = matchObj[1]; // 1999
const month = matchObj[2]; // 12
const day = matchObj[3]; // 31

組匹配的一個(gè)問(wèn)題是，每一組的匹配含義不容易看出來(lái)，而且只能用數(shù)字序號(hào)（比如 matchObj[1] ）引用，要是組的順序變了，引用的時(shí)候就必須修改序號(hào)。

ES2018 引入了具名組匹配（Named Capture Groups），允許為每一個(gè)組匹配指定一個(gè)名字，既便于閱讀代碼，又便于引用。

const RE_DATE = /(?<year>\d{4})-(?<month>\d{2})-(?<day>\d{2})/;


const matchObj = RE_DATE.exec('1999-12-31');
const year = matchObj.groups.year; // 1999
const month = matchObj.groups.month; // 12
const day = matchObj.groups.day; // 31

上面代碼中，“具名組匹配”在圓括號(hào)內(nèi)部，模式的頭部添加“問(wèn)號(hào) + 尖括號(hào) + 組名”（ ? ），然后就可以在 exec 方法返回結(jié)果的 groups 屬性上引用該組名。同時(shí)，數(shù)字序號(hào)（ matchObj[1] ）依然有效。

具名組匹配等于為每一組匹配加上了 ID，便于描述匹配的目的。如果組的順序變了，也不用改變匹配后的處理代碼。

如果具名組沒(méi)有匹配，那么對(duì)應(yīng)的 groups 對(duì)象屬性會(huì)是 undefined 。

const RE_OPT_A = /^(?<as>a+)?$/;
const matchObj = RE_OPT_A.exec('');


matchObj.groups.as // undefined
'as' in matchObj.groups // true

上面代碼中，具名組 as 沒(méi)有找到匹配，那么 matchObj.groups.as 屬性值就是 undefined ，并且 as 這個(gè)鍵名在 groups 是始終存在的。

解構(gòu)賦值和替換

有了具名組匹配以后，可以使用解構(gòu)賦值直接從匹配結(jié)果上為變量賦值。

let {groups: {one, two}} = /^(?<one>.*):(?<two>.*)$/u.exec('foo:bar');
one  // foo
two  // bar

字符串替換時(shí)，使用 $<組名> 引用具名組。

let re = /(?<year>\d{4})-(?<month>\d{2})-(?<day>\d{2})/u;


'2015-01-02'.replace(re, '$<day>/$<month>/$<year>')
// '02/01/2015'

上面代碼中， replace 方法的第二個(gè)參數(shù)是一個(gè)字符串，而不是正則表達(dá)式。

replace 方法的第二個(gè)參數(shù)也可以是函數(shù)，該函數(shù)的參數(shù)序列如下。

'2015-01-02'.replace(re, (
   matched, // 整個(gè)匹配結(jié)果 2015-01-02
   capture1, // 第一個(gè)組匹配 2015
   capture2, // 第二個(gè)組匹配 01
   capture3, // 第三個(gè)組匹配 02
   position, // 匹配開(kāi)始的位置 0
   S, // 原字符串 2015-01-02
   groups // 具名組構(gòu)成的一個(gè)對(duì)象 {year, month, day}
 ) => {
 let {day, month, year} = groups;
 return `${day}/${month}/${year}`;
});

具名組匹配在原來(lái)的基礎(chǔ)上，新增了最后一個(gè)函數(shù)參數(shù)：具名組構(gòu)成的一個(gè)對(duì)象。函數(shù)內(nèi)部可以直接對(duì)這個(gè)對(duì)象進(jìn)行解構(gòu)賦值。

引用

如果要在正則表達(dá)式內(nèi)部引用某個(gè)“具名組匹配”，可以使用 \k<組名> 的寫法。

const RE_TWICE = /^(?<word>[a-z]+)!\k<word>$/;
RE_TWICE.test('abc!abc') // true
RE_TWICE.test('abc!ab') // false

數(shù)字引用（ \1 ）依然有效。

const RE_TWICE = /^(?<word>[a-z]+)!\1$/;
RE_TWICE.test('abc!abc') // true
RE_TWICE.test('abc!ab') // false

這兩種引用語(yǔ)法還可以同時(shí)使用。

const RE_TWICE = /^(?<word>[a-z]+)!\k<word>!\1$/;
RE_TWICE.test('abc!abc!abc') // true
RE_TWICE.test('abc!abc!ab') // false

12. 正則匹配索引

正則匹配結(jié)果的開(kāi)始位置和結(jié)束位置，目前獲取并不是很方便。正則實(shí)例的 exec() 方法，返回結(jié)果有一個(gè) index 屬性，可以獲取整個(gè)匹配結(jié)果的開(kāi)始位置，但是如果包含組匹配，每個(gè)組匹配的開(kāi)始位置，很難拿到。

現(xiàn)在有一個(gè)第三階段提案，為 exec() 方法的返回結(jié)果加上 indices 屬性，在這個(gè)屬性上面可以拿到匹配的開(kāi)始位置和結(jié)束位置。

const text = 'zabbcdef';
const re = /ab/;
const result = re.exec(text);


result.index // 1
result.indices // [ [1, 3] ]

上面例子中， exec() 方法的返回結(jié)果 result ，它的 index 屬性是整個(gè)匹配結(jié)果（ ab ）的開(kāi)始位置，而它的 indices 屬性是一個(gè)數(shù)組，成員是每個(gè)匹配的開(kāi)始位置和結(jié)束位置的數(shù)組。由于該例子的正則表達(dá)式?jīng)]有組匹配，所以 indices 數(shù)組只有一個(gè)成員，表示整個(gè)匹配的開(kāi)始位置是 1 ，結(jié)束位置是 3 。

注意，開(kāi)始位置包含在匹配結(jié)果之中，但是結(jié)束位置不包含在匹配結(jié)果之中。比如，匹配結(jié)果為 ab ，分別是原始字符串的第1位和第2位，那么結(jié)束位置就是第3位。

如果正則表達(dá)式包含組匹配，那么 indices 屬性對(duì)應(yīng)的數(shù)組就會(huì)包含多個(gè)成員，提供每個(gè)組匹配的開(kāi)始位置和結(jié)束位置。

const text = 'zabbcdef';
const re = /ab+(cd)/;
const result = re.exec(text);


result.indices // [ [ 1, 6 ], [ 4, 6 ] ]

上面例子中，正則表達(dá)式包含一個(gè)組匹配，那么 indices 屬性數(shù)組就有兩個(gè)成員，第一個(gè)成員是整個(gè)匹配結(jié)果（ abbcd ）的開(kāi)始位置和結(jié)束位置，第二個(gè)成員是組匹配（ cd ）的開(kāi)始位置和結(jié)束位置。

下面是多個(gè)組匹配的例子。

const text = 'zabbcdef';
const re = /ab+(cd(ef))/;
const result = re.exec(text);


result.indices // [ [1, 8], [4, 8], [6, 8] ]

上面例子中，正則表達(dá)式包含兩個(gè)組匹配，所以 indices 屬性數(shù)組就有三個(gè)成員。

如果正則表達(dá)式包含具名組匹配， indices 屬性數(shù)組還會(huì)有一個(gè) groups 屬性。該屬性是一個(gè)對(duì)象，可以從該對(duì)象獲取具名組匹配的開(kāi)始位置和結(jié)束位置。

const text = 'zabbcdef';
const re = /ab+(?<Z>cd)/;
const result = re.exec(text);


result.indices.groups // { Z: [ 4, 6 ] }

上面例子中， exec() 方法返回結(jié)果的 indices.groups 屬性是一個(gè)對(duì)象，提供具名組匹配 Z 的開(kāi)始位置和結(jié)束位置。

如果獲取組匹配不成功， indices 屬性數(shù)組的對(duì)應(yīng)成員則為 undefined ， indices.groups 屬性對(duì)象的對(duì)應(yīng)成員也是 undefined 。

const text = 'zabbcdef';
const re = /ab+(?<Z>ce)?/;
const result = re.exec(text);


result.indices[1] // undefined
result.indices.groups['Z'] // undefined

上面例子中，由于組匹配不成功，所以 indices 屬性數(shù)組和 indices.groups 屬性對(duì)象對(duì)應(yīng)的組匹配成員都是 undefined 。

13. String.prototype.matchAll()

如果一個(gè)正則表達(dá)式在字符串里面有多個(gè)匹配，現(xiàn)在一般使用 g 修飾符或 y 修飾符，在循環(huán)里面逐一取出。

var regex = /t(e)(st(\d?))/g;
var string = 'test1test2test3';


var matches = [];
var match;
while (match = regex.exec(string)) {
  matches.push(match);
}


matches
// [
//   ["test1", "e", "st1", "1", index: 0, input: "test1test2test3"],
//   ["test2", "e", "st2", "2", index: 5, input: "test1test2test3"],
//   ["test3", "e", "st3", "3", index: 10, input: "test1test2test3"]
// ]

上面代碼中， while 循環(huán)取出每一輪的正則匹配，一共三輪。

ES2020 增加了 String.prototype.matchAll() 方法，可以一次性取出所有匹配。不過(guò)，它返回的是一個(gè)遍歷器（Iterator），而不是數(shù)組。

const string = 'test1test2test3';


// g 修飾符加不加都可以
const regex = /t(e)(st(\d?))/g;


for (const match of string.matchAll(regex)) {
  console.log(match);
}
// ["test1", "e", "st1", "1", index: 0, input: "test1test2test3"]
// ["test2", "e", "st2", "2", index: 5, input: "test1test2test3"]
// ["test3", "e", "st3", "3", index: 10, input: "test1test2test3"]

上面代碼中，由于 string.matchAll(regex) 返回的是遍歷器，所以可以用 for...of 循環(huán)取出。相對(duì)于返回?cái)?shù)組，返回遍歷器的好處在于，如果匹配結(jié)果是一個(gè)很大的數(shù)組，那么遍歷器比較節(jié)省資源。

遍歷器轉(zhuǎn)為數(shù)組是非常簡(jiǎn)單的，使用 ... 運(yùn)算符和 Array.from() 方法就可以了。

// 轉(zhuǎn)為數(shù)組方法一
[...string.matchAll(regex)]


// 轉(zhuǎn)為數(shù)組方法二
Array.from(string.matchAll(regex))