"红砖"JS高程笔记P3

ECMAScript变量可保存两种不同数据类型的值:基本类型值和引用类型值.
在将一个值赋给变量时,解析器必须确定这个值是基本类型值还是引用类型值.
5种基本类型是按值访问的,因为可以操作保存在变量中的实际值.
基本类型值在内存中占据固定大小的空间,因此被保存在栈内存中.
从一个变量向另一个变量复制基本类型的值,会创建这个值的一个副本.
引用类型的值是对象,保存在堆内存中,引用类型的值(对象)是引用类型的一个实例.
Javascript不允许直接访问内存中的位置,即不能直接操作对象的内存空间.
包含引用类型值的变量实际上包含的并不是对象本身,而是一个指向该对象的指针(内存地址值).
从一个变量向另一个变量复制引用类型的值,复制的其实是指针(也称为引用),因此两个变量最终都指向同一个对象.
当复制保存着对象的某个变量时,操作的是对象的引用.但在为对象添加属性时,操作的是实际对象.
var person = new Object();
person.name = "Nicholas";
alert(person.name); // Nicholas
只能给引用类型值动态添加属性,基本类型值不行.




传递参数
ECMAScript中所有函数的参数都是按值传递,不是按引用传递.
也就是说,把函数外部的值复制给函数内部的参数(函数的参数).
在向参数传递基本类型的值时,被传递的值会被复制给局部变量(即命名参数).
在向参数传递引用类型时,被复制的值是在指向堆中的一个地址给局部变量(即命名参数),因此这个局部变量的变化会反映在函数的外部.
function addTen(num){
num += 10;
return num;
}
var count = 20;
var result = addTen(count);
alert(count); //20,没变化
alert(result); //30
count的数值20被复制给num,在函数内部,参数num被加上10,但并没影响外部count的值.
参数num与变量count相互独立,互不影响,仅仅是因为按值传递,被复制了相同的值.
如果是按引用传递,变量count的值也会变成30,会反映函数内部的变化.
function setName(obj){
obj.name = "Nicholas";
}
var person = new Object();
setName(person);
alert(person.name); //"Nicholas"
变量person的地址值复制给了obj,所以在函数内部,obj和person指向同一个对象.
所以,即使变量是按值传递,obj与person修改的都是同一个对象.




检测类型
typeof常用于String,number,boolean,undefined,而instanceof用于null或对象.
如果变量(引用类型的值,即对象)是给定引用类型(对映构造函数)的实例,则instanceof操作符就会返回true.
alert(colors instanceof Array); //变量colors是Array吗?
所有引用类型的值都是Object的实例,因此在检测一个引用类型值和Object构造函数时,instanceof操作符始终会返回true.
如果使用instanceof操作符检测基本类型的值,则该操作符始终会返回false,因为基本类型不是对象.
function和正则表达式在使用typeof检查时都返回"function".




执行环境或作用域
(执行环境,变量对象,活动对象,作用域,作用域链)
执行环境定义了变量或函数有权访问的其他数据.
每个执行环境都有一个与之关联的变量对象,环境中定义的所有变量和函数都保存在这个对象中.
但编写的代码无法访问这个对象,但解析器在处理数据时会在后台使用它.
全局执行环境是最外围的一个执行环境,根据ECMAScript实现所在的宿主环境不同,表示执行环境的对象也不一样.
在Web浏览器中,全局执行环境被认为是window对象,因此所有全局变量和函数都是作为window对象的属性和方法建立的.
某个执行环境中的所有代码执行完毕后,该环境被销毁,保存在其中的所有变量和函数定义也随之销毁.
全局执行环境直到应用程序(浏览器或页面)退出时才会被销毁.
每个函数都有自己的执行环境,当执行流进入一个函数时,函数的环境就会被推进一个环境栈中(形成作用域).
而在函数执行以后,栈将其环境弹出,把控制权返回给之前的执行环境(摧毁作用域).
当代码在一个环境中执行时,会创建变量对象组成的一个作用域链(scope chain).
作用域链的用途是保证对执行环境有权访问的所有变量和函数的有序访问.
作用域链的前端始终都是当前执行的代码所在环境的变量对象.如果这个环境是函数,则将其活动对象作为变量对象.
活动对象在最开始时只包含一个变量,即arguments对象(这个对象在全局环境中不存在).
作用域链中的下一个变量对象来自包含(外部)环境,再下一个变量对象则来自下一个包含环境,如此一直延续到全局执行环境.
全局执行环境的变量对象始终都是作用域链中的最后一个对象.
标识符解析沿着作用域链一级一级地搜索标识符的过程,搜索过程始终从作用域链的前端开始,然后逐级向后回溯,直至找到标识符为止(找不到报错).
每个环境都可以向上搜索作用域链,以查询变量和函数名;
但任何环境都不能通过向下搜索作用域链而进入另一个执行环境.




延长作用域链(暂时延长)
try-catch语句的catch块 : 创建一个新的变量对象,其中包含的是被抛出的错误对象的声明.
with语句 : 会将指定的对象添加到作用域链中.
以上语句可以在作用域链的前端临时增加一个变量对象,该变量对象会在代码执行后被移除.
就是当执行流进入任何一个语句,作用链就会得到加长.
function buildUrl(){
var qs = "?debug=true";
with(location){
var url = href + qs;
//实际引用的是location.href,即location对象是临时添加的变量对象.
//而url是属于buildUrl函数执行环境的一部分.
}
return url;
}




没有块级作用域
对于JS来说,由for语句创建的变量i即使在for循环执行结束后,也依旧会存在于循环外部的执行环境中.
1.变量声明
使用var声明的变量会自动被添加到最接近的执行环境中.
在函数内部,最接近的环境就是函数的局部环境.
在with语句中,最接近的环境是函数环境.
如果初始化变量时没有使用var声明,该变量会自动被添加到全局环境.
2.查询标识符
如果局部环境中存在着同名标识符,就不会使用位于父环境中的标识符.
/*只有在调用函数时,执行流才会进入函数的执行环境,才会有变量的声明与内存的分配等操作,*/
/*才会创建执行环境和初始化作用域链,*/
/*而当执行流经过function关键字时,是对函数声明和完善作用域链(但事实上,由于函数提升的关系,函数早已声明).*/




垃圾收集(销毁)
JS具有自动垃圾收集机制(即销毁),就是说,执行环境会负责管理代码执行过程中使用的内存.
立即收集机制原理:找到不再使用的变量,然后释放其占用内存,收集器会按照固定的时间间距周期性回收.
标记清除.
标记清除策略先是把占用内存的代码执行完成后标记"离开环境",然后由垃圾收集器在进入下一次周期运行时才回收内存.
引用计数清除.
将变量设置为null意味着切断变量与它此前引用的值之间的连接,让值脱离执行环境,当垃圾收集器下次运行时,就会删除这些值并回收它们占用的内存.
在IE中,调用window.CollectGarbage()方法或在Opera7及以上版本中调用window.opera.collect()都会立即执行垃圾回收.




管理内存
确保占用最少的内存可以让页面获得更好的性能.
将值设置为null来释放引用称为解除引用.
解除引用适用于大多数全局变量和全局对象的属性,局部变量会在离开执行环境时自动解除,局部变量会在离开执行环境时自动解除引用.
解除一个值的引用并不意味着自动回收该值所占用的内存.
解除引用只是为了让值脱离执行环境(作用域)以便回收.