首页 > 代码库 > 第4章变量、作用域和内存问题

第4章变量、作用域和内存问题

按照ECMA-262定义,JavaScript的变量松散类型的本质,决定了:

 

它还只是在特定时间用于保存特定值的一个名字而已。

变量的值及其数据类型可以再脚本的生命周期内改变。

4.1 基本类型和引用类型的值

基本类型

简单的数据段(Undefined、Null、Bollean、Number和String);

基本类型变量按值进行访问,因为可以操作保存在变量中的实际的值。

引用类型

可能由多个值构成的对象;

是保存在内存中的对象;

与其它语言不同,JavaScript不允许直接访问内存中的位置,即不能直接操作对象所在的内存空间。实际操作时,是在操作对象的引用而不是实际的对象。这就是所谓的 引用类型的值是按引用访问的。(书中注释提出:这种说法不严密,当复制保存这对象的某个变量时,操作是对对象的引用。但在为对象添加属性时,操作的是实际的对象。)

4.1.1 动态的属性

基本类型和引用类型变量定义方式相同:创建一个变量并为该变量赋值。
而不同类型值可执行操作则大相径庭,例如只能给引用类型值动态地添加属性:

引用值类型

var person = new Object();

person.name = "Nicholas";

alert(person.name); //"Nicholas"

//如果对象不被销毁或name属性不被删除,则这个属性将永远存在。

基本类型

var name = "Nicholas";

name.age = 27;

alert(name.age); //undefined

//为基本类型变量添加属性不会报错,但无法访问。

4.1.2 复制变量值

基本类型

基本类型的变量存放在栈区(内存中的栈内存)的。

从一个变量向另一个变量复制时,会在变量对象上创建一个新值,然后把该值复制到为新变量分配的位置上。两个变量可以参与任何操作而不相互影响。

引用类型

引用类型的值同时保存在栈内存和堆内存中。栈区保存变量标识符和指向对内存中该对象的指针。

从一个变量向另一个变量复制时,会将存储在变量对象中的只复制一份放到为新变量分配的空间中。但,这个值实际上是一个指针,这个指针指向存储在堆中的一个新对象。复制结束后,两个变量实际上将引用同一个对象。改变其中一个变量,就会影响另一个,

4.1.3 传递参数

ECMAScript中所有函数的参数都是按值传递的。即把函数外部的值赋值给函数内部的参数,等价于把值从一个变量复制到另一个变量一样。可以把ECMAScript函数的参数理解为局部变量。例如:

 

基本类型

    function addTen(num){

        num += 10;

        return num;

    }

    var count = 20;

    var result = addTen(count);

    alert(count); //20

    alert(result); //30

引用类型

    function setName(obj){

        obj.name = "Nicholas";

        obj = new Object();

        obj.name = "Greg";

    }

    var person = new Object();

    setName(person);

    alert(person.name); //"Nicholas"

 

    //即使在函数内部修改了参数的值,但愿是的引用仍然保持不变。

    //实际上,当在函数内部重写obj时,这个变量引用改的就是一个局部对象了。而这个局部对象会在函数执行完毕后立即被销毁。

4.1.4 检测类型

typeof 检测基本数据类型

instanceof 检测引用值类型值是何种类型的对象

语法:result = variable instanceof constructor

如果变量是给定引用类型的实例,instanceof返回true.

  4.2 执行环境及作用域

执行环境 定义了变量或函数有权访问的其他数据,决定了他们各自的行为。每个执行环境都有一个与之关联的变量对象(variable object), 环境中定义的所有变量和函数都保存在这个对象中。(这个对象我们无法访问,解析器在处理数据时在后台使用。)

 

全局执行环境 表示最外围的执行环境。在Web浏览器中,全局环境被认为是window对象(详见第7章)。因此所有全局变量和函数都是作为window对象的属性和方法创建的。某个执行环境中的所有代码执行完毕后,该环境被销毁,保存在其中的所有变量和函数定义也随之销毁(全局执行环境知道应用程序退出---例如关闭网页或浏览器时才会被销毁)。

 

每个函数都有自己的执行环境。当执行流进入一个函数时,函数的环境会被推入一个环境栈中。而函数执行之后,栈将其弹出,把控制权返回给之前的执行环境。ECMAScript程序中的执行流正是由这个方便的机制控制着。

 

作用域链(scope chain)---代码在一个环境中执行时,会创建变量对象的作用域链。用于保证对执行环境有权访问的所有变量和函数的有序访问。作用域链的前端,始终都是当前执行的代码所在环境的变量对象,如果是个函数,则将其活动对象(activation object)作为变量对象。活动对象在最开始时只包含一个变量,即arguments对象(这个对象在全局环境中不存在)。作用域链中的下一个变量对象来自包含(外部)环境,而再下一个变量对象则来自下一个包含环境。这样,一直延续到全局环境 ;全局执行环境的变量始终都是自作用域链中的最后一个对象。

 

标识符解析 是沿着作用域链一级一级地搜索标识符的过程。搜索过程始终从更作用域链的前端开始,然后逐级地向后回溯,知道找到标识符位置(若找不到,通常会导致错误)。

在局部作用域定义的变量可以再局部环境中与全局变量互换使用。

内部环境可以通过作用域链访问所有的外部环境,但外部环境不能访问内部环境中的任何变量和函数;

这些环境之间是线性的、由次序的;

每个环境都可以向上搜索作用域链,以查询变量和函数名,但任何环境都不能通过向下搜索作用域链而进入另一个执行环境;

函数参数也被当作变量来对待,因此访问规则与执行环境中的其他变量相同。

4.2.1 延长作用域链

