javascript作用域链(Scope Chain)用法实例解析


Posted in Javascript onNovember 30, 2015

本文实例分析了javascript作用域链(Scope Chain)用法。分享给大家供大家参考,具体如下:

关于js的作用域链,早有耳闻,也曾看过几篇介绍性的博文,但一直都理解的模棱两可。近日又精心翻看了一下《悟透Javascript》这本书,觉得写得太深刻,在“代码的时空”一节里有一段介绍作用域链的地方寥寥数语,回味无穷(其实还是理解的模棱两可^_^)。现在整理下自己的读书笔记,顺便借鉴网上资源,写下来。

一、从一个简单的问题说起

下面的js代码在页面中运行显示什么结果:

var arg = 1;
function fucTest(arg) {
  alert(arg);
  var arg = 2;
  //alert(arg);
}
fucTest(10);

您的答案是什么?没错,就是弹出10。我的理解是这样的,funTest函数有一个形参arg,funTest函数传入实参10,alert方法把10弹出就是了,?濉?br /> 好,问题又来了:

var arg = 1;
function funcTest() {
  alert(arg);
  var arg = 2;
}
arg = 10;
funcTest();

答案是什么?如果是5年前的我,肯定不会再往下想了,还是10!这么简单的问题还用想什么呀?我的理解是这样的:funTest函数是一个无参数的函数,函数内部通过alert方法,调用外部(全局)的变量arg,在函数执行前,arg赋值为10,弹出arg值后改变arg值为2,所以弹出值为10。

真的是10吗?是还是不是?

测试的结果:弹出“undefined”,瀑布汗.

二、理解作用域链,从javascript运行机制说起

1、js的运行顺序

如果一个文档流中包含多个script代码段(用script标签分隔的js代码或引入的js文件),它们的运行顺序是:

步骤1. 读入第一个代码段(js执行引擎并非一行一行地执行程序,而是一段一段地分析执行的)
步骤2. 做语法分析,有错则报语法错误(比如括号不匹配等),并跳转到步骤5
步骤3. 对var变量和function定义做“预解析”(永远不会报错的,因为只解析正确的声明)
步骤4. 执行代码段,有错则报错(比如变量未定义)
步骤5. 如果还有下一个代码段,则读入下一个代码段,重复步骤2
步骤6. 结束

上面的分析已经足够清楚,步骤二、三和步骤四里的红色字体可能是我们新手理解上的一个盲点,尤其是步骤三的“预解析”,如果不清楚什么叫预解析,总觉得不踏实。而步骤四的“有错则报错”也是经常碰到的。举例来说:

function funcTest() {
  alert(arg);
  var arg = 2;
}
funcTest();

上面这段代码执行时,弹出“undefined”,也就是说arg没有定义,js的变量不是不用定义也可以吗?

2、语法分析和“预解析”

(1)、从解释型语言的编译过程说起

众所周知,javascript是解释型语言,它不同于c#和java等编译型语言。对于传统编译型语言来说,编译步骤分为:词法分析、语法分析、语义检查、代码优化和字节生成;但对于解释型语言来说,通过词法分析和语法分析得到语法树后,就可以开始解释执行了。

a、词法分析

简单地说,词法分析是将字符流(char stream)转换为记号流(token stream)。
但是这个转换过程并不是可以用一句话就可以概括的那么简单,我们可以试着用伪代码理解一段简单的程序:

代码var result=x-y;的转换大致可以表示如下:

NAME "result"
EQUALS
NAME "x"
MINUS
NAME "y"
SEMICOLON

b、语法分析

简单地说,语法分析就是为了构造合法的语法分析树,而语法分析树可以直观地表示出推导的过程。

那么什么是语法分析树?简单地说,就是程序推导过程的描述。但是到底什么是语法树,请参考专业文章,本篇略过。

c、其他

