3分钟弄清楚javascript的堆栈原理

系统管理员 2022-12-31 01:23 223阅读 0赞

首先了解一下Javascript的堆栈概念

### **堆&栈** ###

两者都是存放临时数据的地方。

栈（stack）

栈的特点是**"LIFO，即后进先出（Last in, first out）"**。数据存储时只能从顶部逐个存入，取出时也需从顶部逐个取出。比如一个乒乓球的盒子：

![59c6a7461155e0102fec45d0f941529a.png][]

堆（heap）

堆的特点是**"无序"**的`key-value`**"键值对"**存储方式。

举个例子：书架存书

![49fa105983df62cbc4e9a2f980201546.png][]

我们想要在书架上找到想要的书，最直接的方式就是通过查找书名，书名就是我们的key。拿着这把key，就可以轻松检索到对应的书籍。**"堆的存取方式跟顺序没有关系，不局限出入口"**。

堆是在程序运行时，而不是在程序编译时，申请某个大小的内存空间。即动态分配内存，对其访问和对一般内存的访问没有区别。对于堆，我们可以随心所欲的进行增加变量和删除变量，不用遵循次序。

栈、堆在JavaScript中的应用

ECMAScript 变量可能包含两种不同数据类型的值：基本类型值和引用类型值。基本类型值指的是

简单的数据段，而引用类型值指那些可能由多个值构成的对象。

JavaScript中变量类型有两种：

1.  基础类型（`Undefined, Null, Boolean, Number, String, Symbol(ES6新添加的)`）一共6种
2.  引用类型（`Object`)

JS中的基本数据类型，这些值都有固定的大小，往往都保存在栈内存中（闭包除外），由系统自动分配存储空间。我们可以直接操作保存在栈内存空间的值，因此基本数据类型都是按值访问数据在栈内存中的存储与使用方式类似于数据结构中的堆栈数据结构，遵循后进先出的原则。

JS的引用数据类型，比如数组Array，它们值的大小是不固定的。引用数据类型的值是保存在堆内存中的对象。JS不允许直接访问堆内存中的位置，因此我们不能直接操作对象的堆内存空间。在操作对象时，实际上是在操作对象的引用而不是实际的对象。因此，引用类型的值都是按引用访问的。这里的引用，我们可以粗浅地理解为保存在栈内存中的一个地址，该地址与堆内存的实际值相关联。

### **数据类型访问&复制** ###

基本数据类型：基本数据类型值指保存在栈内存中的简单数据段。访问方式是按值访问。

var a = 1;

![SouthEast][]

操作的是变量实际保存的值。

a = 2 ;

![SouthEast 1][]

**复制变量值**

除了保存的方式不同之外，在从一个变量向另一个变量复制基本类型值和引用类型值时，也存在不

同。如果从一个变量向另一个变量复制基本类型的值，会在变量对象上创建一个新值，然后把该值复制

到为新变量分配的位置上。来看一个例子：

var num1 = 5;

var num2 = num1;

在此，num1 中保存的值是 5。当使用 num1 的值来初始化 num2 时，num2 中也保存了值 5。但 num2

中的 5 与 num1 中的 5 是完全独立的，该值只是 num1 中 5 的一个副本。此后，这两个变量可以参与任

**复制前的变量对象**

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NpbmF0XzM2NzI4NTE4_size_16_color_FFFFFF_t_70][]

**复制后的变量对象**

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NpbmF0XzM2NzI4NTE4_size_16_color_FFFFFF_t_70 1][]

引用数据类型：引用数据类型值指保存在堆内存中的对象。也就是，变量中保存的实际上的只是一个指针，这个指针指向内存中的另一个位置，该位置保存着对象。访问方式是按引用访问。

**var** a = **new** Object ();

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NpbmF0XzM2NzI4NTE4_size_16_color_FFFFFF_t_70 2][]

当操作时，需要先从栈中读取内存地址，然后再延指针找到保存在堆内存中的值再操作。

a. **name** = 'renlei' ;

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NpbmF0XzM2NzI4NTE4_size_16_color_FFFFFF_t_70 3][]

引用类型变量的复制：当从一个变量向另一个变量复制引用类型的值时，同样也会将存储在变量对象中的值复制一份放到 为新变量分配的空间中。不同的是，这个值的副本实际上是一个指针，而这个指针指向存储在堆中的一 个对象。复制操作结束后，两个变量实际上将引用同一个对象。因此，改变其中一个变量，就会影响另 一个变量；

var b = a;

b.name="张三";

**b.sex** = 'boy' ;

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NpbmF0XzM2NzI4NTE4_size_16_color_FFFFFF_t_70 4][]

### 深浅拷贝 ###

将一个变量的值赋值给另一个变量，相当于在栈内存中创建了一个新的内存空间，然后从栈中复制值，存储到这个新空间中。对于基本类型，栈中存储的就是它自身的值，所以新内存空间存储的也是一个值。直接改变新变量的值，不会影响到旧变量的值，因为他们值存储的内存空间不同。

// 基本类型复制变量
    var a = 10;
    var b = a;
    b = 20;
    
    a // 10
    b // 20

