JavaScript 闭包

1
介绍

最简单的解释是闭包允许内部函数, 即函数可以嵌套. 内部函数可以访问外层函数的变量, 参数. 内部函数的执行是在外层函数 return 后, 因此要了解闭包的细节, 需要知道它背后的机制.


2
对象分类:

Native对象
    - 内建对象
Host对象

本地对象的一个松散的动态的命名属性包(内建对象的命名属性不是动态的,通常不用关心). 本地对象定义的(命名)属性通常保存一个值, 可以是一个对象(Function 在这里也认为是一个对象)或基本类型的值:String, Number, Boolean, Null or Undefined.
undefined 是一个特殊值, 它表示这个属性存在,但没有值.
null 也是一个特殊值, 这表示对象为空.

区别:
undefined 是表示真正没有值或没有赋值, 而null 则表示有值,即null.

动态本地对象可以创建属性.如

objRef = new Object();
objRef.namedProperty = 1; // 创建一个属性

// or
objRef["namedProperty"] = 1;

当然, 属性在对象内只会创建一次.


2.1 原型链
对象有prototype 属性, prototype 也是一个对象, 它也有 prototype, 如此便形成原型链.原型链的尽头便是 null.

注意: 原型链上的属性是不可修改的.

3
执行上下文

所有JS代码是执行上下文中运行, 全局代码在全局执行上下文, 函数调用在函数执行上下文. eval 函数在另一个执行上下文.

每一次函数调用都在不同的执行上下文中, 即使同一函数的递归调用.

当函数返回时, 返回原始的执行上下文, 如此便形成一个执行上下文栈.

创建非全局的执行上下文将发生如下的步骤:

首先, 创建 Activation 对象或参数对象(AO或VO), Activation 对象包括属性,但它不是一个真正的对象, 它没有 prototype, 不能被JS代码引用.

其次, 创建 arguments 对象, 它有 length 和 callee 属性 ,接着 Activation 对象创建同名的 arguments 属性引用 arguments  对象.

再次, 指定执行上下文的作用域 Scope, Scope 是一个对象链, 将 Scope 赋值给 执行上下文并将 Activation 对象加到 Scope 对象链的开头.

最后, 使用 Activation 对象进行变量实例化.
首先处理 arguments 的实例化, 如果没有对应的值, 就赋值为 undefined;
然后处理内部函数, 将函数名作为属性名, 值为函数的声明;
最后创建外层函数的局部变量, 值默认为 undefined, 实际赋值要等到函数体真正执行时.

this 在全局指向 window, 在构造函数或函数的副本指向对象.
call, apply 可以修改this的指向.

4
作用域

函数有一个内部的 Scope 属性, 它保存函数的 Activation 对象链. 它的尽头是 global 对象.

注意: with 语句可以修改作用域, 在 with 语句块结束时原始作用域恢复.

5
标识符解析

标识符解析根据作用域链解析.

6
闭包

6.1 自动垃圾回收
闭包函数不能自动垃圾回收, 因此处理时需要非常小心.

6.2 由于闭包, 即使执行下下文退出时, AO也不会回收, 否则内部函数访问不了外层函数的参数或属性.

6.3 每次函数调用都会产生新的AO.