通过语法分析,构造出语法分析树后,接下来还可能需要进一步的语义检查。对于传统强类型语言来说,语义检查的主要部分是类型检查,比如函数的实参和形参类型是否匹配等等。
结论:通过上面的分析可以看出,对于javascript引擎来说,肯定有词法分析和语法分析,之后可能还有语义检查、代码优化等步骤,等这些编译步骤完成之后(任何语言都有编译过程,只是解释型语言没有编译成二进制代码),才会开始执行代码。

(2)、执行过程

a、javascript的作用域机制

通过编译,javascript代码已经翻译成了语法树,然后会立刻按照语法树执行。

进一步的执行过程,需要理解javascript的作用域机制:词法作用域(lexcical scope)。通俗地讲,就是javascript变量的作用域是在定义时决定而不是执行时决定,也就是说词法作用域取决于源码,编译器通过静态分析就能确定,因此词法作用域也叫做静态作用域(static scope)。但需要注意,with和eval的语义无法仅通过静态技术实现,所以只能说javascript的作用域机制非常接近词法作用域(lexical scope).

javascript引擎在执行每个函数实例时,都会创建一个执行环境(execution context)。执行环境中包含一个调用对象(call object), 调用对象是一个scriptObject结构(scriptObject是与函数相关的一套静态系统,与函数实例的生命周期保持一致),用来保存内部变量表varDecls、内嵌函数表funDecls、父级引用列表upvalue等语法分析结构(注意varDecls和funDecls等信息是在语法分析阶段就已经得到,并保存在语法树中。函数实例执行时,会将这些信息从语法树复制到scriptObject上)。

b、javascript作用域机制的实现方法

词法作用域(lexical scope)是javascript的作用域机制,还需要理解它的实现方法,就是作用域链(scope chain)。作用域链是一个name lookup机制,首先在当前执行环境的scriptObject中寻找,没找到,则顺着upvalue到父scriptObject中寻找,一直lookup到全局调用对象(global object)。

现在回过头来分析第二个问题:

var arg = 1;
function funcTest() {
  alert(arg);
  var arg = 2;
}
arg = 10;
funcTest();

在执行funcTest函数时,也即进入了funcTest对应的作用域,js引擎在执行时,当遇到对变量名或者函数名的使用时,会首先在当前作用域(也即funcTest对应的作用域)查找变量或者函数(显然,arg变量在funcTest对应的作用域里被定义为var arg=2 所以alert方法的参数采用的是当前作用域的arg,但是因为arg被定义在alert方法后,所以arg变量默认值为undefined)。当然,如果没有找到就到上层作用域查找,依此类推(作用域范围可以持续到javascript运行环境的根:window对象)。

最后,让你看的更清楚,上面的代码其实可以等价于:

var arg = 1;
function funcTest() {
  var arg; //默认值undefined
  alert(arg);
  arg = 2;
}
arg = 10;
funcTest();

c、闭包(closure)

当一个函数实例执行时,会创建或关联到一个闭包。 (关于闭包,打算另写一篇学习笔记)

scriptObject用来静态保存与函数相关的变量表,闭包则在执行期动态保存这些变量表及其运行值;

闭包的生命周期有可能比函数实例长。函数实例在活动引用为空后会自动销毁;

闭包则要等要数据引用为空后,由javascript引擎回收(有些情况下不会自动回收,就导致了内存泄漏)。

ps:关于“执行过程”这一段比较拗口,名词很多,不过别被它们吓住,一旦理解了执行环境(execution context)、调用对象(call object)、词法作用域(lexical scope)、作用域链(scope chain)、闭包(closure)等这些概念,javascript的很多现象都能迎刃而解。

三、结语

通过第二段的分析,对照第一段笔者曾经做出的判断(你是不是也觉得笔者曾经的分析和结论很幼稚(哪怕有时结果碰巧也对!)?!不是一般的肤浅啊,^_^),你会发现原来javascript还有这么多“玄机”,而要真正理解精通又谈何容易?先“悟透”再说吧。

希望本文所述对大家JavaScript程序设计有所帮助。

