JS引擎工作原理

先来一段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引擎在进入一段可执行的代码时，需要完成以下三个初始化工作：

1. 创建一个全局对象（Global Object），这个对象全局只存在一份，它的属性在任何地方都可以访问，它的存在伴随着应用程序的整个生命周期。全局对象在创建时，将Math，String，Date，document等常用的JS对象作为其属性。由于这个全局对象不能通过名字直接访问，因此还有另一个属性window，并将window指向了自身，这样就可以通过window访问这个全局对象了/用伪代码模拟全局对象的答题结构如下：

//创建一个全局对象
var globalObject = {
  Math: {},
  String: {},
  Date: {},
  document: {},//DOM操作
  ...
  window: this,//window属性指向自身
}

2. JS引擎需要构建一个执行环境（Execution Context Stack),与此同时，也要创建一个全局执行环境（Execution Context）EC，并将这个全局执行环境EC压入执行环境栈中。执行环境栈的作用时为了保证程序能够按照正确的顺序被执行。在js中，每个函数都有自己的执行环境，当执行一个函数时，该函数的执行环境就会被推入执行环境栈的顶部并获取执行权。当这个函数执行完毕。它的执行环境又从这个栈的顶部被删除，并把执行权还给之前执行环境。伪代码模拟执行环境栈和EC的关系：

var ECstack = [];//定义一个执行环境栈，类似于数组
var EC = {}; //创建一个执行空间，
ECstack.push(EC);//进入函数，压入执行环境
ECstack.pop(EC);//return 后，删除执行环境

3. 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)
}

• 创建函数，过程：
  1. 开辟一个新的堆内存
  2. 创建函数say，把这个函数体中的代码放在这个堆内存中。（字符串形式）
  3. 在当前上下文中声明say函数（变量），函数声明和定义会提升到最前面
  4. 把开辟的堆内存的地址赋值给函数名say
• 执行函数：
  1. 形成一个供代码执行的环境，也是一个栈内存。
  2. 将存储的字符串复制一份到新开辟的栈内存中，使其变为真正的JS代码。
  3. 先对形参进行赋值，再进行变量提升。
  4. 在这个新开辟的作用域中自上而下执行。