var a = 20;
var b = 'abc';
var c = true;
var d = { m: 20 }
因爲JavaScript具有自動垃圾回收機制，所以對於前端開發來說，內存空間並不是一個經常被提及的概念，很容易被大家忽視。特別是很多不是計算機專業的朋友在進入到前端之後，會對內存空間的認知比較模糊，甚至有些人乾脆就是一無所知。
當然也包括我自己。在很長一段時間裏認爲內存空間的概念在JS的學習中並不是那麼重要。可當我回過頭來重新整理JS基礎時，發現由於對它們的模糊認知，導致了很多東西我都理解得並不明白。比如最基本的引用數據類型和引用傳遞到底是怎麼回事兒？比如淺複製與深複製有什麼不同？還有閉包，原型等等。
因此，想要對JS的理解更加深刻，就必須對內存空間有一個清晰的認知。
在學習內存空間之前，我們需要對三種數據結構有一個直觀的認知。他們分別是堆(heap)，棧(stack)與隊列(queue)。
一、棧數據結構
與C/C++不同，JavaScript中並沒有嚴格意義上區分棧內存與堆內存。因此我們可以簡單粗暴的理解爲JavaScript的所有數據都保存在堆內存中。但是在某些場景，我們仍然需要基於堆棧數據結構的思維來實現一些功能，比如JavaScript的執行上下文（關於執行上下文我會在下一篇文章中總結）。執行上下文的執行順序借用了棧數據結構的存取方式。(也就是後面我們會經常提到的函數調用棧)。因此理解棧數據結構的原理與特點十分重要。
要簡單理解棧的存取方式，我們可以通過類比乒乓球盒子來分析。如下圖左側。
乒乓球盒子與棧類比
這種乒乓球的存放方式與棧中存取數據的方式如出一轍。處於盒子中最頂層的乒乓球5，它一定是最後被放進去，但可以最先被使用。而我們想要使用底層的乒乓球1，就必須將上面的4個乒乓球取出來，讓乒乓球1處於盒子頂層。這就是棧空間先進後出，後進先出的特點。圖中已經詳細的表明了棧空間的存儲原理。
二、堆數據結構
堆數據結構是一種樹狀結構。它的存取數據的方式，則與書架與書非常相似。
書雖然也整齊的存放在書架上，但是我們只要知道書的名字，我們就可以很方便的取出我們想要的書，而不用像從乒乓球盒子裏取乒乓一樣，非得將上面的所有乒乓球拿出來才能取到中間的某一個乒乓球。好比在JSON格式的數據中，我們存儲的key-value是可以無序的，因爲順序的不同並不影響我們的使用，我們只需要關心書的名字。
三、隊列
在JavaScript中，理解隊列數據結構的目的主要是爲了清晰的明白事件循環（Event Loop）的機制到底是怎麼回事。在後續的章節中我會詳細分析事件循環機制。
隊列是一種先進先出（FIFO）的數據結構。正如排隊過安檢一樣，排在隊伍前面的人一定是最先過檢的人。用以下的圖示可以清楚的理解隊列的原理。
四、變量對象與基礎數據類型
JavaScript的執行上下文生成之後，會創建一個叫做變量對象的特殊對象（具體會在下一篇文章與執行上下文一起總結），JavaScript的基礎數據類型往往都會保存在變量對象中。
嚴格意義上來說，變量對象也是存放於堆內存中，但是由於變量對象的特殊職能，我們在理解時仍然需要將其於堆內存區分開來。
基礎數據類型都是一些簡單的數據段，JavaScript中有5種基礎數據類型，分別是Undefined、Null、Boolean、Number、String。基礎數據類型都是按值訪問，因爲我們可以直接操作保存在變量中的實際的值。
ES6中新加了一種基礎數據類型Symbol，可以先不用考慮他
五、引用數據類型與堆內存
與其他語言不同，JS的引用數據類型，比如數組Array，它們值的大小是不固定的。引用數據類型的值是保存在堆內存中的對象。JavaScript不允許直接訪問堆內存中的位置，因此我們不能直接操作對象的堆內存空間。在操作對象時，實際上是在操作對象的引用而不是實際的對象。因此，引用類型的值都是按引用訪問的。這裏的引用，我們可以理解爲保存在變量對象中的一個地址，該地址與堆內存的實際值相關聯。
爲了更好的搞懂變量對象與堆內存，我們可以結合以下例子與圖解進行理解。
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的值是多少？
// demo02.js
var m = { a: 10, b: 20 }
var n = m;
n.a = 15;
// 這時m.a的值是多少
在變量對象中的數據發生複製行爲時，系統會自動爲新的變量分配一個新值。var b = a執行之後，a與b雖然值都等於20，但是他們其實已經是相互獨立互不影響的值了。具體如圖。所以我們修改了b的值以後，a的值並不會發生變化。
demo01圖解
在demo02中，我們通過var n = m執行一次複製引用類型的操作。引用類型的複製同樣也會爲新的變量自動分配一個新的值保存在變量對象中，但不同的是，這個新的值，僅僅只是引用類型的一個地址指針。當地址指針相同時，儘管他們相互獨立，但是在變量對象中訪問到的具體對象實際上是同一個。如圖所示。
因此當我改變n時，m也發生了變化。這就是引用類型的特性。
demo02圖解
通過內存的角度來理解，是不是感覺要輕鬆很多？除此之外，我們還可以以此爲基礎，一步一步的理解JavaScript的執行上下文，作用域鏈，閉包，原型鏈等重要概念。其他的我會在以後的文章慢慢總結，敬請期待。
六、內存空間管理
因爲JavaScript具有自動垃圾收集機制，所以我們在開發時好像不用關心內存的使用問題，內存的分配與回收都完全實現了自動管理。但是根據我自己的開發經驗，瞭解內存機制有助於自己清晰的認識到自己寫的代碼在執行過程中發生過什麼，從而寫出性能更加優秀的代碼。因此關心內存是一件非常重要的事情。
JavaScript的內存生命週期
1. 分配你所需要的內存
2. 使用分配到的內存（讀、寫）
3. 不需要時將其釋放、歸還
爲了便於理解，我們使用一個簡單的例子來解釋這個週期。
var a = 20; // 在內存中給數值變量分配空間
alert(a + 100); // 使用內存
a = null; // 使用完畢之後，釋放內存空間
第一步和第二步我們都很好理解，JavaScript在定義變量時就完成了內存分配。第三步釋放內存空間則是我們需要重點理解的一個點。
JavaScript有自動垃圾收集機制，那麼這個自動垃圾收集機制的原理是什麼呢？其實很簡單，就是找出那些不再繼續使用的值，然後釋放其佔用的內存。垃圾收集器會每隔固定的時間段就執行一次釋放操作。
在JavaScript中，最常用的是通過標記清除的算法來找到哪些對象是不再繼續使用的，因此a = null其實僅僅只是做了一個釋放引用的操作，讓 a 原本對應的值失去引用，脫離執行環境，這個值會在下一次垃圾收集器執行操作時被找到並釋放。而在適當的時候解除引用，是爲頁面獲得更好性能的一個重要方式。
在局部作用域中，當函數執行完畢，局部變量也就沒有存在的必要了，因此垃圾收集器很容易做出判斷並回收。但是全局變量什麼時候需要自動釋放內存空間則很難判斷，因此在我們的開發中，需要儘量避免使用全局變量。
要詳細瞭解垃圾收集機制，建議閱讀《JavaScript高級編程》中的4.3節
作者：這波能反殺
鏈接：https://www.jianshu.com/p/996671d4dcc4
著作權歸作者所有，任何形式的轉載都請聯繫作者獲得授權並註明出處。