Javascript 相关文章推荐
window.ActiveXObject使用说明
Nov 08 Javascript
jQuery实现html表格动态添加新行的方法
May 28 Javascript
jQuery 判断图片是否加载完成方法汇总
Aug 10 Javascript
谈谈js中的prototype及prototype属性解释和常用方法
Nov 25 Javascript
javascript设计模式之module(模块)模式
Aug 19 Javascript
BootStrap+Angularjs+NgDialog实现模式对话框
Aug 24 Javascript
vue.js加载新的内容(实例代码)
Jun 01 Javascript
Vue.js最佳实践(五招助你成为vuejs大师)
May 04 Javascript
vue项目中实现图片预览的公用组件功能
Oct 26 Javascript
详解Vue SSR( Vue2 + Koa2 + Webpack4)配置指南
Nov 13 Javascript
在React中写一个Animation组件为组件进入和离开加上动画/过度效果
Jun 24 Javascript
vue中上传视频或图片或图片和文字一起到后端的解决方法
Dec 01 Javascript
Bootstrap每天必学之js插件
Nov 30 #Javascript
Bootstrap每天必学之面板
Nov 30 #Javascript
Bootstrap每天必学之媒体对象
Nov 30 #Javascript
javascript针对cookie的基本操作实例详解
Nov 30 #Javascript
javascript闭包(Closure)用法实例简析
Nov 30 #Javascript
详解JavaScript的流程控制语句
Nov 30 #Javascript
详解JavaScript的表达式与运算符
Nov 30 #Javascript
You might like
PHP的mysqli_query参数MYSQLI_STORE_RESULT和MYSQLI_USE_RESULT的区别
2014/09/29 PHP
关于laravel5.5的定时任务详解(demo)
2019/10/23 PHP
PHP获取当前时间不准确问题解决方案
2020/08/14 PHP
新浪的图片新闻效果
2007/01/13 Javascript
Javascript在IE或Firefox下获取鼠标位置的代码
2009/12/18 Javascript
详谈 Jquery Ajax异步处理Json数据.
2011/09/09 Javascript
javascript闭包的高级使用方法实例
2013/07/04 Javascript
jquery中$(#form :input)与$(#form input)的区别
2014/08/18 Javascript
推荐10 款 SVG 动画的 JavaScript 库
2015/03/24 Javascript
javascript self对象使用详解
2016/10/18 Javascript
Node.js复制文件的方法示例
2016/12/29 Javascript
Jquery uploadify 多余的Get请求(404错误)的解决方法
2017/01/26 Javascript
jquery向后台提交数组的代码分析
2020/02/20 jQuery
jQuery实现增删改查
2020/12/22 jQuery
python获取文件扩展名的方法
2015/07/06 Python
python根据京东商品url获取产品价格
2015/08/09 Python
python实现读取大文件并逐行写入另外一个文件
2018/04/19 Python
解决Python下imread,imwrite不支持中文的问题
2018/12/05 Python
Python 程序员必须掌握的日志记录
2020/08/17 Python
html2canvas截图空白问题的解决
2020/03/24 HTML / CSS
蒙蒂塞罗商店:Monticello Shop
2018/11/25 全球购物
PHP面试题-$message和$$message的区别
2015/12/08 面试题
汽车技术服务与营销专业推荐信
2013/11/29 职场文书
特色蛋糕店创业计划书
2014/01/28 职场文书
铁路工务反思材料
2014/02/07 职场文书
夜不归宿检讨书
2014/02/25 职场文书
80后职场人的职业生涯规划
2014/03/08 职场文书
事业单位鉴定材料
2014/05/25 职场文书
科学发展观活动总结
2014/08/28 职场文书
2014年学校领导班子对照检查材料
2014/09/19 职场文书
2014年人民调解工作总结
2014/12/08 职场文书
辞职书格式样本
2015/02/26 职场文书
2016年九九重阳节活动总结
2016/04/01 职场文书
浅谈redis的过期时间设置和过期删除机制
2022/03/18 MySQL
Minikube搭建Kubernetes集群
2022/03/31 Servers
Python如何将list中的string转换为int
2022/07/15 Ruby