第四章 变量、作用域、内存
JavaScript变量可以用来保存两种类型的值：基本类型值和引用类型值。基本类型的值源自以下5种基本了数据类型：Undefined、Null、Boolean、Number、String。
基本类型值和引用类型值具有以下特点：
- 基本类型值在内存中占据固定大小的空间， 因此被保存在栈中；
- 从一个变量向另一个变量复制基本类型的值，会创建这个值的一个副本；
- 引用类型的值是对象，保存在堆内存中；
- 包含引用类型值的变量实际上包含的并不是对象本身 ，而是指向该对象的指针；
- 从一个变量向另一个变量复制引用类型的值，复制的其实是指针，因此两个变量最终都指向同一个对象；
- 确定一个值是哪种基本类型可以使用
typeof操作符，而确定一个值是哪种引用类型可以使用instanceof操作符。
所有变量（包括基本类型和引用类型）都存在于一个执行环境（也称为作用域）当中，这个执行环境决定了变量的生命周期，以及哪一部分代码可以访问其中的变量。
以下是关于执行环境的几点总结：
- 执行环境有全局执行环境（也称为全局环境）和函数执行环境之分；
- 每次进入一个新执行环境，都会创建一个用于搜索变量和函数的作用域链；
- 函数的局部环境不仅有权访问函数作用域中的变量，而且有权访问其包含（父）环境，乃至全局环境；
- 全局环境只能访问在全局环境中定义的变量和函数，而不能直接访问局部环境中的任何数据；
- 变量的执行环境有助于确定应该何时释放内存。
JavaScript是一门具有自动垃圾收集机制的编程语言，开发人员不必关心内存分配和回收问题。
可以对JavaScript的垃圾收集例程作如下总结：
- 离开作用域的值将被自动标记为可以回收，因此将在垃圾收集期间被删除；
- “ 标记清除 ” 是目前最主流的垃圾收集算法，这种算法的思想是给当前不使用的值加上标记，然后再回收其内存；
- 另一种垃圾收集算法是 “ 引用计数 ” ，这种算法的思想是跟踪记录所有值被引用的次数。
JavaScript引擎目前都不再使用这种算法；但在 IE 中访问非原生JavaScript对象（如DOM元素）时，这种算法仍然可能会导致问题； - 当代码中存在循环引用现象时，” 引用计数 “算法就会导致问题；
- 解除变量的引用不仅有助于消除循环引用现象，而且对垃圾收集也有好处。为了确保有效的回收内存，应该及时解除不再使用的全局对象、全局对象属性以及循环引用变量的引用。
第五章 引用类型
对象在JavaScript中被成为引用类型的值，而且有一些内置的引用类型可以用来创建特定的对象，
现简要总结如下：
- 引用类型与传统面向对象程序设计中的类相似，但实现不同；
Object是一个基础类型，其他所有类型都从Object继承了基本的行为；Array类型是一组值的有序列表，同时还提供了操作和转换这些值的功能；Date类型提供了有关日期和时间的信息，包括当前日期和时间以及相关的计算功能；RegExp类型是ECMAScript支持正则表达式的一个接口，提供了最基本的和一些高级的正则表达式功能；
函数实际上是Function类型的实例，因此函数也是对象；而这一点正是JavaScript最具有特色的地方。由于函数是对象，所以函数也拥有方法，可以用来增强行为。
因为有了基本包装类型，所以JavaScript中的基本类型值可以被当做对象来访问。三种基本包装类型分别是：Boolean Number String。
以下是它们共同的特征：
- 每个包装类型都映射到同名的基本类型；
- 在读取模式下访问基本类型时，就会创建对应的基本包装类型的一个对象，从而方便了解数据操作；
- 操作基本类型值的语句一经执行完毕，就会立即销毁新创建的包装对象。
在所有代码执行之前，作用域中就一经存在两个内置对象：Global和Math。在大多数ECMAScript实现中都不能直接访问Global对象；不过，WEB浏览器实现了承担该角色的window对象。全局变量和函数都是Global对象的属性。Math对象提供了很多属性和方法，用于辅助完成复杂的数学计算任务。
第六章 面向对象
`ECMAScript`支持面向对象(OO)编程，但不使用类或者接口。对象可以在代码执行过程中创建和增强，因此具有动态性而非严格定义的实体。
在没有类的情况下，可以采用下列模式创建对象：
工厂模式，使用简单的函数创建对象，为对象添加属性和方法，然后返回对象。这个模式后来被构造函数模式所取代。
构造函数模式，可以创建自定义引用类型，可以像创建内置对象实例一样使用new操作符。不过，构造函数模型也有缺点，即它的每个成员都无法得到复用，包括函数。由于函数可以不局限于任何对象（即与对象具有松散耦合的特点），因此没有理由不在多个对象间共享函数。
原型模式，使用构造函数的
prototype属性来指定那些应该共享的属性和方法。组合使用构造函数模式和原型模式时，使用构造函数定义实例对象，而使用原型定义共享的属性和方法。
JavaScript主要通过原型链实现继承。原型链的构建是通过将一个类型的实例赋值给另一个构造函数的原型实现的。这样，子类型就能够访问超类型的所有属性和方法，这一点与基于类的继承很相似。
原型链的问题是对象实例共享所有继承的属性和方法，因此不适宜单独使用。
解决这个问题的技术是借用构造函数，即在子类型构造函数的内部调用超类型构造函数。这样就可以做到每个实例都具有自己的属性，同时还能保证只使用构造函数模式来定义类型。使用最多的继承模式是组合继承，这种模式使用原型链继承共享的属性和方法，而通过借用构造函数继承实力属性。
此外，还存在下列可供选择的继承模式。
原型式继承，可以在不必预先定义构造函数的情况下实现继承，其本质是执行对给定对象的浅复制。而复制得到的副本还可以得到进一步改造。
寄生式继承，与原型式继承非常相似，也是基于某个对象或某些信息创建一个对象，然后增强对象，最后返回对象。为了解决组合继承模式由于多次调用超类型构造函数而导致的低效率问题，可以将这个模式和组合模式一起使用。
寄生组合式继承，集寄生式继承和组合继承的优点于一身，是实现基于类型继承的最有效方式。
第七章 函数表达式
在JavaScript编程中，函数表达式是一种非常有用的技术。使用函数表达式可以无须对函数命名，从而实现动态编程。 匿名函数，也成为拉姆达函数，是一种使用JavaScript函数的强大方式。
以下总结了函数表达式的特点：
函数表达式不同于函数声明。声明函数要求有名字，但是函数表达式不需要。没有名字的函数表达式也叫做匿名函数。
在无法确定如何引用函数的情况下，递归函数就会变得比较复杂；
递归函数应该式中使用
arguments.callee来递归地调用自身，不要使用函数名–函数名可能会发生变化。 当在函数内部定义了其他函数时，就创建了闭包。闭包有权访问包含函数内部的所有变量，原理如下：
在后台执行环境中，闭包的作用域链包含着它自己的作用域、包含函数的作用域和全局作用域。
通常，函数的作用域及其所有变量都会在函数执行结束后被销毁。
但是，当函数返回了一个闭包时，这个函数的作用域将会一直在内存中保存到闭包不存在为止。
模仿块级作用域
使用闭包可以在JavaScript中模仿块级作用域（JavaScript本身没有块级作用域的概念），要点如下：
创建并立即调用一个函数，这样既可以执行其中的代码，又不会在内存中留下对该函数的引用；
结果就是函数内部的所有变量都会被立即销毁—-除非将某些变量赋值给了包含作用域（即外部作用域）中的变量。
特权方法
闭包还可以用于在对象中创建私有变量，相关概念和要点如下：
- 即使
JavaScript中没有正式的私有对象属性的概念，但可以使用闭包来实现公有方法，而通过公有方法可以访问在包含作用域中定义的变量。 - 有权访问私有变量的公有方法叫做特权方法。
- 可以使用构造函数模式、原型模式来实现自定义函数类型的特权方法，也可以使用模块模式、增强的模块模式来实现单例的特权方法。
JavaScript中的函数表达式和闭包都是极有用的特性，利用它们可以实现很多功能。不过，因为创建闭包必须维护额外的作用域，所以过度使用它们可能会占用大量内存。
