前端基础进阶01 内存空间详细图解

前端基础进阶
留言

因为JavaScript具有自动垃圾回收机制，所以对于前端开发来说，内存空间 并不是一个经常被提及的概念，很容易被大家忽视。

想要对JS的理解更加深刻，就必须对内存空间有一个清晰的认知。发现由于对它们的模糊认知，导致了很多东西我都理解得并不明白。比如最基本的引用数据类型和引用传递到底是怎么回事儿？比如浅复制与深复制有什么不同？还有闭包，原型等等。
科技感

1. 堆 与 栈

注：栈（stack），有的地方也叫堆栈。

与C/C++不同，JavaScript中并没有严格意义上区分栈内存与堆内存。因此我们可以粗浅的理解为JavaScript的所有数据都保存在堆内存中。但是在某些场景，我们仍然需要基于堆栈数据结构的思路进行处理，比如JavaScript的执行上下文（关于执行上下文我会在下一篇文章中总结）。执行上下文在逻辑上实现了堆栈。因此理解堆栈数据结构的原理与特点任然十分重要。

栈的存取方式：先进后出（FILO) 或后进先出。
（由此联想到 队列： 先进先出 （FIFO) ）

可以用乒乓球盒子来类比 栈

可以用乒乓球盒子来类比 栈

堆存取数据的方式，则与书架与书非常相似。我们只要知道书的名字，我们就可以很方便的取出我们想要的书，而不用像从乒乓球盒子里取乒乓一样，非得将上面的所有乒乓球拿出来才能取到中间的某一个乒乓球。好比在JSON格式的数据中，我们存储的key-value是可以无序的，因为顺序的不同并不影响我们的使用，我们只需要关心书的名字。

2. 变量对象与基础数据类型

JavaScript的 执行上下文 生成之后，会创建一个叫做 变量对象 的特殊对象（具体会在下一篇文章与执行上下文一起总结），JavaScript的 基础数据类型 往往都会保存在变量对象中。

严格意义上来说，变量对象也是存放于堆内存中，但是由于变量对象的特殊职能，我们在理解时仍然需要将其于堆内存区分开来。

基础数据类型都是一些简单的数据段，都是按值访问，我们可以直接操作保存在变量中的实际的值。

基础数据类型包括5种类型，分别是 String（字符） Numble（数字） Null（空） Undefined（未定义） Boolean（布尔）。

3. 引用数据类型与堆内存

与其他语言不通，JS的 引用数据类型，比如数组Array，它们值的大小是不固定的。引用数据类型的值是保存在堆内存中的对象。JavaScript不允许直接访问堆内存中的位置，因此我们不能直接操作对象的堆内存空间。在操作对象时，实际上是在操作对象的引用而不是实际的对象。因此，引用类型的值都是按引用访问的。这里的引用，我们可以粗浅地理解为保存在变量对象中的一个地址，该地址与堆内存的实际值相关联。

1
2
3
4
5
6
var a1 = 0; // 变量对象
var a2 = 'this is string'; // 变量对象
var a3 = null; // 变量对象
var b = { m: 20 }; // 变量b存在于变量对象中，{m: 20} 作为对象存在于堆内存中
var c = [1, 2, 3]; // 变量c存在于变量对象中，[1, 2, 3] 作为对象存在于堆内存中

数据结构图示

因此当我们要访问堆内存中的引用数据类型时，实际上我们首先是从变量对象中获取了该对象的 地址引用（或者地址指针），然后再从堆内存中取得我们需要的数据。
理解了JS的内存空间，我们就可以借助内存空间的特性来验证一下引用类型的一些特点了。

// demo01.js
var a = 20;
var b = a;
b = 30;
// 这时a的值是多少？

在变量对象中的数据发生复制行为时，系统会自动为新的变量分配一个新值。var b = a执行之后，a与b虽然值都等于20，但是他们其实已经是相互独立互不影响的值了。具体如图。所以我们修改了b的值以后，a的值并不会发生变化。
变量对象复制图解

// demo02.js
var m = { a: 10, b: 20 }
var n = m;
n.a = 15;
// 这时m.a的值是多少

在demo02中，我们通过var n = m执行一次复制引用类型的操作。引用类型的复制同样也会为新的变量自动分配一个新的值保存在变量对象中，但不同的是，这个新的值，仅仅只是引用类型的一个地址指针。当地址指针相同时，尽管他们相互独立，但是在变量对象中访问到的具体对象实际上是同一个。如图所示。因此当我改变n时，m也发生了变化。这就是引用类型的特性。
引用数据类型复制（引用）图解

通过内存的角度来理解，是不是感觉要轻松很多。除此之外，我们还可以以此为基础，一步一步的理解JavaScript的执行上下文，作用域链，闭包，原型链等重要概念。

4. 内存空间管理

因为JavaScript具有自动垃圾收集机制，所以我们在开发时好像不用关心内存的使用问题，内存的分配与回收都完全实现了自动管理。但是根据我自己的开发经验，了解内存机制有助于自己清晰的认识到自己写的代码在执行过程中发生过什么，从而写出性能更加优秀的代码。因此关心内存是一件非常重要的事情。

JavaScript的内存生命周期：
1.0 分配需要的内存
2.0 使用分配到的内存
3.0 不需要时将其释放、归还

为了便于理解，我们使用一个简单的例子来解释这个周期。

1
2
3
var a = 20;  // 在内存中给数值变量分配空间
alert(a + 100);  // 使用内存
a = null; // 使用完毕之后，释放内存空间

第一步和第二步我们都很好理解，JavaScript在定义变量时就完成了内存分配。第三步释放内存空间则是我们需要重点理解的一个点。
JavaScript有自动垃圾收集机制，那么这个自动垃圾收集机制的原理是什么呢？其实很简单，就是找出那些不再继续使用的值，然后释放其占用的内存。垃圾收集器会每隔固定的时间段就执行一次释放操作。
在JavaScript中，最常用的是通过标记清除的算法来找到哪些对象是不再继续使用的，因此a = null其实仅仅只是做了一个释放引用的操作，让 a 原本对应的值失去引用，脱离执行环境，这个值会在下一次垃圾收集器执行操作时被找到并释放。而在适当的时候解除引用，是为页面获得更好性能的一个重要方式。

在局部作用域中，当函数执行完毕，局部变量也就没有存在的必要了，因此垃圾收集器很容易做出判断并回收。但是全局变量什么时候需要自动释放内存空间则很难判断，因此在我们的开发中，需要尽量避免使用全局变量，以确保性能问题。

参考來源：简书 过去式丶 http://www.jianshu.com/p/996671d4dcc4
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。