淺析JS中的堆內(nèi)存與棧內(nèi)存

Faremax 發(fā)布于2019-08-23 11:27 / 454人閱讀

摘要：如，不是定義常量么為什么還能改這就是我們今天要說(shuō)的重點(diǎn)中的堆內(nèi)存與棧內(nèi)存在引擎中對(duì)變量的存儲(chǔ)主要有兩種位置，堆內(nèi)存和棧內(nèi)存。而堆內(nèi)存首先要在堆內(nèi)存新分配存儲(chǔ)區(qū)域，之后又要把指針存儲(chǔ)到棧內(nèi)存中，效率相對(duì)就要低一些了。

最近跟著組里的大佬面試碰到這么一個(gè)問題，

Q：說(shuō)說(shuō)var、let、const的區(qū)別
A：balabalabalabla...
Q：const定義的值能改么？
A：你逗我？不能吧

不知道各位看官怎么想？答案是部分能改，部分不能改。const定義的基本類型不能改變，但是定義的對(duì)象是可以通過(guò)修改對(duì)象屬性等方法來(lái)改變的。如，

>>> const a = 1
>>> a
<<< 1
>>> a = 2
<<< VM1750:1 Uncaught TypeError: Assignment to constant variable.
    at :1:3
    (anonymous) @ VM1750:1
>>> const b = {}
>>> b
<<< {}
>>> b.name = 1
>>> b
<<< {name: 1}
>>> b = {}
<<< VM1785:1 Uncaught TypeError: Assignment to constant variable.
    at :1:4

const不是定義常量么？為什么還能改？這就是我們今天要說(shuō)的重點(diǎn)～

js中的堆內(nèi)存與棧內(nèi)存

在js引擎中對(duì)變量的存儲(chǔ)主要有兩種位置，堆內(nèi)存和棧內(nèi)存。

和java中對(duì)內(nèi)存的處理類似，棧內(nèi)存主要用于存儲(chǔ)各種基本類型的變量，包括Boolean、Number、String、Undefined、Null，**以及對(duì)象變量的指針，這時(shí)候棧內(nèi)存給人的感覺就像一個(gè)線性排列的空間，每個(gè)小單元大小基本相等。

而堆內(nèi)存主要負(fù)責(zé)像對(duì)象Object這種變量類型的存儲(chǔ)，如下圖

棧內(nèi)存中的變量一般都是已知大小或者有范圍上限的，算作一種簡(jiǎn)單存儲(chǔ)。而堆內(nèi)存存儲(chǔ)的對(duì)象類型數(shù)據(jù)對(duì)于大小這方面，一般都是未知的。個(gè)人認(rèn)為，這也是為什么null作為一個(gè)object類型的變量卻存儲(chǔ)在棧內(nèi)存中的原因。

因此當(dāng)我們定義一個(gè)const對(duì)象的時(shí)候，我們說(shuō)的常量其實(shí)是指針，就是const對(duì)象對(duì)應(yīng)的堆內(nèi)存指向是不變的，但是堆內(nèi)存中的數(shù)據(jù)本身的大小或者屬性是可變的。而對(duì)于const定義的基礎(chǔ)變量而言，這個(gè)值就相當(dāng)于const對(duì)象的指針，是不可變。

既然知道了const在內(nèi)存中的存儲(chǔ)，那么const、let定義的變量不能二次定義的流程也就比較容易猜出來(lái)了，每次使用const或者let去初始化一個(gè)變量的時(shí)候，會(huì)首先遍歷當(dāng)前的內(nèi)存棧，看看有沒有重名變量，有的話就返回錯(cuò)誤。

說(shuō)到這里，有一個(gè)十分很容易忽略的點(diǎn)，之前也是自己一直沒有注意的就是，使用new關(guān)鍵字初始化的之后是不存儲(chǔ)在棧內(nèi)存中的。為什么呢？new大家都知道，根據(jù)構(gòu)造函數(shù)生成新實(shí)例，這個(gè)時(shí)候生成的是對(duì)象，而不是基本類型。再看一個(gè)例子

var a = new String("123")
var b = String("123")
var c = "123"
console.log(a==b, a===b, b==c, b===c, a==c, a===c)    
>>> true false true true true false
console.log(typeof a)
>>> "object"

我們可以看到new一個(gè)String，出來(lái)的是對(duì)象，而直接字面量賦值和工廠模式出來(lái)的都是字符串。但是根據(jù)我們上面的分析大小相對(duì)固定可預(yù)期的即便是對(duì)象也可以存儲(chǔ)在棧內(nèi)存的，比如null，為啥這個(gè)不是呢？再繼續(xù)看

var a = new String("123")
var b = new String("123")
console.log(a==b, a===b)
>>> false false

很明顯，如果a，b是存儲(chǔ)在棧內(nèi)存中的話，兩者應(yīng)該是明顯相等的，就像null === null是true一樣，但結(jié)果兩者并不相等，說(shuō)明兩者都是存儲(chǔ)在堆內(nèi)存中的，指針指向不一致。

說(shuō)到這里，再去想一想我們常說(shuō)的值類型和引用類型其實(shí)說(shuō)的就是棧內(nèi)存變量和堆內(nèi)存變量，再想想值傳遞和引用傳遞、深拷貝和淺拷貝，都是圍繞堆棧內(nèi)存展開的，一個(gè)是處理值，一個(gè)是處理指針。

內(nèi)存分配和垃圾回收

一般來(lái)說(shuō)棧內(nèi)存線性有序存儲(chǔ)，容量小，系統(tǒng)分配效率高。而堆內(nèi)存首先要在堆內(nèi)存新分配存儲(chǔ)區(qū)域，之后又要把指針存儲(chǔ)到棧內(nèi)存中，效率相對(duì)就要低一些了。
垃圾回收方面，棧內(nèi)存變量基本上用完就回收了，而推內(nèi)存中的變量因?yàn)榇嬖诤芏嗖淮_定的引用，只有當(dāng)所有調(diào)用的變量全部銷毀之后才能回收。

繼續(xù)往下思考的話，其中還有很多的東西需要去學(xué)習(xí)，今天先到這里，后續(xù)再來(lái)補(bǔ)充。

話說(shuō)～NaN會(huì)不會(huì)也是存儲(chǔ)在堆內(nèi)存中的呢？大家想想吧，歡迎大家來(lái)一起討論討論～文中如有錯(cuò)誤歡迎指出～