ECMAScript包含两种不同数据类型的值:基本类型值——简单的数据段和引用类型值——可能由多个值构成的对象。
Undefined、Null、Boolean、Number和String这5种基本数据类型是按值访问的,因为可以操作保存在变量中的实际的值。
引用类型的值是保存在内存中的对象,js不允许直接访问内存中的位置,操作对象时,实际上是在操作对象的引用而不是实际的对象。
对于引用类型的值,我们可以为其添加属性和方法,也可以改变和删除其属性和方法,但是我们不能给基本类型的值添加属性,尽管这样做不会导致任何错误。
复制基本类型的值时,会在变量对象上创建一个新值,然后把该值复制到为新变量分配的位置上,这两个值是相互独立的,可以参与任何操作而不会相互影响。
复制引用类型的值时,同样会将存储在变量对象中的值复制一份放到为新变量分配的空间中,但是这个值的副本实际上是一个指针,指针指向存储在堆中的一个对象,复制结束后,两个变量实际上将引用同一个对象。因此,改变其中一个变量,就会影响另一个变量。
参数只能按值传递 可以把ECMAScript函数的参数想象成局部变量。
1 function setName(obj) { 2 obj.name = "Nicholas"; 3 obj = new Object(); 4 obj.name = 'greg'; 5 } 6 7 var person = new Object(); 8 setName(person); 9 alert(person.name); //"Nicholas"
根据这段代码可以看出,参数是按值传递的,如果是按引用,则person.name=Greg,事实上还是为Nicholas。obj在函数执行完毕时就销毁了。
typeof检查基本数据类型,instanceof检查引用类型。
执行环境及作用域
执行环境定义了变量或函数有权访问的其他数据,决定了它们各自的行为。们每个执行环境都有一个与之关联的变量对象,环境中定义的所有变量和函数都保存在这个对象中。
每个函数都有自己的执行环境,当执行流进入一个函数时,函数的环境就会被推入一个环境栈中。函数执行之后,栈将其环境弹出,把控制权返回给之前的执行环境。
当代码在一个环境中执行时,会创建变量对象的一个作用域链,作用域链的用途,是保证对执行环境有权访问的所有变量和函数的有序访问。作用域链的前端,始终都是当前执行的代码所在的环境的变量对象。
标识符解析是沿着作用域链一级一级的搜索标识符的过程。搜索过程始终从作用域链的前端开始,然后逐级地向后回溯,直到找到标识符为止,如果找不到,通常会导致错误发生。
延长作用域链
try-catch语句的catch块;
with语句。
JavaScript没有块级作用域,if和for语句在执行后,变量依然会存在于循环外面的执行环境中。
垃圾收集:找出不再继续使用的变量,然后释放其占用的内存。
标记清除:垃圾收集器在运行的时候会给存储在内存中的所有变量加上标记,然后去掉环境中的变量以及被环境中的变量引用的变量的标记。而在此之后再被加上标记的变量将被视为准备删除的变量,原因是环境中的变量已经无法访问到这些变量了。最后垃圾收集器完成内存清除工作,销毁那些带标记的值并回收它们所占用的内存空间。
引用计数:跟踪记录每个值被引用的次数,当声明一个变量并将一个引用类型值赋给该变量时,引用次数就是1,同一个值又被赋给另一个变量,则该值的引用次数加1。如果包含对这个值引用的变量又取得了另外一个值,则这个值的引用次数减1,当引用次数为0时,说明没有办法再访问这个值了,因而就可以将其占用的内存空间回收回来。这样,当垃圾收集器下次再运行时,会释放那些引用次数为0的值所占用的内存。但是这种方法有个问题,当存在循环引用时,永远不会回收。
优化内存占用 的最佳方式,就是为执行中的代码只保存必要的数据,一旦数据不再有用,最好将其设置为null释放其引用——这个做法叫做解除引用。不过解除一个值的引用并不意味着自动回收该值所占用的内存,解除引用的真正作用是让值脱离执行环境,以便垃圾收集器下次运行时将其回收。
小结:基本类型值和引用类型值具有以下特点
- 基本类型值在内存中占据固定大小的空间,因此会被保存在栈内存中;
- 从一个变量向另一个变量复制基本类型的值,会创建这个值的一个副本;
- 引用类型的值是对象,保存在堆内存中;
- 包含引用类型值的变量实际上包含的并不是对象本身,而是一个指向该对象的指针;
- 从一个变量向另一个变量复制引用类型的值,复制的其实是指针,因此两个变量最终都指向同一个对象;
- 确定一个值是哪种基本类型使用typeof,确定一个值是哪种引用类型可以使用instanceof操作符;
所有变量都存在于一个执行环境中,这个执行环境决定了变量的生命周期,以及哪一部分代码可以访问其中的变量,以下是关于执行环境的几点总结:
- 执行环境有全局执行环境和函数执行环境之分;
- 每次进入一个新执行环境,都会创建一个用于搜索变量和函数的作用域链;
- 函数的局部环境有权访问函数作用域中的变量、父环境、和全局环境的变量;
- 全局环境只能访问全局环境中定义的变量和函数,而不能直接访问局部环境中的任何数据;
- 变量的执行环境有助于确定应该何时释放内存。