堆和棧這兩個字我們已經接觸多很多次,那麼具體是什麼存在棧中什麼存在堆中呢。就拿JavaScript中的變數來說:
首先JavaScript中的變數分為基本類型和參考型別。
基本類型就是儲存在棧記憶體中的簡單資料區段,而參考型別指的是那些儲存在堆記憶體中的對象。
1、基本類型
基本類型有Undefined、Null、Boolean、Number 和String。這些類型在記憶體中分別佔有固定大小的空間,他們的值儲存在棧空間,我們通過按值來訪問的。
2、參考型別
參考型別,值大小不固定,棧記憶體中存放地址指向堆記憶體中的對象。是按引用訪問的。如下圖所示:棧記憶體中存放的只是該對象的訪問地址,在堆記憶體中為這個值分配空間。由於這種值的大小不固定,因此不能把它們儲存到棧記憶體中。但記憶體位址大小的固定的,因此可以將記憶體位址儲存在棧記憶體中。 這樣,當查詢參考型別的變數時, 先從棧中讀取記憶體位址, 然後再通過地址找到堆中的值。對於這種,我們把它叫做按引用訪問。
其他語言中的記憶體配置類似。
PS:當我們看到一個變數類型是已知的,就分配在棧裡面,比如INT,Double等。其他未知的類型,比如自訂的類型,因為系統不知道需要多大,所以程式自己申請,這樣就分配在堆裡面。
為什麼會有棧記憶體和堆記憶體之分。
通常與記憶體回收機制有關。為了使程式運行時佔用的記憶體最小。
當一個方法執行時,每個方法都會建立自己的記憶體棧,在這個方法內定義的變數將會逐個放入這塊棧記憶體裡,隨著方法的執行結束,這個方法的記憶體棧也將自然銷毀了。因此,所有在方法中定義的變數都是放在棧記憶體中的;
當我們在程式中建立一個對象時,這個對象將被儲存到運行時資料區中,以便反覆利用(因為對象的建立成本通常較大),這個運行時資料區就是堆記憶體。堆記憶體中的對象不會隨方法的結束而銷毀,即使方法結束後,這個對象還可能被另一個引用變數所引用(方法的參數傳遞時很常見),則這個對象依然不會被銷毀,只有當一個對象沒有任何引用變數引用它時,系統的記憶體回收機制才會在核實的時候回收它。