JavaScript中的堆棧

luodongseu 發(fā)布于2019-08-20 17:05 / 2253人閱讀

摘要：是按引用訪問(wèn)的如下圖所示棧內(nèi)存中存放的只是該對(duì)象的訪問(wèn)地址，在堆內(nèi)存中為這個(gè)值分配空間。棧內(nèi)存堆內(nèi)存為了使程序運(yùn)行時(shí)占用的內(nèi)存最小，通常要實(shí)現(xiàn)垃圾回收機(jī)制。

棧（stack）棧stack為自動(dòng)分配的內(nèi)存空間，它由系統(tǒng)自動(dòng)釋放；

堆（heap）堆heap是動(dòng)態(tài)分配的內(nèi)存，大小不定也不會(huì)自動(dòng)釋放。

JavaScript 中的變量分為基本類型和引用類型。

基本類型（Undefined、Null、Boolean、Number和String）
基本類型在內(nèi)存中占據(jù)空間小、大小固定 ，他們的值保存在棧(stack)空間，是按值來(lái)訪問(wèn)

引用類型（對(duì)象、數(shù)組、函數(shù)）
引用類型占據(jù)空間大、大小不固定, 棧內(nèi)存中存放地址指向堆(heap)內(nèi)存中的對(duì)象。是按引用訪問(wèn)的

如下圖所示：棧內(nèi)存中存放的只是該對(duì)象的訪問(wèn)地址，在堆內(nèi)存中為這個(gè)值分配空間。由于這種值的大小不固定，因此不能把它們保存到棧內(nèi)存中。但內(nèi)存地址大小的固定的，因此可以將內(nèi)存地址保存在棧內(nèi)存中。這樣，當(dāng)查詢引用類型的變量時(shí)，先從棧中讀取內(nèi)存地址，然后再通過(guò)地址找到堆中的值。

當(dāng)我們看到一個(gè)變量類型是已知的，就分配在棧里面，比如INT,Double等。其他未知的類型，比如自定義的類型，因?yàn)橄到y(tǒng)不知道需要多大，所以程序自己申請(qǐng)，這樣就分配在堆里面。

棧內(nèi)存&堆內(nèi)存

為了使程序運(yùn)行時(shí)占用的內(nèi)存最小，通常要實(shí)現(xiàn)垃圾回收機(jī)制。

當(dāng)一個(gè)方法執(zhí)行時(shí)，每個(gè)方法都會(huì)建立自己的內(nèi)存棧，在這個(gè)方法內(nèi)定義的變量將會(huì)逐個(gè)放入這塊棧存里，隨著方法的執(zhí)行結(jié)束，這個(gè)方法的棧存也將自然銷毀了。因此，所有在方法中定義的變量都是放在棧內(nèi)存中的；

當(dāng)我們?cè)诔绦蛑袆?chuàng)建一個(gè)對(duì)象時(shí)，這個(gè)對(duì)象將被保存到運(yùn)行時(shí)數(shù)據(jù)區(qū)中，以便反復(fù)利用（因?yàn)閷?duì)象的創(chuàng)建成本開(kāi)銷較大），這個(gè)運(yùn)行時(shí)數(shù)據(jù)區(qū)就是堆內(nèi)存。堆內(nèi)存中的對(duì)象不會(huì)隨方法的結(jié)束而銷毀，即使方法結(jié)束后，這個(gè)對(duì)象還可能被另一個(gè)引用變量所引用（方法的參數(shù)傳遞時(shí)很常見(jiàn)），則這個(gè)對(duì)象依然不會(huì)被銷毀，只有當(dāng)一個(gè)對(duì)象沒(méi)有任何引用變量引用它時(shí)，系統(tǒng)的垃圾回收機(jī)制才會(huì)在核實(shí)的時(shí)候回收它。

思考問(wèn)題

demo1.
var a = 1;
var b = a;
b = 2;

// 這時(shí)a是？

demo1中在變量對(duì)象中的數(shù)據(jù)發(fā)生復(fù)制行為時(shí)，系統(tǒng)會(huì)自動(dòng)為新的變量分配一個(gè)新值。var b = a執(zhí)行之后，b雖然重新賦值為2，但是他們其實(shí)已經(jīng)是相互獨(dú)立互不影響的值了。

demo2.
var m = { a: 1, b: 2 }
var n = m;
n.a = 2;

// 這時(shí)m.a的值呢？

demo2中我們通過(guò)var n = m執(zhí)行一次復(fù)制引用類型的操作。引用類型的復(fù)制同樣也會(huì)為新的變量自動(dòng)分配一個(gè)新的值保存在變量對(duì)象中，但不同的是，這個(gè)新的值，僅僅只是引用類型的一個(gè)地址指針。當(dāng)?shù)刂分羔樝嗤瑫r(shí)，盡管他們相互獨(dú)立，但是在變量對(duì)象中訪問(wèn)到的具體對(duì)象實(shí)際上是同一個(gè)。因此當(dāng)我改變n時(shí)，m也發(fā)生了變化。這就是引用類型的特性。