超清晰解析js中的堆和栈

JavaScript中的变量分为基本类型和引用类型。基本类型就是保存在栈内存中的简单数据段，而引用类型指的是那些保存在堆内存中的对象。



基本类型

 基本类型有Undefined、Null、Boolean、Number 和String。这些类型在内存中分别占有固定大小的空间，他们的值保存在栈空间，我们通过按值来访问的。

 基本类型：简单的数据段，存放在栈内存中，占据固定大小的空间。

引用类型

引用类型，值大小不固定，栈内存中存放地址指向堆内存中的对象。是按引用访问的。

存放在堆内存中的对象，变量实际保存的是一个指针，这个指针指向另一个位置。每个空间大小不一样，要根据情况开进行特定的分配。

当我们需要访问引用类型（如对象，数组，函数等）的值时，首先从栈中获得该对象的地址指针，然后再从堆内存中取得所需的数据。

堆(heap)和栈(stack)

栈(stack)会自动分配内存空间，会自动释放。堆(heap)动态分配的内存，大小不定也不会自动释放。

堆：队列优先,先进先出；由操作系统自动分配释放 ，存放函数的参数值，局部变量的值等。

栈：先进后出；动态分配的空间 一般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收，分配方式倒是类似于链表。

传值和传址

从一个向另一个变量复制引用类型的值，复制的其实是指针，因此两个变量最终指向同一个对象。即复制的是栈中的地址而不是堆中的对象。

从一个变量复向另一个变量复制基本类型的值，会创建这个值的副本。

基本类型与引用类型最大的区别实际就是传值与传址的区别。测试用例：

    var a = [1,2,3,4,5];
    var b = a;//传址 ,对象中传给变量的数据是引用类型的，会存储在堆中；
    var c = a[0];//传值，把对象中的属性/数组中的数组项赋值给变量，这时变量C是基本数据类型，存储在栈内存中；改变栈中的数据不会影响    堆中的数据
    console.log(b);//1,2,3,4,5
    console.log(c);//1
    //改变数值       
    b[4] = 6;
    c = 7;
     console.log(a[4]);//6
     console.log(a[0]);//1

浅拷贝

在定义一个对象或数组时，变量存放的往往只是一个地址。当我们使用对象拷贝时，如果属性是对象或数组时，这时候我们传递的也只是一个地址。因此子对象在访问该属性时，会根据地址回溯到父对象指向的堆内存中，即父子对象发生了关联，两者的属性值会指向同一内存空间。

var a={
  key1:"111"
}


function Copy(p)
{
  console.log(p)
  var c = {};
  for(var i in p)
  {
   c[i]=p[i];
   console.log(i+' i');//key1 key2
  }
  return c;
}


a.key2=['jane','jane1'];
var b=Copy(a);
b.key3='3333';

console.log(b);//{key1: "111", key2:['jane','jane1'], key3: "3333"}
console.log(b.key1);//111
console.log(b.key3);//3333

console.log(a.key3);//undefined

a对象中key1属性是字符串，key2属性是数组。a拷贝到b，12属性均顺利拷贝。给b对象新增一个字符串类型的属性key3时，b能正常修改，而a中无定义。说明子对象的key3（基本类型）并没有关联到父对象中，所以undefined。

b.key2.push('jane3');

console.log(b.key2);// ["jane", "jane1", "jane3"]

console.log(a.key2);// ["jane", "jane1", "jane3"]

但是，若修改的属性变为对象或数组时，那么父子对象之间就会发生关联。从以上弹出结果可知，我对b对象进行修改，a、b的key2属性值（数组）均发生了改变。其在内存的状态，可以用下图来表示。



原因是key1的值属于基本类型，所以拷贝的时候传递的就是该数据段；但是key2的值是堆内存中的对象，所以key2在拷贝的时候传递的是指向key2对象的地址，无论复制多少个key2，其值始终是指向父对象的key2对象的内存空间。