介紹

低層次的語言，如C，具有低級別的內存管理命令，如：malloc()和free()，需要開發者手工釋放內存。然而像javascript這樣的高級語言情況則不同，對象（objects, strings 等）創建的時候分配內存，當他們不在使用的時候內存會被自動回收，這個自動回收的過程被稱為垃圾回收。因為垃圾回收的存在，讓javascript等高級語言開發者產生了一個錯誤的認識，以為可以不用關心內存管理。

內存生命周期

不管什么樣的編程語言，內存的生命周期基本上是一致的。

1.分配你需要的內存

2.使用他進行讀寫操作

3.當內存不需要的時候，釋放資源

步驟1和步驟2對于所有語言都一樣，能明顯覺察到。至于步驟3，低級別語言需要開發者顯式執行。而對于像javascript這樣的高級語言，這部分操作是交給解析器完成的，所以你不會覺察到。

javascript中的分配操作

值的初始化

在為變量賦值的時候，javascript會完成內存的分配工作。

一些函數當執行完畢之后，同樣存在對象分配的情況發生。

對值的使用，其實也就是對分配后的內存執行讀寫操作。這些操作包括：對變量或者對象的屬性進行讀寫操作，或者向函數傳遞參數。

當不再需要的時候，釋放內存

絕大多數內存管理的問題都發生在這個階段。最難做的事情是，如何判定分配的內存不再需要。這往往需要開發者做出判定，程序在什么時候不再需要內存，并釋放他所占資源。

高級語言的解析器中嵌入了一個叫做“垃圾收集器”的程序，他的工作是用來跟蹤內存的分配和使用，判定內存是否被需要，在不再需要的時候執行資源釋放操作。他只能獲得一個近似值，因為判斷一個內存是否被需要，這是個不確定的問題（不能通過一種算法解決）。

垃圾回收

正如上文所述，我們無法準確的做到自動判定“內存不再需要”。所以，垃圾回收對該問題的解決方案有局限性。本節將解釋必要的概念，了解主要的垃圾收集算法和它們的局限性。

引用

垃圾回收中一個主要的概念是引用。在內存管理中，當一個對象無論是顯式的還是隱式的使用了另外一個對象，我們就說他引用了另外一個對象。例如，javascript對象存在一個隱式的指向原型的引用，還有顯式指向他的屬性值的引用。

在這里，對象的概念超出了javascript傳統意義上對象的概念，他還包括函數作用域和全局作用域。

使用引用計數算法的垃圾回收

下面要介紹的是一種最理想化的算法，引入了 “對象不再需要” 和 “沒有其他對象引用該對象” 的概念。當該對象的引用指針變為0的時候，就認為他可以被回收。

例子：

該算法有其局限性，當一個對象引用另外一個對象，當形成循環引用時，即時他們不再被需要了，垃圾收集器也不會回收他們。

他引入了“對象不再需要”和“對象不可訪問（對象不可達）”的概念。該算法假設有一系列的根對象（javascript中的根對象就是全局對象），每隔一段時間，垃圾收集器就會從根對象開始，遍歷所以他引用的對象，然后再遍歷引用對象引用的對象，以此類推。使用這種方式，垃圾收集器可以獲得所有可訪問的對象，回收那些不可訪問的對象。

這種算法比之前的算法好些，0引用的對象會被設置為不可訪問對象，同時他也避免了循環引用造成的困惱。

截止2012年，大多數現代瀏覽器使用的是這種“標記-清除算法”的垃圾回收器。JavaScript垃圾收集領域（代/增量/并發/并行的垃圾收集），在過去的幾年改善了與之相關的算法，但是垃圾收集算法本身（標記-清除算法）和“如何判定一個對象不再需要”并沒有得以改善。

周期不再是一個問題

在第一個例子中，函數調用結束之后，這兩個對象不會被全局對象引用，也不會被全局對象引用的對象引用。因此，他們會被javascript垃圾回收器標記為不可訪問對象。這種事情同樣也發生在第二個例子中，當div和事件處理函數被垃圾回收器標記為不可訪問，他們就會被釋放掉。

限制：對象需要明確的標記為不可訪問

這種標記的方法存在局限，但是我們在編程中被沒有接觸到他，所以我們很少關心垃圾回收相關的內容。