为何JavaScript原始值不可变？探究其内存机制层面的原因

核心原因：语言规范与虚拟机实现的双重限制 #

这不是约定俗成，而是JavaScript的语言规范强制要求加上底层虚拟机（如V8）的实现机制共同决定的：

1. 原始值不可变性是规范明确规定的
   JavaScript语言规范直接定义了Number、String、Boolean等原始值为不可变类型。任何看似修改原始值的操作，本质都是创建新的原始值再重新赋值给变量，比如：

let str = "hello";
str[0] = "H"; // 这行代码不会产生任何效果
console.log(str); // 输出 "hello"

虚拟机执行时会直接忽略这类违反规范的修改尝试。

2. 虚拟机的优化逻辑：值复用与动态创建
   你看到的“变量指向预定义内存地址”，其实是虚拟机针对常用原始值的值池优化：

• 对于小整数（比如V8中的SMI小整数）、常用字符串（如"true"、"undefined"），虚拟机会缓存这些值的内存对象，让所有相同取值的变量复用同一地址。这种情况下如果允许修改地址对应的值，会导致所有引用该值的变量被篡改，完全违背语言设计的可靠性。
• 但对于大数字、长字符串这类不常用的原始值，虚拟机不会预存，而是在代码执行到的时候动态创建新的内存空间。所谓“预定义内存位置”只是针对高频值的优化，并非所有原始值都有预存地址。

为什么无法直接访问原始值的内存地址？ #

JavaScript作为高级抽象语言，刻意屏蔽了底层内存操作的细节：

• 语言本身没有提供类似C语言中&或*的操作符，虚拟机也不会向开发者暴露原始值的内存地址。
• 即便通过某些非常规手段（比如Node.js的底层API）尝试触碰内存，也会被虚拟机的安全机制拦截——直接操作原始值内存会破坏不可变性语义，引发不可预测的全局bug。

你的理解误区澄清 #

“有足够内存位置表示所有可能的原始值”是不存在的：

• 数字类型是64位浮点数，理论上的取值是无限的，虚拟机不可能预存所有数字，只有小范围常用整数会被缓存。
• 字符串的组合更是无限多，虚拟机只会缓存少量短字符串或内置常量，大部分字符串都是动态创建的。

所谓“变量指向同一内存地址”，仅仅是针对完全相同的原始值的复用优化，并非所有原始值都有预定义的固定地址。

内容的提问来源于stack exchange，提问作者Ziqi Zou