先来一段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代码。
- 先对形参进行赋值,再进行变量提升。
- 在这个新开辟的作用域中自上而下执行。
网友评论