前端面试题 - const 常量与内存的关系

JavaScript中的堆内存和栈内存：

在 JS 引擎中，变量的存储位置主要有两种：堆内存和栈内存。

和 Java 中对内存的处理类似，栈内存主要用于存储各种基本类型的变量，包括 Boolean、Number、String、Undefined、Null 以及对象的指针，栈内存给人的感觉就像一个线性排列的空间，每个小单元大小基本相等。

而堆内存主要负责像 Object、Array 这种引用类型值的存储。

如下图：

 

 

栈内存中的变量一般都是已知大小或者有范围上限的，算作一种简单存储。而堆内存存储的对象类型数据对于大小这方面，一般都是未知的。个人认为，这也是为什么 null 作为一个 Object 类型的变量却存储在栈内存中的原因。

JavaScript 中有3种声明方式：var、let、const。其中 var 和 let 声明的是变量，而 const 声明的叫做常量。

当我们用 const 定义一个对象的时候，我们常说的它其实就相当于是一个指针。const 对象名中存储的地址，以及改地址指向是的堆内存是不变的，但是堆内存中的数据本身的值或者属性是可变的。而对于 const 定义的基础变量而言，变量的值就相当于 const 对象中存储的指针，是不可变。

const b = {'name':"lisi"};
console.log(b.name);
// 添加一个属性
b.prop = 9;
console.log(b.prop);    // 9
delete b.prop;
console.log(b.prop);    // undefined

const a = 1;     //相当于声明常量（常量一旦声明就不可以修改）
console.log(a);  //1
a=2;             //运行时就报错（对常量变量赋值）
console.log(a);  //报错

既然知道了 const 在内存中的存储，那么 const、let 定义的变量不能二次定义的原因也就比较容易推断出来了，每次使用 const 或者 let 去初始化一个数据的时候，会首先遍历当前的栈内存，看看有没有重名变量，有的话就返回错误。

说到这里，有一个十分很容易忽略的点，之前也是自己一直没有注意的就是，使用 new 关键字初始化之后并是不存储在了栈内存中的。为什么呢？new 大家都知道，构造函数生成新实例，这个时候生成的是对象，而不是基本类型。再看一个例子

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, typeof b, typeof c);
//          'object'   'String' 'String'

我们可以看到直接字面量赋值和工厂模式出来的都是字符串，而 new 一个 String 构造函数，得到的是实例对象。那这个对象会像 null 一样被存储到栈内存中吗？

var a = new String('123')
var b = new String('123')
console.log(a==b, a===b)
//          false false

很明显，如果 a，b 是存储在栈内存中的话，两者应该是明显相等的，就像 null === null 返回的是 true 一样，但结果两者并不相等，这就是说明两者都是存储在堆内存中的，指针指向不一致。

说到这里，再去想一想我们常说的值类型和引用类型其实说的就是栈内存变量和堆内存变量，再想想值传递和引用传递、深拷贝和浅拷贝，都是围绕堆栈内存展开的，一个是处理值，一个是处理指针。

 

内存分配和垃圾回收

开辟内存时，一般来说，栈内存线性有序存储，容量小，系统分配效率高。而堆内存首先要在堆内存新分配存储区域，之后又要把指针存储到栈内存中，效率相对就要低一些了。

垃圾回收方面，栈内存变量基本上用完就回收了，而堆内存中的变量因为存在很多不确定的引用，只有当所有调用的变量全部销毁之后才能回收。

话说～NaN会不会也是存储在堆内存中的呢？大家想想吧，欢迎大家来一起讨论讨论～文中如有错误欢迎指出～