JavaScript高级程序设计(第4章 变量、作用域和内存问题)

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

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

ECMAScript变量可能包含两种不同数据类型的值：基本类型值和引用类型值。

基本类型值指的是简单的数据段：Undefined、Null、Boolean、Number和String。

引用类型值指可能由多个值构成的对象，是保存在内存中的对象。

4.1.1 Page 68 动态的属性

不能给基本类型值添加属性和方法，但是能为引用类型值添加属性和方法，也可以改变和删除其属性和方法。

实例：

var person = new Object();

person.name = "Nicholas";

alert(person.name);     //"Nicholas"

4.1.2 Page 68 复制变量值

复制基本类型值：两个变量虽然值相同，但是是相互独立的。

实例：

var num1 = 5；

var num2 = num1；

此例中，num1和num2都等于5，但是这两个5是相互独立的，不会相互影响，使用的不同的内存空间。

复制引用类型值：两个变量实际上将引用一个对象（使用同一个指针指向内存堆中的一个对象），改变其中一个变量，就会影响另一个。

实例：

var obj1 = new object();

var obj2 = obj1;

obj1.name = "Nicholas";

alert(obj2.name);       //"Nicholas"

4.1.3 Page 70 传递参数

ECMAScript中所有函数的参数都是按值传递的，即把函数外部的值赋值给函数内部的参数。

这里的按值传递的意思是：

如果向参数传递基本类型值，被传递的值就会被复制给一个局部变量（即命名参数，也就是arguments里的一个元素），此时这个局部变量的变化不会反映在函数外部；

而传递引用类型时，实际是复制了引用类型值在内存中的地址给局部变量，此时这个局部变量的变化会反映在函数外部。

实例1：传递基本类型值

function addTen(num){

    num += 10;

    return num;

}

var count = 20;

var result = addTen(count);

alert(count);           //20

alert(result);           //30

实例2：简单传递引用类型值

function setName(obj){

    obj.name = "Nicholas";

}

var person = new Object();

setName(person);

alert(person.name);   //"Nicholas"

实例3：复杂传递引用类型值

function setName(obj){

    obj.name = "Nicholas";

    obj = new Object();

    obj.name = "Greg";

}

var person = new Object();

setName(person);

alert(person.name);   //"Nicholas"

因为setName函数内部重新给obj定义了一个新对象，这个变量引用的就是一个局部变量了，这个局部变量和全局的person对象是相互独立的，因为最后显示的还是Nicholas。

同理：

function setName(obj){

    obj = new Object();

    obj.name = "Nicholas";

    obj.name = "Greg";

}

var person = new Object();

setName(person);

alert(person.name);   //"Undefined"

4.1.4 Page 72 检测类型

1、typeof操作符

用来确定一个变量是字符串、数值、布尔值，还是undefined类型，但如果变量的值是一个对象或者null，则检测后会返回object，当变量是函数时，会返回function。

语法：

typeof(变量)；

实例：

alert(typeof("Nicholas"));       //string

2、instanceof操作符

所以，一般使用instanceof操作符检测对象的类型。

语法：

变量 instanceof 类型

实例：

alert(a instanceof Array);     //检测变量a是不是数组

4.2 Page 73 执行环境及作用域

执行环境（也成为环境，execution context）定义了变量或函数有权访问的其他数据，决定了他们各自的行为。

每个执行环境都有一个与之关联的变量对象（variable object），环境中定义的所有变量和函数都保存在这个对象中。

作用域的前端 ，始终都是当前执行环境的代码所在环境的变量对象。

两种执行环境类型：全局和局部（函数）

全局环境是最外围的一个执行环境，在Web浏览器中，全局执行环境被认为是windows对象。

每个函数都有自己的执行环境，即环境栈。

当代码在一个环境中执行时，会创建变量对象的一个作用域链（scope chain）。

作用域链的用途是保证对执行环境有权访问的所有变量和函数的有序访问。

内部环境可以通过作用域链访问所有的外部环境，但外部环境不能访问内部环境中的任何变量和函数。

每个环境都可以向上搜索作用域链，一查询变量和函数名；但任何环境都不能通过向下搜索作用域链而进入另一个执行环境。

实例：

var a=1；                  //全局环境里不能访问函数A和B里面的任何变量

function A(){

    var b=a;               //A 函数里可以访问全局变量a，但是不能访问B函数里的变量c和d

    function B(){

        var c=b;

        var d=a;           //B函数里可以访问A函数里的变量b，也可以访问全局变量a

    }

}

4.2.1 Page 75 延长作用域链（以后用到了再详细记录）

通过在作用域链的前端临时增加一个变量对象 （该变量对象会在代码执行后被移除），可以延长作用域链。

具体来说，就是当执行流进入下列任何一个语句时，作用域链就会得到加长：

try-catch与的catch块；

with语句。

4.2.2 Page 76 没有块级作用域

由于JavaScript没有块级作用域，因而支持根据条件来定义变量。在条件语句中定义的变量，在循环结束后不会被销毁，而会被定义到该条件所在的外部执行环境中。

实例：

for(var i = 0; i<10; i++){

 doSomething(i);

}

alert(i);               //10

1、申明变量

使用var申明的变量会被自动添加到最接近的环境中；

如果初始化变量时没有使用var申明，该变量会被自动添加到全局环境。（严格模式下，这样做会导致错误，不建议使用）

2、查询标识符（可以忽略这个知识点，常识）

按照作用域链的顺序查询。

4.3 Page 78 垃圾收集

JavaScript具有自动垃圾收集机制，也就是说，执行环境会负责管理代码执行过程中使用的内存。

原理：垃圾收集器会按照固定的时间间隔（或代码执行中预定的收集时间），周期性地找出那些不再继续使用的变量，然后释放其占用的内存。

4.3.1 Page 78 标记清除

JavaScript中最常用的垃圾收集方式是标记清除（mark-and-sweep）：当变量进入环境时，就将这个变量标记为“进入环境”，当变量离开环境时则将其标记为“离开环境”。

另一种不常见的垃圾收集策略是引用计数（reference counting）。

4.3.4 Page 81 管理内存

内存限制问题不仅会影响给变量分配内存，同时还会影响调用栈以及在一个线程中能够同时执行的语句数量。

优化内存占用的最佳方法是，为执行中的代码只保存必要的数据。一旦数据不再有用，最好通过将其值设置为null来释放其引用，将其值脱离执行环境，以便垃圾收集器下次运行时将其回收，这个方法叫：解除引用（dereferencing）。