《Javascript高级程序设计》读书笔记—

函数与闭包

函数创建

　创建函数有两种方式，第一种是函数声明。函数声明有一个很重要的特征就是函数声明提升（function declaration hoisting），意思是在执行代脚本前会先读取所有的函数声明。这意味着可以把函数声明放在调用它的语句后面：

sayHi();

function sayHi() {console.log('Hi');}

　第二种方式是函数表达式：

var functionName = function(arg0, arg1, arg2) { /*function body*/ }

既然是叫表达式，那么自然也是要先赋值才能使用，否则会抛出错误：

sayHi(); //throw error!

var sayHi = function {console.log('Hi');}

关于递归

　书上讲的关于使用递归时会犯的一个错就是将递归函数的引用重新赋值：

function factorial(num) {

  if(num <= 1) return 1;

  return num * factorial(num - 1);

}

var anotherFactorial = factorial; //创建新的变量也指向递归函数

factorial = null;

console.log(anotherFactorial(4)); //throw error

　要解决这种窘境，书上给的一种解决方法是使用arguments.callee（arguments.callee是一个指向正在执行的函数的指针），但这个内置参数在严格模式下是不允许的，不建议使用。　比较推荐的是使用命名函数表达式：

var factorial = (function f(num){

  if(num == 1) return 1;

  return num * f(num - 1);

});

　这样就不必担心函数的引用被重写而导致上述问题了。但这种方式就使得递归函数失去了之前函数声明提升的特征。

　还有另一种思路是在创建函数表达式时使用const关键字：const factorial = function(num){...};。如果有IDE或其他工具做检测的话，可以将问题在代码阶段就暴露出来。

闭包

　闭包是指有权访问另一个函数作用域中的变量的函数。创建闭包的常见方式，就是在一个函数内部创建另一个函数，仍以前面的createComparisionFunction()为例子：

书上给的这个闭包的概念算是最表层的描述了，但闭包的底层原理要复杂的多。

MDN上关于闭包的一段解释：

A closure is a special kind of object that combines two things: a function, and the environment in which that function was created. The environment consists of any local variables that were in-scope at the time that the closure was created.

　现在放上书里的例子：

function createComparisionFunction(propertyName) {

	return function(object1, object2) {

		var value1 = object1[propertyName];

		var value2 = object2[propertyName];

		if(value1 < value2) {

			return -1;

		} else if(value1 > value2) {

			return 1;

		} else {

			return 0;

		}

	};

}

　红宝书在讲述闭包原理的前面几大段里抛出了好多个概念：执行环境、作用域链、活动对象、变量对象。如果还不是很能明白的话可以对照书上图7-1这样理解：函数的执行环境就是个包含着作用域链的东西；变量对象差不多等同于活动对象，就是个用来保存执行函数时的局部变量的。

另外，还需记住书上说的一点：作用域链本质上是一个指向活动对象（变量对象）的指针链表，它只引用但不包含变量对象。

　在执行createComparisonFunction函数的时候，会创建一个活动对象来保存用到的局部变量，然后让createComparisionFunction的执行环境的作用域链指向这个活动对象；执行过程中，又创建了匿名函数；学作用域链时我们便知道，函数搜索变量是在作用域链中一个接一个地向上搜索直至找到对应变量名或到达全局作用域中，其本质就是沿着作用域链中指向的活动对象进行遍历。　创建了匿名函数后，会预先初始化它的作用域链并在上面添加外部的createComparisionFunction函数的活动对象；如下：

（此时是没有匿名函数的执行环境和活动对象的，只有在执行函数时才会创建）

　一般来说，当函数执行完毕后，其执行环境和作用链都会被销毁，而活动对象也会被回收。但是，在上述创建了匿名函数的情况下，因为匿名函数的作用域链仍在引用着createComparisonFunction的活动对象，所以这个活动对象不会被垃圾收集器回收。（关于js垃圾回收）

在匿名函数执行时的情况就是下面这样的：

　匿名函数还引用着创建它的外部函数的活动对象，因而可以访问到里面的变量。以上这种内部函数附带着外部函数“环境”的机制，就叫做闭包。

如果仍然感觉不明白，可以看下这个知乎话题下的回答：知乎：什么是闭包？