EC+VO+SCOPE for ES3

词法环境

词法作用域

词法作用域(lexcical scope)。即JavaScript变量的作用域是在定义时决定而不是执行时决定,也就是说词法作用域取决于源码。

词法环境

用于定义特定变量和函数标识符在ECMAScript代码的词法嵌套结构上的关联关系, 一个词法环境由一个环境记录项和可能为空的外部词法环境引用构成

词法环境 = 词法环境记录项 + 外部词法环境
外部词法环境是包含内部词法环境的词法环境, 外部词法环境可能有多个内部词法环境

环境记录项 = 声明式环境记录项 || 对象式环境记录项

执行环境

  • javascript引擎在执行每个函数实例时,都会创建一个执行环境(execution context)

  • 执行环境中包含一个调用对象(call object), 调用对象是一个scriptObject结构(scriptObject是与函数相关的一套静态系统,与函数实例的生命周期保持一致),用来保存内部变量表varDecls、内嵌函数表funDecls、父级引用列表upvalue等语法分析结构。 varDecls和funDecls等信息是在语法分析阶段就已经得到,并保存在语法树中

  • 函数实例执行时,会将这些信息从语法树复制到scriptObject上

Executable Code and Execution contents

“执行上下文”可以看做当前代码的运行环境或者作用域。

Types of Executable Code

  • Global Code:全局级别的代码 – 这个是默认的代码运行环境,一旦代码被载入,引擎最先进入的就是这个环境。

  • Function Code: 函数级别的代码 – 当执行一个函数时,运行函数体中的代码。

  • Eval Code: 在Eval函数内运行的代码,在特定的一次对 eval 的调用过程中,eval 代码作为该程序的 Global Code 部分。

每当调用执行一个函数时,引擎就会自动新建出一个函数上下文, 函数中函数也可能调用另一个函数,这样又创建一个执行环境, 也被称为上下文堆栈

执行上下文堆栈

  • ECMAScript的程序执行都可以看做是一个执行上下文堆栈[execution context (EC) stack]。堆栈的顶部就是处于激活状态的上下文, 堆栈最底部即为全局执行上下文环境[global execution context];

  • 激活其它上下文的某个上下文被称为 调用者(caller) 。被激活的上下文被称为被调用者(callee) 。被调用者同时也可能是调用者(比如一个在全局上下文中被调用的函数调用某些自身的内部方法)。

  • 当一个caller激活了一个callee,那么这个caller就会暂停它自身的执行,然后将控制权交给这个callee. 于是这个callee被放入堆栈,称为进行中的上下文[running/active execution context]. 当这个callee的上下文结束之后,会把控制权再次交给它的caller,然后caller会在刚才暂停的地方继续执行。在这个caller结束之后,会继续触发其他的上下文。一个callee可以用返回(return)或者抛出异常(exception)来结束自身的上下文。

执行上下文的建立过程

每当调用一个函数时,一个新的执行上下文就会被创建出来。然而,在javascript引擎内部,这个上下文的创建过程具体分为两个阶段:

  1. 建立阶段(发生在当调用一个函数时,但是在执行函数体内的具体代码以前)

    • 建立变量,函数,arguments对象,参数
    • 建立作用域链
    • 确定this的值
  2. 代码执行阶段:

    • 变量赋值,函数引用,执行其它代码

实际上,可以把执行上下文看做一个对象,其下包含了以上3个属性:

executionContextObj = {variableObject: { /* 函数中的arguments对象, 参数, 内部的变量以及函数声明 */ },scopeChain: {   /* variableObject 以及所有父执行上下文中的variableObject */ },this: {}}

变量对象(variable object)

变量对象(缩写为VO)是一个与执行上下文相关的特殊对象,它存储着在上下文中声明的以下内容:

  1. 变量 (var, 变量声明)
  2. 函数声明 (FunctionDeclaration, 缩写为FD);
  3. 函数的形参 注: 只有全局上下文的变量对象允许通过VO的属性名称来间接访问

不同执行上下文中的变量对象

对于所有类型的执行上下文来说,变量对象的一些操作(如变量初始化)和行为都是共通的。从这个角度来看,把变量对象作为抽象的基本事物来理解更为容易。同样在函数上下文中也定义和变量对象相关的额外内容。

抽象变量对象VO (变量初始化过程的一般行为)

  1. 全局上下文变量对象GlobalContextVO

    (VO === this === global), VO:

    • 所有函数声明(FunctionDeclaration, FD)
    • 所有变量声明(var, VariableDeclaration)
  2. 函数上下文变量对象FunctionContextVO

    (VO === AO, 并且添加了arguments和形参), AO:

    • 普通参数(formal parameters) 与特殊参数(arguments)对象
    • 所有函数声明(FunctionDeclaration, FD)
    • 所有变量声明(var, VariableDeclaration)
  3. eval上下文

    • eval会使用全局变量对象或调用者的变量对象(eval的调用来源)
    • 变量声明在顺序上跟在函数声明和形式参数声明之后,但不会干扰AO中已经存在的同名函数声明或形式参数声明
    • (function x() {}); 类似这样的函数表达式并不会影响AO
    • 不管是使用var关键字(在全局上下文)还是不使用var关键字(在任何地方),都可以声明一个变量”。 请记住,这是错误的概念; 任何时候,变量只能通过使用var关键字才能声明。

