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