JavaScript中的内存模型与变量存储机制

描述
JavaScript的内存模型描述了变量和数据在内存中的存储方式，包括栈内存和堆内存的区别、基本类型和引用类型的存储机制，以及相关的内存管理策略。理解这一机制对于避免内存泄漏、优化性能至关重要。

详细讲解

1. 内存空间划分

• 栈内存：用于存储基本类型值（Number、String、Boolean、Null、Undefined、Symbol、BigInt）和指向堆内存的引用地址。栈内存由系统自动分配和释放，遵循LIFO（后进先出）原则。
• 堆内存：用于存储引用类型值（Object、Array、Function等实际数据）。堆内存分配动态，大小不固定，由垃圾回收器管理。

2. 变量声明与赋值过程

let a = 10;        // 基本类型：值直接存储在栈中
let b = { name: 'John' };  // 引用类型：堆中存储对象，栈中存储地址指针

具体步骤：

• 声明变量a：在栈内存中创建标识符
• 赋值10：在栈内存中直接存储值
• 声明变量b：在栈内存中创建标识符
• 创建对象：在堆内存中分配空间存储{name: 'John'}
• 赋值操作：将堆内存地址存入b对应的栈空间

3. 赋值操作的差异

// 基本类型赋值（值拷贝）
let x = 5;
let y = x;  // 在栈中创建新空间，复制值5
y = 10;     // 修改y不影响x
console.log(x); // 5（保持不变）

// 引用类型赋值（地址拷贝）
let obj1 = { count: 1 };
let obj2 = obj1;    // 复制堆地址，指向同一对象
obj2.count = 2;     // 修改共享对象
console.log(obj1.count); // 2（同步修改）

4. 函数参数传递机制

function updateValue(primitive, reference) {
  primitive = 100;          // 不影响外部变量（基本类型按值传递）
  reference.value = 'updated'; // 修改共享对象（引用类型按共享传递）
}

let num = 1;
let obj = { value: 'original' };
updateValue(num, obj);
console.log(num);  // 1（未改变）
console.log(obj.value);  // 'updated'（已修改）

说明：

• 基本类型参数：传递值的副本，函数内修改不影响原值
• 引用类型参数：传递地址副本，仍指向同一对象

5. 特殊情况的处理

// 重新赋值引用类型变量
let data = { id: 1 };
data = { id: 2 };  // 新对象分配，旧对象等待垃圾回收

// 嵌套对象存储
let complex = {
  arr: [1, 2, 3],      // 堆中存储数组，complex包含地址指针
  info: { type: 'test' } // 多级指针引用
};

6. 内存管理实践建议

• 及时解除不再需要的引用：largeData = null
• 避免意外的全局变量引用
• 注意闭包导致的内存保留
• 使用WeakMap/WeakMap实现弱引用

总结
JavaScript的内存模型通过栈堆分离实现高效管理，基本类型直接存储，引用类型通过指针间接访问。理解这一机制有助于编写内存高效的代码，避免常见的内存泄漏问题。