变量的特性

  1. 变量有一个特性(attribute):{DontDelete},这个特性的含义就是不能用delete操作符直接删除变量属性
  2. eval上下文,变量没有{DontDelete}特性, 使用一些调试工具(例如:Firebug)的控制台测试该实例时,请注意,Firebug同样是使用eval来执行控制台里你的代码。因此,变量属性同样没有{DontDelete}特性,可以被删除。

作用域

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

作用域链

在ECMAScript中,会用到内部函数[inner functions],在这些内部函数中,我们可能会引用它的父函数变量,或者全局的变量。我们把这些变量对象成为上下文作用域对象[scope object of the context]. 类似于上面讨论的原型链[prototype chain],我们在这里称为作用域链[scope chain]

作用域链与一个执行上下文相关, 用于在标识符解析中变量查找。 标示符[Identifiers]可以理解为变量名称、函数声明和普通参数

函数上下文的作用域链在函数调用时创建的,包含活动对象和这个函数内部的[[scope]]属性。其scope定义如下:Scope = AO + [[Scope]]

函数在被创建时保存外部作用域,是因为这个 被保存的作用域链(saved scope chain) 将会在未来的函数调用中用于变量查找。这种形式的作用域称为静态作用域[static/lexical scope]

在上下文中示意如下:

activeExecutionContext = {VO: {...}, // or AOthis: thisValue,Scope: [ // Scope chain// 所有变量对象的列表// for identifiers lookup]
};

 

var x = 10;function foo() {alert(x);
}(function () {var x = 20;foo(); // 10, but not 20
})();

  

在标识符解析过程中,使用函数创建时定义的词法作用域--变量解析为10,而不是20。此外,这个例子也清晰的表明,一个函数(这个例子中为从函数“foo”返回的匿名函数)的[[scope]]持续存在,即使是在函数创建的作用域已经完成之后。

补充说明

  1. 通过构造函数创建的函数的[[scope]]属性总是唯一的全局对象

  2. 在代码执行阶段有两个声明能修改作用域链。这就是with声明和catch语句

  3. 在代码执行过程中,如果使用with或者catch语句就会改变作用域链。而这些对象都是一些简单对象,他们也会有原型链。这样的话,作用域链会从两个维度来搜寻。

  4. 在解释执行阶段, 遇到变量需要解析时,会首先从当前执行环境的活动对象中查找, 如果没有找到而且该执行环境拥有者有prototype属性时, 则会从prototype链中查找, 否则将会按照作用域链查找;

end!

转载于:https://www.cnblogs.com/mininice/p/3876307.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/259374.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

你真的会写二分检索吗?

转载:http://blog.chinaunix.net/uid-1844931-id-3337784.html 前几天在论坛上看到有统计说有80%的程序员不能够写对简单的二分法。二分法不是很简单的吗? 这难道不是耸人听闻? 其实,二分法真的不那么简单,尤其是二…

android listview动态加载网络图片不显示,Android Listview异步动态加载网络图片

Android Listview异步动态加载网络图片详见: http://blog.sina.com.cn/s/blog_62186b460100zsvb.html标签: Android SDK代码片段(5)[代码] (1)定义类MapListImageAndText管理ListViewItem中控件的内容01 package com.google.zxing.client.android.AsyncL…

C#-面向对象的多态思想 ---ShinePans

