JS学习笔记（第4章）（变量、作用域和内存问题）

1. 基本类型和引用类型的值

JavaScript变量可以用来保存两种类型的值：基本类性值和引用类性值。基本类型值源自以下5种基本数据类型：Undefined、Null、Boolean、Number和String。基本类型值和引用类性值有以下特点：

1. 基本类型值在内存空间中占据固定大小的空间，因此会被保存在栈内存中；
2. 从一个变量向另一个变量复制基本类型的值，会创建这个值的一个副本；
3. 引用类型的值是对象，保存在堆内存中； 包含引用类型值的变量实际上包含的并不是对象本身，而是一个指向该对象的指针；
4. 从一个变量向另一个变量复制引用类型的值，复制的其实是指针，因此两个变量最终都指向同一个对象
5. 确定一个值是哪种基本类型可以使用typeof操作符，而确定一个值是哪种引用类型可以使用instanceof操作符。

• 6、 只能给引用类型值动态地添加属性
• 7、如果从一个变量向另一个变量复制基本类型的值，会在变量的对象上创建一个新值，然后把该值复制到为新变量分配的位置上；
• 8、当从一个变量向另一变量复制引用类型的值时，同样也会将存储在变量对象中的值复制一份放到为新变量分配的空间中。不同的是，这个值的副本实际上是一个指针，两个变量实际上将引用一个对象。因此，改变其中一个变量就会影响另一变量。

2. 执行环境及作用域

所有变量（包括基本类型和引用类型）都存在于一个执行环境（也称为作用域）当中，这个执行环境决定了变量的生命周期，以及哪一部分代码可以访问其中的变量。以下是关于执行环境的几点总结：

1. 执行环境有全局执行环境（也称全局环境）和函数执行环境之分；
2. 每次进入一个新执行环境，都会创建一个用于搜索变量和函数的作用域链；
3. 函数的局部环境变量不仅有权访问函数作用域中的变量，而且有权访问其包含（父）环境，乃至全局环境；
4. 延长作用域链：有些语句可以在作用链的前端临时增加一个变量对象，该变量对象会在代码执行后被移除。具体来说就是当执行流进入下列任何一个语句时，作用域链就会得到加长：try-catch语句的catch块和with语句。这两个语句都会在作用域链的前端添加一个变量对象。对with来说，会将指定的对象添加到作用域链中。对catch语句来说，会创建一个新的变量对象。
5. 全局环境只能访问在全局环境中定义的变量和函数，而不能直接访问局部环境中的任何数据；（如果局部环境中存在着同名标识符，就不会使用位于父环境中的标识符）
6. 变量的执行环境有助于确定应该何时释放内存；

• 使用var声明的变量会自动被添加到最接近的环境中。如过初始化变量时没有使用var声明，该变量会自动被添加到全局环境中。

3. 垃圾收集

JavaScript是一门具有自动垃圾收集机制的编程语言，开发人员不必关心内存分配和回收问题。可以对JavaScript的垃圾收集历程做如下总结：

1. 离开作用域的值将被自动标记为可以回收，因此将在垃圾收集期间被删除；
2. "标记清除"是目前主流的垃圾收集算法。这种算法的思想是给当前不使用的值加上标记，然后再回收其内存；
3. 另一种垃圾收集算法是“引用计数”，这种算法的思想是跟踪记录所有值被引用的次数。JavaScript引擎目前都不再使用这种算法；但在IE中访问非原生JavaScript对象（如DOM元素）时，这种算法仍然可能会导致问题；
4. 当代码中存在循环引用现象时，“引用计数”算法就会导致问题；
5. 循环引用指的是的对象A中包含一个指向对象B的指针，而对象B中也包含一个指向对象A的引用；
   （1）解决办法：在不使用它们的时候手工断开原生JavaScript对象与DOM元素之间的连接
   myObject.element = null;
   element.someObject = null;
   （2）将变量设置为null意味着切断变量与它此前引用的值之间的连接。当垃圾收集器下次运行时，就会删除这 些值并回收它们所占的内存
6. 解除变量的引用不仅有助于消除循环引用现象，而且对垃圾收集也有好处。为了确保有效地回收内存，应该及时解除不再使用的全局对象，全局对象属性以及循环引用变量的引用；
   （1）优化内存占用的最佳方式，就是为执行中的代码只保存必要的数据。一旦数据不再有用，最好通过将其设置为null来释放其引用——这个做法叫做解除引用。
   （2）解除引用的真正作用是让值脱离执行环境，以便垃圾收集器下次运行时将其回收。

标记清除
- 给存储在内存中的所有变量都加上标记，然后，它会去掉环境中的变量以及被环境中的变量引用的变量的标记。而在此之后再被加上标记的变量将被视为准备删除的变量。最后，垃圾收集器完成内存清除工作，销毁那些带标记的值并回收它们所占用的内存空间。

引用计数
- 当声明了一个变量并将一个引用类性值赋给该变量时，则这个值的引用次数就是1.如果同一个值又被赋值给另一个变量，则该值的引用次数加1。相反，如果包含对这个值引用的变量又取得了另一个值，则这个值的引用次数减1。当这个值的引用次数变成0时，则说明没有办法再访问这个值了，因而就可以将其占用的内存空间回收回来。