深入理解JavaScript執(zhí)行上下文
只有理解了執(zhí)行上下文,才能更好地理解 JavaScript 語言本身,比如變量提升,作用域,閉包等
執(zhí)行上下文
執(zhí)行上下文是當(dāng)前代碼的執(zhí)行環(huán)境。
執(zhí)行上下文主要是三種類型:
- 全局執(zhí)行上下文:全局執(zhí)行環(huán)境是最外圍的一個(gè)執(zhí)行環(huán)境,在瀏覽器的全局對象是 window, this指向這個(gè)對象
- 函數(shù)執(zhí)行上下文:可以有無數(shù)個(gè),函數(shù)被調(diào)用的時(shí)候會(huì)被創(chuàng)建。每次調(diào)用函數(shù)都會(huì)創(chuàng)建一個(gè)新的執(zhí)行上下文。
- eval執(zhí)行上下文,很少用。
每個(gè)執(zhí)行上下文,都有三個(gè)重要屬性:
- 變量對象 (variable object, VO): 每個(gè)執(zhí)行環(huán)境都有一個(gè)與之關(guān)聯(lián)的變量對象,環(huán)境中定義的所有變量和函數(shù)都保存在這個(gè)對象中。雖然我們編寫的代碼無法訪問這個(gè)對象,但解析器在處理數(shù)據(jù)時(shí)會(huì)在后臺(tái)使用它。
在函數(shù)上下文中,使用活動(dòng)對象 (activation object, AO) 來表示變量對象?;顒?dòng)對象和變量對象其實(shí)是一個(gè)東西,只有當(dāng)進(jìn)入一個(gè)執(zhí)行環(huán)境時(shí),這個(gè)執(zhí)行上下文的變量對象才會(huì)被激活,此時(shí)稱為 活動(dòng)對象(AO),只有活動(dòng)對象上的屬性才能被訪問。
- 作用域鏈(scope chain):當(dāng)代碼在一個(gè)環(huán)境中執(zhí)行時(shí),會(huì)創(chuàng)建變量對象的一個(gè)作用域鏈。作用域鏈的用途,是保證對執(zhí)行環(huán)境有權(quán)訪問的所有變量和函數(shù)的有序訪問。
- this
執(zhí)行上下文的生命周期:創(chuàng)建 -> 執(zhí)行 -> 回收
1. 創(chuàng)建階段:
- 1.1 創(chuàng)建變量對象:
- 初始化函數(shù)的參數(shù) arguments
- 函數(shù)聲明
- 變量聲明
舉個(gè)簡單的例子來理解變量對象
- function getName(name) {
- var b = 2;
- function foo() {};
- var bar = function() {};
- }
- getName('lucystar')
此時(shí)的 AO 大致如下
- AO = {
- arguments: {
- 0: 'lucystar',
- length: 1
- },
- name: 'lucystar',
- b: undefined,
- foo: reference to function foo(){},
- bar: undefined
- }
上面例子中涉及到了變量提升和函數(shù)提升,之前在 從JS底層理解var、let、const這邊文章中也介紹過
- 1.2 創(chuàng)建作用域鏈
函數(shù)的作用域在函數(shù)定義的時(shí)候就確定了。作用域鏈本身包含變量對象,當(dāng)查找變量時(shí),會(huì)先從當(dāng)前上下文中的變量對象中查找,如果沒有找到,就會(huì)從父級執(zhí)行上下文的變量對象中查找,一直找到全局執(zhí)行上下文的變量對象
- 1.3 確定this的指向
這部分又分為多種情況,具體的可以查看另一篇文章 一文理解this&call&apply&bind
2. 執(zhí)行階段
執(zhí)行變量賦值,代碼執(zhí)行
3. 回收階段
執(zhí)行上下文出棧被垃圾回收機(jī)制進(jìn)行回收。關(guān)于內(nèi)存回收的內(nèi)容,可以查看 V8內(nèi)存管理及垃圾回收機(jī)制
執(zhí)行上下文棧
執(zhí)行上下文棧是用來管理執(zhí)行上下文的。在執(zhí)行上下文創(chuàng)建好后,JavaScript引擎會(huì)將執(zhí)行上下文壓入到棧中,通常把這種用來管理執(zhí)行上下文的棧稱為執(zhí)行上下文棧,又稱調(diào)用棧。
- let a = 'javascript';
- function foo() {
- console.log('foo');
- bar();
- }
- function bar() {
- console.log('bar');
- }
- foo();
- 上述代碼在瀏覽器加載時(shí),JavaScript 引擎創(chuàng)建了一個(gè)全局執(zhí)行上下文并把它壓入到當(dāng)前執(zhí)行棧。
- 當(dāng)遇到 foo() 函數(shù)調(diào)用時(shí), JavaScript 引擎創(chuàng)建了一個(gè) foo 函數(shù)執(zhí)行上下文并把它壓入到當(dāng)前執(zhí)行棧的頂部。
- 當(dāng)從 foo() 函數(shù)內(nèi)部調(diào)用 bar() 函數(shù)時(shí),JavaScript 引擎創(chuàng)建了一個(gè) bar 函數(shù)執(zhí)行上下文并把它壓入到當(dāng)前執(zhí)行棧的頂部。
- 當(dāng)函數(shù) bar 執(zhí)行完畢,它的執(zhí)行上下文會(huì)從當(dāng)前棧中彈出,控制流程到達(dá)下一個(gè)執(zhí)行上下文,即 foo() 函數(shù)的執(zhí)行上下文。
- 當(dāng) foo() 執(zhí)行完成,它的執(zhí)行上下文從棧彈出,控制流程到達(dá)全局執(zhí)行上下文,一旦所有代碼執(zhí)行完成,javaScript 引擎就從當(dāng)前棧中移除全局執(zhí)行上下文。
為什么基本數(shù)據(jù)類型存儲(chǔ)在棧中,引用數(shù)據(jù)類型存儲(chǔ)在堆中?JavaScript引擎需要用棧來維護(hù)程序執(zhí)行期間的上下文的狀態(tài),如果棧空間大了的話,所有數(shù)據(jù)都存放在棧空間里面,會(huì)影響到上下文切換的效率,進(jìn)而影響整個(gè)程序的執(zhí)行效率。


























