js执行上下文(由浅入深)

时间:2021-08-19 04:37:49

每一个函数都有自己的执行上下文EC(执行环境 execution context),并且每个执行上下文中都有它自己的变量对象VO(Variable object),用于存储执行上下文中的变量 、函数声明 、函数参数,这解释了js如何找到我们定义的函数和变量。并且函数是js中唯一一个能创建出作用域的,注意:for,if()else()不能创建作用域。我们通过以下几个例子说明为什么函数和变量的声明会被前置,为什么匿名函数表达式的不可以在外面调用。

var a = 18;
f1();
function f1(){
var b=9;
console.log(a); //undefined
console.log(b); //
var a = '123';
}

因为在f1中,在此函数还未执行时变量a,b会被提前声明,也就是说可以理解为下面的代码

var a = 18;
f1();
function f1(){
var b;
var a;
b = 9;
console.log(a);
console.log(b);
a = '123';
}

如果想进一步理解内部的运行机制,可以用如下方法:

在此案例中,f1函数的作用域链有两个对象,一个是全局变量对象,一个是f1变量对象。

VO (globalContext) = {

  a: 18,

  f1: <ref to function>

}

1.变量初始化阶段

VO (f1 functionContext) = {

  a: undefined,

  b: undefined

}

2.代码执行阶段

VO (f1 functionContext) = {

  a: undefined,

  b: 9

}

再来两个js经典题

function fn(a){
console.log(a); //function(){}
var a = 2;
function a(){};
console.log(a); //
}
fn(1);

我们知道,在运行fn之前,变量和function都会提前声明,但是function会覆盖变量(在不赋值的前提下),

js执行上下文(由浅入深)

js执行上下文(由浅入深)

通过以上案例,我们可以总结如下规律:

VO按照如下顺序填充:
 1.  函数参数  (若未传入,初始化该参数值为undefined)
 2.  函数声明  (若发生命名冲突,会覆盖)
 3.  变量声明  (初始化变量值为undefined,若发生命名冲突,会忽略。)

注意:变量初始化(被声明)和变量根本不在一个变量对象里是有区别的,如果用console打印前者会显示undefined,而后者会报一个"ReferenceError: gg is not defined"。

比如js执行上下文(由浅入深)js执行上下文(由浅入深)

第一个只有一个全局上下文

VO (globalContext) = {

  fn: <ref to function>

}

因为没有执行fn,所以里面的变量读取不到,第二个通过声明被前置,打印undefined.(只有var的变量才能被前置)

为了让大家充分了解执行上下文,再来一个例子。

function test(a,b){ 
var c = 10; 
function d(){} 
var  e = function _e(){}; 
(function x(){}); 
b = 20;  
}   
test(10);

第一阶段——变量初始化阶段如下       第二阶段——代码执行阶段

js执行上下文(由浅入深)     js执行上下文(由浅入深)

提示:因为此函数中有形参b,所以在变量初始化阶段会b:undefined,如果没有形参b,会报错 b is not defined。

最后来一个压轴的

alert(a);   //undefined
alert(b);   //undefined
alert(x);   //function x(){}
var x = 10;
alert(x);   // 10
x = 20;
function x(){}
alert(x);   // 20
if (true) {
  var a = 1;
} else {
  var b = true;
}
alert(a);   //1
alert(b);   //undefined

首先声明一点,js是没有块级作用域的,所以if{}else{}里面的变量即使不执行,他们的声明也会前置,所以第一个和第二个alert为undefined,对于第三个alert,因为先是x这个变量前置,然后x又变成了function,前面说过了,函数声明如果发生冲突会覆盖变量声明(可以理解为function的优先级更高),所以第三个弹出function,第四个赋值为10,第五个x=20覆盖x=10,第六个因为执行了if,所以给a赋值弹出1,最后一个还是undefined。