先来一段demo：
var x = 1; //全局变量x
function A(y) {
var x = 2; //局部变量x
function B(z) {
console.log(x+y+z);
}
return B;
}
var C = A(1);
C(1);
- 全局初始化
JS引擎在进入一段可执行的代码时，需要完成以下三个初始化工作：
- 创建一个全局对象（Global Object），这个对象全局只存在一份，它的属性在任何地方都可以访问，它的存在伴随着应用程序的整个生命周期。全局对象在创建时，将Math，String，Date，document等常用的JS对象作为其属性。由于这个全局对象不能通过名字直接访问，因此还有另一个属性window，并将window指向了自身，这样就可以通过window访问这个全局对象了/用伪代码模拟全局对象的答题结构如下：
//创建一个全局对象
var globalObject = {
Math: {},
String: {},
Date: {},
document: {},//DOM操作
...
window: this,//window属性指向自身
}
- JS引擎需要构建一个执行环境（Execution Context Stack),与此同时，也要创建一个全局执行环境（Execution Context）EC，并将这个全局执行环境EC压入执行环境栈中。执行环境栈的作用时为了保证程序能够按照正确的顺序被执行。在js中，每个函数都有自己的执行环境，当执行一个函数时，该函数的执行环境就会被推入执行环境栈的顶部并获取执行权。当这个函数执行完毕。它的执行环境又从这个栈的顶部被删除，并把执行权还给之前执行环境。伪代码模拟执行环境栈和EC的关系：
var ECstack = [];//定义一个执行环境栈，类似于数组
var EC = {}; //创建一个执行空间，
ECstack.push(EC);//进入函数，压入执行环境
ECstack.pop(EC);//return 后，删除执行环境
- JS引擎创建一个与EC关联的全局变量对象（Varibale Object）VO，并把VO指向全局对象，VO不仅包含了全局对象的原有属性，还包括在全局定义的变量x和函数A，与此同时，在定义函数A的时候，还为A添加了一个内部属性scope，并将scope指向了VO。每个函数在定义的时候，都会创建一个与之关联的scope属性，scope总是指向定义函数时所在的环境。此时ECstack结构如下：
ECStack = [//执行环境栈
EC(G) = { //全局执行环境
VO(G):{ //定义全局变量对象
... //包含全局对象原有的属性
x = 1; //定义变量x
A = function(){};
A[[scope]] = this;//定义A的scope，并赋值为vo本身
}
}
];
执行一个函数，会发生什么？
function say() {
let str = 'hello world'
console.log(str)
}
- 创建函数，过程：
- 开辟一个新的堆内存
- 创建函数say，把这个函数体中的代码放在这个堆内存中。（字符串形式）
- 在当前上下文中声明say函数（变量），函数声明和定义会提升到最前面
- 把开辟的堆内存的地址赋值给函数名say
- 执行函数：
- 形成一个供代码执行的环境，也是一个栈内存。
- 将存储的字符串复制一份到新开辟的栈内存中，使其变为真正的JS代码。
- 先对形参进行赋值，再进行变量提升。
- 在这个新开辟的作用域中自上而下执行。
