JavaScript正則表達(dá)式中g(shù)標(biāo)志詳解

第JavaScript正則表達(dá)式中g(shù)標(biāo)志詳解目錄緣起解密過程搜索引擎源碼層面結(jié)論

緣起

有一天在思否社區(qū)看到有個(gè)問題，大致描述如下

constlist=['a','b','-','c','d'];

constreg=/[a-z]/g;

constletters=list.filter(i=reg.test(i));

//letters===['a','c'];

//如果正則不使用`g`標(biāo)志可以得到所有的字母

//為什么加入`g`之后就不可以了

對(duì)問題而言，遍歷中的i就是一個(gè)字符，不需要用到g。

但是就我對(duì)正則的理解（過于淺?。└杏X上有沒有g(shù)（只是全局搜索，不會(huì)匹配到就停下來）應(yīng)該不影響，激發(fā)了我的好奇心。

上面題的建議寫法如下

constreg=/[a-z]/g;

reg.test('a');//=true

reg.test('a');//=false

reg.test('a');//=true

reg.test('a');//=false

reg.test('a');//=true

解密過程

首先可以確定的表現(xiàn)一定是g導(dǎo)致的

搜索引擎

打開MDN仔細(xì)查看g標(biāo)志的作用，得到結(jié)論和我的理解無二。

我猜想應(yīng)該就是g可能啟用了某種緩存，又因?yàn)閞eg相對(duì)過濾器是全局變量，我將代碼改為：

constlist=['a','b','-','c','d'];

constletters=list.filter(i=/[a-z]/g.test(i));

//letters===['a','b','c','d'];

將正則聲明到每一次遍歷，得到結(jié)論就是正確的，驗(yàn)證了我的猜想。也得到了，緩存就是正則中的某個(gè)地方

下面我找到對(duì)應(yīng)的源碼來查看問題的原因

源碼層面

由于最近在看Rust，所以使用Rust編寫的源碼查看

打開項(xiàng)目后，點(diǎn)擊.進(jìn)入vscode模式，command+p搜索regexp關(guān)鍵詞

進(jìn)入test.rs文件，command+f搜索/g可以找到在90行有個(gè)last_index()的測試

#[test]

fnlast_index(){

letmutcontext=Context::default();

letinit=r#"

varregex=/[0-9]+(\.[0-9]+)/g;

//forward的作用：更改context，并返回結(jié)果的字符串。

eprintln!("{}",forward(mutcontext,init));

assert_eq!(forward(mutcontext,"regex.lastIndex"),"0");

assert_eq!(forward(mutcontext,"regex.test('1.0foo')"),"true");

assert_eq!(forward(mutcontext,"regex.lastIndex"),"3");

assert_eq!(forward(mutcontext,"regex.test('1.0foo')"),"false");

assert_eq!(forward(mutcontext,"regex.lastIndex"),"0");

}

看到了有l(wèi)astIndex關(guān)鍵字，這里再已經(jīng)大致猜到問題的原因了，g標(biāo)志存在匹配后的最后一個(gè)下標(biāo)，導(dǎo)致出現(xiàn)問題。

我們將視線移入到mod.rs文件中，搜索test

在631行看到了fntest()方法

pub(crate)fntest(

this:JsValue,

args:[JsValue],

context:mutContext,

)-JsResultJsValue{

//1.LetRbethethisvalue.

//2.IfType(R)isnotObject,throwaTypeErrorexception.

letthis=this.as_object().ok_or_else(||{

context

.construct_type_error("RegEtotype.testmethodcalledonincompatiblevalue")

});

//3.LetstringbeToString(S).

letarg_str=args

.get(0)

.cloned()

.unwrap_or_default()

.to_string(context);

//4.LetmatchbeRegExpExec(R,string).

letm=Self::abstract_exec(this,arg_str,context);

//5.Ifmatchisnotnull,returntrue;elsereturnfalse.

ifm.is_some(){

Ok(JsValue::new(true))

}else{

Ok(JsValue::new(false))

}

在test()方法中找到了Self::abstract_exec()方法

pub(crate)fnabstract_exec(

this:JsObject,

input:JsString,

context:mutContext,

)-JsResultOptionJsObject{

//1.Assert:Type(R)isObject.

//2.Assert:Type(S)isString.

//3.LetexecbeGet(R,"exec").

letexec=this.get("exec",context);

//4.IfIsCallable(exec)istrue,then

ifletSome(exec)=exec.as_callable(){

//a.LetresultbeCall(exec,R,?S?).

letresult=exec.call(this.clone().into(),[o()],context);

//b.IfType(result)isneitherObjectnorNull,throwaTypeErrorexception.

if!result.is_object()!result.is_null(){

returncontext.throw_type_error("regexpexecreturnedneitherobjectnornull");

//c.Returnresult.

returnOk(result.as_object().cloned());

//5.PerformRequireInternalSlot(R,[[RegExpMatcher]]).

if!this.is_regexp(){

returncontext.throw_type_error("RegExpExeccalledwithinvalidvalue");

//6.ReturnRegExpBuiltinExec(R,S).

Self::abstract_builtin_exec(this,input,context)

}

又在Self::abstract_exec()方法中找到了Self::abstract_builtin_exec()方法

pub(crate)fnabstract_builtin_exec(

this:JsObject,

input:JsString,

context:mutContext,

)-JsResultOptionJsObject{

//1.Assert:RisaninitializedRegExpinstance.

letrx={

letobj=this.borrow();

ifletSome(rx)=obj.as_regexp(){

rx.clone()

}else{

returncontext.throw_type_error("RegExpBuiltinExeccalledwithinvalidvalue");

//2.Assert:Type(S)isString.

//3.LetlengthbethenumberofcodeunitsinS.

letlength=input.encode_utf16().count();

//4.LetlastIndexbe?(ToLength(Get(R,"lastIndex"))).

letmutlast_index=this.get("lastIndex",context).to_length(context);

//5.LetflagsbeR.[[OriginalFlags]].

letflags=rx.original_flags;

//6.Ifflagscontains"g",letglobalbetrue;elseletglobalbefalse.

letglobal=flags.contains('g');

//7.Ifflagscontains"y",letstickybetrue;elseletstickybefalse.

letsticky=flags.contains('y');

//8.Ifglobalisfalseandstickyisfalse,setlastIndexto0.

if!global!sticky{

last_index=0;

//9.LetmatcherbeR.[[RegExpMatcher]].

letmatcher=rx.matcher;

//10.Ifflagscontains"u",letfullUnicodebetrue;elseletfullUnicodebefalse.

letunicode=flags.contains('u');

//11.LetmatchSucceededbefalse.