前言

前段时间聊起来，const不是定义常量么？为什么还能改？今天以这个话题开始。

一、首先我们先聊聊数据类型。

• 基本类型（primitive type）
  string，number，boolean，null，undefined，symbol（ES6），Bigint（es2020）

基本类型的值是存放到栈内存里面的
基本类型的值存在栈中的数据可以共享(例如：a=3, b=3, 其实是a和b指向同一空间3)
基本类型上面不能添加新的属性
基本类型的比较是它们的值
基本类型的值是不可变的，对值的修改会在栈内存中开辟新的空间(例如：let a=3, a=4, 输出a=4其实是个新值，值3还在原始栈中，在合适的时机会被释放。)

• 引用类型（也可以叫复合类型，或者说基本类型之外的所有类型的统称）
  object， array， function 等

引用类型的值保存在堆内存中，而引用保存到栈内存中
引用类型的值是按存储在栈内存的指针地址索引的方式访问
引用类型的值是可变的（堆内存中直接修改）
引用类型上面可以添加新的属性

二、其次再聊下内存问题。

内存分类栈内存和堆内存，

• 栈内存
  栈是有结构的，每个区块按照一定次序存放（后进先出）
存储基本数据类型值
基本类型的值是不可变的，对值的修改会在栈内存中开辟新的空间

• 堆内存
  堆是没有结构的
存储引用数据类型值（相当于一个存储的仓库）
外部访问其实是通过存储下栈内存的指针，索引到堆栈内的对象

为什么？ 这可以确保你无法对引用重新分配，重新分配可能会导致 bug 和难以理解的代码。

三、var、let、const。

在es6 之前、我们经常使用var声明变量，但是es6之后，强烈建议用let、const。

• var是函数作用域，能重复声明覆盖，会污染数据，并且出现变量提升的情况。
• let和const是块级作用域，声明后只能在对应的空间中使用，并且不能重复声明。

1、因为基本数据类型空间固定、占用内存大小固定（string除外），保存在栈内存，通过按值来访问，属于被频繁使用的数据。一旦声明，值将是固定，不会被改变。

例如：

let a = '我是原数据';
let b = a;
b = '我被改了';
console.log(a,b) //我是原数据 我被改了

从上面的示例代码我们看出，a、b 都是基本类型，它们的值是存储在栈内存中的，a、b 并且开辟了独立的栈内存空间。

2、引用数据类型，虽然原始数据存放在堆内存中，实际的访问其实是通过对象指针索引找到的，而对象指针存放于栈内存中。

例如：

const M = { a: '我是原数据' };
const N = M;
N.a = '我被改了';
console.log(M.a) // '我被改了'

从上面的示例代码我们看出，M、N 都是引用类型，对象的复制只是将堆栈中的指针复制存放在栈内存中，更改其中任意引用类型的值，都会同步更改另外一个引用类型的值，这也就是平时我们提到的关于对象深拷贝和浅拷贝的讨论。

现在可以回答文章开头的疑问了，为什么const定义的值还能被修改。原因就是

• const如果定义的是基本类型，肯定是不能修改的。
• const定义的引用类型，其实不能修改的指示存放在栈内存的指针地址，实际修改的指针指向的堆内存的内容，这完全是符合数据类型内存存储规则的。
• 这样确保你无法对引用重新分配，重新分配可能会导致无法想象的后果。

参考文献

1、ECMAScript 原始类型
2、ECMAScript 引用类型
3、Airbnb JavaScript 编码规范