而对于引用类型来说，同样是复制栈中存储的值。但是栈存储的只是其引用地址，其具体的值存储在堆中。变量复制仅复制栈中存储的值，不会复制堆中存储的值，所以新变量在栈中的值是一个地址指针。

// 引用类型复制变量
    var a = { age: 27 };
    var b = a;
    b.age = 29;
    
    a.age == b.age; // 29

可见，变量复制赋值，都属于栈存储拷贝，因此深浅拷贝可以这样区分：

*  **"浅拷贝：栈存储拷贝"**
 *  **"深拷贝：栈堆存储拷贝"**

深拷贝会同时开辟新的栈内存，堆内存空间。

// 利用JSON对象方法实现深拷贝
    var a = { age: 27 };
    var b = JSON.parse(JSON.stringify(a));
    b.age = 29;
    
    a.age // 27
    b.age // 29

函数传参数是按值传递？按引用传递？

var person = {
     age: 27
    };
    function foo (person) {
      person.age = 29;
    }
    foo(person);
    person.age // 29;

函数调用时，会对参数赋值。而参数传递过程其实同样是变量复制的过程，所以它是按值传递。`var person = person`，因为传递参数是对象时，变量复制仅复制的栈存储（浅拷贝），所以修改对象属性会造成外部变量对象的修改。

至此，当我们理清栈、堆数据结构，以及JS中数据类型存取方式。深浅拷贝问题也就通顺了。

## 内存空间 ##

### 内存空间管理 ###

JavaScript执行过程中内存分配：

1.  为变量对象分配需要的内存
2.  在分配到的内存中进行**读/写**操作
3.  不再使用时将其销毁，释放内存

内存管理不善，会出现内存泄露，造成浏览器内存占用过多，页面卡顿等问题。

### 垃圾回收机制 ###

JavaScript中有自动垃圾回收机制，会通过标记清除的算法识别哪些变量对象不再使用，对其进行销毁。开发者也可在代码中手动设置变量值为null（`a = null`）进行标记清除，让其失去引用，以便下一次垃圾回收时进行有效回收。

局部环境中，函数执行完成后，函数局部环境声明的变量不再需要时，就会被垃圾回收销毁（理想的情况下，闭包会阻止这一过程）。

全局环境只有页面退出时才会出栈，解除变量引用。所以开发者应尽量避免在全局环境中创建全局变量，如需使用，也要在不需要时手动标记清除，将其内存释放掉。

### **为什么会有栈内存和堆内存之分？** ###

通常与垃圾回收机制有关。为了使程序运行时占用的内存最小。

当一个方法执行时，每个方法都会建立自己的内存栈，在这个方法内定义的变量将会逐个放入这块栈内存里，随着方法的执行结束，这个方法的内存栈也将自然销毁了。因此，所有在方法中定义的变量都是放在栈内存中的；

当我们在程序中创建一个对象时，这个对象将被保存到运行时数据区中，以便反复利用（因为对象的创建成本通常较大），这个运行时数据区就是堆内存。堆内存中的对象不会随方法的结束而销毁，即使方法结束后，这个对象还可能被另一个引用变量所引用（方法的参数传递时很常见），则这个对象依然不会被销毁，只有当一个对象没有任何引用变量引用它时，系统的垃圾回收机制才会在核实的时候回收它。

类似文章：

[js中的栈、堆、队列、内存空间][js]

[前端进击的巨人（一）：执行上下文与执行栈，变量对象][Link 1]

[浅析JS中的堆内存与栈内存][JS]

[59c6a7461155e0102fec45d0f941529a.png]: /images/20221120/141386af19d24399b1ec315e1517aef2.png
[49fa105983df62cbc4e9a2f980201546.png]: /images/20221120/1907942435d4485c915a7178cd6c6cfd.png
[SouthEast]: /images/20221120/598ee21ef29848c2a4a5a0732c27f7b7.png
[SouthEast 1]: /images/20221120/8acb08000fc04c44bb8c9f2134365473.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NpbmF0XzM2NzI4NTE4_size_16_color_FFFFFF_t_70]: /images/20221120/2cbd5a658d184e76b4a9b8efc031b097.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NpbmF0XzM2NzI4NTE4_size_16_color_FFFFFF_t_70 1]: /images/20221120/2eb37cb0ac3448509858c173ac6fef66.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NpbmF0XzM2NzI4NTE4_size_16_color_FFFFFF_t_70 2]: /images/20221120/b7833fc25681472b8490ed14f443d110.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NpbmF0XzM2NzI4NTE4_size_16_color_FFFFFF_t_70 3]: /images/20221120/cb86d493346042c9ba8e496a4d701afe.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NpbmF0XzM2NzI4NTE4_size_16_color_FFFFFF_t_70 4]: /images/20221120/66d7730b8e544bec8c5803586244c4b6.png
[js]: https://www.cnblogs.com/slly/p/10366290.html
[Link 1]: https://segmentfault.com/a/1190000017890535
[JS]: https://www.cnblogs.com/heioray/p/9487093.html