下列两个语句可以再作用域链的前端临时增加一个变量对象,该变量对象会在代码执行后try-catch语句的catch块;

with语句;

with语句接受了一个location对象,因此其变量对象中就包含了location对象的所有属性和方法,而这个变量对象被添加到了作用域链的前端。

buildUrl()函数中定义了了一个变量qs.当在with语句中引用变量href时(实际引用的是location.href),可以再当前执行环境的变量对象中找到。当引用了变量qs时,引用改的则是在buiildUrl()中定义的那个变量,而该变量位于函数换进改的变量对象中。

至于with语句内部,则定义了一个名为url的变量,因而url变量就成了函数执行环境的一部分,所以可以作为函数的值被返回。

4.2.2 没有块级作用域

1. 声明变量

 

使用var声明的变量会自动被添加到最接近的环境中。在函数内部,最接近的环境就是函数的局部环境;在with语句中,最接近的环境是函数环境。

如果初始化变量时没有使用var, 改变两会自动被添加到全局变量。

在严格模式下,初始化未声明变量会导致错误。

 

2. 查询标识符

 

查询标识符过程:

当在某个环境中为了读取或写入而引用一个标识符时,必须通过搜索来确定该标识符实际代表什么。搜索过程从作用域链的前端开始,向上 逐级查询与给定名字匹配的标识符。如果在局部环境中找到了该标识符,搜索过程停止,变量就绪。如果在局部环境没有找到该变量名,则继续沿作用域链向上搜索。搜索过程一直追溯到全局环境的变量对象。

调用getColor()时,用到了变量color.为了确定变量color的值,将开始搜索:

 

搜索getColor()的变量对象,查找其中是否包含一个名为color的标识符,没找到,进行第2步;

向上继续搜索到了定义这个变量的变量对象(全局环境的变量对象),找到了名为color的标识符。

注:在这个过程中,如果存在一个局部的变量的定义,则搜索自动停止,不再进入另一个变量对象。即如果局部环境中存在着同名标识符,就不会使用位于父环境中的标识符。

查询变量是有代价的。很明显,访问局部变量要比访问全局变量更快,因为不用向上搜索作用域链。JavaScript引擎在优化标识符查询方面做得不错,因此这个差别在将来恐怕就可以忽略不计了。

4.3 垃圾收集

JavaScript具有自动垃圾收集机制。(执行环境会负责管理代码执行过程中使用的内存)

 

函数中局部变量的正常生命周期:

 

局部变量只在函数执行的过程中存在。而在这个过程中,会为局部变量在栈(或堆)内存上分配相应的空间,以便存储他们的值;

然后在函数中使用这些变量,直至函数执行结束;

此时,便可以释放局部变量的内存以供将来使用。

不同浏览器,通常有两个策略:标记清除、引用计数。

 

4.3.1 标记清除

JavaScript中最常用的垃圾收集方式是标记清除(mark-and-sweep). 当变量进入环境(例如,在函数中声明一个变量)时,就将这个变量标记为“进入环境”。从逻辑上说,永远不能释放进入环境的变量所占用的内存,因为只要执行流进入相应的环境,就可能会用到他们。而当变量离开环境是,则将其标记为“离开环境” 。

 

可以使用任何方式来标记变量。比如,通过翻转某个特殊的位来记录一个变量何时进入环境,或者使用一个“进入环境的”变量列表一个“离开环境的”变量列表来跟踪那个变量发生了变化。采取什么策略比如何标记更重要。

 

垃圾收集器的内存清除工作:

 

垃圾收集器 在运行的时候会给存储在内存中的所有变量都加上标记(当然,可以使用任何标记方式);

它会去掉环境中的变量以及被环境中的变量引用的变量的标记;

而在此之后再被加上标记的变量将被视为准备删除的变量。因为环境中的变量已经无法访问到这些变

最后垃圾收集器完成内存清除工作,销毁那些代表及的值并回收他们所占用的内存空间。量了;

4.3.2 引用计数

(不太常见)跟踪记录每一个值被引用的次数。

 

当生命了一个变量并将一个引用类型值赋给该变量是,则这个值的引用次数就是1. 在赋给另一个变量,引用次数再+1. 相反,如果包含对这个值引用的变量又取得了另外一个值,则这个值的引用次数-1. 当这个值的引用次数变成0时,说明没办法在访问这个值,因而就可以将其占用的内存回收回来。如此,当垃圾收集器再次运行时,他就会释放哪些引用次数为0的值所占用的内存。

 

这种方式可能遇到循4.3.3 性能问题

垃圾回收机制是周期性运行的,而且 如果为变量分配的内存数量很可观,那么回收工作量也是相当大的。此时,确定垃圾回收间隔时间非常重要。

 

在有的浏览器中可以触发垃圾收集机制,但不建议这么做。在IE中,调用window.CollectGarbge()方法会立即执行垃圾收集。在Opera7及更高版本中,调用window.opera.collect()也会启动垃圾收集机制。

 

4.3.4 管理内存

分配给Web浏览器的可用内存数量通常比分配给桌面应用程序的少。主要是出于安全方面的考虑,防止运行JavaScript的网页耗尽全部系统内存导致系统崩溃。

内存限制问题不仅会影响给变量分配内存,也会影响调用栈以及在一个线程中能够同时执行的语句数量。

优化内存占用的最佳方式,就是为执行中的戴嘛只保存必要的数据。一旦数据不在游泳,最好通过最好将其设置为null来释放其引用----- 解除引用 (dereferencing)。适用于大多数全局变量和全局对象的属性。解除一个值的引用并不意味着自动回收该值所占用的内存。真正作用是让值脱离执行环境,以便垃圾回收器下次运行时将其回收。

第4章变量、作用域和内存问题