原始值与引用值

ECMAScript中有两种不同类型的数据类型：原始值和引用值。原始值就是最简单的数据，引用值是由多个值构成。

原始值：变量是按值访问的、因为我们操作的就是存储在变量中的实际值。

引用值：是保存在内中的对象。与其他语言不同，Js不允许直接访问内存位置，因此也就不能直接操作对象所在的内存空间。在操作对象时，实际上操作的是对该对象的引用，而非实际的对象本身。为此，保存引用值的变量是按引用访问的。

复制值

原始值:原始值将值赋值给另外一个变量时，原始值会被复制到新变量的位置，这两个变量相互独立，互不干扰。

引用至：引用值赋值给另外一个变量时，存储在变量中的值也会被复制到新变量所在的位置，与原始值的区别在于这里复制的实际上是一个指针，它指向存储在堆内存中的对象。操作完成后两个变量实际上都指向同一个对象，因此改变其中一个另外一个也会反映出来。

传递参数

ECMAScript中所有函数的参数都是按值传递，这意味着函数外的值会被复制到函数内部的参数中。如同上述的复制值中的内容相同。

在按值传递中，值会被复制到一个局部变量也就是arguments中的一个槽位。在按引用传递参数时，值在内存中会被保存在一个局部变量，这意味着对本地变量的修改会反映到函数外部。

function addTen(num){

num += 10;

return num;

}

let count = 20;

let result = addTen(conut);

console.log(conut); // 20

console.log(result); // 30

如果是原始值，在函数内部修改参数是不会影响到外部。

function setName(obj){

obj.name = 'Nicholas';

obj = new Object();

}

let person = new Object();

setName(person);

console.log(person.name); // Nicholas

如果是引用至，在函数内部修改参数是会影响到外部，因为都是指向同一个对象，但是obj是局部变量如同上述代码重新赋值只会修改局部变量obj的值，不会修改person的值。

注意：函数的参数是局部变量

确定类型

typeof操作符是来判断是否为原始类型的比较合适的一种方式，但是如果值是对象或者null，那么typeof只会返回object，也就是说分不清null和引用类型。

我们通常不关心一个值是不是对象而是想知道他是什么类型的对象，为了解决此问题ECMAScript提供了instanceof操作符。

const arr = [];

console.log(arr instanceof Array); // arr 是Array 么

如果变量是给定引用类型的实例，则instanceof会返回true。按照定义所有的引用值都是Object的实例，所有用任何引用值和Object都会返回True，任何原始值都会返回false

执行上下文与作用域

执行上下文的概念很重要，变量或函数的上下文决定了他们可以访问哪些数据，以及他们的行为。每个上下文都有一个关联的变量对象（variable object）,而这个这个上下文中定义的所有变量和函数都存在于这个对象上，虽然无法通过代码访问，但后台处理数据会使用到他。

全局上下文是最外层的上下文。根据ECMAScript实现的宿主环境，表示全局上下文对的对象可能不一样。在浏览器中，全局上下文就是Window，因此所有通过var定义的全局变量和函数都会成为window对象的属性和方法。使用let和const的顶级声明不会定义在全局上下文中，但是在作用域链解析上效果是一样的。上下文中所有代码都执行完毕后会被销毁。包括其中的变量和函数全局上下文在应用程序退出前才会被销毁 。

每个函数都有自己的上下文，当代码执行流进入函数时，函数上下文会被推到上下文栈中，函数执行完后上下文栈会弹出该函数上下文，把控制权还给之前的执行上下文。

上下文执行时会创建作用域链，作用域链决定了上下文中访问变量和函数的顺序。代码正在执行的上下文的变量对象始终位于作用域链的最前端。如果是上下文函数，则其活动对象用作变量对象。活动对象最初只有一个变量对象那就是arguments全局上下文没有。作用域链中的下一个变量对象来自包含上下文，再下一个对象来自下一个包含上下文。以此类推至全局上下文；全局上下文的变量对象始终时作用域链的最后一个变量对象。

注意：函数参数被认为是当前上下文中的变量，因此也跟上下文中其他变量遵循相同的访问规则。

作用域链增强

执行上下文主要分为全局上下文和函数上下文两种，ecal()调用内部存在第三种上下文，独立的上下文，但有其他方式来增强作用域链。某些语句会导致再作用域前端临时添加一个上下文，这个上下文在代码执行后被删除。通常在两种情况下出现：

try/catch语句中的catch
with语句

这两种情况都会在作用域链前端添加一个变量对象。对with语句来说，会像作用域链前端添加指定对象；对catch语句而言，则会创建一个新的变量对象，这个变量对象会包含要抛出的错误对象的声明。

垃圾回收

