变量、作用域和内存
目录
1.基本类型和引用类型
基本类型:简单的数据段
引用类型:可能由多个值构成的对象
在将一个值赋给变量时,解析器必须确定这个值是基本类型值还是引用类型值。
引用类型的值是保存在内存中的对象,js不允许直接访问内存中的位置,即不能直接操作对象的内存空间。在操作对象时,实际上是在操作对象的引用而不是实际对象,因此,引用类型的值是按引用访问1
1.1动态的属性
对于引用类型的值,可以为其添加属性和方法,也可以改变和删除其属性和方法
var a = {};
a.name = 1;
console.log(a) // {name:1}
1.2复制变量值
基本数据类型:会在变量对象上创建一个新值,然后把新值复制到为新变量分配的位置上
引用数据类型:同样会将存储在变量对象中的值复制一份放到新变量分配的空间中,不同的是,这个值得副本实际上是一个指针,而这个指针指向存储在堆中的对象。复制操作结束后,两个变量实际上将引用同一个对象,因此改变其中一个变量,将会影响另一个变量(浅拷贝)
1.3传递参数
ECMAScript中所有函数的参数都是按值传递的,即,把函数外部的值复制给函数内部的参数,就相当于把一个变量复制到另一个变量一样
1)向参数传递基本类型的值,被传递的值会被复制给一个局部变量(命名参数,或叫arguments对象中的一个元素)
2)向参数传递引用类型的数据时,会把这个值在内存中的地址复制给一个局部变量,因此这个局部变量的变化会反映在函数的外部
1.4检测类型
1)typeof :String、Number、Boolean、undefined(即除null以外的基本类型)
对于null或对象会返回’Object’
对于函数则返回’function’
在IE和FireFox中,正则表达式返回’Object’
2)instanceof:Object、Array、RegExp
根据规定,所有引用类型的值都是Object的实例,因此在检测一个引用类型值和Object构造函数时,始终返回true。
2.执行环境及作用域
执行环境:定义了变量或函数有权访问的其他数据,决定了他们各自的行为。
每个执行环境都有一个与之关联的变量对象,环境中定义的所有变量都保存在这个对象中。无法在编写代码中访问,但解析器在处理数据时会在后台使用
全局变量是最外围的一个执行环境,宿主环境不同,表示执行环境的对象也不相同。
Web浏览器中,全局执行环境被认为是window对象,因此所有的全局变量和函数都作为window 对象的属性和方法创建。
某个执行环境中的所有代码执行完毕后,该环境被销毁,保存在其中的所有变量和函数定义也随之销毁(全局执行环境直到应用程序退出时才会被销毁)
每个函数都有自己的执行环境,当执行流进入一个函数时,函数的环境就被推入一个环境栈中,在函数执行后,栈将其环境弹出,将控制权返回给之前的执行环境。
当代码在一个环境中执行时,会创建变量对象的一个作用域链。
作用域链是保证对执行环境有权访问的所有变量和函数的有序访问。
作用域的前端,始终都是当前执行的代码所在环境的变量对象【如果这个环境是函数,则将其活动对象作为变量对象。
活动对象在最开始只包含一个变量(argument对象,在全局环境中是不存在的)】,下一个变量对象来自包含(外部)环境,在下一个变量对象来自下一个包含环境,一直延续到全局执行环境。全局执行环境的变量始终是作用域中的最后一个对象
2.1延长作用域链
虽然执行环境的类型只有两种:全局和局部(函数),但有其它方法来延长作用域链。
因为某些语句可以在作用域的前端临时增加一个变量对象,该变量对象会在代码执行后被移除
1)try-catch语句中的catch块
2)with语句
这两个语句会在作用域链的前端添加一个变量对象。
对于with语句来说,会将指定的对象添加到作用域链中
对于catch语句来说,会创建一个新的变量对象,其中包含的是抛出的错误对象的声明
var obj = {s:"aaa"}
function fnc(){
var str2 = "bbb";
with(obj){
var str3 = obj.s + str2;
}
return str3
}
with语句接收的是obj对象,因此其变量对象中就包含了obj对象的所有属性和方法,而这个变量对象被添加到了作用域链的前端。在with语句内部定义的名为str3的变量,也成为了函数执行环境的一部分,可以作为函数的值返回
2.2没有块级作用域
1)声明变量
使用var声明的变量会自动添加到最接近的环境中。
在函数内部,最接近的环境就是函数的局部环境。
在with语句中,最接近的环境是函数环境。
如果初始化变量时没有使用var声明,该变量会自动添加到全局环境
2)查询标识符
当在某个环境中为了读取或写入二引用某一个标识符时,必须通过搜索来确定该标识符实际代表什么。搜索过程从作用域链的前端开始,向上逐级查询与给定名字匹配的标识符。
3.垃圾收集
js具有自动垃圾收集机制,即,执行环境会负责代码执行过程中使用的内存。
编写js程序时,不需要关系内存的使用状况,所需内存的分配以及无用内存的回收完全实现了自动管理。
原理:找出那些不再继续使用的变量,然后释放其占用的内存。
垃圾收集器会按照固定的时间间隔(或代码执行中预定的收集时间),周期性地执行这一操作。
1)标记清除
js中最常用的垃圾收集方式。
当变量进入环境(例,在函数中声明一个变量)时,就将这个变量标记为“进入环境”。当变量离开环境时,则将其标记为“离开环境”
垃圾收集器在运行的时候会给存储在内存中的所有变量都加上标记。然后,它会去掉环境中的变量以及被环境中的变量引用的变量的标记。而在此后再被加上标记的变量将被视为准备删除的变量,原因是环境中的变量已经无法访问到这些变量了。最后,垃圾收集器完成内存清除工作,销毁那些带标记的值并回收它们占用的内存。
3.2引用计数
跟踪记录每个值被引用的次数。
当声明一个变量并将一个引用类型值赋给该变量时,则这个值引用次数就是1.如果同一值又被赋各另一个变量,那么引用次数+1;相反,如果包含对这个值引用的变量又取得另一个值,则这个值得引用次数-1.
当这个值的引用次数编程0,则说明没有办法再访问这个值,因此就可以将其占用的内存空间回收。
这样,当垃圾收集器下次再运行时,它会释放那些引用次数为0的值所占用的内存
3.3性能问题
3.4管理内存
当复制保存着对象的某个变量时,操作的是对象的引用,但在为对象添加属性和方法时,操作的是实际对象 ↩︎