JavaScript 变量作用域和内存问题

按照ECMAScript的定义,JavaScript的变量与其他语言的变量有很大区别。JavaScript变量松散类型的本质,决定了它只是在特定时间用于保存特定值的一个名字而已。
由于不存在定义某个变量必须要保存何种数据类型值的规则,变量的值及其数据类型可以在脚本的生命周期内改变。

基本类型和引用类型的值

ECMAScript变量可能包含两种不同数据类型的值:基本类型值和引用类型值。基本类型值指的是简单的数据段,而引用类型值指那些可能有多个构成的对象。
将一个值赋给变量是,解析器必须确定这个值是基本数值型还是引用数值型。基本数据类型(5个):Undefined、Null、Boolean、Numbet和String。这5种基本数据类型是按值访问的,因为可以操作保存在变量中实际的值。引用类型的值是保存在内存中的对象。与其他语言不同,JS不允许直接访问内存中的位置,即不能直接操作内存空间。在操作对象时,实际上是在操作对象的引用而不是实际的对象。

动态属性

对于引用类型的值,可以为其添加属性和方法,但是不能给基本类型添加属性。如:

var person = new Object();
person.name = "nicholas"
;var name = "nich";
name.age = 27;
alert(name.age); // nudefined// 不会报错,但访问不到

复制变量值

如果从一个变量想另一个变量复制基本类型的值,会在变量对象上创建一个新值,然后把该值复制到为新变量分配的位置上。但是引用类型世界上复制的是指针。

传递参数

ECMAScript中所有函数的参数都是按值传递的,即使是引用变量也是传值。

检测类型

检测基本数据类型,用typeof。检测引用类型,用instanceof。

执行环境及作用域

全局执行环境是最外围的一个执行环境。根据ECMAScript实现所在的宿主环境不同,表示执行环境的对象也不一样。
某个执行环境中的所有代码执行完毕后,该环境被销毁,保存在其中的所有变量和函数定义也随之销毁(全局执行环境直到应用程序退出---例如关闭网页或浏览器--时才会被销毁)每个函数都有自己的执行环境,当执行流进入一个函数时,函数的执行环境会被推入一个环境栈中。而在函数执行之后,栈将其环境弹出,把控制权返回给之前的执行环境。ECMAScript程序中的执行流正是由这个方便的机制控制着。
当代码在一个环境中执行时,会创建变量对象的一个作用域链(scope chain)。作用域链的用途,是保证对执行环境有权访问的所有变量和函数的有序访问。作用域链的前端,始终都是当前执行的代码所在环境的变量对象。活动对象在最开始时只包含一个变量,即arguments对象(这个对象在全局环境中是不存在的)。
作用域链中的下一个变量对象来自包含(外部)环境,而再下一个变量对象则来自下一个包含环境。这样,一直延续到全局执行环境;全局执行环境的变量对象始终都是作用域链中的最后一个对象。标识符解析是沿着作用域链一级一级的搜索标识符的过程。搜索过程始终从作用域链的前端开始,直至找到标识符为止(如果找不到标识符,通常会导致错误发生)。
这些环境是线性的、有次序的。每个环境都可向上搜索作用域链,以查询变量和函数名;但任何环境都不能通过向下搜索作用域链而进入另一个执行环境。

延长作用域链

有些语句可以在作用域链的前端临时增加一个变量对象,该变量会在代码执行后被移除。下列语句会:* try-catch语句的catch块。* with语句。with,会将指定的对象添加到作用域链中catch语句会创建一个新的变量,其中包含的是被抛出的错误对象的声明。

没有块级作用域

  1. 声明变量使用var声明的变量会自动被添加到最接近的环境中。在函数内部,最接近的环境就是函数的局部环境;在with语句中,最接近的环境是函数环境。如果初始化变量时没有使用var声明,该变量会自动被添加到全局环境。
  2. 查新标识符当在某个环境中为了读取或写入而引用一个标识符时,必须通过搜索该标识符实际代表什么。搜索过程从作用域链的前端开始,向上逐级查询与给定名字匹配的标识符。如果在局部环境中找到了该标识符,搜索过程停止,变量就绪,若没找到,则沿作用域链继续向上搜索,搜索过程将一直追溯到全局环境的变量对象。如果仍未找到,则意味着该变量尚未声明。

垃圾收集

JavaScript具有自动垃圾收集机制。垃圾收集器会按照固定的时间间隔(或代码执行中预定的收集时间),周期性地执行这一操作。

标记清除

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

引用计数

另一种不太常见的垃圾收集策略叫做引用计数。引用计数的含义是跟踪记录每个值被引用的次数。

性能问题

管理内存

一旦数据不再用,最好通过将其值设置为null类释放其引用--这个做法叫做解除引用。

推荐阅读更多精彩内容