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

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

EcmaScript中的变量分为基本类型与引用类型。

基本类型指的是String 、Number、 Undefined 、Boolean、Null类型的数据字段 ， 引用类型则是Object类型的对象。基本类型变量保存的是固定大小的数据值，存储在栈内存中。引用类型变量保存的是对象在堆内存中的地址。若将基本类型变量赋值给另一个基本类型变量，这两个基本类型变量在内存中是独立的，互不影响，改变其中一个的值不会影响另一个。若将引用类型的变量赋值给另一个引用类型的变量，这两个变量实际上指向同一个内存地址，如果改变一个，另一个值也会改变，看代码：

            var o1 = new Object();
            function setName(obj){
              obj.name = "zhaokaikang";
            }
            var o2 = o1;
            setName(o1);
            alert(o2.name);//zhaokaikang

           
        EcmaScript中函数的参数是按值传递的，若传递的是基本类型变量，函数内部对命名参数做出的改变，不会影响传入值。若传入的是引用类型变量，对命名参数指向的对象做出的操作，会改变传入值所指向的对象，若是对命名参数的改变，比如给命名参数赋与一个新对象，传入值不会改变，这与参数按引用传递不同。

          instanceof测试测试值是哪一种引用类型，typeof测试值是哪一种基本类型

4.2 执行环境及作用域

        执行环境（execution context）定义了变量或函数访问其他数据的权限，决定了它们各自的行为。每个执行环境都有与之相关的变量对象（variable Object），环境中定义的所有变量和函数都保存在变量对象中。全局执行环境是最外围的一个执行环境，在EcmaScript中，全局执行环境指的是window对象，所有全局变量和函数都是作为window对象的属性和方法而创建的。当某个执行环境中的所有代码被执行完后，该环境被销毁，window对象会在退出应用程序时—如关闭网页或退出浏览器—被销毁。
        EcmaScript中每个函数都有自己的执行环境。当执行流进入一个函数时，函数的环境被推入一个环境栈中，当函数代码执行完后，环境被弹出，把控制权交还给之前的环境。EcmaScript中的执行流正是由这个方便的机制控制着。
    当代码在一个环境中执行时，会创建变量对象的一个作用域链（scope chain）,当前执行环境的变量对象永远处在作用域链的最前端，这表示每一个执行环境的作用域链是不同的，每进入一个新的执行环境，都会创建一个新的作用域链，因此当我们退出当前环境，进入包围环境时，作用域链中已经不包含当前环境的变量对象了，这就是为什么包围环境中变量对象不能访问当前环境中变量对象的方法与变量。作用域链中的下一个变量对象来自包含环境，而再下一个变量对象则来自下一个包含环境，以此类推，作用域链中的末尾是window对象。标识符解析是沿着作用域链从前向后查找，当查到之后，不在往后查找。位于作用域链前端的变量对象中的变量或方法可以访问位于作用域链后端的变量对象的变量或方法，反之，则不行。
        如果当前环境是函数，则将其活动对象（activation Object）作为变量对象。
        with语句和try-catch语句的catch块会延长作用域链，但两者的方式不同，with语句会将指定的对象添加到当前执行环境的变量对象中，如with(location){}语句,当前执行环境的变量对象将包含location对象。而try-catch语句中catch块将新创建一个变量对象，其中包含的是被抛出的错误对象的声明，并将其添加到作用域的最前端，catch语句执行完后，改变量对象将被移除。

        Javascript中没有块级作用域，因此，当你在{}中定义了一个变量，{}外也可以访问到，这一点在for循环中要特别注意，看代码：
   


     if(true){
                var color = "blue"
                }
        alert(color);         //blue
        for(var i=0 ; i < 10 ; i ++){
                //doSomething
        }
        alert(i);             //10

        当使用var声明变量时，该变量会被自动添加到最近的执行环境中，如果没有var直接声明，则该变量将被添加到全局环境中。

4.3 垃圾搜集

    Javascript的垃圾搜集是自动进行的，有两种方式：标记清除和引用计数。
    标记清除：将内存中所有的变量打上标记，然后将进入执行环境的变量以及变量引用的变量清除标记，在离开当前执行环境时，这些变量又将被打上标记。垃圾搜集器将把带标记的内存视为可删除的。标记清除的原理是进入当前执行环境的变量的内存不能被清空。

    引用计数：当声明一个变量，并将其赋予一个引用类型的值时，该值的引用计数为0，该值又被赋予另一个变量时，引用次数加1，当包含该值引用的变量被赋予新值时，该值的引用计数减1，当该值的引用计数为0时，即说明该值无法被访问，这就表示该值所在的内存空间可以被回收了。但是，引用计数遇到一个问题：循环引用。

    循环引用：声明两个对象，两个对象各有一个属性指向对方，这样，这两个对象的引用计数永远无法为0，导致内存无法被回收，若这两个对象声明是在函数中，多次调用该函数，将导致大量的内存无法得到回收。ie8及以下版本中DOM和BOM对象都是引用计数回收的，若涉及到循环引用，将导致内存泄露。
    可以通过解除引用的方式来优化内存占用，即将全局变量或全局对象的属性的值设置为null,该变量或全局对象的属性将脱离执行环境，被垃圾回收。