总结: 多态是面向对象的核心.---------能够理解为一个方法,多种实现, 在这里能够用虚方法,抽象类,接口能够实现多态 1.首先利用接口来实现多态: 接口相当于"功能,"接口能够实现多继承,分为 显式实现接口和隐式实现接口 keyword为interface格式: interface 接口名 { …

wxpy 0.1.2微信机器人 / 优雅的微信个人号API

微信机器人 / 优雅的微信个人号API,基于 itchat,全面优化接口,更有 Python 范儿。用来干啥一些常见的场景控制路由器、智能家居等具有开放接口的玩意儿跑脚本时自动把日志发送到你的微信加群主为好友,自动拉进群中跨号或跨群转发消…

c++中try catch的用法

在c中,可以直接抛出异常之后自己进行捕捉处理,如:(这样就可以在任何自己得到不想要的结果的时候进行中断,比如在进行数据库事务操作的时候,如果某一个语句返回SQL_ERROR则直接抛出异常,在catch块…

const in c and cpp

http://c-faq.com/ansi/constasconst.html 转载于:https://www.cnblogs.com/invisible/p/3333575.html

android ndk调用出错,由于Android-NDK应用程序的权限问题,为什么fopen在本地方法中失败?...

errno 0;FILE *fp;fp fopen("jigar.txt","wb");if(fp NULL)__android_log_print(ANDROID_LOG_ERROR, APPNAME, "FOPEN FAIL with %d",errno);else__android_log_print(ANDROID_LOG_ERROR, APPNAME, "FOPEN pass ");它得到失败&…

循环队列

什么是队列? 队列(Queue)也是一种运算受限的线性表。它仅仅同意在表的一端进行插入,而在还有一端进行删除。同意删除的一端称为队头(front),同意插入的一端称为队尾(rear)。 FIFO原则 队列具有先进先出原则,与栈的先进后出形成对照…

T(n) = 25T(n/5)+n^2的时间复杂度 计算方法

对于T(n) a*T(n/b)c*n^k;T(1) c 这样的递归关系&#xff0c;有这样的结论&#xff1a; if (a > b^k) T(n) O(n^(logb(a)));logb(a)b为底a的对数 if (a b^k) T(n) O(n^k*logn); if (a < b^k) T(n) O(n^k); a25; b 5 ; k2 ab^k 故T(n)O(n^k*logn)O(n^2*logn)…

android jar导出,Android项目导出jar包的小技巧

我们知道&#xff0c;可以通过如下设置将一个普通的Android工程转换成Android Library工程设置前后工程变化如下使用Ant编译时(通过android.bat update project 命令生成 build.xml)&#xff0c;普通的Android工程会生成apk文件&#xff0c;而Android Library工程只生成jar文件…

(五十九)iOS网络基础之UIWebView简易浏览器实现

【UIWebView网络浏览器】 通过webView的loadRequest方法可以发送请求显示相应的网站&#xff0c;例如&#xff1a; NSURL *url [NSURL URLWithString:"http://m.baidu.com"];// 创建请求数据NSURLRequest *request [NSURLRequest requestWithURL:url];// 向服务器发…

无心插柳OR志在必得?阿里推“来往”的意图

近年来&#xff0c;阿里巴巴在外围的动作确实不少&#xff0c;投资新浪微博、投资陌陌&#xff0c;配合阿里自身的一些战略调整&#xff0c;让人觉得这家公司似乎正在经历一场前所未有的“蜕变”。其实这也不难理解&#xff0c;在BAT三国演义中&#xff0c;任何一方都不能对其他…

wampserver的mysql启动与环境变量设置

安装好wampserver以后&#xff0c;mysql服务默认已经启动了。但是直接在命令行里输入"mysql"&#xff0c;系统会提示说 mysql 不是内部或外部命令&#xff0c;也不是可运行的程序或批处理文件。 这是因为没有增加“mysql”环境变量,请跳到第3步阅读。 如果之前已经安…

华为mate30怎么申请鸿蒙内测,华为新系统启动内测,mate30系列尝鲜,网友:羡慕...

原标题&#xff1a;华为新系统启动内测&#xff0c;mate30系列尝鲜&#xff0c;网友&#xff1a;羡慕一款手机是否好用&#xff0c;其实取决于两个方面&#xff0c;一个是硬件&#xff0c;另一个则是软件&#xff0c;大家在购机的时候往往最关注的就是硬件配置&#xff0c;因为…

VMware 11完全安装Mac OS X 10.10

----------------------------------------- 引用原文如下&#xff1a; VMware 11安装Mac OS X 10.10_百度经验 http://jingyan.baidu.com/article/ff411625b9011212e48237b4.html VM11安装Mac OS X 10.10 工具/原料 1.VMware Workstation 11 2.unlocker 203&#xff08;for OS…

两个二进制数异或的结果

【面试题目 -亢龙有悔整理】两个二进制数异或结果是多少? a^b |a-b| (按位相减取绝对值&#xff0c;再按位累加) 两个二进制数异或结果 是 这两个二进制数差的绝对值&#xff0c;即表达为如下&#xff1a; a^b |a-b| &#xff08;按位相减取绝对值&#xff0c;再按位累加&am…

Xcode debug时如何查看内存中的数据

对于IPhone开发/XCode的初学者&#xff0c;如何在调试时查看变量的值是很头痛的事情。因为Xcode的expression 经常无法正确显示变量的值。但是强大的GDB可以很方便的帮我们查看变量的值。当执行到某断点时&#xff0c;在GDB窗口中使用po就可以查看变量.(po print object) 1&am…

android另类工具,[置顶] android应用程序开发另解及Android SDK工具集的另类用法

转载请注明出处&#xff1a;LouisWang http://blog.csdn.net/louiswangbing/article/details/6606865相信对于广大Android应用开发爱好者来说&#xff0c;Android SDK工具集的大家都已经能够很熟练的使用&#xff0c;但是我这里要介绍的是SDK工具集的非常用使用方法&#xff0c…

谷歌2007年上交大考试最后一题解答

N个整数&#xff0c;求其中任意N-1个数的乘积中的最大的一个。 例如 3,2,1,则最大的是3*26 提示&#xff1a;整数包括0和负数 要求给出个比较有效率的算法 &#xff0c;不能用除法&#xff0c;只能用乘法。 从网上找一了一个解答比较好&#xff1a;http://bbs.csdn.net/topic…

Dynamic Web Module 3.0 requires Java 1.6 or newer报错

在项目的pom.xml的<build></build>标签中加入&#xff1a; <plugins> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-compiler-plugin</artifactId> <version>2.3.2</version> &…