2017-9-24

1. boolean构造函数与逻辑或运算符（||）

如果boolean构造函数的参数不是一个布尔值，参数会被转换为布尔值。

如果参数为以下情况时：

0

-0

false

NaN

undefined

null

''（空字符串）

生成的boolean对象的值为false。
除此以外的任何参数都会创建值为true的boolean对象。

注意不要将原始值true false,和值为true false的boolean对象相混淆。

例如一个名为a，值为false的boolean对象实际上拥有如下属性：

 {
__proto__:Boolean,
[[PrimitiveValue]]:false
}

因此：

a === false; //false
a == false; //true

另外注意 //TODO

new Boolean('') === false //false
Boolean('') === false //true

逻辑或运算符（||）

逻辑运算符的操作数如果不是boolean类型，会先被转换成boolean数。
过程与boolean构造函数转换参数时相似。

因此在定义一个函数时，可以利用（||）代替if运算符给可选参数设定默认值，例如：

function fun(o, /* optional */a) {
  if (a === undefined) {a = [];}
...
}；

用与运算代替

function fun(o, /*optional */a) {
  a = a || [];
...
};

但实际上第二种写法存在缺陷，当传入的值本身就是false时，传入的值却被认为是无效的，变量被设为了默认值。

在ES6中可以直接为变量设定默认值了，例如：

function fun(o, a = []) {
};

所以TMD写了这么一长串其实除了帮自己巩固了一遍以外完全没有什么卵用

2. 预定义与词法作用域

先来看一段代码

var a = 'global';
var getValue = function () {
  console.log(a);  //输出undefined
  var a = 'local';
  console.log(a);  //输出local
}；
getValue();

如果不了解js解析器的预定义行为，以及js的词法作用域，可能会觉得第一个console.log(a);将会输出'global'。

下面来解释js解析器的预定义

在上述代码中getValue()的词法作用域就是它定义时的这一段语句（从var getValue = ...到console.log(a); };）。

在这段代码中有一个对函数内局部变量a的声明，js解析器提前对var定义的变量进行了初始化，但是没有赋值。
即实际上调用getValue()时作用域中存在一个a变量，它的值为undefined。
第一个console.log()执行时，会现在当前作用域里寻找a。
而a已经被js解析器提前初始化却没有赋值，所以找到了一个变量a = undefined;。
因此第一个console.log()输出undefined。

如果当前作用域内没有所需要的变量（在本例子中是变量a），将会一直在作用域链上一级中寻找这个变量，直到找到该变量，或者抵达最外层作用域为止。关于词法作用域将在下节详细介绍。

所以如果想让console.log()输出'global'，应该：

var a = 'global';
var getValue = function () {
  console.log(a);  //输出'global'
}；
getValue();

本节参考：

javascript基础拾遗——词法作用域
Javascript权威指南第六版淘宝前端团队翻译版第3.10.1节-p58

3. 词法作用域（lexical scoping）与闭包（closure）

首先为了让我们更加清楚词法作用域的概念，这里引入动态作用域的概念来进行对比

词法作用域就是作用域在定义阶段已经决定好了，是由代码中变量和块作用域写在哪里决定的。
无论函数在哪里，通过什么方式被调用，它的词法作用域都只由函数被声明时所处的位置决定。
作用域和作用域链不会再发生变化。
动态作用域并不关心函数和作用域是如何、在何处声明的，只关心它们从何处调用。动态作用域的
作用域链是基于调用栈的，而不是由代码中的作用域嵌套的位置。

接下来请看一个例子：

var a = 2;
function foo() {
    console.log( a );
}
function bar() {
    var a = 3;
    foo();
}
bar();

如果这段代码处于词法作用域中，变量a首先在foo()函数中查找，没有找到，于是沿着作用域链往上级作用域继续查找，找到了值为2的变量a，控制台输出2。
如果这段代码处于动态作用域中，变量a首先在foo()函数中查找，没有找到，于是沿着调用栈找到调用foo()的函数bar()，在bar()中寻找变量a，找到了值为3的变量a，控制台输出3。

通过上述例子明确地展现出了两种作用域的区别，为了方便大家记忆，简而言之：

词法作用域在定义时确定。
动态作用域在运行时确定。

JavaScript中的作用域

特别注意JavaScript中没有块级作用域（实际上是ES5中没有，ES6已经支持），只有函数可以限定一个变量的作用域。
根据词法作用域的作用域链的特点，子作用域可以访问父作用域。

接下来看一道习题，思考10秒再看答案：

if(! "a" in window) {
    var a = "233";
}
console.log(a);

正确答案是输出undefined。
因为var a = "233";这条语句虽然在if语句的大括号中，但JavaScript中没有块级作用域，因此这条语句实际上声明了一个处于全局作用域中的变量。由于JS解析器的预定义特点，变量a被提前声明，但由于不满足if语句的条件，没有进行赋值，因此变量a的值为undefined，所以控制台输出undefined。

接下来讨论闭包

假设我们现在需要一个计数器函数counter，每次只需要调用它，计数器就加一：

var a = 0;
var counter = function () {
  return a++;
};

现在我们每次执行counter()，就可以为计数器加一了。

counter(); // a: 1
counter(); // a: 2
counter(); // a: 3

但是在实际开发中会遇到一些问题，比如在另一个地方有一个函数fun：

var fun = function () {
  a *= a;
}; 
...
...
fun(); // a: 9糟糕！不小心修改了a。

在实际开发中万一遇到这种问题会非常麻烦，特别是已经开发了一段时间，有些变量名你已经忘记了的时候。
那对于这种几乎专用的变量，我们能不能想办法把它们藏起来，现在来修改一下counter函数

var counter = function () {
  var a = 0; //不再在全局声明变量a，在counter的作用域里面声明，保护他！
  return a++;
};

好，我们成功地保护了变量a！这下外部的其他函数没法对它进行操作了。
不过等等，现在这样每次counter执行完，里面的变量不会再被其他地方引用，
就被垃圾回收机制回收了，再次执行的时候，变量又会变回默认值，没有办法计数了。
我们得想一个办法让变量a不会被回收：

var counter = function () {
  var a = 0;
  var foo = function() {
    return a++; //foo可以访问到counter的作用域，可以访问到a。
  };
  foo();
};

现在foo已经引用了a，但是foo被回收的时候，a也会被回收了，仍然没有解决问题。

var counter = function () {
  var a = 0;
  return function() { //我们让counter返回下面这个匿名函数。
    return a++; //这个匿名函数可以访问到counter的作用域，可以访问到a。
  };
};
var counter1 = counter();让一个全局变量引用counter的返回值，即刚才的匿名函数。

好了，现在形成了这样的一个关系：
counter1->匿名函数->变量a
由于counter1是在全局声明的，他的生命周期直到整个程序才结束。
现在我们既可以长久的保存变量a又不会造成全局污染。
最后我们得到的这一段代码，就是一个闭包。

总结一下，闭包就是一个可以访问其他函数作用域的函数，并且能保持那个作用域里的变量不被释放，
可以重复使用，并且只能由调用闭包者来访问。

所以刚才var counter1 = counter();这一步是形成闭包最重要的一步。

闭包的特点：

不容易被释放
占用更多内存

使用闭包的场景：

使用闭包可以在JavaScript中模拟块级作用域
闭包可以用于在对象中创建私有变量

这是我对闭包最简单的理解，当然闭包还有其更深层次的理解，需要了解JS的执行环境(execution context)、活动对象(activation object)、垃圾回收(garbege collection)以及作用域(scope)和作用域链(scope chain)的运行机制。