JS函数表达式——函数递归、闭包

一：定义函数的方式：

一、函数声明；二、函数表达式

函数声明的重要特征：函数声明提高，在执行代码以前会先读取函数声明。

sayHi();
function sayHi(){
	console.log("Hi");
}
复制代码

函数表达式必须先赋值。

二：递归

function fact(num){
	if(num <= 1){
		return 1;
	}else{
		return num*fact(num-1);
	}
}
复制代码

下面代码可能致使出错

var another = fact;
fact = null;
console.log(another(4)); //出错
复制代码

使用arguments.callee能够解决这个问题，arguments.callee是一个指向正在执行的函数的指针。

function fact(num){
	if(num<=1){
		return 1;
	}else{
		return num*arguments.callee(num-1);
	}
}
复制代码

在严格模式下，不能经过arguments.callee访问，建立一个名为f()的函数，将它赋值给fact。

var fact = (function f(num){
	if(num <= 1){
		return 1;
	}else{
		return num * f(num-1);
	}
});
复制代码

3、闭包

闭包是指有权访问另外一个函数做用域中的变量的函数。当某个函数被调用时，会建立一个执行环境及相应的做用域链。而后，使用arguments和其余命名参数的值来初始化函数的活动对象。

通常来讲，当函数执行完毕后，局部活动对象就会被销毁，内存中仅保存全局做用域（全局执行环境的变量对象）。可是，闭包的状况有所不一样。

function create(name){
	return function(){
		return name;
	}
}
复制代码

create()函数在执行完毕后，其活动对象不会被销毁，由于匿名函数的做用域链仍然在引用这个活动对象。当create()函数返回后，其执行环境的做用域链会被销毁，但它的活动对象仍然会留在内存中；直到匿名函数被销毁后，create()活动对象才会被销毁。

一、闭包和变量

做用域链的这种配置，使闭包只能取得包含函数中任何变量的最后一个值。闭包保存的是整个变量对象，而不是某个特殊的变量。

function create(){
	var result = new Array();
	for(var i =0;i<10;i++){
		result[i] = function(){
			return i;
		};
	}
	return result;
}
复制代码

数组10个10，每一个函数的做用域都保存着create()函数的活动对象，因此引用的都是同一个变量i。

建立一个匿名函数强制让闭包的行为符合预期：

function create(){
	var result = new Array();
	for(var i=0;i<10;i++){
		result[i] = function(num){
			return function(){
				return num;
			};
		}(i);
	}
	return result;
}
复制代码

这个函数中，没有直接把闭包赋值给数组，而是定义了一个匿名函数，并将当即执行该匿名函数的结果赋给数组。这里的匿名函数有一个参数num，也就是最终函数要返回的值。在调用每一个匿名函数时，咱们传入了变量i。因为函数参数是按值传递的，因此就会将变量i的当前值复制给参数num。而在这个匿名函数内部，又建立并返回一个访问num的闭包。这样一来，result数组中的每一个函数都有num变量的一个副本，所以就能够返回各自不一样的数值了。

二、this对象

this对象是在运行时基于函数的执行环境绑定的：在全局函数中，this等于window，函数被看成某个对象的方法调用时，this等于那个对象。匿名函数的执行环境具备全局性，所以this一般指向window。

构造函数看成普通函数调用时，this表明的是全局window对象。和new使用建立对象，指向当前的对象。

var name = 'this window';
var object = {
	name: 'my object',
	getName: function(){
		return function(){
			return this.name;
		};
	}
};
alert(object.getName()()); //"this window"
复制代码

因为getName()返回一个函数，所以调用object.getName()()就会当即调用它返回的函数，结果就是返回一个字符串。

三、内存泄漏

function assign(){
	var element = document.getElementById("someElement");
	element.onclick = function(){
		alert(element.id);
	};
}
复制代码

以上代码建立一个做为element元素事件处理程序的闭包，而这个闭包又建立了一个循环引用。因为匿名函数保存了一个对assign()活动对象的引用，所以会致使没法减小element的引用数。只要匿名函数存在，element的引用数至少也是1，所以它占用的内存就永远不会被回收。

可经过如下解决：

function assign(){
	var element = document.getElementById("someElement");
	var id = element.id;
	element.onclick = function(){
		alert(id);
	};
	element = null;
}
复制代码

闭包会引用包含函数的整个活动对象，而其中包含着element。即便不直接引用element，包含函数的活动对象中也仍然会保存一个引用。

4、模仿块级做用域

JS没有块级做用域的概念。在块语句中定义的变量，实际是在包含函数中而非语句中建立的。

function output(count){
	for(var i=0;i<count;i++){
		alert(i);
	}
	var i; //从新声明变量，视而不见
	alert(i);
}
复制代码

在java、c++语言中，变量i只会在for循环的语句中有定义，循环一旦结束，变量i就会被销毁。在JS中，变量i定义在output()的活动对象中，从它又定义开始就能够在函数内部访问它。

用做块级做用域的(私有做用域)的匿名函数的语法：

(function(){
	//这里是块级做用域
})();
复制代码

重写output()函数：

function output(count){
	(function(){
		for(var i=0;i<count;i++){
			alert(i);
		}
	})();
	alert(i); //致使一个错误
}
复制代码

5、私有变量