Higanbana

深入理解闭包(一)——铺垫

前两天写了一篇关于作用域和作用域链的文章,还自以为理解透了,这两天一直在琢磨闭包,才发现我之前对作用域和作用域链的理解简直不忍直视,甚至那个时候我还以为执行上下文跟作用域是同一个东西,哇现在真想死一死。看了那么多讲闭包的文章之后我也得出一个经验,一篇文章是讲不清闭包的,因为你需要理解的不仅仅是闭包,还有前面需要铺垫的很多知识,所以我打算写一个系列文,今天我就先回忆一些基础知识。

堆与栈

堆与栈是两种数据结构,栈在javascript的执行上下文中有重要体现,因此我们有必要去弄懂它。

堆的存取方式比较灵活,程序员为数据分配空间进行存储,引用数据时只需要知道数据存在了那个地址就可以使用,就像是我们去图书馆找一本书,只需要知道这本书的编号就能知道书的位置,找到对应的书架找到想要的书。


栈的存取方式遵循先进后出原则。如上图:存储数据时,1最先入栈,4最后入栈;使用数据时,4最先出栈,1最后出栈。大家都打过羽毛球吧,装羽毛球的长筒就类似于这个栈,桶口就一个,我们每次只能拿出最上面的那个球,要想拿出下面的球就必须把它上面的都拿出来。

数据的基本类型和引用类型

基本数据类型

基本类型值指的是简单数据段,JavaScript中有5中基本数据类型,分别是Undefined、Null、Boolean、Number、String。基本数据类型是按值访问,如果从一个变量向另一个变量复制基本类型的值,会在变量对象上创建一个新值,把该值复制到为新变量分配的位置上。
举个栗子:

1
2
var num1 = 5;
var num2 = num1;

num1中保存的值是5,又定义一个变量num2,并用num1的值来初始化它,那么num1的5就复制给了num2,但这两个5是互相独立的,谁都不影响谁,即使你改变了其中一个的值,另外一个也不会受到影响。

引用数据类型

引用类型值指的是那些可能由多个值构成的对象,如数组。引用数据类型是按引用访问的,当一个变量向另一个变量复制引用类型值的时候,复制的不是一个值而是一个指向这个值的指针,复制操作结束后,两个变量实际上将引用同一个对象,因此改变其中一变量,另一个也随之改变。
举个栗子:

1
2
3
4
var obj1 = new Object();
var obj2 = obj1;
obj1.name = "Nicholas";
alert(obj2.name); //"Nicholas"

首先,变量obj1保存了一个对象的新实例,然后这个值被复制到了obj2中,此时它们都指向同一个对象,因此当我们给obj1添加name属性后,可以通过obj2来访问这个属性,如果你还不理解,那么你看完下图就会了然了。

下面我们看两个小测试来检测一下自己对上面内容的理解

1
2
3
4
5
6
7
8
9
10
11
var a = 10;
var b = a;
b = 30;
console.log(a); //10
```
```js
var m = { a: 10, b: 20 }
var n = m;
n.a = 30;
console.log(m.a); //30

垃圾回收机制

函数中局部变量经历一个生命周期:

  1. 当我们定义一个变量时,会为它分配一个内存空间用来储存变量的值
  2. 当我们读取或使用这个变量时,会使用它的内存空间
  3. 使用完毕时会释放内存空间

上面生命周期的最后一步,其实就是垃圾回收。JavaScript有自动垃圾收集机制,就是找出那些不再继续使用的值,然后释放其占用的内存,那么怎么判断什么值不再使用呢,一般来说,当一个函数执行完毕,那么这个局部作用域内的变量就没有存在的必要了,它的内存空间就会释放,但是有一种情况可以阻止这一进程,那就是——闭包。

javascript代码执行过程


这个流程图是javascript代码执行要经历的一个完整过程,其中我标出了作用域,执行上下文,作用域链,即使你现在还不明白这个流程图的每个部分都是做什么的,但是你现在至少应该明白这三者是完全不一样的概念。