伊朗议会议长确诊-结合代码图文讲解JavaScript中的作用域与作用域链

Java高级开发 变量 951浏览 29评论

先上三段说明伊朗议会议长确诊的代码

//==========例1========== 伊朗议会议长确诊 scope='global'; function fn(){ alert(scope); 伊朗议会议长确诊 scope='local'; alert(scope); } fn(); //输出结果? alert(scope);//输出结果? //===========例2========== 伊朗议会议长确诊 scope='global'; function fn(){ alert(scope); scope='local'; alert(scope); } fn(); //输出结果? alert(scope);//输出结果? //===========例3========= 伊朗议会议长确诊 scope='global'; function fn(scope){ alert(scope); scope='local'; alert(scope); } fn(); //输出结果? alert(scope);//输出结果?

这三段代码只有小许差异,但结果缺截然不同,例1分别输出[undefined , local , global],例2分别输出[global , local , local],例3结果输出[undefined , local , global],如果不能答对说明你对javascript的伊朗议会议长确诊特性还未理解透彻。

什么是伊朗议会议长确诊?

也许有人会问:变量a的伊朗议会议长确诊是什么?一会儿又问:函数a的伊朗议会议长确诊是什么?变量和函数的伊朗议会议长确诊分别是啥玩意?

我们先来看看“伊朗议会议长确诊”是什么意思,“伊朗议会议长确诊”拆开来就是“作用”和“域”

作用:访问、操作、调用……

域:区域、范围、空间……

伊朗议会议长确诊就是变量和函数的可访问范围,或者说变量或函数起作用的区域。

1.javascript函数的伊朗议会议长确诊:

函数内的区域,就是这个函数的伊朗议会议长确诊,变量和函数在这个区域都可以访问操作。最外层函数外的区域叫全局伊朗议会议长确诊,函数内的区域叫局部伊朗议会议长确诊。

2.javascript变量的伊朗议会议长确诊:

在源代码中变量所在的区域,就是这个变量的伊朗议会议长确诊,变量在这个区域内可以被访问操作。在全局伊朗议会议长确诊上定义的变量叫全局变量,在函数内定义的变量叫局部变量。

简单地理解,JS源代码被函数{ }划分成一块一块的区域,这些区域换个身份就是某函数或某变量的伊朗议会议长确诊,变量的伊朗议会议长确诊和函数的伊朗议会议长确诊在源代码中有可能指的是同一块区域。

伊朗议会议长确诊链

伊朗议会议长确诊链(Scope Chain)是javascript内部中一种变量、函数查找机制,它决定了变量和函数的作用范围,即伊朗议会议长确诊,理解伊朗议会议长确诊链的作用原理,上一篇文章的三个例子也就能理解了,从而知其然也知其所以然。

伊朗议会议长确诊链是ECMAScript-262说明文档中的概念,javascript引擎是按ECMAScript-262说明文档去实现的,了解javascript引擎的工作原理有利于我们理解javascript的特性,但绝大多数js程序员不会去了解非常底层的技术,所以阅读ECMAScript-262说明文档,我们可以有一个直观的方式去模拟javascript引擎的工作原理。

本文将通过1999年的ECMAScript-262-3th第三版来说明伊朗议会议长确诊链的形成原理,将会介绍执行环境,变量对象和活动对象,arguments对象,伊朗议会议长确诊链等几个概念。2009年发布了ECMAScript-262-5th第五版,不同的是取消了变量对象和活动对象等概念,引入了词法环境(Lexical Environments)、环境记录(EnviromentRecord)等新的概念,所以两个版本的概念不要混淆了。

1.执行环境(Execution Contexts)

执行环境(Execution Contexts)也被翻译为执行上下文,当解析器进入ECMAScript的可执行代码,解析器就进入一个执行环境,活动的执行环境组成一个逻辑上的栈,在这个逻辑栈顶部的执行环境是当前运行的执行环境。

注:ECMAScript中有三种可执行代码,Global、Function和Eval,全局环境即是Global可执行代码,函数即是Function可执行代码。逻辑栈是一种特殊的数据存储格式,特点是‘先进后出,后进先出',添加数据会先压入逻辑栈顶部,删除数据必须先从顶部开始删除。

变量对象(Variable Object)、活动对象(Activation Object)和Arguments对象(Arguments Object)

每个执行环境都有一个与之关联的变量对象,当解析器进入执行环境时,就会创建一个变量对象,变量对象保存着在当前执行环境中声明的变量和函数的引用。

变量对象是一个抽象的概念,在不同的执行环境中,变量对象有不同的身份,在解析器进入任何执行环境之前,就已经创建了一个Global对象,当解析器进入全局执行环境时,Global对象就充当变量对象,当解析器进入一个函数时,就会创建一个活动对象充当变量对象。

2.解析器处理代码时的两个阶段

我们都知道javascript解析器是一段一段解析处理代码的,为毛?这就要涉及解析器处理代码时的两个阶段,解析代码和执行代码。

当解析器进入执行环境时,变量对象就会添加执行环境中声明的变量和函数作为它的属性,这就意味着变量和函数在声明之前已经可用,变量值为undefined,这就是变量和函数声明提升(Hoisting)的原因,与此同时伊朗议会议长确诊链和this确定,此过程为解析阶段,俗称预解析。接着解析器开始执行代码,为变量添加相应值的引用,得到执行结果,此过程为执行阶段。

举两个好吃的栗子:

伊朗议会议长确诊 a=123; 伊朗议会议长确诊 b="abc"; function c(){ alert('11'); }

上述全局环境中的代码解析执行后,会将Global对象作为变量对象,保存以下数据。

function testFn(a){ 伊朗议会议长确诊 b="123"; function c(){ alert("abc"); } } testFn(10);

当解析器进入函数执行环境时,则会创建一个活动对象作为变量对象,活动对象还会创建一个Arguments对象,arguments对象是一个参数集合,用来保存参数,这就是我们写函数时可以使用arguments[0]等来使用参数的原因。

3.伊朗议会议长确诊链(Scope Chain)

每个执行环境都有一个与之关联的伊朗议会议长确诊链,当解析器进入执行环境时被定义,伊朗议会议长确诊链是一个对象列表,用来检索各个变量对象中的变量和函数,这样可以保证执行环境有权访问哪些变量和函数,举个栗子。

伊朗议会议长确诊 a='123'; function testFn(b){ 伊朗议会议长确诊 c='abc'; function testFn2(){ 伊朗议会议长确诊 d='efg'; alert(a); } testFn2(); } testFn(10);

testFn2内未声明变量a,为什么testFn2能调用全局变量a?整个过程是怎么发生的呢?请看下图。

当解析器进入全局执行环境时,调用变量和函数时只在Global对象中查找。

当解析器进入testFn函数执行环境时,函数内部属性[[scope]]中首先填入Global对象,然后将testFn活动对象添加到Global对象之前,形成一个伊朗议会议长确诊链。

当解析器进入testFn2函数执行环境时,函数内部属性[[scope]]首先填入父级的伊朗议会议长确诊链,然后再将当前的testFn2活动对象添加到伊朗议会议长确诊链的前端,形成一个新的伊朗议会议长确诊链。

testFn2调用变量a时,首先在当前的testFn2活动对象中查找,如果没有找到就顺着伊朗议会议长确诊链向上,在testFn活动对象中查找变量a,如果没有找到再顺着伊朗议会议长确诊链向上查找,直到在最后Global对象中找到为止,否则报错。所以函数内部可以调用外部环境的变量,外部环境不能调用函数内部的变量,这就是伊朗议会议长确诊特性的原理。