JS是使用垃圾回收的语言，也就是说执行环境负责在代码执行时管理内存，通过自动内存管理实现内存分配和闲置资源回收。思路很简单：确定哪个变量不会再使用，然后释放它占用的内存。这个过程是周期性的，即垃圾回收程序每隔一定时间就会自动执行。垃圾回收机制过程是一个近似且不完美的方案，因为某块内存是否还有用，属于不可以判定的问题，意味着靠算法是解决不了的。

比如已函数中局部变量的正常生命周期为例，他在函数执行时存在，此时栈或堆内存会分配空间保存响应的值。函数在内部中使用了变量，然后退出，此时不需要那个局部变量了，它占用的内存可以释放了，这种情况下不再需要此局部变量了，但并不是所有时候都会这么明显。垃圾回收程序必须跟踪记录哪个变量还会使用，以及哪个变量不会再使用，以便回收。如何标记也有不同的实现方式，在浏览器的发展史上用过两个主要的标记策略：标记清理和引用计数。

标记清理：如同名字，当变量进入上下文，比如在函数内部声明变量时标记一次，在这个上下文存在时永远不应该清理它，当离开时再标记一次，表示已离开，标记的方式有很多种，过程不重要，重要的是策略。

引用计数：这个策略没有标记清理那么常用，思路是每个值都记录它被引用的次数，比如声明时它的引用数为1，如果值赋值给另外一个变量，则引用数变为2，如果被其他值覆盖了则减1，直到0 就会被清理，但是这种方法有一个致命的缺点。

function problem() {

let objectA = new Object();

let objectB = new Object();

objectA.someOtherObject = objectB;

objectB.anotherObject = objectA;

}

此时objectA 和objectB 一直相互引用，他们的引用数一直都是2，这导致函数结束，两个都不在作用域中，而在引用技术策略下一直存在，这会导致大量内存一直不会被释放。

性能：垃圾回收时周期性运行，如果内存中分配了很多遍了，有可能会造成性能损失，因此垃圾回收的事件调度很重要。尤其是再内存有限的设备上，垃圾回收可能会明显的导致拖慢渲染的速度和帧速率。

开发者不知道什么时候运行时会收集垃圾，因此最好的办法是在写代码时就要做到：无论什么时候开始收集垃圾，都能让它尽快结束工作。现代垃圾回收程序会基于对 JavaScript 运行时环境的探测来决定何时运行。探测机制因引擎而异，但基本上都是根据已分配对象的大小和数量来判断的。比如，根据 V8 团队 2016 年的一篇博文的说法：“在一次完整的垃圾回收之后，V8 的堆增长策略会根据活跃对象的数量外加一些余量来确定何时再次垃

圾回收。”

由于调度垃圾回收程序方面的问题会导致性能下降，IE 曾饱受诟病。它的策略是根据分配数，比如分配了 256 个变量、4096 个对象/数组字面量和数组槽位（slot），或者 64KB 字符串。只要满足其中某个条件，垃圾回收程序就会运行。这样实现的问题在于，分配那么多变量的脚本，很可能在其整个生命周期内始终需要那么多变量，结果就会导致垃圾回收程序过于频繁地运行。由于对性能的严重影响，IE7最终更新了垃圾回收程序。

内存管理

在使用垃圾回收的编程环境中，我们通常不用关心内存管理，不过，JavaScript 运行在一个内存管理与垃圾回收都很特殊的环境。分配给浏览器的内存要比桌面软件要少很多，移动浏览器就更少了，这通常是为了安全考虑，是为了避免运行大量JS的网页耗尽系统的内存而导致系统崩溃。这个内存不仅影响变量分配，也影响调用栈以及能够同时在一个线程中执行的语句数量。

为了将内存占用量保持在一个较小的值，让页面性能更好，我们可以使用以下方法：

解除引用：保证执行代码时只保存必要的数据，如果数据不再必要，那么将它设置为了null，从而释放其引用。
通过const和let声明提升变量：ES6 增加这两个关键字不仅有助于改善代码风格，而且同样有助于改进垃圾回收的过程。因为 const和 let 都以块（而非函数）为作用域，所以相比于使用 var，使用这两个新关键字可能会更早地让垃圾回收程序介入，尽早回收应该回收的内存。在块作用域比函数作用域更早终止的情况下，这就有可能发生。
隐藏类和删除
内存泄漏：意外的全局变量，定时器和闭包都会影响，应该避免。
静态分配与对象池

// 意外的全局变量

funtion test(){

name = 'jake' // 就算函数执行完毕后，会以为name是全局变量而不清理

}

// 定时器

let name = 'Jake';

setInterval(() => {

console.log(name); // 只要定时器存在 name就不会被清理

}, 100);

// 闭包

let outer = function() {

let name = 'Jake';

return function() {

return name;

};

};

调用 outer()会导致分配给 name 的内存被泄漏。以上代码执行后创建了一个内部闭包，只要返回的函数存在就不能清理 name，因为闭包一直在引用着它。假如 name 的内容很大（不止是一个小字符串），那可能就是个大问题了。

原文：JavaScript 高级程序设计(第四版)