這篇文章主要講解了Javascript是如何執(zhí)行的,內(nèi)容清晰明了,對(duì)此有興趣的小伙伴可以學(xué)習(xí)一下,相信大家閱讀完之后會(huì)有幫助。
創(chuàng)新互聯(lián)建站服務(wù)項(xiàng)目包括萊陽(yáng)網(wǎng)站建設(shè)、萊陽(yáng)網(wǎng)站制作、萊陽(yáng)網(wǎng)頁(yè)制作以及萊陽(yáng)網(wǎng)絡(luò)營(yíng)銷策劃等。多年來(lái),我們專注于互聯(lián)網(wǎng)行業(yè),利用自身積累的技術(shù)優(yōu)勢(shì)、行業(yè)經(jīng)驗(yàn)、深度合作伙伴關(guān)系等,向廣大中小型企業(yè)、政府機(jī)構(gòu)等提供互聯(lián)網(wǎng)行業(yè)的解決方案,萊陽(yáng)網(wǎng)站推廣取得了明顯的社會(huì)效益與經(jīng)濟(jì)效益。目前,我們服務(wù)的客戶以成都為中心已經(jīng)輻射到萊陽(yáng)省份的部分城市,未來(lái)相信會(huì)繼續(xù)擴(kuò)大服務(wù)區(qū)域并繼續(xù)獲得客戶的支持與信任!
Javascript從定義到執(zhí)行,JS引擎在實(shí)現(xiàn)層做了很多初始化工作,因此在學(xué)習(xí)JS引擎工作機(jī)制之前,我們需要引入幾個(gè)相關(guān)的概念:執(zhí)行環(huán)境棧、全局對(duì)象、執(zhí)行環(huán)境、變量對(duì)象、活動(dòng)對(duì)象、作用域和作用域鏈等,這些概念正是JS引擎工作的核心組件。這篇文章的目的不是孤立的為你講解每一個(gè)概念,而是通過(guò)一個(gè)簡(jiǎn)單的DEMO來(lái)展開(kāi)分析,全局講解JS引擎從定義到執(zhí)行的每一個(gè)細(xì)節(jié),以及這些概念在其中所扮演的角色。
var x = 1; //定義一個(gè)全局變量 x function A(y){ var x = 2; //定義一個(gè)局部變量 x function B(z){ //定義一個(gè)內(nèi)部函數(shù) B console.log(x+y+z); } return B; //返回函數(shù)B的引用 } var C = A(1); //執(zhí)行A,返回B C(1); //執(zhí)行函數(shù)B,輸出 4
下面我們將分全局初始化、執(zhí)行函數(shù)A、執(zhí)行函數(shù)B 三個(gè)階段來(lái)分析JS引擎的工作機(jī)制:
1. 全局初始化
JS引擎在進(jìn)入一段可執(zhí)行的代碼時(shí),需要完成以下三個(gè)初始化工作:
首先,創(chuàng)建一個(gè)全局對(duì)象(Global Object) , 這個(gè)對(duì)象全局只存在一份,它的屬性在任何地方都可以訪問(wèn),它的存在伴隨著應(yīng)用程序的整個(gè)生命周期。全局對(duì)象在創(chuàng)建時(shí),將Math,String,Date,document 等常用的JS對(duì)象作為其屬性。由于這個(gè)全局對(duì)象不能通過(guò)名字直接訪問(wèn),因此還有另外一個(gè)屬性window,并將window指向了自身,這樣就可以通過(guò)window訪問(wèn)這個(gè)全局對(duì)象了。用偽代碼模擬全局對(duì)象的大體結(jié)構(gòu)如下:
//創(chuàng)建一個(gè)全局對(duì)象 var globalObject = { Math:{}, String:{}, Date:{}, document:{}, //DOM操作 ... window:this //讓window屬性指向了自身 }
然后,JS引擎需要構(gòu)建一個(gè)執(zhí)行環(huán)境棧( Execution Context Stack) ,與此同時(shí),也要?jiǎng)?chuàng)建一個(gè)全局執(zhí)行環(huán)境(Execution Context)EC ,并將這個(gè)全局執(zhí)行環(huán)境EC壓入執(zhí)行環(huán)境棧中。執(zhí)行環(huán)境棧的作用是為了保證程序能夠按照正確的順序被執(zhí)行。在javascript中,每個(gè)函數(shù)都有自己的執(zhí)行環(huán)境,當(dāng)執(zhí)行一個(gè)函數(shù)時(shí),該函數(shù)的執(zhí)行環(huán)境就會(huì)被推入執(zhí)行環(huán)境棧的頂部并獲取執(zhí)行權(quán)。當(dāng)這個(gè)函數(shù)執(zhí)行完畢,它的執(zhí)行環(huán)境又從這個(gè)棧的頂部被刪除,并把執(zhí)行權(quán)并還給之前執(zhí)行環(huán)境。我們用偽代碼來(lái)模擬執(zhí)行環(huán)境棧和EC的關(guān)系:
var ECStack = []; //定義一個(gè)執(zhí)行環(huán)境棧,類似于數(shù)組 var EC = {}; //創(chuàng)建一個(gè)執(zhí)行空間, //ECMA-262規(guī)范并沒(méi)有對(duì)EC的數(shù)據(jù)結(jié)構(gòu)做明確的定義,你可以理解為在內(nèi)存中分配的一塊空間 ECStack.push(EC); //進(jìn)入函數(shù),壓入執(zhí)行環(huán)境 ECStack.pop(EC); //函數(shù)返回后,刪除執(zhí)行環(huán)境
最后,JS引擎還要?jiǎng)?chuàng)建一個(gè)與EC關(guān)聯(lián)的全局變量對(duì)象(Varibale Object) VO, 并把VO指向全局對(duì)象,VO中不僅包含了全局對(duì)象的原有屬性,還包括在全局定義的變量x 和函數(shù) A,與此同時(shí),在定義函數(shù)A的時(shí)候,還為 A 添加了一個(gè)內(nèi)部屬性scope,并將scope指向了VO。每個(gè)函數(shù)在定義的時(shí)候,都會(huì)創(chuàng)建一個(gè)與之關(guān)聯(lián)的scope屬性,scope總是指向定義函數(shù)時(shí)所在的環(huán)境。此時(shí)的ECStack結(jié)構(gòu)如下:
ECStack = [ //執(zhí)行環(huán)境棧 EC(G) = { //全局執(zhí)行環(huán)境 VO(G):{ //定義全局變量對(duì)象 ... //包含全局對(duì)象原有的屬性 x = 1; //定義變量x A = function(){...}; //定義函數(shù)A A[[scope]] = this; //定義A的scope,并賦值為VO本身 } } ];
2. 執(zhí)行函數(shù)A
當(dāng)執(zhí)行進(jìn)入A(1) 時(shí),JS引擎需要完成以下工作:
首先,JS引擎會(huì)創(chuàng)建函數(shù)A的執(zhí)行環(huán)境EC,然后EC推入執(zhí)行環(huán)境棧的頂部并獲取執(zhí)行權(quán)。此時(shí)執(zhí)行環(huán)境棧中有兩個(gè)執(zhí)行環(huán)境,分別是全局執(zhí)行環(huán)境和函數(shù)A執(zhí)行環(huán)境,A的執(zhí)行環(huán)境在棧頂,全局執(zhí)行環(huán)境在棧的底部。
然后,創(chuàng)建函數(shù)A的作用域鏈(Scope Chain) ,在javascript中,每個(gè)執(zhí)行環(huán)境都有自己的作用域鏈,用于標(biāo)識(shí)符解析,當(dāng)執(zhí)行環(huán)境被創(chuàng)建時(shí),它的作用域鏈就初始化為當(dāng)前運(yùn)行函數(shù)的scope所包含的對(duì)象。
接著,JS引擎會(huì)創(chuàng)建一個(gè)當(dāng)前函數(shù)的活動(dòng)對(duì)象(Activation Object) AO,這里的活動(dòng)對(duì)象扮演著變量對(duì)象的角色,只是在函數(shù)中的叫法不同而已(你可以認(rèn)為變量對(duì)象是一個(gè)總的概念,而活動(dòng)對(duì)象是它的一個(gè)分支), AO中包含了函數(shù)的形參、arguments對(duì)象、this對(duì)象、以及局部變量和內(nèi)部函數(shù)的定義,然后AO會(huì)被推入作用域鏈的頂端。需要注意的是,在定義函數(shù)B的時(shí)候,JS引擎同樣也會(huì)為B添加了一個(gè)scope屬性,并將scope指向了定義函數(shù)B時(shí)所在的環(huán)境,定義函數(shù)B的環(huán)境就是A的活動(dòng)對(duì)象AO, 而AO位于鏈表的前端,由于鏈表具有首尾相連的特點(diǎn),因此函數(shù)B的scope指向了A的整個(gè)作用域鏈。 我們?cè)倏纯创藭r(shí)的ECStack結(jié)構(gòu):
ECStack = [ //執(zhí)行環(huán)境棧 EC(A) = { //A的執(zhí)行環(huán)境 [scope]:VO(G), //VO是全局變量對(duì)象 AO(A) : { //創(chuàng)建函數(shù)A的活動(dòng)對(duì)象 y:1, x:2, //定義局部變量x B:function(){...}, //定義函數(shù)B B[[scope]] = this; //this指代AO本身,而AO位于scopeChain的頂端,因此B[[scope]]指向整個(gè)作用域鏈 arguments:[],//平時(shí)我們?cè)诤瘮?shù)中訪問(wèn)的arguments就是AO中的arguments this:window //函數(shù)中的this指向調(diào)用者window對(duì)象 }, scopeChain:<AO(A),A[[scope]]> //鏈表初始化為A[[scope]],然后再把AO加入該作用域鏈的頂端,此時(shí)A的作用域鏈:AO(A)->VO(G) }, EC(G) = { //全局執(zhí)行環(huán)境 VO(G):{ //創(chuàng)建全局變量對(duì)象 ... //包含全局對(duì)象原有的屬性 x = 1; //定義變量x A = function(){...}; //定義函數(shù)A A[[scope]] = this; //定義A的scope,A[[scope]] == VO(G) } } ];
3. 執(zhí)行函數(shù)B
函數(shù)A被執(zhí)行以后,返回了B的引用,并賦值給了變量C,執(zhí)行 C(1) 就相當(dāng)于執(zhí)行B(1),JS引擎需要完成以下工作:
首先,還和上面一樣,創(chuàng)建函數(shù)B的執(zhí)行環(huán)境EC,然后EC推入執(zhí)行環(huán)境棧的頂部并獲取執(zhí)行權(quán)。 此時(shí)執(zhí)行環(huán)境棧中有兩個(gè)執(zhí)行環(huán)境,分別是全局執(zhí)行環(huán)境和函數(shù)B的執(zhí)行環(huán)境,B的執(zhí)行環(huán)境在棧頂,全局執(zhí)行環(huán)境在棧的底部。(注意:當(dāng)函數(shù)A返回后,A的執(zhí)行環(huán)境就會(huì)從棧中被刪除,只留下全局執(zhí)行環(huán)境)然后,創(chuàng)建函數(shù)B的作用域鏈,并初始化為函數(shù)B的scope所包含的對(duì)象,即包含了A的作用域鏈。最后,創(chuàng)建函數(shù)B的活動(dòng)對(duì)象AO,并將B的形參z, arguments對(duì)象 和 this對(duì)象作為AO的屬性。此時(shí)ECStack將會(huì)變成這樣:
ECStack = [ //執(zhí)行環(huán)境棧 EC(B) = { //創(chuàng)建B的執(zhí)行環(huán)境,并處于作用域鏈的頂端 [scope]:AO(A), //指向函數(shù)A的作用域鏈,AO(A)->VO(G) var AO(B) = { //創(chuàng)建函數(shù)B的活動(dòng)對(duì)象 z:1, arguments:[], this:window } scopeChain:<AO(B),B[[scope]]> //鏈表初始化為B[[scope]],再將AO(B)加入鏈表表頭,此時(shí)B的作用域鏈:AO(B)->AO(A)-VO(G) }, EC(A), //A的執(zhí)行環(huán)境已經(jīng)從棧頂被刪除, EC(G) = { //全局執(zhí)行環(huán)境 VO:{ //定義全局變量對(duì)象 ... //包含全局對(duì)象原有的屬性 x = 1; //定義變量x A = function(){...}; //定義函數(shù)A A[[scope]] = this; //定義A的scope,A[[scope]] == VO(G) } } ];
當(dāng)函數(shù)B執(zhí)行“x+y+z”時(shí),需要對(duì)x、y、z 三個(gè)標(biāo)識(shí)符進(jìn)行一一解析,解析過(guò)程遵守變量查找規(guī)則:先查找自己的活動(dòng)對(duì)象中是否存在該屬性,如果存在,則停止查找并返回;如果不存在,繼續(xù)沿著其作用域鏈從頂端依次查找,直到找到為止,如果整個(gè)作用域鏈上都未找到該變量,則返回“undefined”。從上面的分析可以看出函數(shù)B的作用域鏈?zhǔn)沁@樣的:
AO(B)->AO(A)->VO(G)
因此,變量x會(huì)在AO(A)中被找到,而不會(huì)查找VO(G)中的x,變量y也會(huì)在AO(A)中被找到,變量z 在自身的AO(B)中就找到了。所以執(zhí)行結(jié)果:2+1+1=4.
看完上述內(nèi)容,是不是對(duì)Javascript是如何執(zhí)行的有進(jìn)一步的了解,如果還想學(xué)習(xí)更多內(nèi)容,歡迎關(guān)注創(chuàng)新互聯(lián)行業(yè)資訊頻道。
本文題目:Javascript是如何執(zhí)行的
當(dāng)前鏈接:http://www.rwnh.cn/article34/pgsgse.html
成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián),為您提供App設(shè)計(jì)、靜態(tài)網(wǎng)站、移動(dòng)網(wǎng)站建設(shè)、網(wǎng)站營(yíng)銷、商城網(wǎng)站、定制網(wǎng)站
聲明:本網(wǎng)站發(fā)布的內(nèi)容(圖片、視頻和文字)以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主,如果涉及侵權(quán)請(qǐng)盡快告知,我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如需處理請(qǐng)聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載,或轉(zhuǎn)載時(shí)需注明來(lái)源: 創(chuàng)新互聯(lián)